lustrec @ 03c767b1
| Name | Size | Revision | Age | Author | Comment |
|---|---|---|---|---|---|
| data-test | 5c0d6e4e | almost 6 years | Christophe Garion | json-parser: more tests with single variables | |
| doc | 73ccaf2f | almost 5 years | Pierre-Loïc Garoche | Merge branch 'cocospec' of https://cavale.ensee... | |
| include | e5d77428 | over 4 years | Pierre-Loïc Garoche | Solved issue btw mpfr and conv functions (int_t... | |
| share | 5c3b45a0 | almost 5 years | Pierre-Loïc Garoche | Lustre test gen mutation: bug solved. The path ... | |
| src | 03c767b1 | about 4 years | Pierre-Loïc Garoche | Seal: solved issue with guards merging | |
| .gitignore | 161 Bytes | e7b4ba42 | about 6 years | Christophe Garion | add files in gitignore |
| .merlin | 912 Bytes | ae7d913d | almost 5 years | Pierre-Loïc Garoche | Merlin files |
| .ocaml-config.sh | 335 Bytes | e548bb75 | over 8 years | lememta | smaller amount of compilers |
| .travis.yml | 1.66 KB | e057dd08 | over 6 years | Teme Kahsai | adjusting travis |
| AUTHORS | 244 Bytes | ec8fc65e | almost 5 years | Pierre-Loïc Garoche | configure.ac tuning |
| INSTALL | 290 Bytes | 75a7b65b | over 4 years | Garoche | install notes |
| LICENSE-LGPL.txt | 25.8 KB | 22fe1c93 | almost 10 years | Pierre-Loïc Garoche | Moved files to trunk in lustre_compiler git-sv... |
| Makefile-lustresf.in | 142 Bytes | 3b4b7a2e | almost 6 years | Christophe Garion | [lustresf] lustresf targets are optional in Mak... |
| Makefile.in | 3.63 KB | fb716d2c | almost 5 years | Pierre-Loïc Garoche | Some autoconf update |
| README.lustrec | 991 Bytes | 7bfb18df | over 8 years | Xavier Thirioux | updated version of README.lustrec about how to ... |
| README.md | 1023 Bytes | 0980686c | about 4 years | Pierre-Loïc Garoche | Seal deps + Z3 pin opam |
| ReleaseProcess.txt | 1.68 KB | dd74ca16 | almost 7 years | Frederic Boniol | Document release process |
| TODO.org | 11.1 KB | f4cba4b8 | over 4 years | Pierre-Loïc Garoche | Some progress on compiling cocospec contract. C... |
| configure.ac | 9.87 KB | 3209838a | about 4 years | Pierre-Loïc Garoche | configure.ac |
| opam | 1.36 KB | 222db658 | almost 5 years | Pierre-Loïc Garoche | New url in opam file |
| opam.in | 1.37 KB | a01cb3a9 | almost 5 years | Pierre-Loïc Garoche | New archive for 1.6 |
| svnignore | 103 Bytes | 22fe1c93 | almost 10 years | Pierre-Loïc Garoche | Moved files to trunk in lustre_compiler git-sv... |
Latest revisions
View all revisions | View revisions
Also available in: Atom