Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec/src/utils @ c226a3ba

Name Size Revision Age Author Comment
dimension.ml 10.9 KB ca7e8027 over 3 years Lélio Brun fix almost all warnings
dune 399 Bytes 719ae9fd over 3 years Lélio Brun migration draft on dune
env.ml 1.65 KB ca7e8027 over 3 years Lélio Brun fix almost all warnings
location.ml 4.41 KB 57c96fb7 over 3 years Lélio Brun setup tests for dune
ocaml_utils.ml.ge403 39 Bytes 719ae9fd over 3 years Lélio Brun migration draft on dune
ocaml_utils.ml.lt403 33 Bytes 719ae9fd over 3 years Lélio Brun migration draft on dune
utils.ml 12.4 KB c226a3ba over 3 years Lélio Brun start generating ACSL spec

Latest revisions

# Date Author Comment
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...
59803095 11/16/2018 11:30 PM Pierre-Loïc Garoche

Merge branch 'unstable' into lustrec-seal

View revisions

Also available in: Atom