Support hexa numbers.
Add parsers, tokenizers + remove grammar typo.
Add reachability runs :).
Support advanced reachability tests.
Add Invariant checking.
Refinements.
Add stop machine feature.
Stop machine is done.
ok
Merge branch 'dirty'