Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
README 2.04 KB 230b168e about 5 years Guillaume DAVY Ada: Refactor Ada Backend to reduce redundancy,...
ada_backend.ml 6.85 KB dccec723 over 2 years Lélio Brun a version that almost work for the k-inuctive t...
ada_backend.mli 328 Bytes cc852504 almost 3 years Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
ada_backend_adb.ml 8.4 KB d978c46e almost 3 years Lélio Brun start instrumenting the main C function
ada_backend_adb.mli 686 Bytes cc852504 almost 3 years Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
ada_backend_ads.ml 9.28 KB d978c46e almost 3 years Lélio Brun start instrumenting the main C function
ada_backend_ads.mli 647 Bytes cc852504 almost 3 years Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
ada_backend_common.ml 13.8 KB d978c46e almost 3 years Lélio Brun start instrumenting the main C function
ada_backend_common.mli 1.69 KB cc852504 almost 3 years Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
ada_backend_wrapper.ml 7.11 KB d29fbec5 over 2 years Lélio Brun working version for stateful contracts
ada_backend_wrapper.mli 1.08 KB cc852504 almost 3 years Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
ada_printer.ml 12.1 KB d978c46e almost 3 years Lélio Brun start instrumenting the main C function
ada_printer.mli 2.48 KB ca7ff3f7 almost 3 years Lélio Brun reformatting
misc_lustre_function.ml 11.3 KB cc852504 almost 3 years Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
misc_lustre_function.mli 2 KB cc852504 almost 3 years Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
misc_printer.ml 699 Bytes ca7ff3f7 almost 3 years Lélio Brun reformatting
misc_printer.mli 349 Bytes cc852504 almost 3 years Lélio Brun comment dead code with (* XXX: UNUSED *) discla...

Latest revisions

# Date Author Comment
d29fbec5 09/27/2021 01:36 PM Lélio Brun

working version for stateful contracts

dccec723 09/20/2021 06:46 PM Lélio Brun

a version that almost work for the k-inuctive two_counters example

70710795 08/25/2021 12:00 PM Lélio Brun

first draft with translated cocospec

5b98398a 07/29/2021 04:02 PM Lélio Brun

first version working with stateless contracts

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

View revisions

Also available in: Atom