This directory contains four libraries that are used by the
mCRL2 toolset. The four libraries are:
aterm gl2ps svc tr
Below these libraries have a compact additional explanation.
The aterm library was made by de group SEN1 at CWI in Amsterdam.
It contains routines to store and manipulate term structures. Most
of the term sorts in the mCRL2 are directly mapped onto the term
This is DParser, a scannerless GLR parser. It uses to Tomita algorithm,
and incorporates BNF production syntax, regular expression terminals,
and a state-specific symbol table.
It can be compiled to work with or without the Boehm Garbage Collector.
To compile with GC, uncomment the line D_USE_GC=1 in the Makefile.
The result is natural grammars and powerful parsing.
To build: 'gmake' (
This is a stripped version of DParser 1.26. Only the files
necessary to build the parser generator and the dparser
library are included, together with the original copyright
notice, readme and changelog.
TR - OpenGL Tile Rendering Library
This directory contains the mCRL2 toolset.
See the file INSTALL for compilation and installation in
This directory contains specifications of the safety layer of the automated
parking garage as descri
Follow these steps to create an FSM file for input to the visualization tools:
1. Choose an mCRL2 s
1.28 Fixed bug with actions containing commments containing '
Python 2.6+ support, thanx
Browse inside mcrl2_201202.0.orig.tar.gz
Results 1 - 1 of 1Search over 15 billion files
© 1997-2016 FileWatcher.com