lustrec @ 86ae18b7
Name | Size | Revision | Age | Author | Comment |
---|---|---|---|---|---|
doc | fce0c270 | about 4 years | Pierre-Loïc Garoche | automata_spec | |
include | 86ae18b7 | about 4 years | Pierre-Loïc Garoche | Import of all Teme's modification from the gith... | |
share | 86ae18b7 | about 4 years | Pierre-Loïc Garoche | Import of all Teme's modification from the gith... | |
src | 86ae18b7 | about 4 years | Pierre-Loïc Garoche | Import of all Teme's modification from the gith... | |
test | 717ed061 | over 4 years | Xavier Thirioux | File removed. It is now generated by configure | |
.gitignore | 93 Bytes | 53a9b564 | almost 6 years | Teme Kahsai | Changed configuration and update the horn_backe... |
AUTHORS | 165 Bytes | 1da8b334 | almost 6 years | Pierre-Loïc Garoche | Add teme git-svn-id: https://cavale.enseeiht.... |
LICENSE-LGPL.txt | 25.8 KB | 22fe1c93 | over 7 years | Pierre-Loïc Garoche | Moved files to trunk in lustre_compiler git-sv... |
Makefile.in | 2.47 KB | 03bb8f64 | over 4 years | Eric NOULARD | Add forthcoming codename to the current dev ver... |
README.lustrec | 991 Bytes | 7bfb18df | almost 6 years | Xavier Thirioux | updated version of README.lustrec about how to ... |
README.md | 678 Bytes | 86ae18b7 | about 4 years | Pierre-Loïc Garoche | Import of all Teme's modification from the gith... |
ReleaseProcess.txt | 1.68 KB | dd74ca16 | about 4 years | Frederic Boniol | Document release process |
TODO.org | 1.13 KB | 22fe1c93 | over 7 years | Pierre-Loïc Garoche | Moved files to trunk in lustre_compiler git-sv... |
configure.ac | 3.99 KB | 86ae18b7 | about 4 years | Pierre-Loïc Garoche | Import of all Teme's modification from the gith... |
lustrec.odocl | 623 Bytes | 86ae18b7 | about 4 years | Pierre-Loïc Garoche | Import of all Teme's modification from the gith... |
setup.ml | 153 KB | 95763423 | over 6 years | Xavier Thirioux | corrected a bug that made an error silent, conf... |
svnignore | 103 Bytes | 22fe1c93 | over 7 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