./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/.

Master sites:

Filesize: 827.162 KB

Version history: (Expand)

CVS history: (Expand)


   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
   2020-11-28 02:20:03 by David H. Gutteridge | Files touched by this commit (6) 
Log message:
Remove superfluous specification characters from pax invocations

A bunch of packages had an extra "p" specification character passed to
the pax -p option. One is enough. Committed to reduce the human parsing
costs, should someone else need to examine this. (In my case because it
seems recent Linux distros have changed such that some -p arguments can
now cause an error to occur, where previously they were accepted.)
   2017-08-16 22:45:48 by Thomas Klausner | Files touched by this commit (209) 
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.
   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) 
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.