sylvan: update to MDD branch
Lace now requires LACE_ME macro when Lace tasks are used.
Fix few compiler warnings
Who smoked what? Fix “stpcpy”.
vset: implemented multi-core LDD support (via Sylvan)
Fixed test suite for mu-calculus layer, added tests, fixed bugs in mu-calculus layer.
Added generated mucalc lexer and parser to .gitignore
- Added parallel attractor function for spgsolver.
- Reorganised files for spgsolver.
- Solved bignum bug in spgsolver.
- Fixed reading and writing of symbolic parity games in spgsolver.
- Lace initialisation in spgsolver.
- Changed output of symbolic tools and spgsolver.
- Debug macros.
- Read and write dependencies in pins2pins-mucalc.
- More uniform screen output in spgsolver.
Added multi-process environment for non thread-safe language modules in the
symbolic reachability tool.
Fixed a bug in PINS with automatic projecting and expanding vectors.
The group information was not copied correctly.
Fixing multi-process symbolic tool for read/write separation and copy values.
Fixing loading of symbolic parity games.
Removed busy-waiting loop from multi-process environment in symbolic tool.
Now pthread_cond_signal is used instead.

Introduce separate thread for communicating chunks for the master process.
Fix parallel attractor in spg solver.
Fixed initialisation of ATerm-based decision diagrams in a multi-process environment.
Fixed the mucalc formula checker.
extend vset interface with vset_join
Fix compiling issues with Mac OSX
Add vset_join to LDDmc
pins2lts-sym: fully parallel learning using vrel_update instead of vset_enum. VSet implementations that do not support vrel_update automatically use vset_enum (non-parallel).