Filewatcher File Search File Search
Catalog
Content Search
» » » »

mcrl2_201202.0.orig.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Debian
Filename:mcrl2_201202.0.orig.tar.gz

/mcrl2-201202.0/3rd-party/README

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.

aterm
-----
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
more»

/mcrl2-201202.0/3rd-party/dparser/README

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'	        (
more»

/mcrl2-201202.0/3rd-party/dparser/README.1ST

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.

/mcrl2-201202.0/3rd-party/tr/README

                     TR - OpenGL Tile Rendering Library

                                 Version 1.
more»

/mcrl2-201202.0/README

This directory contains the mCRL2 toolset.

See the file INSTALL for compilation and installation in
more»

/mcrl2-201202.0/examples/industrial/garage/readme.txt

This directory contains specifications of the safety layer of the automated
parking garage as descri
more»

/mcrl2-201202.0/examples/visualisation/README

Follow these steps to create an FSM file for input to the visualization tools:

1. Choose an mCRL2 s
more»

/mcrl2-201202.0/3rd-party/dparser/CHANGES

1.28    Fixed bug with actions containing commments containing '
        Python 2.6+ support, thanx 
more»

Browse inside mcrl2_201202.0.orig.tar.gz

         [DIR]mcrl2-201202.0/ (21)

Download mcrl2_201202.0.orig.tar.gz

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com