Path to this page:
./
devel/rsltc,
RAISE Specification Language Type Checker
Branch: pkgsrc-2021Q1,
Version: 2.4nb3,
Package name: rsltc-2.4nb3,
Maintainer: MarkoSchuetzrsltc 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:
SHA1: 8de5c1de5def8766b5df5d8d4a247f941c84a3d6
RMD160: ca6659b45d8f18dfcb4f9a4d14761f4c2c23d57f
Filesize: 373.177 KB
Version history: (Expand)
- (2021-03-30) Package added to pkgsrc.se, version rsltc-2.4nb3 (created)