lustrec @ bec3cf3d
Name | Size | Revision | Age | Author | Comment |
---|---|---|---|---|---|
doc | fce0c270 | almost 8 years | Pierre-Loïc Garoche | automata_spec | |
include | 9a7268ba | over 7 years | Pierre-Loïc Garoche | io_frontend header with new functions | |
share | 641493cf | almost 8 years | Eric NOULARD | Suppress some commented code | |
src | bec3cf3d | over 6 years | Xavier Thirioux | strange bug (ill-typed source) wrt Bytes/String... | |
.gitignore | 93 Bytes | 53a9b564 | over 9 years | Teme Kahsai | Changed configuration and update the horn_backe... |
.ocaml-config.sh | 335 Bytes | e548bb75 | over 9 years | lememta | smaller amount of compilers |
.travis.yml | 1.66 KB | e057dd08 | almost 8 years | Teme Kahsai | adjusting travis |
AUTHORS | 165 Bytes | 1da8b334 | over 9 years | Pierre-Loïc Garoche | Add teme git-svn-id: https://cavale.enseeiht.... |
LICENSE-LGPL.txt | 25.8 KB | 22fe1c93 | about 11 years | Pierre-Loïc Garoche | Moved files to trunk in lustre_compiler git-sv... |
Makefile.in | 2.89 KB | 3a4cc4d5 | over 7 years | Pierre-Loïc Garoche | More tests in default test target: main focus o... |
README.lustrec | 991 Bytes | 7bfb18df | over 9 years | Xavier Thirioux | updated version of README.lustrec about how to ... |
README.md | 678 Bytes | 5573fee2 | about 8 years | Teme Kahsai | new readme |
ReleaseProcess.txt | 1.68 KB | dd74ca16 | almost 8 years | Frederic Boniol | Document release process |
TODO.org | 2.05 KB | 0dee2bc1 | almost 9 years | Pierre-Loïc Garoche | Refactoring of the horn backend with Reset/Step... |
configure.ac | 5.15 KB | bd1bb668 | over 7 years | Pierre-Loïc Garoche | Moved to 1.5 dev |
svnignore | 103 Bytes | 22fe1c93 | about 11 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