./devel/rsltc, RAISE Specification Language Type Checker

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: pkgsrc-2015Q1, Version: 2.4nb3, Package name: rsltc-2.4nb3, Maintainer: MarkoSchuetz

rsltc provides type-checking, pretty-printing, generation of confidence
conditions, showing module dependencies, translation to Standard ML, to
C++, and to PVS, and translation to RSL from UML class diagrams.


Required to run:
[devel/gentle] [editors/emacs24]

Master sites:

SHA1: 8de5c1de5def8766b5df5d8d4a247f941c84a3d6
RMD160: ca6659b45d8f18dfcb4f9a4d14761f4c2c23d57f
Filesize: 373.177 KB

Version history: (Expand)

CVS history: (Expand)


   2015-04-25 22:08:04 by Benny Siegert | Files touched by this commit (1) 
Log message:
Pullup ticket #4670 - requested by joerg
devel/rsltc: build fix

Revisions pulled up:
- devel/rsltc/Makefile                                          1.16

---
   Module Name:	pkgsrc
   Committed By:	joerg
   Date:		Sat Apr 18 20:40:46 UTC 2015

   Modified Files:
   	pkgsrc/devel/rsltc: Makefile

   Log message:
   Let clang ignore the mixed up return use of the K&R code.