no hd used still need to fix stuff
incoming_chan is the list
added front-end tags for nodes
changed to updated proposition in smt.ml
somthings working check for validity
fix list empty exp smt.ml line 82
fixed error, check propostion pause
sometimes smt give starttime -1 fix this
theres some nasty bug which prevents me from checking smt fix this
??????????????????
nonono
Fixed a stupid error in promela code-gen
Added generation of proof in the smt backend when the model is unsatisfiable. There are still self-loops in the generated code, which need to be removed
Fixed smt from >= to =
Replaced or with and in multidep
Reachability is now performed twice, once without solving the guards and once after solving the guards
adding ini
merged from origin/smt
merge from origin/smt again
again merged