Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
access.ml 3.64 KB ca7e8027 over 1 year Lélio Brun fix almost all warnings
algebraicLoop.ml 14.4 KB ca7e8027 over 1 year 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 7ee5f69e about 1 year Lélio Brun corrections on loggers + spec in AST
stateless.ml 4.73 KB ca7e8027 over 1 year Lélio Brun fix almost all warnings

Latest revisions

# Date Author Comment
7ee5f69e 05/04/2021 10:20 AM Lélio Brun

corrections on loggers + spec in AST

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

View revisions

Also available in: Atom