Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / why3
Commits:
-
3721ad4b
by Ralf Treinen at 2019-02-14T10:00:50Z
30 changed files:
- .merlin.in
- CHANGES.md
- Makefile.in
- Version
- why3-coq.opam/files/run_autoconf_if_needed.sh → autogen.sh
- bench/bench
- bench/ce-bench
- − bench/ce/algebraic_type_Z3,4.6.0.oracle
- + bench/ce/algebraic_types_mono.mlw
- + bench/ce/array_mono.mlw
- + bench/ce/bv32.mlw
- + bench/ce/double_projection.mlw
- − bench/ce/floats_CVC4,1.5.oracle
- − bench/ce/floats_Z3,4.6.0.oracle
- + bench/ce/if_assign.mlw
- bench/ce/if_decision_branch.mlw
- − bench/ce/if_decision_branch_CVC4,1.5.oracle
- − bench/ce/if_decision_branch_Z3,4.6.0.oracle
- bench/ce/int32.mlw
- − bench/ce/int32_CVC4,1.5.oracle
- − bench/ce/int32_Z3,4.6.0.oracle
- − bench/ce/int_CVC4,1.5.oracle
- − bench/ce/int_Z3,4.6.0.oracle
- − bench/ce/jlamp0_CVC4,1.5.oracle
- − bench/ce/jlamp0_Z3,4.6.0.oracle
- − bench/ce/jlamp_array_CVC4,1.5.oracle
- − bench/ce/jlamp_array_Z3,4.6.0.oracle
- bench/ce/jlamp_projections.mlw
- − bench/ce/jlamp_projections_CVC4,1.5.oracle
- − bench/ce/jlamp_projections_Z3,4.6.0.oracle