Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
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.72 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
ada_backend.mli 327 Bytes a7062da6 over 3 years Lélio Brun another step towards refactoring
ada_backend_adb.ml 8.29 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
ada_backend_adb.mli 710 Bytes a7062da6 over 3 years Lélio Brun another step towards refactoring
ada_backend_ads.ml 9.29 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
ada_backend_ads.mli 675 Bytes a7062da6 over 3 years Lélio Brun another step towards refactoring
ada_backend_common.ml 13.7 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
ada_backend_common.mli 1.7 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
ada_backend_wrapper.ml 6.93 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
ada_backend_wrapper.mli 1.08 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
ada_printer.ml 11.7 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
ada_printer.mli 2.48 KB ca7ff3f7 over 3 years Lélio Brun reformatting
misc_lustre_function.ml 11.1 KB 50a8778a over 3 years Lélio Brun refactoring first step
misc_lustre_function.mli 1.98 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
misc_printer.ml 699 Bytes ca7ff3f7 over 3 years Lélio Brun reformatting
misc_printer.mli 347 Bytes a7062da6 over 3 years Lélio Brun another step towards refactoring

Latest revisions

# Date Author Comment
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

04a188ec 11/21/2019 03:45 AM Pierre-Loïc Garoche

- Refactored Error exception and messages
- Bugs in partial evaluation for equalities among bool constants
and a nice recursive call generating a stack overflow! Now solved
- Setup a timeout for z3 in seal
- Better log for seal

c2db420f 11/20/2019 05:09 PM Pierre-Loïc Garoche

comment some code to avoid warning at compile time

View revisions

Also available in: Atom