Revision 690cde69 - Added an option for let vs exists axiomatization - LustreC

« Previous | Next »

Revision 690cde69

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

ID 690cde697fd53c60590e7a58daa7153ababd72e8
Parent 81125539
Child 97602f7c

Added an option for let vs exists axiomatization

added
modified
copied
renamed
deleted

src
- backends
  - C
    - c_backend_proof.ml (diff)
- options.ml (diff)