lustrec @ 5fe9fe22
Name | Size | Revision | Age | Author | Comment |
---|---|---|---|---|---|
doc | b38ffff3 | about 10 years | Pierre-Loïc Garoche | Updated the licence info and header for each fi... | |
include | 5ae8db15 | almost 10 years | Pierre-Loïc Garoche | - Dealt with compiling lusic from distant lusi ... | |
share | 76b2936d | almost 10 years | Eric Noulard | Properly handle generated files | |
src | 5fe9fe22 | over 9 years | Teme Kahsai | changed name from -horn-queries to -horn-query | |
test | 4f4a77a4 | over 9 years | Xavier Thirioux | some tiny mistakes corrected... | |
.gitignore | 93 Bytes | 545772c4 | over 9 years | Teme Kahsai | Changed configuration and update the horn_backe... |
AUTHORS | 165 Bytes | 330b42e3 | over 9 years | Pierre-Loïc Garoche | Add teme |
LICENSE-LGPL.txt | 25.8 KB | 0cbf0839 | about 11 years | Pierre-Loïc Garoche | Moved files to trunk in lustre_compiler |
Makefile.in | 1.44 KB | 8958262e | over 9 years | Pierre-Loïc Garoche | Cleaning lusic when installing |
README.lustrec | 991 Bytes | 3a958c40 | over 9 years | Xavier Thirioux | updated version of README.lustrec about how to ... |
README.md | 172 Bytes | f8b3de19 | over 9 years | Pierre-Loïc Garoche | horn queries back |
TODO.org | 1.13 KB | 0cbf0839 | about 11 years | Pierre-Loïc Garoche | Moved files to trunk in lustre_compiler |
configure.ac | 3.21 KB | 00b2c9f8 | over 9 years | Pierre-Loïc Garoche | Post Xia dev |
lustrec.odocl | 623 Bytes | 24d59df8 | almost 10 years | Pierre-Loïc Garoche | Doc file |
setup.ml | 153 KB | 95763423 | almost 10 years | Xavier Thirioux | corrected a bug that made an error silent, conf... |
svnignore | 103 Bytes | 0cbf0839 | about 11 years | Pierre-Loïc Garoche | Moved files to trunk in lustre_compiler |
Latest revisions
View all revisions | View revisions
Also available in: Atom