Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / why3
Commits:
-
69ef9d2c
by Ralf Treinen at 2020-09-06T19:15:08+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
- doc/api.rst
- doc/conf.py
- doc/index.rst