smt ss
Fixed
adding channel continue later
continue
continue2
help
ddd
Channel still needs fixing
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