updating trace compilation to nts utilities
removing stupid non deterministic choices
adding expand_eldarica_compressed block and its interface
compilation des traces de contre exemples pour phase de rafinement
It compiles
It compiles
compiles but fail to link
it compiles nom
fixing a lot of junk
fixed issue with never updated contex_id counter
Let's try it on flatac
this output shoud be parsable by flata
refining counter example nts
refining counter example nts
I enter a subsystem by skipping its entry point.
fixed side effect bug
many stuff fix, but this rule mixing issue :/
fixed some major and minor issues
more issues fixed. More updates are required, see notes.txt
updating counter example