Project

General

Profile

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

Latest revisions

# Date Author Comment
76aa0d9e 07/05/2021 04:09 PM Lélio Brun

include_ is now include with dune 2.9

f1518c7c 07/05/2021 03:42 PM Lélio Brun

more precise spec for stdout

18dada08 07/01/2021 01:56 PM Lélio Brun

working spec in the main function

1bb31f65 06/30/2021 06:29 PM Lélio Brun

a mailmap to clarify logs

d978c46e 06/30/2021 06:10 PM Lélio Brun

start instrumenting the main C function

cc852504 06/30/2021 11:21 AM Lélio Brun

comment dead code with (* XXX: UNUSED *) disclaimer

2926ceee 06/29/2021 06:03 PM Lélio Brun

mli additions complete

a7062da6 06/28/2021 09:52 PM Lélio Brun

another step towards refactoring

50a8778a 06/25/2021 12:35 PM Lélio Brun

refactoring first step

0406ab94 06/18/2021 06:08 PM Lélio Brun

implement optimization on spec: IT WORKS

View all revisions | View revisions

Also available in: Atom