Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / why3
Commits:
-
69c93f9f
by Ralf Treinen at 2022-05-02T20:38:00+02:00
12 changed files:
- CHANGES.md
- Makefile.in
- bench/bench
- bench/ce-bench
- bench/ce/floats.mlw
- + bench/ce/jlamp0_mono.mlw
- + bench/ce/oracles/algebraic_type_CVC4,1.8_SP.oracle
- + bench/ce/oracles/algebraic_type_CVC4,1.8_WP.oracle
- + bench/ce/oracles/algebraic_type_Z3,4.8.10_SP.oracle
- + bench/ce/oracles/algebraic_type_Z3,4.8.10_WP.oracle
- bench/ce/oracles/algebraic_types_mono_CVC4,1.7_SP.oracle
- bench/ce/oracles/algebraic_types_mono_CVC4,1.7_WP.oracle