Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
dimension.ml 10.9 KB ca7e8027 over 1 year Lélio Brun fix almost all warnings
dune 399 Bytes 719ae9fd over 1 year Lélio Brun migration draft on dune
env.ml 1.65 KB ca7e8027 over 1 year Lélio Brun fix almost all warnings
location.ml 3.08 KB a2327c71 about 1 year Lélio Brun start to write error messages
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 6d1693b9 11 months Lélio Brun work on spec generation almost done

Latest revisions

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

1df55e58 02/16/2021 04:21 PM Lélio Brun

minor rewriting

57c96fb7 02/15/2021 02:26 PM Lélio Brun

setup tests for dune

View revisions

Also available in: Atom