lustrec @ 8eee42de
| Name | Size | Revision | Age | Author | Comment |
|---|---|---|---|---|---|
| doc | b38ffff3 | almost 8 years | Pierre-Loïc Garoche | Updated the licence info and header for each fi... | |
| include | 5ae8db15 | over 7 years | Pierre-Loïc Garoche | - Dealt with compiling lusic from distant lusi ... | |
| share | 719f4b27 | almost 7 years | Eric Noulard | Update FindLustre in order to handle a default ... | |
| src | 8eee42de | over 6 years | Pierre-Loïc Garoche | Refined the dependencies in the generated makefile | |
| test | ed736b69 | almost 7 years | Pierre-Loïc Garoche | Merge of last trunk commits Added fbyn(expr, n,... | |
| .gitignore | 93 Bytes | 545772c4 | about 7 years | Teme Kahsai | Changed configuration and update the horn_backe... |
| AUTHORS | 165 Bytes | 330b42e3 | about 7 years | Pierre-Loïc Garoche | Add teme |
| LICENSE-LGPL.txt | 25.8 KB | 0cbf0839 | over 8 years | Pierre-Loïc Garoche | Moved files to trunk in lustre_compiler |
| Makefile.in | 1.47 KB | b2a445af | almost 7 years | Eric Noulard | Ignore rm error in clean rules |
| README.lustrec | 991 Bytes | 3a958c40 | about 7 years | Xavier Thirioux | updated version of README.lustrec about how to ... |
| README.md | 172 Bytes | f8b3de19 | about 7 years | Pierre-Loïc Garoche | horn queries back |
| TODO.org | 2.05 KB | 0dee2bc1 | over 6 years | Pierre-Loïc Garoche | Refactoring of the horn backend with Reset/Step... |
| configure.ac | 3.17 KB | 6ff6d24c | over 6 years | Pierre-Loïc Garoche | Removed myocamlbuild.ml. Not used anymore |
| lustrec.odocl | 623 Bytes | 24d59df8 | over 7 years | Pierre-Loïc Garoche | Doc file |
| setup.ml | 153 KB | 95763423 | over 7 years | Xavier Thirioux | corrected a bug that made an error silent, conf... |
| svnignore | 103 Bytes | 0cbf0839 | over 8 years | Pierre-Loïc Garoche | Moved files to trunk in lustre_compiler |
Latest revisions
View all revisions | View revisions
Also available in: Atom