Revision 57d61d67 - New option to select github version of Z3 Added Yojson dependency in lustrev ... - LustreC

« Previous | Next »

Revision 57d61d67

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

ID 57d61d67eb68a3c31c4d61152135686d35b98b07
Parent 998766b4
Child 7d77632f

New option to select github version of Z3
Added Yojson dependency in lustrev
Some progress on Cex generation

added
modified
copied
renamed
deleted

configure.ac (diff)
src
- _tags.in (diff)
- tools
  - zustre
    - zustre_analyze.ml (diff)
    - zustre_cex.ml (diff)
    - zustre_verifier.ml (diff)
- utils.ml (diff)