vset: add interface functions for r/w separation support
- vrel_create_rw
- vrel_add_cpy
- vdom_separates_rw
- vdom_supports_cpy
vset: add support for names in vset
Implement R/W separation, MayWrite/MustWrite
- dm: extended sort/nub/subsume/anneal functions with may/must write matrices
- pins: replace Write by MayWrite/MustWrite functions
- pins: add R2W versions of GBgetTransitionsShort and GBsetNextStateShort
- several pins wrappers updated to use correct functions
- pins2lts-sym now supports R/W separation
Added support for Copy.
- pins: callback for transitions now has extra parameter int* cpy
- pins2lts-sym: proper support for Copy
pins2lts-sym: move trace output in chaining to proper position
pins2lts-sym: fix spurious next_count update
pins2lts-sym: add labels to variables (vdom_set_name)
now also dot name of variables.
implement read write separation + support for copy in listdd64
rename vset_listdd program options.
Add function vset_example_match
Action prefix detection

--action now detects actions that match an action-prefix.
--no-exit continues searching for all errors
--trace can be used to save traces to all errors
Each counterexample computed once
fix warnings regarding explicit else branches
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