Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 971a4d81

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

Latest revisions

# Date Author Comment
971a4d81 02/16/2021 12:33 PM Lélio Brun

missing header files in dune install targets
ac6ce5a1 02/15/2021 02:59 PM Lélio Brun

disable tests in gitlab CI
57c96fb7 02/15/2021 02:26 PM Lélio Brun

setup tests for dune
97d4e95e 02/08/2021 10:23 AM Lélio Brun

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

fix almost all warnings
3dfb5cd8 02/05/2021 02:36 PM Lélio Brun

rewrite a bit the menhir parser
b9e707e8 02/03/2021 03:36 PM Lélio Brun

forgot to generate opam file
3daa3cc3 02/03/2021 03:31 PM Lélio Brun

missing dune-site dep
e60a3711 02/03/2021 03:27 PM Lélio Brun

missing zarith dep
d88b417f 02/03/2021 03:01 PM Lélio Brun

try to fix ci

View all revisions | View revisions

Also available in: Atom