Revision d7e04983 - [Horn] Updated traceability of Horn backend to deal with fby (arrow machines) - LustreC

« Previous | Next »

Revision d7e04983

Added by Pierre-Loïc Garoche over 8 years ago

ID d7e04983225849c4dbd2bb9aa3ab11fc4da43d75
Parent 042dc586
Child 5fb5b031

[Horn] Updated traceability of Horn backend to deal with fby (arrow machines)

added
modified
copied
renamed
deleted

src
- backends
  - Horn
    - horn_backend_common.ml (diff)
    - horn_backend_traces.ml (diff)