./devel/rsltc, RAISE Specification Language Type Checker

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


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

SHA1: 8de5c1de5def8766b5df5d8d4a247f941c84a3d6
RMD160: ca6659b45d8f18dfcb4f9a4d14761f4c2c23d57f
Filesize: 373.177 KB

Version history: (Expand)


CVS history: (Expand)


   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.
   2010-09-26 13:03:05 by OBATA Akio | Files touched by this commit (1)
Log message:
* convert bison dependency from BUILD_DEPENDS to USE_TOOLS.
* exactly pass LEX to make, or using flex.
* MAKE_JOBS_SAFE=no
   2009-08-06 03:44:57 by Min Sik Kim | Files touched by this commit (67)
Log message:
PKGREVISION bump for elisp packages because of bytecode format changes
in emacs23.
   2009-08-05 11:47:50 by Min Sik Kim | Files touched by this commit (2)
Log message:
Set load-path during byte-compile to make sure that rsltc.el is found.