./devel/rsltc, RAISE Specification Language Type Checker

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

Branch: CURRENT, Version: 2.4nb4, Package name: rsltc-2.4nb4, 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:

Filesize: 373.177 KB

Version history: (Expand)

CVS history: (Expand)


   2022-05-15 00:25:42 by David A. Holland | Files touched by this commit (90) 
Log message:
Bump all elisp packages for the CONFLICTS change.
   2021-10-26 12:20:11 by Nia Alarie | Files touched by this commit (3016) 
Log message:
archivers: Replace RMD160 checksums with BLAKE2s checksums

All checksums have been double-checked against existing RMD160 and
SHA512 hashes

Could not be committed due to merge conflict:
devel/py-traitlets/distinfo

The following distfiles were unfetchable (note: some may be only fetched
conditionally):

./devel/pvs/distinfo pvs-3.2-solaris.tgz
./devel/eclipse/distinfo eclipse-sourceBuild-srcIncluded-3.0.1.zip
   2021-10-07 15:44:44 by Nia Alarie | Files touched by this commit (3017) 
Log message:
devel: Remove SHA1 hashes for distfiles
   2017-09-04 20:01:05 by Thomas Klausner | Files touched by this commit (192) 
Log message:
Comment out dead sites.
   2015-11-03 04:29:40 by Alistair G. Crooks | Files touched by this commit (1995) 
Log message:
Add SHA512 digests for distfiles for devel category

Issues found with existing distfiles:
	distfiles/eclipse-sourceBuild-srcIncluded-3.0.1.zip
	distfiles/fortran-utils-1.1.tar.gz
	distfiles/ivykis-0.39.tar.gz
	distfiles/enum-1.11.tar.gz
	distfiles/pvs-3.2-libraries.tgz
	distfiles/pvs-3.2-linux.tgz
	distfiles/pvs-3.2-solaris.tgz
	distfiles/pvs-3.2-system.tgz
No changes made to these distinfo files.

Otherwise, existing SHA1 digests verified and found to be the same on
the machine holding the existing distfiles (morden).  All existing
SHA1 digests retained for now as an audit trail.
   2015-04-18 22:40:46 by Joerg Sonnenberger | Files touched by this commit (1) 
Log message:
Let clang ignore the mixed up return use of the K&R code.
   2013-02-17 20:18:11 by David A. Holland | Files touched by this commit (90) 
Log message:
Revbump all elisp packages after emacs changes.
   2012-10-31 12:19:55 by Aleksej Saushev | Files touched by this commit (1460) 
Log message:
Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.