corrections on loggers + spec in AST
patch de Xavier pour réparer -O 3
generic ACSL spec generation
Merge branch 'dune'
migration draft on dune
1) log messages are now flushed. 2) very long computation times due to naive code to check for unused variables are now much shorter
Some refactoringAdapted the parser/types/constructors for cocospec syntax