Project

General

Profile

Download (11.7 KB) Statistics
| Branch: | Tag: | Revision:

lustrec/src/checks/liveness.ml @ ca7ff3f7

# Date Author Comment
ca7ff3f7 06/17/2021 11:33 AM Lélio Brun

reformatting
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'
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
778c80fd 10/05/2018 07:54 PM Pierre-Loïc Garoche

Some refactoring
Adapted the parser/types/constructors for cocospec syntax