./devel/rsltc, RAISE Specification Language Type Checker

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

Branch: pkgsrc-2010Q1, Version: 2.4nb2, Package name: rsltc-2.4nb2, 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]

Required to build:
[devel/gmake] [devel/bison]

Master sites:

SHA1: 8de5c1de5def8766b5df5d8d4a247f941c84a3d6
RMD160: ca6659b45d8f18dfcb4f9a4d14761f4c2c23d57f
Filesize: 373.177 KB

Version history: (Expand)