Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  doc fdeaac38 over 8 years Pierre-Loïc Garoche Lustre interfaces: lusi files are generated and...
  include 0cbf0839 over 8 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
  src 8b3afe43 about 8 years Xavier Thirioux - merged test script - added -d support - cor...
  test 3e36d4e0 about 8 years Pierre-Loïc Garoche Added default ensures statements
LICENSE-LGPL.txt 25.8 KB 0cbf0839 over 8 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
Makefile 702 Bytes 0cbf0839 over 8 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
README.lustrec 802 Bytes 0cbf0839 over 8 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
TODO.org 1.13 KB 0cbf0839 over 8 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
_oasis 581 Bytes b8ae1bbc about 8 years Pierre-Loïc Garoche Improvements as suggested by e. Noulard: better...
_tags 322 Bytes 0cbf0839 over 8 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
configure 132 Bytes 0cbf0839 over 8 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
myocamlbuild.ml 12.7 KB 0cbf0839 over 8 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
setup.ml 133 KB b8ae1bbc about 8 years Pierre-Loïc Garoche Improvements as suggested by e. Noulard: better...
svn_version.sh 371 Bytes 0cbf0839 over 8 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
svnignore 103 Bytes 0cbf0839 over 8 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler

Latest revisions

# Date Author Comment
3e36d4e0 02/28/2014 11:59 PM Pierre-Loïc Garoche

Added default ensures statements

7f611a35 02/28/2014 05:09 PM Xavier Thirioux

- added dummy_lib.lusi (accidentally removed !?)

8b3afe43 02/28/2014 04:56 PM Xavier Thirioux

- merged test script
- added -d support
- corrected #open parser problem
- corrected interface/implementation (.lusi/.lus) checking
for types (not yet for clocks)

29ad4531 02/28/2014 03:28 PM Pierre-Loïc Garoche

Merge back horn backend branch in trunk

64aa99c4 02/28/2014 02:05 PM Pierre-Loïc Garoche

Merge trunk modif in branch

addb1a3a 02/28/2014 02:04 PM Pierre-Loïc Garoche

desome

49b32cb6 02/28/2014 01:52 PM Pierre-Loïc Garoche

Merge inlining branch within trunk.
The test target requires branch lustrec/horn as binary lustreh.

274c72ec 02/28/2014 01:43 PM Pierre-Loïc Garoche

inliner function

b63536a0 02/28/2014 10:39 AM Pierre-Loïc Garoche

Minor bugs

ae78dfee 02/28/2014 10:35 AM Eric Noulard

Do not use stable sort because it requires recent ocamlgraph
library (1.8.3) which is not widely available in distro repository.
Moreover "stable" sort is not necessary, sort will do.
Fixes Issue #49: https://cavale.enseeiht.fr/redmine/issues/49

View all revisions | View revisions

Also available in: Atom