Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
access.ml 3.64 KB ca7e8027 12 months Lélio Brun fix almost all warnings
algebraicLoop.ml 14.4 KB ca7e8027 12 months Lélio Brun fix almost all warnings
init_calculus.ml 11.1 KB 778c80fd over 3 years Pierre-Loïc Garoche Some refactoring Adapted the parser/types/const...
liveness.ml 12.1 KB dfce5630 9 months Lélio Brun patch de Xavier pour réparer -O 3
stateless.ml 4.73 KB ca7e8027 12 months Lélio Brun fix almost all warnings

Latest revisions

# Date Author Comment
dfce5630 04/26/2021 05:12 PM Lélio Brun

patch de Xavier pour réparer -O 3

15c3e4e7 03/08/2021 10:58 AM Lélio Brun

generic ACSL spec generation

b20c1e19 02/19/2021 11:21 AM Lélio Brun

Merge branch 'dune'

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

574c671b 03/12/2020 11:21 AM Xavier Thirioux

1) log messages are now flushed. 2) very long computation times due to naive code to check for unused variables are now much shorter

2120af73 01/27/2020 07:00 PM Pierre-Loïc Garoche

[bug cavale 93] solved: issue when resetting a stateless node. Now generating a warning and forcing the stateful status. Could be improved to remove the reset statement. (TODO)

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

94a9e2c3 11/20/2019 04:10 PM Pierre-Loïc Garoche

better location error

2200179c 07/16/2019 07:43 PM Pierre-Loïc Garoche

removed reload of external modules when checking algebraic loop.

View revisions

Also available in: Atom