Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
README 2.04 KB 230b168e almost 4 years Guillaume DAVY Ada: Refactor Ada Backend to reduce redundancy,...
ada_backend.ml 6.8 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
ada_backend.mli 328 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
ada_backend_adb.ml 8.4 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
ada_backend_adb.mli 686 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
ada_backend_ads.ml 9.28 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
ada_backend_ads.mli 647 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
ada_backend_common.ml 13.8 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
ada_backend_common.mli 1.69 KB cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
ada_backend_wrapper.ml 7.11 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
ada_backend_wrapper.mli 1.08 KB cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
ada_printer.ml 12.1 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
ada_printer.mli 2.48 KB ca7ff3f7 over 1 year Lélio Brun reformatting
misc_lustre_function.ml 11.3 KB cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
misc_lustre_function.mli 2 KB cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
misc_printer.ml 699 Bytes ca7ff3f7 over 1 year Lélio Brun reformatting
misc_printer.mli 349 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...

Latest revisions

# Date Author Comment
d978c46e 06/30/2021 06:10 PM Lélio Brun

start instrumenting the main C function

cc852504 06/30/2021 11:21 AM Lélio Brun

comment dead code with (* XXX: UNUSED *) disclaimer

a7062da6 06/28/2021 09:52 PM Lélio Brun

another step towards refactoring

50a8778a 06/25/2021 12:35 PM Lélio Brun

refactoring first step

ca7ff3f7 06/17/2021 11:33 AM Lélio Brun

reformatting

6d1693b9 06/14/2021 07:06 PM Lélio Brun

work on spec generation almost done

75c459f4 05/04/2021 06:24 PM Lélio Brun

start with Spec AST generation

7ee5f69e 05/04/2021 10:20 AM Lélio Brun

corrections on loggers + spec in AST

ca7e8027 02/05/2021 02:36 PM Lélio Brun

fix almost all warnings

719ae9fd 02/03/2021 02:47 PM Lélio Brun

migration draft on dune

View revisions

Also available in: Atom