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 4.41 KB 57c96fb7 11 months Lélio Brun setup tests for dune
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.7 KB 15c3e4e7 11 months Lélio Brun generic ACSL spec generation

Latest revisions

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

719ae9fd 02/03/2021 02:47 PM Lélio Brun

migration draft on dune

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.

5de4dde4 11/24/2018 12:16 AM Pierre-Loïc Garoche

Major refreshing of machine generation

217837e2 11/21/2018 08:15 PM Pierre-Loïc Garoche

Unified compilation of lusi and lus files
Different parsers yet but shared process.
In case of lusi input the C backend is bypassed since the .h is generated from the lusic and no C code should be generated since it may overwrite existing manually written code...

View revisions

Also available in: Atom