Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
Print.ml 2.69 KB 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
Print.mli 5.31 KB 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
access.ml 3.92 KB 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
basic_library.ml 7.64 KB 4be0d54a over 9 years Pierre-Loïc Garoche Fixed bug on the main part git-svn-id: https:/...
c_backend.ml 38.7 KB 7291cb80 over 9 years Xavier Thirioux - merged test script - added -d support - cor...
causality.ml 13.3 KB 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
clock_calculus.ml 26.7 KB 7291cb80 over 9 years Xavier Thirioux - merged test script - added -d support - cor...
clock_predef.ml 1.77 KB 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
clocks.ml 17.3 KB 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
com_protocol.ml 6.41 KB 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
corelang.ml 25.1 KB e2380d4d over 9 years Pierre-Loïc Garoche Solved some bugs in the lustre printer Generati...
corelang.mli 7.44 KB e2380d4d over 9 years Pierre-Loïc Garoche Solved some bugs in the lustre printer Generati...
deadline_calculus.ml 5.96 KB 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
deadlines.ml 2.58 KB 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
delay.ml 3.3 KB 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
delay_predef.ml 1.55 KB 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
dimension.ml 11.4 KB 7291cb80 over 9 years Xavier Thirioux - merged test script - added -d support - cor...
env.ml 1.84 KB 5c1184ad over 9 years Pierre-Loïc Garoche Merge (if it works) of the lustre interfaces br...
expand.ml 11.1 KB 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
horn_backend.ml 13.4 KB 4be0d54a over 9 years Pierre-Loïc Garoche Fixed bug on the main part git-svn-id: https:/...
init_calculus.ml 11.5 KB 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
init_predef.ml 2.62 KB 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
inliner.ml 8.58 KB b09a175c over 9 years Pierre-Loïc Garoche inliner function git-svn-id: https://cavale.en...
java_backend.ml 14.6 KB 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
lexerLustreSpec.mll 3.33 KB 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
lexer_lustre.mll 5.25 KB b3381ae8 over 9 years Xavier Thirioux - small bug correction in dimension typing - ...
lexer_prelude.mll 3.54 KB 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
location.ml 2.88 KB 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
log.ml 1.29 KB 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
lustreSpec.ml 2.88 KB e2380d4d over 9 years Pierre-Loïc Garoche Solved some bugs in the lustre printer Generati...
machine_code.ml 17.4 KB 7a19992d over 9 years Pierre-Loïc Garoche In the middle of the coding process. Just pushi...
main_lustre_compiler.ml 10.8 KB 7291cb80 over 9 years Xavier Thirioux - merged test script - added -d support - cor...
normalization.ml 13.6 KB 5c1184ad over 9 years Pierre-Loïc Garoche Merge (if it works) of the lustre interfaces br...
options.ml 2.88 KB 7291cb80 over 9 years Xavier Thirioux - merged test script - added -d support - cor...
parse.ml 1.48 KB 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
parserLustreSpec.mly 5.7 KB e2380d4d over 9 years Pierre-Loïc Garoche Solved some bugs in the lustre printer Generati...
parser_lustre.mly 15.5 KB 7291cb80 over 9 years Xavier Thirioux - merged test script - added -d support - cor...
precedence_functions.ml 2.92 KB 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
printers.ml 12.9 KB 7291cb80 over 9 years Xavier Thirioux - merged test script - added -d support - cor...
scheduling.ml 4.6 KB 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
sortProg.ml 1.29 KB 64dfa450 over 9 years Eric Noulard Do not use stable sort because it requires rece...
splitting.ml 3.69 KB 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
type_predef.ml 2.88 KB 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
types.ml 7.82 KB 7291cb80 over 9 years Xavier Thirioux - merged test script - added -d support - cor...
typing.ml 26.4 KB 7291cb80 over 9 years Xavier Thirioux - merged test script - added -d support - cor...
utils.ml 8.49 KB e2380d4d over 9 years Pierre-Loïc Garoche Solved some bugs in the lustre printer Generati...

Latest revisions

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

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@171 041b043f-8d7c-46b2-b46e-ef0dd855326e

0777a7be 02/28/2014 03:28 PM Pierre-Loïc Garoche

Merge back horn backend branch in trunk

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@169 041b043f-8d7c-46b2-b46e-ef0dd855326e

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

Merge trunk modif in branch

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/horn_encoding@168 041b043f-8d7c-46b2-b46e-ef0dd855326e

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

desome

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/horn_encoding@167 041b043f-8d7c-46b2-b46e-ef0dd855326e

867595f2 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.

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@166 041b043f-8d7c-46b2-b46e-ef0dd855326e

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

inliner function

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/inlining@165 041b043f-8d7c-46b2-b46e-ef0dd855326e

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

Minor bugs

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/horn_encoding@164 041b043f-8d7c-46b2-b46e-ef0dd855326e

64dfa450 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

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@163 041b043f-8d7c-46b2-b46e-ef0dd855326e

e2380d4d 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

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/inlining@162 041b043f-8d7c-46b2-b46e-ef0dd855326e

1577dc7e 02/26/2014 03:37 PM Xavier Thirioux

better error message for tuple type mismatch

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@161 041b043f-8d7c-46b2-b46e-ef0dd855326e

View revisions

Also available in: Atom