kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
70927 commits 166 branches 0 tags 1.5 GiB
Commit graph

2 commits

Author SHA1 Message Date
wiz
82554fc090 Add BUILD_DEPENDS on bison. Should fix bulk build problem. 2004-12-02 13:09:24 +00:00
wiz
f39e5171b6 Import rsltc-2.4, provided by Marko Schütz in PR 28405. 
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.
 2004-11-30 08:24:18 +00:00