Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec/src/backends/Ada @ f1518c7c

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