Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ a2b101d3

Name Size Revision Age Author Comment
  backends 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
  data-test 5c0d6e4e over 3 years Christophe Garion json-parser: more tests with single variables
  doc 73ccaf2f over 2 years Pierre-Loïc Garoche Merge branch 'cocospec' of https://cavale.ensee...
  include 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
  lib 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
  plugins a2b101d3 8 months Pierre-Loïc Garoche Zustre/Z3 dependency: switched from -R to -rpat...
  share 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
  src 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
.dockerignore 13 Bytes 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
.gitignore 230 Bytes 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
.travis.yml 1.66 KB e057dd08 over 4 years Teme Kahsai adjusting travis
AUTHORS 244 Bytes ec8fc65e over 2 years Pierre-Loïc Garoche configure.ac tuning
Dockerfile.alpine 1.39 KB 491aa732 9 months Corentin Lauverjat Add explanation for mlmpfr and mpfr version pin...
Dockerfile.ubuntu 979 Bytes 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
LICENSE-LGPL.txt 25.8 KB 22fe1c93 over 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
Makefile-lustresf.in 142 Bytes 3b4b7a2e over 3 years Christophe Garion [lustresf] lustresf targets are optional in Mak...
Makefile.in 2.68 KB 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
README.md 8.21 KB b6a913e1 9 months Corentin Lauverjat Explanation about the Makefile
ReleaseProcess.txt 1.68 KB dd74ca16 over 4 years Frederic Boniol Document release process
TODO.org 11.1 KB f4cba4b8 about 2 years Pierre-Loïc Garoche Some progress on compiling cocospec contract. C...
configure.ac 7.02 KB 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
dune 82 Bytes 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
dune-project 115 Bytes bd4cb9d6 9 months Corentin Lauverjat Opam not generated by dune
lustrec-enable-zustre.opam 471 Bytes 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
lustrec.opam 1.74 KB a5484aa2 8 months Pierre-Loïc Garoche reactivating all plugins

Latest revisions

# Date Author Comment
a2b101d3 08/19/2020 03:31 PM Pierre-Loïc Garoche

Zustre/Z3 dependency: switched from -R to -rpath to solve compatibility issues with Linux/Gcc vs OSX/Clang

a5484aa2 08/19/2020 03:09 PM Pierre-Loïc Garoche

reactivating all plugins

8658035f 08/19/2020 02:47 PM Pierre-Loïc Garoche

restricting opam to core install

e40fd0dd 08/19/2020 02:46 PM Pierre-Loïc Garoche

restricting opam to core install

943dbab3 08/19/2020 02:46 PM Pierre-Loïc Garoche

fixed some code in salsa plugin migration

bd4cb9d6 07/30/2020 04:54 PM Corentin Lauverjat

Opam not generated by dune

b6a913e1 07/30/2020 04:52 PM Corentin Lauverjat

Explanation about the Makefile

491aa732 07/30/2020 04:50 PM Corentin Lauverjat

Add explanation for mlmpfr and mpfr version pinning

9c4cc944 07/30/2020 04:35 PM Corentin Lauverjat

Transition to dune build system
Improvement of opam integration
Dockerfile based on Alpine
Dockerfile based on Ubuntu
Update the README.md

8c36178f 07/09/2020 03:33 PM Pierre-Loïc Garoche

Merge branch 'lustrec-seal' of https://cavale.enseeiht.fr/git/lustrec into lustrec-seal

View all revisions | View revisions

Also available in: Atom