Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
dimension.ml 10.9 KB ca7e8027 12 months Lélio Brun fix almost all warnings
dune 399 Bytes 719ae9fd 12 months Lélio Brun migration draft on dune
env.ml 1.65 KB ca7e8027 12 months Lélio Brun fix almost all warnings
location.ml 3.08 KB a2327c71 11 months Lélio Brun start to write error messages
ocaml_utils.ml.ge403 39 Bytes 719ae9fd 12 months Lélio Brun migration draft on dune
ocaml_utils.ml.lt403 33 Bytes 719ae9fd 12 months Lélio Brun migration draft on dune
utils.ml 12.9 KB 75c459f4 9 months Lélio Brun start with Spec AST generation

Latest revisions

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

ca7e8027 02/05/2021 02:36 PM Lélio Brun

fix almost all warnings

View revisions

Also available in: Atom