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

« Previous | Next »

Revision d5fe9ac9

Added by Xavier Thirioux over 10 years ago

ID d5fe9ac9e1feb27777466ca040a08c80c260c17c
Parent 6a1a01d2
Child 67896f6d

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

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)