Revision 57d61d67
Added by Pierre-Loïc Garoche over 6 years ago
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
New option to select github version of Z3
Added Yojson dependency in lustrev
Some progress on Cex generation