CristalCaveGem » LustreC

Correct some problem related to new bool encoding

Correct a bug in ensures stack generation related to existential

Correct bug when there is no precondition and change reprensentation
of boolean in ACSL

Added an option for let vs exists axiomatization

ALT2 proved by framaC without human interaction

ALT_2 working with modification made by hand

Correct bug option exists

Update on c backend proof

Bugfixes and coq proof generation for lemma inv_inv

solved the bug of multiple definition of assert exists ...