lustrec @ 9b0432bc
| Name | Size | Revision | Age | Author | Comment |
|---|---|---|---|---|---|
| backends | 9b0432bc | over 1 year | Corentin Lauverjat | Using deriving_ppx to derive show_ functions fo... | |
| 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... | |
| examples | 9b0432bc | over 1 year | Corentin Lauverjat | Using deriving_ppx to derive show_ functions fo... | |
| include | fca87593 | almost 2 years | Pierre-Loïc Garoche | adding lusic building of libraries when install... | |
| lib | 9b0432bc | over 1 year | Corentin Lauverjat | Using deriving_ppx to derive show_ functions fo... | |
| plugins | 9b0432bc | over 1 year | Corentin Lauverjat | Using deriving_ppx to derive show_ functions fo... | |
| share | 9c4cc944 | almost 2 years | Corentin Lauverjat | Transition to dune build system Improvement of ... | |
| src | 9b0432bc | over 1 year | Corentin Lauverjat | Using deriving_ppx to derive show_ functions fo... | |
| .dockerignore | 13 Bytes | 9c4cc944 | almost 2 years | Corentin Lauverjat | Transition to dune build system Improvement of ... |
| .gitignore | 230 Bytes | 9c4cc944 | almost 2 years | Corentin Lauverjat | Transition to dune build system Improvement of ... |
| .ocamlformat | 97 Bytes | 9b0432bc | over 1 year | Corentin Lauverjat | Using deriving_ppx to derive show_ functions fo... |
| .travis.yml | 1.66 KB | e057dd08 | over 5 years | Teme Kahsai | adjusting travis |
| AUTHORS | 244 Bytes | ec8fc65e | over 3 years | Pierre-Loïc Garoche | configure.ac tuning |
| Dockerfile.alpine | 1.39 KB | 491aa732 | almost 2 years | Corentin Lauverjat | Add explanation for mlmpfr and mpfr version pin... |
| Dockerfile.ubuntu | 979 Bytes | 9c4cc944 | almost 2 years | Corentin Lauverjat | Transition to dune build system Improvement of ... |
| 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 | 2.68 KB | 9c4cc944 | almost 2 years | Corentin Lauverjat | Transition to dune build system Improvement of ... |
| README.md | 9.96 KB | 9b0432bc | over 1 year | Corentin Lauverjat | Using deriving_ppx to derive show_ functions fo... |
| 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 | 5.66 KB | 9b0432bc | over 1 year | Corentin Lauverjat | Using deriving_ppx to derive show_ functions fo... |
| dune | 82 Bytes | 9c4cc944 | almost 2 years | Corentin Lauverjat | Transition to dune build system Improvement of ... |
| dune-project | 115 Bytes | bd4cb9d6 | almost 2 years | Corentin Lauverjat | Opam not generated by dune |
| lustrec-enable-zustre.opam | 471 Bytes | 9c4cc944 | almost 2 years | Corentin Lauverjat | Transition to dune build system Improvement of ... |
| lustrec.opam | 1.74 KB | a5484aa2 | almost 2 years | Pierre-Loïc Garoche | reactivating all plugins |
Latest revisions
View all revisions | View revisions
Also available in: Atom