- replaced Matrix implementation by old one (strange segfault when multiplying matrices)
- tried to implement sl-set parser (not successful yet)
- test-switch in main() for adhoc testing
added implementation of prefix semiring
slset-parser now working
new test-grammar... binary trees.
removed stupid getVal()
update README and improve cmake configuration

Write down some basic notes about the current state of the
project in README and make it possible to specify alternative
locations of Boost and Cppunit.
- simple optimizations in semilinear sets
- error msg if input file could not be opened
Merge pull request #14 from michalt/cleanup

update README and improve cmake configuration
free-semiring: initial work on the new implementation
free-semiring: implement printing and evalution

This implements printing to string as well as to dot format.  In
the latter case we get the DAG containing all the FreeSemiring
objects.  Moreover now we can also evaluate the FreeSemiring when
given a map from variables to values.
free-semiring: use shared_ptr to avoid copying
free-semiring: implement evaluation for matrices
free-semiring: remove some old code and fix a test
main: std::accumulate is defined in numeric header
free-semiring: split the old and new implementations

This splits the old and new implementation of FreeSemiring.  The new
implementation is a drop-in replacement of the old one. By default we
build the new one, however, you can build the old one by calling cmake
with -DOLD_SEMIRING=1.

The commit also includes some changes to the evaluation of
FreeSemiring over some other semiring.  Now the mapping used during
evalutaion maps from VarPtr (instead of from FreeSemiring) to some
semiring value.

Finally this also fixes some minor bugs in the multiplication and star
operations of the new implementation.
free-structure: fix compilation with GCC
very simple python-script to generate random quadratic probabilistic systems
new float-test grammar
new float performance tests together with a generating script for float-grammars
Merge pull request #16 from michalt/freesemiring

Freesemiring