Revision e164af45 - working version with additional asserts to make the axiom work - LustreC

« Previous | Next »

Revision e164af45

Added by Lélio Brun over 3 years ago

ID e164af455618eb8154f82330414edf79f528a111
Parent dccec723
Child 282e4212

working version with additional asserts to make the axiom work

added
modified
copied
renamed
deleted

src
- backends
  - C
    - c_backend_spec.ml (diff)
    - c_backend_src.ml (diff)
    - c_backend_src.mli (diff)