├── .gitignore ├── .travis.yml ├── LICENSE ├── Makefile ├── README.md ├── TODO ├── compare_smt2.sh ├── jbuild-workspace.dev ├── misc ├── headache_config.txt ├── header.txt ├── header_framac.txt ├── header_jc.txt ├── header_ocaml.txt └── header_why3.txt ├── src ├── bin │ ├── jbuild │ ├── options.ml │ ├── options.mli │ ├── typecheck.ml │ └── witan.ml ├── core │ ├── conflict.ml │ ├── conflict.mli │ ├── demon.ml │ ├── demon.mli │ ├── egraph.ml │ ├── egraph.mli │ ├── env.ml │ ├── env.mli │ ├── events.ml │ ├── events.mli │ ├── interp.ml │ ├── interp.mli │ ├── jbuild │ ├── structures │ │ ├── domKind.ml │ │ ├── domKind.mli │ │ ├── id.ml │ │ ├── id.mli │ │ ├── jbuild │ │ ├── nodes.ml │ │ ├── nodes.mli │ │ ├── term.ml │ │ ├── term.mli │ │ ├── ty.ml │ │ └── ty.mli │ ├── synTerm.ml │ ├── synTerm.mli │ ├── theory.ml │ ├── trail.ml │ ├── trail.mli │ └── witan_core.ml ├── jbuild ├── popop_lib │ ├── IArray.ml │ ├── IArray.mli │ ├── bag.ml │ ├── bag.mli │ ├── cmdline.ml │ ├── cmdline.mli │ ├── debug.ml │ ├── debug.mli │ ├── enum.ml │ ├── enum.mli │ ├── exn_printer.ml │ ├── exn_printer.mli │ ├── exthtbl.ml │ ├── exthtbl.mli │ ├── extmap.ml │ ├── extmap.mli │ ├── extset.ml │ ├── extset.mli │ ├── hashcons.ml │ ├── hashcons.mli │ ├── intmap.ml │ ├── intmap.mli │ ├── intmap_hetero.ml │ ├── intmap_hetero.mli │ ├── jbuild │ ├── leftistheap.ml │ ├── leftistheap.mli │ ├── lists.ml │ ├── lists.mli │ ├── loc.ml │ ├── loc.mli │ ├── map_intf.ml │ ├── number.ml │ ├── number.mli │ ├── opt.ml │ ├── opt.mli │ ├── plugin.ml │ ├── plugin.mli │ ├── pp.ml │ ├── pp.mli │ ├── print_tree.ml │ ├── print_tree.mli │ ├── refo.ml │ ├── refo.mli │ ├── simple_vector.ml │ ├── simple_vector.mli │ ├── stdlib.ml │ ├── stdlib.mli │ ├── strings.ml │ ├── strings.mli │ ├── sysutil.ml │ ├── sysutil.mli │ ├── unit.ml │ ├── unit.mli │ ├── util.ml │ ├── util.mli │ ├── vector_hetero.ml │ ├── vector_hetero.mli │ ├── warning.ml │ ├── warning.mli │ ├── weakhtbl.ml │ └── weakhtbl.mli ├── psyche_lib │ ├── hCons.ml │ ├── hCons.mli │ ├── hCons_sig.ml │ ├── jbuild │ ├── patricia.ml │ ├── patricia.mli │ └── patricia_sig.ml ├── solver │ ├── input.ml │ ├── input.mli │ ├── jbuild │ ├── notypecheck.ml │ ├── notypecheck.mli │ ├── scheduler.ml │ ├── scheduler.mli │ └── solver.ml ├── stdlib │ ├── comp_keys.ml │ ├── comp_keys.mli │ ├── config.ml │ ├── context.ml │ ├── context.mli │ ├── hashtbl_hetero.ml │ ├── hashtbl_hetero.mli │ ├── hashtbl_hetero_sig.ml │ ├── jbuild │ ├── keys.ml │ ├── keys.mli │ ├── keys_sig.ml │ ├── map_hetero.ml │ ├── map_hetero.mli │ ├── map_hetero_sig.ml │ ├── shuffle.ml │ ├── shuffle.mli │ ├── std.ml │ ├── std.mli │ └── std_sig.ml ├── tests │ ├── jbuild │ ├── solve │ │ ├── dimacs │ │ │ ├── sat │ │ │ │ ├── anomaly_agetooold.cnf │ │ │ │ ├── anomaly_agetooold2.cnf │ │ │ │ ├── assertion_fail.cnf │ │ │ │ ├── fuzzing1.cnf │ │ │ │ ├── fuzzing2.cnf │ │ │ │ ├── par8-1-c.cnf │ │ │ │ ├── pigeon-2.cnf │ │ │ │ ├── pigeon-3.cnf │ │ │ │ ├── pigeon-4.cnf │ │ │ │ ├── quinn.cnf │ │ │ │ └── simple_v3_c2.cnf │ │ │ └── unsat │ │ │ │ ├── anomaly_agetooold.cnf │ │ │ │ ├── modus_ponens.cnf │ │ │ │ ├── pigeon-1.cnf │ │ │ │ ├── pigeon-2.cnf │ │ │ │ ├── pigeon-3.cnf │ │ │ │ └── pigeon-4.cnf │ │ ├── smt_lra │ │ │ └── sat │ │ │ │ ├── arith_merge_case_4.smt2 │ │ │ │ └── arith_zero_dom.smt2 │ │ └── smt_uf │ │ │ ├── sat │ │ │ └── bad_conflict.smt2 │ │ │ └── unsat │ │ │ ├── NEQ004_size4__decide_eq_us.smt2 │ │ │ ├── deltaed0.smt2 │ │ │ ├── diff_to_value_for_bool.smt2 │ │ │ ├── diff_value_substupfalse.smt2 │ │ │ ├── distinct.smt2 │ │ │ ├── eq_diamond2.smt2 │ │ │ ├── equality_norm_set.smt2 │ │ │ ├── many_distinct.smt2 │ │ │ ├── polyeq_genequality_deltaed.smt2 │ │ │ └── xor.smt2 │ ├── test.ml │ ├── tests.ml │ ├── tests_LRA.ml │ ├── tests_bool.ml │ ├── tests_lib.ml │ └── tests_uf.ml └── theories │ ├── LRA │ ├── LRA.ml │ ├── LRA.mli │ ├── interval.ml │ ├── interval.mli │ ├── interval_sig.ml │ ├── jbuild │ ├── polynome.ml │ └── polynome.mli │ └── bool │ ├── boolean.ml │ ├── boolean.mli │ ├── equality.ml │ ├── equality.mli │ ├── jbuild │ ├── uninterp.ml │ └── uninterp.mli ├── tests ├── Makefile └── parsing │ ├── Axioms │ ├── SYN000+0.ax │ ├── SYN000-0.ax │ ├── SYN000^0.ax │ ├── SYN000_0.ax │ ├── SYN001-0.ax │ └── SYN002+0.ax │ ├── Makefile │ ├── SYN000+1.p │ ├── SYN000+2.p │ ├── SYN000-1.p │ ├── SYN000-2.p │ ├── SYN000=2.p │ ├── SYN000^1.p │ ├── SYN000^2.p │ ├── SYN000_1.p │ └── SYN000_2.p └── witan.opam /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/README.md -------------------------------------------------------------------------------- /TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/TODO -------------------------------------------------------------------------------- /compare_smt2.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/compare_smt2.sh -------------------------------------------------------------------------------- /jbuild-workspace.dev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/jbuild-workspace.dev -------------------------------------------------------------------------------- /misc/headache_config.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/misc/headache_config.txt -------------------------------------------------------------------------------- /misc/header.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/misc/header.txt -------------------------------------------------------------------------------- /misc/header_framac.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/misc/header_framac.txt -------------------------------------------------------------------------------- /misc/header_jc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/misc/header_jc.txt -------------------------------------------------------------------------------- /misc/header_ocaml.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/misc/header_ocaml.txt -------------------------------------------------------------------------------- /misc/header_why3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/misc/header_why3.txt -------------------------------------------------------------------------------- /src/bin/jbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/bin/jbuild -------------------------------------------------------------------------------- /src/bin/options.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/bin/options.ml -------------------------------------------------------------------------------- /src/bin/options.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/bin/options.mli -------------------------------------------------------------------------------- /src/bin/typecheck.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/bin/typecheck.ml -------------------------------------------------------------------------------- /src/bin/witan.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/bin/witan.ml -------------------------------------------------------------------------------- /src/core/conflict.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/conflict.ml -------------------------------------------------------------------------------- /src/core/conflict.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/conflict.mli -------------------------------------------------------------------------------- /src/core/demon.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/demon.ml -------------------------------------------------------------------------------- /src/core/demon.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/demon.mli -------------------------------------------------------------------------------- /src/core/egraph.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/egraph.ml -------------------------------------------------------------------------------- /src/core/egraph.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/egraph.mli -------------------------------------------------------------------------------- /src/core/env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/env.ml -------------------------------------------------------------------------------- /src/core/env.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/env.mli -------------------------------------------------------------------------------- /src/core/events.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/events.ml -------------------------------------------------------------------------------- /src/core/events.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/events.mli -------------------------------------------------------------------------------- /src/core/interp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/interp.ml -------------------------------------------------------------------------------- /src/core/interp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/interp.mli -------------------------------------------------------------------------------- /src/core/jbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/jbuild -------------------------------------------------------------------------------- /src/core/structures/domKind.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/structures/domKind.ml -------------------------------------------------------------------------------- /src/core/structures/domKind.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/structures/domKind.mli -------------------------------------------------------------------------------- /src/core/structures/id.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/structures/id.ml -------------------------------------------------------------------------------- /src/core/structures/id.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/structures/id.mli -------------------------------------------------------------------------------- /src/core/structures/jbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/structures/jbuild -------------------------------------------------------------------------------- /src/core/structures/nodes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/structures/nodes.ml -------------------------------------------------------------------------------- /src/core/structures/nodes.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/structures/nodes.mli -------------------------------------------------------------------------------- /src/core/structures/term.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/structures/term.ml -------------------------------------------------------------------------------- /src/core/structures/term.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/structures/term.mli -------------------------------------------------------------------------------- /src/core/structures/ty.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/structures/ty.ml -------------------------------------------------------------------------------- /src/core/structures/ty.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/structures/ty.mli -------------------------------------------------------------------------------- /src/core/synTerm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/synTerm.ml -------------------------------------------------------------------------------- /src/core/synTerm.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/synTerm.mli -------------------------------------------------------------------------------- /src/core/theory.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/theory.ml -------------------------------------------------------------------------------- /src/core/trail.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/trail.ml -------------------------------------------------------------------------------- /src/core/trail.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/trail.mli -------------------------------------------------------------------------------- /src/core/witan_core.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/core/witan_core.ml -------------------------------------------------------------------------------- /src/jbuild: -------------------------------------------------------------------------------- 1 | (jbuild_version 1) 2 | -------------------------------------------------------------------------------- /src/popop_lib/IArray.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/IArray.ml -------------------------------------------------------------------------------- /src/popop_lib/IArray.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/IArray.mli -------------------------------------------------------------------------------- /src/popop_lib/bag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/bag.ml -------------------------------------------------------------------------------- /src/popop_lib/bag.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/bag.mli -------------------------------------------------------------------------------- /src/popop_lib/cmdline.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/cmdline.ml -------------------------------------------------------------------------------- /src/popop_lib/cmdline.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/cmdline.mli -------------------------------------------------------------------------------- /src/popop_lib/debug.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/debug.ml -------------------------------------------------------------------------------- /src/popop_lib/debug.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/debug.mli -------------------------------------------------------------------------------- /src/popop_lib/enum.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/enum.ml -------------------------------------------------------------------------------- /src/popop_lib/enum.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/enum.mli -------------------------------------------------------------------------------- /src/popop_lib/exn_printer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/exn_printer.ml -------------------------------------------------------------------------------- /src/popop_lib/exn_printer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/exn_printer.mli -------------------------------------------------------------------------------- /src/popop_lib/exthtbl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/exthtbl.ml -------------------------------------------------------------------------------- /src/popop_lib/exthtbl.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/exthtbl.mli -------------------------------------------------------------------------------- /src/popop_lib/extmap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/extmap.ml -------------------------------------------------------------------------------- /src/popop_lib/extmap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/extmap.mli -------------------------------------------------------------------------------- /src/popop_lib/extset.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/extset.ml -------------------------------------------------------------------------------- /src/popop_lib/extset.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/extset.mli -------------------------------------------------------------------------------- /src/popop_lib/hashcons.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/hashcons.ml -------------------------------------------------------------------------------- /src/popop_lib/hashcons.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/hashcons.mli -------------------------------------------------------------------------------- /src/popop_lib/intmap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/intmap.ml -------------------------------------------------------------------------------- /src/popop_lib/intmap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/intmap.mli -------------------------------------------------------------------------------- /src/popop_lib/intmap_hetero.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/intmap_hetero.ml -------------------------------------------------------------------------------- /src/popop_lib/intmap_hetero.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/intmap_hetero.mli -------------------------------------------------------------------------------- /src/popop_lib/jbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/jbuild -------------------------------------------------------------------------------- /src/popop_lib/leftistheap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/leftistheap.ml -------------------------------------------------------------------------------- /src/popop_lib/leftistheap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/leftistheap.mli -------------------------------------------------------------------------------- /src/popop_lib/lists.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/lists.ml -------------------------------------------------------------------------------- /src/popop_lib/lists.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/lists.mli -------------------------------------------------------------------------------- /src/popop_lib/loc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/loc.ml -------------------------------------------------------------------------------- /src/popop_lib/loc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/loc.mli -------------------------------------------------------------------------------- /src/popop_lib/map_intf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/map_intf.ml -------------------------------------------------------------------------------- /src/popop_lib/number.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/number.ml -------------------------------------------------------------------------------- /src/popop_lib/number.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/number.mli -------------------------------------------------------------------------------- /src/popop_lib/opt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/opt.ml -------------------------------------------------------------------------------- /src/popop_lib/opt.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/opt.mli -------------------------------------------------------------------------------- /src/popop_lib/plugin.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/plugin.ml -------------------------------------------------------------------------------- /src/popop_lib/plugin.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/plugin.mli -------------------------------------------------------------------------------- /src/popop_lib/pp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/pp.ml -------------------------------------------------------------------------------- /src/popop_lib/pp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/pp.mli -------------------------------------------------------------------------------- /src/popop_lib/print_tree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/print_tree.ml -------------------------------------------------------------------------------- /src/popop_lib/print_tree.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/print_tree.mli -------------------------------------------------------------------------------- /src/popop_lib/refo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/refo.ml -------------------------------------------------------------------------------- /src/popop_lib/refo.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/refo.mli -------------------------------------------------------------------------------- /src/popop_lib/simple_vector.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/simple_vector.ml -------------------------------------------------------------------------------- /src/popop_lib/simple_vector.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/simple_vector.mli -------------------------------------------------------------------------------- /src/popop_lib/stdlib.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/stdlib.ml -------------------------------------------------------------------------------- /src/popop_lib/stdlib.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/stdlib.mli -------------------------------------------------------------------------------- /src/popop_lib/strings.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/strings.ml -------------------------------------------------------------------------------- /src/popop_lib/strings.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/strings.mli -------------------------------------------------------------------------------- /src/popop_lib/sysutil.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/sysutil.ml -------------------------------------------------------------------------------- /src/popop_lib/sysutil.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/sysutil.mli -------------------------------------------------------------------------------- /src/popop_lib/unit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/unit.ml -------------------------------------------------------------------------------- /src/popop_lib/unit.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/unit.mli -------------------------------------------------------------------------------- /src/popop_lib/util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/util.ml -------------------------------------------------------------------------------- /src/popop_lib/util.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/util.mli -------------------------------------------------------------------------------- /src/popop_lib/vector_hetero.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/vector_hetero.ml -------------------------------------------------------------------------------- /src/popop_lib/vector_hetero.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/vector_hetero.mli -------------------------------------------------------------------------------- /src/popop_lib/warning.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/warning.ml -------------------------------------------------------------------------------- /src/popop_lib/warning.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/warning.mli -------------------------------------------------------------------------------- /src/popop_lib/weakhtbl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/weakhtbl.ml -------------------------------------------------------------------------------- /src/popop_lib/weakhtbl.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/popop_lib/weakhtbl.mli -------------------------------------------------------------------------------- /src/psyche_lib/hCons.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/psyche_lib/hCons.ml -------------------------------------------------------------------------------- /src/psyche_lib/hCons.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/psyche_lib/hCons.mli -------------------------------------------------------------------------------- /src/psyche_lib/hCons_sig.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/psyche_lib/hCons_sig.ml -------------------------------------------------------------------------------- /src/psyche_lib/jbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/psyche_lib/jbuild -------------------------------------------------------------------------------- /src/psyche_lib/patricia.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/psyche_lib/patricia.ml -------------------------------------------------------------------------------- /src/psyche_lib/patricia.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/psyche_lib/patricia.mli -------------------------------------------------------------------------------- /src/psyche_lib/patricia_sig.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/psyche_lib/patricia_sig.ml -------------------------------------------------------------------------------- /src/solver/input.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/solver/input.ml -------------------------------------------------------------------------------- /src/solver/input.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/solver/input.mli -------------------------------------------------------------------------------- /src/solver/jbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/solver/jbuild -------------------------------------------------------------------------------- /src/solver/notypecheck.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/solver/notypecheck.ml -------------------------------------------------------------------------------- /src/solver/notypecheck.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/solver/notypecheck.mli -------------------------------------------------------------------------------- /src/solver/scheduler.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/solver/scheduler.ml -------------------------------------------------------------------------------- /src/solver/scheduler.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/solver/scheduler.mli -------------------------------------------------------------------------------- /src/solver/solver.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/solver/solver.ml -------------------------------------------------------------------------------- /src/stdlib/comp_keys.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/stdlib/comp_keys.ml -------------------------------------------------------------------------------- /src/stdlib/comp_keys.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/stdlib/comp_keys.mli -------------------------------------------------------------------------------- /src/stdlib/config.ml: -------------------------------------------------------------------------------- 1 | [%%define keys "well-typed"] 2 | -------------------------------------------------------------------------------- /src/stdlib/context.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/stdlib/context.ml -------------------------------------------------------------------------------- /src/stdlib/context.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/stdlib/context.mli -------------------------------------------------------------------------------- /src/stdlib/hashtbl_hetero.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/stdlib/hashtbl_hetero.ml -------------------------------------------------------------------------------- /src/stdlib/hashtbl_hetero.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/stdlib/hashtbl_hetero.mli -------------------------------------------------------------------------------- /src/stdlib/hashtbl_hetero_sig.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/stdlib/hashtbl_hetero_sig.ml -------------------------------------------------------------------------------- /src/stdlib/jbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/stdlib/jbuild -------------------------------------------------------------------------------- /src/stdlib/keys.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/stdlib/keys.ml -------------------------------------------------------------------------------- /src/stdlib/keys.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/stdlib/keys.mli -------------------------------------------------------------------------------- /src/stdlib/keys_sig.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/stdlib/keys_sig.ml -------------------------------------------------------------------------------- /src/stdlib/map_hetero.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/stdlib/map_hetero.ml -------------------------------------------------------------------------------- /src/stdlib/map_hetero.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/stdlib/map_hetero.mli -------------------------------------------------------------------------------- /src/stdlib/map_hetero_sig.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/stdlib/map_hetero_sig.ml -------------------------------------------------------------------------------- /src/stdlib/shuffle.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/stdlib/shuffle.ml -------------------------------------------------------------------------------- /src/stdlib/shuffle.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/stdlib/shuffle.mli -------------------------------------------------------------------------------- /src/stdlib/std.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/stdlib/std.ml -------------------------------------------------------------------------------- /src/stdlib/std.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/stdlib/std.mli -------------------------------------------------------------------------------- /src/stdlib/std_sig.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/stdlib/std_sig.ml -------------------------------------------------------------------------------- /src/tests/jbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/jbuild -------------------------------------------------------------------------------- /src/tests/solve/dimacs/sat/anomaly_agetooold.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/dimacs/sat/anomaly_agetooold.cnf -------------------------------------------------------------------------------- /src/tests/solve/dimacs/sat/anomaly_agetooold2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/dimacs/sat/anomaly_agetooold2.cnf -------------------------------------------------------------------------------- /src/tests/solve/dimacs/sat/assertion_fail.cnf: -------------------------------------------------------------------------------- 1 | p cnf 36 1 2 | 36 0 3 | -------------------------------------------------------------------------------- /src/tests/solve/dimacs/sat/fuzzing1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/dimacs/sat/fuzzing1.cnf -------------------------------------------------------------------------------- /src/tests/solve/dimacs/sat/fuzzing2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/dimacs/sat/fuzzing2.cnf -------------------------------------------------------------------------------- /src/tests/solve/dimacs/sat/par8-1-c.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/dimacs/sat/par8-1-c.cnf -------------------------------------------------------------------------------- /src/tests/solve/dimacs/sat/pigeon-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/dimacs/sat/pigeon-2.cnf -------------------------------------------------------------------------------- /src/tests/solve/dimacs/sat/pigeon-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/dimacs/sat/pigeon-3.cnf -------------------------------------------------------------------------------- /src/tests/solve/dimacs/sat/pigeon-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/dimacs/sat/pigeon-4.cnf -------------------------------------------------------------------------------- /src/tests/solve/dimacs/sat/quinn.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/dimacs/sat/quinn.cnf -------------------------------------------------------------------------------- /src/tests/solve/dimacs/sat/simple_v3_c2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/dimacs/sat/simple_v3_c2.cnf -------------------------------------------------------------------------------- /src/tests/solve/dimacs/unsat/anomaly_agetooold.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/dimacs/unsat/anomaly_agetooold.cnf -------------------------------------------------------------------------------- /src/tests/solve/dimacs/unsat/modus_ponens.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/dimacs/unsat/modus_ponens.cnf -------------------------------------------------------------------------------- /src/tests/solve/dimacs/unsat/pigeon-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/dimacs/unsat/pigeon-1.cnf -------------------------------------------------------------------------------- /src/tests/solve/dimacs/unsat/pigeon-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/dimacs/unsat/pigeon-2.cnf -------------------------------------------------------------------------------- /src/tests/solve/dimacs/unsat/pigeon-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/dimacs/unsat/pigeon-3.cnf -------------------------------------------------------------------------------- /src/tests/solve/dimacs/unsat/pigeon-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/dimacs/unsat/pigeon-4.cnf -------------------------------------------------------------------------------- /src/tests/solve/smt_lra/sat/arith_merge_case_4.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/smt_lra/sat/arith_merge_case_4.smt2 -------------------------------------------------------------------------------- /src/tests/solve/smt_lra/sat/arith_zero_dom.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/smt_lra/sat/arith_zero_dom.smt2 -------------------------------------------------------------------------------- /src/tests/solve/smt_uf/sat/bad_conflict.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/smt_uf/sat/bad_conflict.smt2 -------------------------------------------------------------------------------- /src/tests/solve/smt_uf/unsat/NEQ004_size4__decide_eq_us.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/smt_uf/unsat/NEQ004_size4__decide_eq_us.smt2 -------------------------------------------------------------------------------- /src/tests/solve/smt_uf/unsat/deltaed0.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/smt_uf/unsat/deltaed0.smt2 -------------------------------------------------------------------------------- /src/tests/solve/smt_uf/unsat/diff_to_value_for_bool.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/smt_uf/unsat/diff_to_value_for_bool.smt2 -------------------------------------------------------------------------------- /src/tests/solve/smt_uf/unsat/diff_value_substupfalse.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/smt_uf/unsat/diff_value_substupfalse.smt2 -------------------------------------------------------------------------------- /src/tests/solve/smt_uf/unsat/distinct.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/smt_uf/unsat/distinct.smt2 -------------------------------------------------------------------------------- /src/tests/solve/smt_uf/unsat/eq_diamond2.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/smt_uf/unsat/eq_diamond2.smt2 -------------------------------------------------------------------------------- /src/tests/solve/smt_uf/unsat/equality_norm_set.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/smt_uf/unsat/equality_norm_set.smt2 -------------------------------------------------------------------------------- /src/tests/solve/smt_uf/unsat/many_distinct.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/smt_uf/unsat/many_distinct.smt2 -------------------------------------------------------------------------------- /src/tests/solve/smt_uf/unsat/polyeq_genequality_deltaed.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/smt_uf/unsat/polyeq_genequality_deltaed.smt2 -------------------------------------------------------------------------------- /src/tests/solve/smt_uf/unsat/xor.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/solve/smt_uf/unsat/xor.smt2 -------------------------------------------------------------------------------- /src/tests/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/test.ml -------------------------------------------------------------------------------- /src/tests/tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/tests.ml -------------------------------------------------------------------------------- /src/tests/tests_LRA.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/tests_LRA.ml -------------------------------------------------------------------------------- /src/tests/tests_bool.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/tests_bool.ml -------------------------------------------------------------------------------- /src/tests/tests_lib.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/tests_lib.ml -------------------------------------------------------------------------------- /src/tests/tests_uf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/tests/tests_uf.ml -------------------------------------------------------------------------------- /src/theories/LRA/LRA.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/theories/LRA/LRA.ml -------------------------------------------------------------------------------- /src/theories/LRA/LRA.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/theories/LRA/LRA.mli -------------------------------------------------------------------------------- /src/theories/LRA/interval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/theories/LRA/interval.ml -------------------------------------------------------------------------------- /src/theories/LRA/interval.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/theories/LRA/interval.mli -------------------------------------------------------------------------------- /src/theories/LRA/interval_sig.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/theories/LRA/interval_sig.ml -------------------------------------------------------------------------------- /src/theories/LRA/jbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/theories/LRA/jbuild -------------------------------------------------------------------------------- /src/theories/LRA/polynome.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/theories/LRA/polynome.ml -------------------------------------------------------------------------------- /src/theories/LRA/polynome.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/theories/LRA/polynome.mli -------------------------------------------------------------------------------- /src/theories/bool/boolean.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/theories/bool/boolean.ml -------------------------------------------------------------------------------- /src/theories/bool/boolean.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/theories/bool/boolean.mli -------------------------------------------------------------------------------- /src/theories/bool/equality.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/theories/bool/equality.ml -------------------------------------------------------------------------------- /src/theories/bool/equality.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/theories/bool/equality.mli -------------------------------------------------------------------------------- /src/theories/bool/jbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/theories/bool/jbuild -------------------------------------------------------------------------------- /src/theories/bool/uninterp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/theories/bool/uninterp.ml -------------------------------------------------------------------------------- /src/theories/bool/uninterp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/src/theories/bool/uninterp.mli -------------------------------------------------------------------------------- /tests/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/tests/Makefile -------------------------------------------------------------------------------- /tests/parsing/Axioms/SYN000+0.ax: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/tests/parsing/Axioms/SYN000+0.ax -------------------------------------------------------------------------------- /tests/parsing/Axioms/SYN000-0.ax: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/tests/parsing/Axioms/SYN000-0.ax -------------------------------------------------------------------------------- /tests/parsing/Axioms/SYN000^0.ax: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/tests/parsing/Axioms/SYN000^0.ax -------------------------------------------------------------------------------- /tests/parsing/Axioms/SYN000_0.ax: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/tests/parsing/Axioms/SYN000_0.ax -------------------------------------------------------------------------------- /tests/parsing/Axioms/SYN001-0.ax: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/tests/parsing/Axioms/SYN001-0.ax -------------------------------------------------------------------------------- /tests/parsing/Axioms/SYN002+0.ax: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/tests/parsing/Axioms/SYN002+0.ax -------------------------------------------------------------------------------- /tests/parsing/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/tests/parsing/Makefile -------------------------------------------------------------------------------- /tests/parsing/SYN000+1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/tests/parsing/SYN000+1.p -------------------------------------------------------------------------------- /tests/parsing/SYN000+2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/tests/parsing/SYN000+2.p -------------------------------------------------------------------------------- /tests/parsing/SYN000-1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/tests/parsing/SYN000-1.p -------------------------------------------------------------------------------- /tests/parsing/SYN000-2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/tests/parsing/SYN000-2.p -------------------------------------------------------------------------------- /tests/parsing/SYN000=2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/tests/parsing/SYN000=2.p -------------------------------------------------------------------------------- /tests/parsing/SYN000^1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/tests/parsing/SYN000^1.p -------------------------------------------------------------------------------- /tests/parsing/SYN000^2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/tests/parsing/SYN000^2.p -------------------------------------------------------------------------------- /tests/parsing/SYN000_1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/tests/parsing/SYN000_1.p -------------------------------------------------------------------------------- /tests/parsing/SYN000_2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/tests/parsing/SYN000_2.p -------------------------------------------------------------------------------- /witan.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/witan-org/witan/HEAD/witan.opam --------------------------------------------------------------------------------