Revision b4d9710b - - corrected bug in node reset clock - cleaner (but heavier !) code generatio... - LustreC

« Previous | Next »

Revision b4d9710b

Added by Xavier Thirioux over 10 years ago

ID b4d9710bbaa126de8e682c0534f5d789d3bce365
Parent 54d032f5
Child df39e35a

- corrected bug in node reset clock
- cleaner (but heavier !) code generation scheme for automata

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

added
modified
copied
renamed
deleted

src
- automata.ml (diff)
- backends
  - C
    - c_backend_src.ml (diff)
- clock_calculus.ml (diff)
- liveness.ml (diff)
- machine_code.ml (diff)
- normalization.ml (diff)
- scheduling.ml (diff)