Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
access.ml 3.64 KB ca7e8027 about 4 years Lélio Brun fix almost all warnings
algebraicLoop.ml 14.4 KB ca7e8027 about 4 years Lélio Brun fix almost all warnings
init_calculus.ml 11.1 KB 778c80fd over 6 years Pierre-Loïc Garoche Some refactoring Adapted the parser/types/const...
liveness.ml 12 KB 15c3e4e7 almost 4 years Lélio Brun generic ACSL spec generation
stateless.ml 4.73 KB ca7e8027 about 4 years Lélio Brun fix almost all warnings

Latest revisions

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

f4cba4b8 03/12/2019 11:23 AM Pierre-Loïc Garoche

Some progress on compiling cocospec contract.
Contract resolution still need to be done as well as dealing with the machine code level and so on.

View revisions

Also available in: Atom