Project

General

Profile

« Previous | Next » 

Revision 54d032f5

ID54d032f5b58798fa5a076ecfdabf952f20b6b5aa
Parent d5767b5a
Child b4d9710b

Added by Xavier Thirioux about 5 years ago

- Added major feature: Lustre V6 automata !!!
- one automata example added
- changed the reset condition in node calls (now a simple bool expr)
- bug corrected in clock calculus
- bug corrected in traceability info
- added field in variables to test whether they are original
or created by normalization process: better error message
for causality problems

Warning: this is the first working version of automata, needs further
testing (and debugging). AFAIK, the semantics is close to Lustre V6,
but further changes may be needed to equate them.

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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences