Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
dimension.ml 10.9 KB ca7ff3f7 11 months Lélio Brun reformatting
dune 408 Bytes ca7ff3f7 11 months Lélio Brun reformatting
env.ml 1.58 KB 27502d69 11 months Lélio Brun add memory instances to footprint lemmas
location.ml 3.08 KB ca7ff3f7 11 months Lélio Brun reformatting
ocaml_utils.ml.ge403 39 Bytes 719ae9fd over 1 year Lélio Brun migration draft on dune
ocaml_utils.ml.lt403 33 Bytes 719ae9fd over 1 year Lélio Brun migration draft on dune
utils.ml 13.2 KB 27502d69 11 months Lélio Brun add memory instances to footprint lemmas

Latest revisions

# Date Author Comment
27502d69 06/18/2021 12:35 PM Lélio Brun

add memory instances to footprint lemmas

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

a2327c71 03/10/2021 05:22 PM Lélio Brun

start to write error messages

90e83deb 03/09/2021 01:20 PM Lélio Brun

prepare for the modern error handling of Menhir

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

generic ACSL spec generation

c226a3ba 03/01/2021 03:56 PM Lélio Brun

start generating ACSL spec

90cc3b8e 02/19/2021 11:19 AM Lélio Brun

some rewriting in C backend pretty-printer

View revisions

Also available in: Atom