Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src @ 64dfa450

Name Size Revision Age Author Comment
Print.ml 2.69 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
Print.mli 5.31 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
access.ml 3.92 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
basic_library.ml 6.75 KB 17d2db94 over 6 years Pierre-Loïc Garoche - Renamed the only target of the generated make...
c_backend.ml 34.7 KB 71513f0e over 6 years Pierre-Loïc Garoche Improvements as suggested by e. Noulard: better...
causality.ml 13.3 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
clock_calculus.ml 26.7 KB 5c1184ad over 6 years Pierre-Loïc Garoche Merge (if it works) of the lustre interfaces br...
clock_predef.ml 1.77 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
clocks.ml 17.3 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
com_protocol.ml 6.41 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
corelang.ml 21.8 KB 5c1184ad over 6 years Pierre-Loïc Garoche Merge (if it works) of the lustre interfaces br...
corelang.mli 7.07 KB 5c1184ad over 6 years Pierre-Loïc Garoche Merge (if it works) of the lustre interfaces br...
deadline_calculus.ml 5.96 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
deadlines.ml 2.58 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
delay.ml 3.3 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
delay_predef.ml 1.55 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
dimension.ml 10.8 KB 7a47b44f over 6 years Xavier Thirioux - work in progress for interface typing git-s...
env.ml 1.84 KB 5c1184ad over 6 years Pierre-Loïc Garoche Merge (if it works) of the lustre interfaces br...
expand.ml 11.1 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
init_calculus.ml 11.5 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
init_predef.ml 2.62 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
java_backend.ml 14.6 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
lexerLustreSpec.mll 3.33 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
lexer_lustre.mll 5.25 KB b3381ae8 over 6 years Xavier Thirioux - small bug correction in dimension typing - ...
lexer_prelude.mll 3.54 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
location.ml 2.88 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
log.ml 1.29 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
lustreSpec.ml 2.84 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
machine_code.ml 16 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
main_lustre_compiler.ml 10.1 KB 5c1184ad over 6 years Pierre-Loïc Garoche Merge (if it works) of the lustre interfaces br...
normalization.ml 13.6 KB 5c1184ad over 6 years Pierre-Loïc Garoche Merge (if it works) of the lustre interfaces br...
options.ml 2.5 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
parse.ml 1.48 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
parserLustreSpec.mly 5.86 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
parser_lustre.mly 15.4 KB 5c1184ad over 6 years Pierre-Loïc Garoche Merge (if it works) of the lustre interfaces br...
precedence_functions.ml 2.92 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
printers.ml 13.1 KB 5c1184ad over 6 years Pierre-Loïc Garoche Merge (if it works) of the lustre interfaces br...
scheduling.ml 4.6 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
sortProg.ml 1.29 KB 64dfa450 over 6 years Eric Noulard Do not use stable sort because it requires rece...
splitting.ml 3.69 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
type_predef.ml 2.88 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
types.ml 7.01 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
typing.ml 25.7 KB 1577dc7e over 6 years Xavier Thirioux better error message for tuple type mismatch g...
utils.ml 8.43 KB 5c1184ad over 6 years Pierre-Loïc Garoche Merge (if it works) of the lustre interfaces br...

Latest revisions

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

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

11242500 02/26/2014 02:37 PM Xavier Thirioux

again, debugged tuple subtyping

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

17249d2e 02/26/2014 02:04 PM Xavier Thirioux

removed debug printing

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

9b5969d4 02/26/2014 02:02 PM Xavier Thirioux

corrected wrong subtyping rule for tuple assignment

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

4a840259 02/26/2014 01:42 PM Xavier Thirioux

added subtyping in equations (rhs may be a subtype of lhs)

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

71513f0e 02/26/2014 07:48 AM Pierre-Loïc Garoche

Improvements as suggested by e. Noulard: better install of include; modified generated makefile

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

17d2db94 11/14/2013 12:15 PM Pierre-Loïc Garoche

- Renamed the only target of the generated makefile
- Solved bug: xor are now printed as bitwise xor in c : a ^ b and not a xor b.

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

7a47b44f 11/12/2013 11:20 PM Xavier Thirioux

- work in progress for interface typing

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

b3381ae8 11/07/2013 07:03 PM Xavier Thirioux

- small bug correction in dimension typing
- #open keyword instead of open
- dummy generic matrix/vector library interface added
- modified examples according to the new syntax

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

View revisions

Also available in: Atom