Revision 4174a469 - Correct some problem related to new bool encoding - LustreC

« Previous | Next »

Revision 4174a469

Added by Guillaume Davy over 8 years ago

ID 4174a469fbb7075cb58fb9b6b8d03da56199ec7f
Parent 105b3645
Child 6bc919cb

Correct some problem related to new bool encoding

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)