Revision 93d16170 - Correct a bug in ensures stack generation related to existential - LustreC

« Previous | Next »

Revision 93d16170

Added by Guillaume Davy over 10 years ago

ID 93d161704160feea95e9bcdeb3b3fe2ea5d0a0a2
Parent 97602f7c
Child 5b12f571

Correct a bug in ensures stack generation related to existential

added
modified
copied
renamed
deleted

src
- backends
  - C
    - c_backend_proof.ml (diff)
tcm_benchmarks
- ALT2
  - ALT2_proof
    - ALT_2.lustrec.c (diff)
    - ALT_2.lustrec.coq (diff)
    - ALT_2.lustrec.h (diff)
- ALT3
  - ALT3_proof
    - makefile (diff)