Revision 0988cb68 - proper inductive case and no code generated for contracts - LustreC

« Previous | Next »

Revision 0988cb68

Added by Lélio Brun over 3 years ago

ID 0988cb6809ef643629e92fb5832bc5fc148d3cde
Parent 282e4212
Child 478edbed

proper inductive case and no code generated for contracts

added
modified
copied
renamed
deleted

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