Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src @ 8b3afe43

Name Size Revision Age Author Comment
Print.ml 2.69 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
Print.mli 5.31 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
access.ml 3.92 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
basic_library.ml 7.64 KB 9334747d over 5 years Pierre-Loïc Garoche Fixed bug on the main part
c_backend.ml 38.7 KB 8b3afe43 over 5 years Xavier Thirioux - merged test script - added -d support - cor...
causality.ml 13.3 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
clock_calculus.ml 26.7 KB 8b3afe43 over 5 years Xavier Thirioux - merged test script - added -d support - cor...
clock_predef.ml 1.77 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
clocks.ml 17.3 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
com_protocol.ml 6.41 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
corelang.ml 25.1 KB c02d255e over 5 years Pierre-Loïc Garoche Solved some bugs in the lustre printer Generati...
corelang.mli 7.44 KB c02d255e over 5 years Pierre-Loïc Garoche Solved some bugs in the lustre printer Generati...
deadline_calculus.ml 5.96 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
deadlines.ml 2.58 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
delay.ml 3.3 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
delay_predef.ml 1.55 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
dimension.ml 11.4 KB 8b3afe43 over 5 years Xavier Thirioux - merged test script - added -d support - cor...
env.ml 1.84 KB f22632aa about 6 years Pierre-Loïc Garoche Merge (if it works) of the lustre interfaces br...
expand.ml 11.1 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
horn_backend.ml 13.4 KB 9334747d over 5 years Pierre-Loïc Garoche Fixed bug on the main part
init_calculus.ml 11.5 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
init_predef.ml 2.62 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
inliner.ml 8.58 KB 274c72ec over 5 years Pierre-Loïc Garoche inliner function
java_backend.ml 14.6 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
lexerLustreSpec.mll 3.33 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
lexer_lustre.mll 5.25 KB accbb04d about 6 years Xavier Thirioux - small bug correction in dimension typing - ...
lexer_prelude.mll 3.54 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
location.ml 2.88 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
log.ml 1.29 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
lustreSpec.ml 2.88 KB c02d255e over 5 years Pierre-Loïc Garoche Solved some bugs in the lustre printer Generati...
machine_code.ml 17.4 KB 04a7df69 over 5 years Pierre-Loïc Garoche In the middle of the coding process. Just pushi...
main_lustre_compiler.ml 10.8 KB 8b3afe43 over 5 years Xavier Thirioux - merged test script - added -d support - cor...
normalization.ml 13.6 KB f22632aa about 6 years Pierre-Loïc Garoche Merge (if it works) of the lustre interfaces br...
options.ml 2.88 KB 8b3afe43 over 5 years Xavier Thirioux - merged test script - added -d support - cor...
parse.ml 1.48 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
parserLustreSpec.mly 5.7 KB c02d255e over 5 years Pierre-Loïc Garoche Solved some bugs in the lustre printer Generati...
parser_lustre.mly 15.5 KB 8b3afe43 over 5 years Xavier Thirioux - merged test script - added -d support - cor...
precedence_functions.ml 2.92 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
printers.ml 12.9 KB 8b3afe43 over 5 years Xavier Thirioux - merged test script - added -d support - cor...
scheduling.ml 4.6 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
sortProg.ml 1.29 KB ae78dfee over 5 years Eric Noulard Do not use stable sort because it requires rece...
splitting.ml 3.69 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
type_predef.ml 2.88 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
types.ml 7.82 KB 8b3afe43 over 5 years Xavier Thirioux - merged test script - added -d support - cor...
typing.ml 26.4 KB 8b3afe43 over 5 years Xavier Thirioux - merged test script - added -d support - cor...
utils.ml 8.49 KB c02d255e over 5 years Pierre-Loïc Garoche Solved some bugs in the lustre printer Generati...

Latest revisions

# Date Author Comment
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

c02d255e 02/28/2014 10:33 AM Pierre-Loïc Garoche

Solved some bugs in the lustre printer
Generation of a witness with both the main node and hte inlined main node
Test script modified to check consistency of the inlining process

06fa8b5e 02/26/2014 03:37 PM Xavier Thirioux

better error message for tuple type mismatch

View revisions

Also available in: Atom