Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  doc b38ffff3 over 8 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
  include 5ae8db15 almost 8 years Pierre-Loïc Garoche - Dealt with compiling lusic from distant lusi ...
  share 76b2936d almost 8 years Eric Noulard Properly handle generated files
  src 5ae8db15 almost 8 years Pierre-Loïc Garoche - Dealt with compiling lusic from distant lusi ...
  test 6a1a01d2 about 8 years Xavier Thirioux - Added major feature: Lustre V6 automata !!! ...
.gitignore 77 Bytes 817d5bcb over 8 years Teme Kahsai Fixed horn backend to make query for properties...
AUTHORS 133 Bytes b38ffff3 over 8 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
LICENSE-LGPL.txt 25.8 KB 0cbf0839 about 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
Makefile.in 1.25 KB 5ae8db15 almost 8 years Pierre-Loïc Garoche - Dealt with compiling lusic from distant lusi ...
README.lustrec 802 Bytes 0cbf0839 about 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
TODO.org 1.13 KB 0cbf0839 about 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
_tags 322 Bytes 5ae8db15 almost 8 years Pierre-Loïc Garoche - Dealt with compiling lusic from distant lusi ...
configure.ac 3.19 KB 5ae8db15 almost 8 years Pierre-Loïc Garoche - Dealt with compiling lusic from distant lusi ...
lustrec.odocl 623 Bytes 24d59df8 almost 8 years Pierre-Loïc Garoche Doc file
myocamlbuild.ml.in 295 Bytes 5ae8db15 almost 8 years Pierre-Loïc Garoche - Dealt with compiling lusic from distant lusi ...
setup.ml 153 KB 95763423 about 8 years Xavier Thirioux corrected a bug that made an error silent, conf...
svnignore 103 Bytes 0cbf0839 about 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler

Latest revisions

# Date Author Comment
76b2936d 12/08/2014 02:36 PM Eric Noulard

Properly handle generated files

24d59df8 12/01/2014 11:37 PM Pierre-Loïc Garoche

Doc file

a8e66e98 12/01/2014 11:35 PM Pierre-Loïc Garoche

Removed oasis, now use the classical autoconf; ./configure; make

5ae8db15 12/01/2014 11:32 PM Pierre-Loïc Garoche

- Dealt with compiling lusic from distant lusi files.
- Header now do not allow the generation of function previously declared as C prototype

30a4debf 12/01/2014 03:13 PM Eric Noulard

Small update

801f63fa 12/01/2014 02:53 PM Eric Noulard

Add first version of FindLustre.cmake

c7879e4f 12/01/2014 01:56 PM Pierre-Loïc Garoche

Added compilation and install of include/*.lusi

ab51e2a7 12/01/2014 12:58 PM Eric Noulard

Add more functions in math.lusi

95763423 11/27/2014 03:30 PM Xavier Thirioux

corrected a bug that made an error silent, confusing users...

bc916448 09/29/2014 05:33 PM Xavier Thirioux

- corrected a bug in C code generation for multi-dimension arrays

View all revisions | View revisions

Also available in: Atom