lustrec @ ef609cc9
| Name | Size | Revision | Age | Author | Comment |
|---|---|---|---|---|---|
| data-test | 5c0d6e4e | over 4 years | Christophe Garion | json-parser: more tests with single variables | |
| doc | fce0c270 | over 5 years | Pierre-Loïc Garoche | automata_spec | |
| include | c5de2e97 | about 4 years | Pierre-Loïc Garoche | Add the script to update LD_LIBRARY_PATH for z3 | |
| share | 76bed200 | over 4 years | Pierre-Loïc Garoche | Added cmake basic functions Improved the Cmake ... | |
| src | ef609cc9 | about 4 years | Pierre-Loïc Garoche | Zustre: do not declare variables as Fixedpoint ... | |
| .gitignore | 161 Bytes | e7b4ba42 | over 4 years | Christophe Garion | add files in gitignore |
| .ocaml-config.sh | 335 Bytes | e548bb75 | about 7 years | lememta | smaller amount of compilers |
| .travis.yml | 1.66 KB | e057dd08 | over 5 years | Teme Kahsai | adjusting travis |
| AUTHORS | 165 Bytes | 1da8b334 | about 7 years | Pierre-Loïc Garoche | Add teme git-svn-id: https://cavale.enseeiht.... |
| 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 | 3.53 KB | 8446bf03 | about 4 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
| README.lustrec | 991 Bytes | 7bfb18df | about 7 years | Xavier Thirioux | updated version of README.lustrec about how to ... |
| README.md | 678 Bytes | 5573fee2 | over 5 years | Teme Kahsai | new readme |
| ReleaseProcess.txt | 1.68 KB | dd74ca16 | over 5 years | Frederic Boniol | Document release process |
| TODO.org | 2.31 KB | 2fb97ad4 | about 4 years | Pierre-Loïc Garoche | Merge conflict solved |
| configure.ac | 8.3 KB | e4edf171 | about 4 years | Pierre-Loïc Garoche | Zustre backend |
| svnignore | 103 Bytes | 22fe1c93 | over 8 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