Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  data-test 5c0d6e4e over 4 years Christophe Garion json-parser: more tests with single variables
  doc 73ccaf2f over 3 years Pierre-Loïc Garoche Merge branch 'cocospec' of https://cavale.ensee...
  include 6cbbe1c1 12 months Lélio Brun start again with spec representation
  share 57c96fb7 over 1 year Lélio Brun setup tests for dune
  src 6cbbe1c1 12 months Lélio Brun start again with spec representation
.gitignore 118 Bytes 719ae9fd over 1 year Lélio Brun migration draft on dune
.gitlab-ci.yml 13.5 KB 9d693675 about 1 year Lélio Brun the generation of ACSL from machine code reveal...
.gitmodules 86 Bytes 57c96fb7 over 1 year Lélio Brun setup tests for dune
AUTHORS 244 Bytes ec8fc65e over 3 years Pierre-Loïc Garoche configure.ac tuning
INSTALL 290 Bytes 75a7b65b about 3 years Garoche install notes
LICENSE-LGPL.txt 25.8 KB 22fe1c93 over 8 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
Makefile-lustresf.in 142 Bytes 3b4b7a2e over 4 years Christophe Garion [lustresf] lustresf targets are optional in Mak...
Makefile.in 3.63 KB fb716d2c over 3 years Pierre-Loïc Garoche Some autoconf update
README.lustrec 991 Bytes 7bfb18df about 7 years Xavier Thirioux updated version of README.lustrec about how to ...
README.md 1.04 KB 719ae9fd over 1 year Lélio Brun migration draft on dune
ReleaseProcess.txt 1.68 KB dd74ca16 over 5 years Frederic Boniol Document release process
TODO.org 11.1 KB f4cba4b8 about 3 years Pierre-Loïc Garoche Some progress on compiling cocospec contract. C...
configure.ac 10.3 KB f0195e96 over 2 years Pierre-Loïc Garoche - Primitive Tiny backend - Renamed Mpfr to lust...
dune 1.23 KB efcc8d7f about 1 year Lélio Brun move arrow spec in its own header
dune-project 1.26 KB 57c96fb7 over 1 year Lélio Brun setup tests for dune
lustrec.opam 1.29 KB 97d4e95e over 1 year Lélio Brun add gmp dep
tests 0 Bytes 57c96fb7 over 1 year Lélio Brun setup tests for dune

Latest revisions

# Date Author Comment
6cbbe1c1 06/03/2021 04:44 PM Lélio Brun

start again with spec representation

75c459f4 05/04/2021 06:24 PM Lélio Brun

start with Spec AST generation

f69e7ea2 05/04/2021 10:58 AM Lélio Brun

add -O -1 flag to disable fusion of conditionals

7a1b2819 05/04/2021 10:26 AM Lélio Brun

missing file

7ee5f69e 05/04/2021 10:20 AM Lélio Brun

corrections on loggers + spec in AST

dfce5630 04/26/2021 05:12 PM Lélio Brun

patch de Xavier pour réparer -O 3

9d693675 04/22/2021 03:06 PM Lélio Brun

the generation of ACSL from machine code reveal too fragile as it occurs after several transformations (eg. fusion)

ed1ff359 04/21/2021 06:09 PM BRUN Lelio

Update .gitlab-ci.yml file

8060f89a 04/21/2021 06:01 PM Lélio Brun

forgotten file

d8144228 04/21/2021 05:55 PM BRUN Lelio

Update .gitlab-ci.yml file

View all revisions | View revisions

Also available in: Atom