Revision 97602f7c - Correct bug when there is no precondition and change reprensentation of boole... - LustreC

« Previous | Next »

Revision 97602f7c

Added by Guillaume Davy over 10 years ago

ID 97602f7cb3e27250bee0715d3e8a748c69d09fe1
Parent 690cde69
Child 93d16170

Correct bug when there is no precondition and change reprensentation
of boolean in ACSL

added
modified
copied
renamed
deleted

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