Merge branch 'julien/feature/todo' into 'master'

src/plugins/e-acsl/Makefile.in

src/plugins/e-acsl/TODO

src/plugins/e-acsl/src/code_generator/loops.ml

src/plugins/e-acsl/src/code_generator/loops.mli

src/plugins/e-acsl/src/code_generator/rational.ml

src/plugins/e-acsl/src/code_generator/rational.mli

src/plugins/e-acsl/src/code_generator/temporal.ml

src/plugins/e-acsl/src/code_generator/temporal.mli

src/plugins/e-acsl/src/code_generator/translate.ml

src/plugins/e-acsl/src/code_generator/translate.mli

src/plugins/e-acsl/src/code_generator/visit.ml

src/plugins/e-acsl/src/main.ml

src/plugins/e-acsl/tests/runtime/oracle/gen_result.c

src/plugins/e-acsl/tests/runtime/result.i