lustrec @ 0d79d0f3
Name | Size | Revision | Age | Author | Comment |
---|---|---|---|---|---|
data-test | 5c0d6e4e | over 3 years | Christophe Garion | json-parser: more tests with single variables | |
doc | 73ccaf2f | over 2 years | Pierre-Loïc Garoche | Merge branch 'cocospec' of https://cavale.ensee... | |
include | 5275a6fd | almost 3 years | Pierre-Loïc Garoche | [lustrev] forced the z3 lib to be loaded before... | |
share | 76bed200 | about 3 years | Pierre-Loïc Garoche | Added cmake basic functions Improved the Cmake ... | |
src | 0d79d0f3 | over 2 years | Pierre-Loïc Garoche | First working version of switched system extrac... | |
.gitignore | 161 Bytes | e7b4ba42 | over 3 years | Christophe Garion | add files in gitignore |
.ocaml-config.sh | 335 Bytes | e548bb75 | almost 6 years | lememta | smaller amount of compilers |
.travis.yml | 1.66 KB | e057dd08 | about 4 years | Teme Kahsai | adjusting travis |
AUTHORS | 244 Bytes | ec8fc65e | over 2 years | Pierre-Loïc Garoche | configure.ac tuning |
LICENSE-LGPL.txt | 25.8 KB | 22fe1c93 | over 7 years | Pierre-Loïc Garoche | Moved files to trunk in lustre_compiler git-sv... |
LICENSE-kind.md | 10.6 KB | 12249005 | almost 3 years | Pierre-Loïc Garoche | Kind licence file |
Makefile-lustresf.in | 142 Bytes | 3b4b7a2e | about 3 years | Christophe Garion | [lustresf] lustresf targets are optional in Mak... |
Makefile.in | 3.6 KB | 27446b88 | over 2 years | Pierre-Loïc Garoche | Improving connection with CDash |
README.lustrec | 991 Bytes | 7bfb18df | almost 6 years | Xavier Thirioux | updated version of README.lustrec about how to ... |
README.md | 678 Bytes | 5573fee2 | over 4 years | Teme Kahsai | new readme |
ReleaseProcess.txt | 1.68 KB | dd74ca16 | about 4 years | Frederic Boniol | Document release process |
TODO.org | 8.3 KB | a703ed0c | over 2 years | Pierre-Loïc Garoche | Preprocess the selected node in seaL BACKEND: f... |
configure.ac | 9.32 KB | ec8fc65e | over 2 years | Pierre-Loïc Garoche | configure.ac tuning |
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