pkgsrc.se | The NetBSD package collection

./devel/rsltc, RAISE Specification Language Type Checker

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

Branch: pkgsrc-2012Q1, 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.

Master sites:

http://www.iist.unu.edu/newrh/III/3/1/docs/rsltc/source/ (Download)

SHA1: 8de5c1de5def8766b5df5d8d4a247f941c84a3d6
RMD160: ca6659b45d8f18dfcb4f9a4d14761f4c2c23d57f
Filesize: 373.177 KB

Version history: (Expand)

(2012-04-10) Package added to pkgsrc.se, version rsltc-2.4nb2 (created)