lustrec @ bc916448
Name | Size | Revision | Age | Author | Comment |
---|---|---|---|---|---|
doc | b38ffff3 | over 10 years | Pierre-Loïc Garoche | Updated the licence info and header for each fi... | |
include | f044d0b0 | over 10 years | Pierre-Loïc Garoche | Convertion operators | |
src | bc916448 | over 10 years | Xavier Thirioux | - corrected a bug in C code generation for mult... | |
test | 6a1a01d2 | over 10 years | Xavier Thirioux | - Added major feature: Lustre V6 automata !!! ... | |
.gitignore | 77 Bytes | 817d5bcb | over 10 years | Teme Kahsai | Fixed horn backend to make query for properties... |
AUTHORS | 133 Bytes | b38ffff3 | over 10 years | Pierre-Loïc Garoche | Updated the licence info and header for each fi... |
LICENSE-LGPL.txt | 25.8 KB | 0cbf0839 | over 11 years | Pierre-Loïc Garoche | Moved files to trunk in lustre_compiler |
Makefile | 750 Bytes | 3f823d04 | over 10 years | Xavier Thirioux | - corrected bug with destination directory (-d ... |
README.lustrec | 802 Bytes | 0cbf0839 | over 11 years | Pierre-Loïc Garoche | Moved files to trunk in lustre_compiler |
TODO.org | 1.13 KB | 0cbf0839 | over 11 years | Pierre-Loïc Garoche | Moved files to trunk in lustre_compiler |
_oasis | 600 Bytes | c00d0b42 | almost 11 years | Pierre-Loïc Garoche | Changed the load of lusi files: imported nodes ... |
_tags | 769 Bytes | b38ffff3 | over 10 years | Pierre-Loïc Garoche | Updated the licence info and header for each fi... |
configure | 363 Bytes | 3f823d04 | over 10 years | Xavier Thirioux | - corrected bug with destination directory (-d ... |
myocamlbuild.ml | 16.2 KB | 3f823d04 | over 10 years | Xavier Thirioux | - corrected bug with destination directory (-d ... |
setup.ml | 175 KB | 3f823d04 | over 10 years | Xavier Thirioux | - corrected bug with destination directory (-d ... |
svn_version.sh | 679 Bytes | 15787c5b | over 10 years | Teme Kahsai | added git version of svn_version |
svnignore | 103 Bytes | 0cbf0839 | over 11 years | Pierre-Loïc Garoche | Moved files to trunk in lustre_compiler |
Latest revisions
View all revisions | View revisions
Also available in: Atom