bug correction in automata.ml (order of assigned variables was not always coherent between automata branches)

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

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

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

- bug in expansion of array accesses with constant arrays
- bug in printing complex array indexes (not C compliant)
- bug wrt C99 typing policy for constant arrays
- bug in signaling wrong useless static input

- bug in expansion of array accesses with constant arrays
- bug in printing complex array indexes (not C compliant)
- bug wrt C99 typing policy for constant arrays
- bug in signaling wrong useless static input


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

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

Back to dev version

Back to dev version


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

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

and the proper c99 compiler option

and the proper c99 compiler option


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

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

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

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

Added fbyn(expr, n, init) to encode 
init -> pre (init -> pre (init -> ... pre expr))
with n occurences of init

Added fbyn(expr, n, init) to encode 
init -> pre (init -> pre (init -> ... pre expr))
with n occurences of init



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

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

 - corrected a regression bug in main_lustre_compiler.ml (optional generation of lusic files was in a bad ocaml pattern-matching rule...)
 - added a flush in Log to help find out the exact phase when the compiler crashes or stops silently 

 - corrected a regression bug in main_lustre_compiler.ml (optional generation of lusic files was in a bad ocaml pattern-matching rule...)
 - added a flush in Log to help find out the exact phase when the compiler crashes or stops silently 


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

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

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