Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src @ 8f1c7e91

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

Latest revisions

# Date Author Comment
8f1c7e91 03/01/2014 03:37 PM Xavier Thirioux

- added generation of clock information in interface (.lusi) files
- added clock checking between interface and implementation files

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

592f508c 03/01/2014 12:01 AM Pierre-Loïc Garoche

Reenabled the generation of witnesses for inline process.
Systematic use of the build path

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

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

View revisions

Also available in: Atom