start with Spec AST generation
corrections on loggers + spec in AST
generic ACSL spec generation
start generating ACSL spec
some rewriting in C backend pretty-printer
fix almost all warnings
migration draft on dune
Some progress on compiling cocospec contract.Contract resolution still need to be done as well as dealing with the machine code level and so on.
Major refreshing of machine generation
Unified compilation of lusi and lus filesDifferent parsers yet but shared process.In case of lusi input the C backend is bypassed since the .h is generated from the lusic and no C code should be generated since it may overwrite existing manually written code...
Merge branch 'unstable' into lustrec-seal
Some refactoringAdapted the parser/types/constructors for cocospec syntax