lustrec @ b4d9710b
Name | Size | Revision | Age | Author | Comment |
---|---|---|---|---|---|
doc | a2d97a3e | over 6 years | Pierre-Loïc Garoche | Updated the licence info and header for each fi... | |
include | 3dacdcc2 | over 6 years | Pierre-Loïc Garoche | Convertion operators git-svn-id: https://cava... | |
src | b4d9710b | over 6 years | Xavier Thirioux | - corrected bug in node reset clock - cleaner ... | |
test | 54d032f5 | over 6 years | Xavier Thirioux | - Added major feature: Lustre V6 automata !!! ... | |
.gitignore | 77 Bytes | be3dd43f | over 6 years | Teme Kahsai | Fixed horn backend to make query for properties... |
AUTHORS | 133 Bytes | a2d97a3e | over 6 years | Pierre-Loïc Garoche | Updated the licence info and header for each fi... |
LICENSE-LGPL.txt | 25.8 KB | 22fe1c93 | over 7 years | Pierre-Loïc Garoche | Moved files to trunk in lustre_compiler git-sv... |
Makefile | 750 Bytes | 9603460e | over 6 years | Xavier Thirioux | - corrected bug with destination directory (-d ... |
README.lustrec | 802 Bytes | 22fe1c93 | over 7 years | Pierre-Loïc Garoche | Moved files to trunk in lustre_compiler git-sv... |
TODO.org | 1.13 KB | 22fe1c93 | over 7 years | Pierre-Loïc Garoche | Moved files to trunk in lustre_compiler git-sv... |
_oasis | 600 Bytes | 54ae8ac7 | over 6 years | Pierre-Loïc Garoche | Changed the load of lusi files: imported nodes ... |
_tags | 769 Bytes | a2d97a3e | over 6 years | Pierre-Loïc Garoche | Updated the licence info and header for each fi... |
configure | 363 Bytes | 9603460e | over 6 years | Xavier Thirioux | - corrected bug with destination directory (-d ... |
myocamlbuild.ml | 16.2 KB | 9603460e | over 6 years | Xavier Thirioux | - corrected bug with destination directory (-d ... |
setup.ml | 175 KB | 9603460e | over 6 years | Xavier Thirioux | - corrected bug with destination directory (-d ... |
svn_version.sh | 679 Bytes | 32e6c218 | over 6 years | Teme Kahsai | added git version of svn_version git-svn-id: h... |
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