Ralf Treinen pushed to branch master at Debian OCaml Maintainers / why3
Commits:
-
69ef9d2c
by Ralf Treinen at 2020-09-06T19:15:08+02:00
-
d174a0cb
by Ralf Treinen at 2020-09-06T19:16:52+02:00
-
23c3b92f
by Ralf Treinen at 2020-09-09T20:28:27+02:00
-
a995487d
by Ralf Treinen at 2020-09-09T21:10:45+02:00
30 changed files:
- CHANGES.md
- Makefile.in
- bench/ce-bench
- bench/ce/oracles/algebraic_types_mono_CVC4,1.7_SP.oracle
- bench/ce/oracles/algebraic_types_mono_CVC4,1.7_WP.oracle
- bench/ce/oracles/array_mono_CVC4,1.7_SP.oracle
- bench/ce/oracles/array_mono_CVC4,1.7_WP.oracle
- bench/ce/oracles/if_assign_CVC4,1.7_SP.oracle
- bench/ce/oracles/if_assign_CVC4,1.7_WP.oracle
- bench/ce/oracles/jlamp0_CVC4,1.7_SP.oracle
- bench/ce/oracles/jlamp0_CVC4,1.7_WP.oracle
- bench/ce/oracles/jlamp_projections_CVC4,1.7_SP.oracle
- bench/ce/oracles/jlamp_projections_CVC4,1.7_WP.oracle
- bench/ce/oracles/map_CVC4,1.7_SP.oracle
- bench/ce/oracles/map_CVC4,1.7_WP.oracle
- bench/ce/oracles/range_type_CVC4,1.7_SP.oracle
- bench/ce/oracles/range_type_CVC4,1.7_WP.oracle
- bench/ce/oracles/record_one_field_CVC4,1.7_SP.oracle
- bench/ce/oracles/record_one_field_CVC4,1.7_WP.oracle
- bench/ce/oracles/records_inv_CVC4,1.7_SP.oracle
- bench/ce/oracles/records_inv_CVC4,1.7_WP.oracle
- bench/ce/oracles/ref_mono_CVC4,1.7_SP.oracle
- bench/ce/oracles/ref_mono_CVC4,1.7_WP.oracle
- bench/ce/oracles/result_CVC4,1.7_SP.oracle
- bench/ce/oracles/result_CVC4,1.7_WP.oracle
- configure
- configure.in
- debian/changelog
- + debian/patches/coq8.12
- debian/patches/series