Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
README 2.04 KB 230b168e almost 3 years Guillaume DAVY Ada: Refactor Ada Backend to reduce redundancy,...
ada_backend.ml 6.62 KB ca7ff3f7 8 months Lélio Brun reformatting
ada_backend_adb.ml 8.63 KB ca7ff3f7 8 months Lélio Brun reformatting
ada_backend_ads.ml 9.64 KB ca7ff3f7 8 months Lélio Brun reformatting
ada_backend_common.ml 13.6 KB ca7ff3f7 8 months Lélio Brun reformatting
ada_backend_common.mli 1.72 KB ca7ff3f7 8 months Lélio Brun reformatting
ada_backend_wrapper.ml 7.33 KB ca7ff3f7 8 months Lélio Brun reformatting
ada_printer.ml 11.5 KB ca7ff3f7 8 months Lélio Brun reformatting
ada_printer.mli 2.48 KB ca7ff3f7 8 months Lélio Brun reformatting
misc_lustre_function.ml 11.3 KB ca7ff3f7 8 months Lélio Brun reformatting
misc_printer.ml 699 Bytes ca7ff3f7 8 months Lélio Brun reformatting

Latest revisions

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

e8f55c25 11/15/2019 12:34 AM Pierre-Loïc Garoche

- tag_true and tag_false moved to lustre_types
- real constants are hidden in Real.ml{i} module

05f85b44 04/29/2019 01:53 PM Guillaume DAVY

Ada: Start cleaning Ada to prepare for why beckend

View revisions

Also available in: Atom