Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec/src @ 5538b7ac

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 41.4 KB 5538b7ac about 11 years Xavier Thirioux Added declaration/definition of stateless/state...
causality.ml 13.3 KB 0cbf0839 over 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
clock_calculus.ml 31.2 KB d3e4c22f about 11 years Xavier Thirioux - work in progress for stateless/stateful statu...
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 d3e4c22f about 11 years Xavier Thirioux - work in progress for stateless/stateful statu...
com_protocol.ml 6.41 KB 0cbf0839 over 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
corelang.ml 25.3 KB 5538b7ac about 11 years Xavier Thirioux Added declaration/definition of stateless/state...
corelang.mli 7.65 KB 5538b7ac about 11 years Xavier Thirioux Added declaration/definition of stateless/state...
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.95 KB aa223e69 about 11 years Xavier Thirioux more steps towards struct types... Cette ligne,...
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 aa223e69 about 11 years Xavier Thirioux more steps towards struct types... Cette ligne,...
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.74 KB d3e4c22f about 11 years Xavier Thirioux - work in progress for stateless/stateful statu...
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.22 KB d3e4c22f about 11 years Xavier Thirioux - work in progress for stateless/stateful statu...
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.93 KB 6560bb94 about 11 years Xavier Thirioux first steps towards struct types...
machine_code.ml 17.3 KB 5538b7ac about 11 years Xavier Thirioux Added declaration/definition of stateless/state...
main_lustre_compiler.ml 12.4 KB 5538b7ac about 11 years Xavier Thirioux Added declaration/definition of stateless/state...
normalization.ml 13.8 KB d3e4c22f about 11 years Xavier Thirioux - work in progress for stateless/stateful statu...
options.ml 3.24 KB 2842f7ca about 11 years Pierre-Loïc Garoche Reenabled the generation of witnesses for inlin...
parse.ml 1.91 KB 2ea1e4a6 about 11 years Xavier Thirioux corrected bugs in clock generalization that pro...
parserLustreSpec.mly 5.71 KB d3e4c22f about 11 years Xavier Thirioux - work in progress for stateless/stateful statu...
parser_lustre.mly 14.3 KB 5538b7ac about 11 years Xavier Thirioux Added declaration/definition of stateless/state...
precedence_functions.ml 2.92 KB 0cbf0839 over 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
printers.ml 13.3 KB 5538b7ac about 11 years Xavier Thirioux Added declaration/definition of stateless/state...
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
stateless.ml 3.26 KB 5538b7ac about 11 years Xavier Thirioux Added declaration/definition of stateless/state...
type_predef.ml 2.93 KB aa223e69 about 11 years Xavier Thirioux more steps towards struct types... Cette ligne,...
types.ml 8.84 KB 51768260 about 11 years Xavier Thirioux work in progress for struct types...
typing.ml 27.6 KB d3e4c22f about 11 years Xavier Thirioux - work in progress for stateless/stateful statu...
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
5538b7ac 03/17/2014 12:17 AM Xavier Thirioux

Added declaration/definition of stateless/stateful nodes.
The 'function' keyword is for stateless nodes only,
the 'node' keyword is any kind of node.
Improves compilation and paves the way for more optimizations.
d3e4c22f 03/14/2014 05:45 PM Xavier Thirioux

- work in progress for stateless/stateful status computation
(to turn conditionals into merges, which yield more efficient C code)
2ea1e4a6 03/13/2014 05:30 PM Xavier Thirioux

corrected bugs in clock generalization that produced pessimistic C code (not wrong though); corrected bug with node importation policy wrt (re)declaration, (re)definition...
6affc9f5 03/11/2014 03:41 PM Xavier Thirioux

- added struct types declaration
- added constant definition with a struct type
- added checking for multiple definitions of nodes (behavior was buggy)
- better and more uniform error messages
for undefined/already defined symbols

We still need struct expressions...
51768260 03/10/2014 05:56 PM Xavier Thirioux

work in progress for struct types...
aa223e69 03/10/2014 09:55 AM Xavier Thirioux

more steps towards struct types...
Cette ligne, et les suivantes ci-dessous, seront ignorées--

M trunk/src/corelang.mli
M trunk/src/type_predef.ml
M trunk/src/main_lustre_compiler.ml
M trunk/src/types.ml
M trunk/src/printers.ml
M trunk/src/typing.ml...
6560bb94 03/06/2014 04:33 PM Xavier Thirioux

first steps towards struct types...
9bdfc99f 03/06/2014 03:39 PM Xavier Thirioux

corrected bug in arrow macros names, added storage attribute for static alloc macros, option -d now creates the destination directory if needed, with current dir as file permissions
c6acbdaa 03/05/2014 04:32 PM Xavier Thirioux

answer to #feature 50:
- arrows are now factorized out and become part of include
as files arrow.h and arrow.c
- no more arrows in generated code
- compiling and linking arrow.c is only necessary
in case of dynamic allocation
- version now includes installation prefix (for the standard lib)...
6bab3787 03/05/2014 02:35 PM Xavier Thirioux

In order to export any type of constants, moved type definitions from .c to .h

View revisions

Also available in: Atom