Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec/src @ c518d082

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

Latest revisions

# Date Author Comment
c518d082 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
2842f7ca 03/01/2014 12:01 AM Pierre-Loïc Garoche

Reenabled the generation of witnesses for inline process.
Systematic use of the build path
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 revisions

Also available in: Atom