Single mutation at a timeGather int constants to perform constant replacement
Optimized the generation mechanism to avoid inifite run when the max number of mutant is reached.
Mutants generator for lustre
Merge (if it works) of the lustre interfaces branche providing lusi files into trunk
Lustre interfaces: lusi files are generated and used. Remaining work: create a good makefile and add the appropriate #include, fix issues with Arnaud's benchmarks (old syntax)
Moved files to trunk in lustre_compiler