./devel/ltsa, Labelled Transition System Analyser

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


Branch: CURRENT, Version: 2.2nb3, Package name: ltsa-2.2nb3, Maintainer: pkgsrc-users

A model is a simplified representation of the real world. Engineers
use models to gain confidence in the adequacy and validity of a proposed
design.

Models are described using state machines, known as Labelled Transition
Systems (LTS). These are described textually as Finite State Processes
(FSP) and displayed and analysed by the LTSA analysis tool.

This package provides the LTSA utility exposed above. It is specially
useful to be used together with the 'Concurrency: State Models & Java
Programs' book, whose page is at http://www-dse.doc.ic.ac.uk/concurrency/.


Required to run:
[lang/openjdk8]

Master sites:

SHA1: 79631fa8f9d8490b84b8c567a9394d5eb03a0e6a
RMD160: db0d0745849925d11abcfd77dfcc246f0fc7664e
Filesize: 827.162 KB

Version history: (Expand)


CVS history: (Expand)


   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.
   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.
   2009-09-09 09:27:57 by Hasso Tepper | Files touched by this commit (2) | Package updated
Log message:
Really unbreak after unzip changes. Bump PKGREVISION.
   2009-09-04 14:32:18 by Joerg Sonnenberger | Files touched by this commit (1)
Log message:
Simplify. Unbreak after unzip changes.
   2009-06-14 19:49:18 by Joerg Sonnenberger | Files touched by this commit (454)
Log message:
Remove @dirrm entries from PLISTs
   2009-05-02 19:27:29 by Thomas Klausner | Files touched by this commit (1) | Package updated
Log message:
Fix permissions of installed files. From Ryo HAYASAKA in PR 41323.
Bump PKGREVISION.
   2009-04-30 19:11:46 by Thomas Klausner | Files touched by this commit (1)
Log message:
Set USE_JAVA2 to lower-case yes, per PR 41309 from Ryo HAYASAKA.
   2008-05-26 04:13:26 by Joerg Sonnenberger | Files touched by this commit (274)
Log message:
Second round of explicit pax dependencies. As reminded by tnn@,
many packages used to use ${PAX}. Use the common way of directly calling
pax, it is created as tool after all.