Project

General

Profile

« Previous | Next » 

Revision 57d61d67

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

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

View differences:

src/_tags.in
28 28
<**/*.native>                   : package(ocamlgraph)
29 29
<**/*.native>                   : use_str
30 30
<**/*.native>                   : use_unix
31
<utils.*>                       : use_unix
31 32
<**/*.native>                   : package(num)
32 33
<**/*.ml>                       : package(logs)
33 34
<**/*.native>                   : package(logs)
35
<**/*.native>                   : package(yojson)
36
<tools/zustre/zustre_cex.*>                   : package(yojson)
34 37
<**/json_parser.ml>             : package(yojson)
35 38
<**/main_parse_json_file.*>     : package(cmdliner)
36 39
<**/main_parse_json_file.*>     : package(fmt.tty)

Also available in: Unified diff