equal
deleted
inserted
replaced
348 - Renamed: |
348 - Renamed: |
349 z3_proofs ~> smt_oracle (with swapped semantics) |
349 z3_proofs ~> smt_oracle (with swapped semantics) |
350 z3_trace_assms ~> smt_trace_used_facts |
350 z3_trace_assms ~> smt_trace_used_facts |
351 INCOMPATIBILITY. |
351 INCOMPATIBILITY. |
352 - Added: |
352 - Added: |
|
353 smt_verbose |
|
354 smt_datatypes |
353 cvc3_options |
355 cvc3_options |
354 yices_options |
356 yices_options |
355 smt_datatypes |
|
356 |
357 |
357 * Removed [split_format ... and ... and ...] version of |
358 * Removed [split_format ... and ... and ...] version of |
358 [split_format]. Potential INCOMPATIBILITY. |
359 [split_format]. Potential INCOMPATIBILITY. |
359 |
360 |
360 *** FOL *** |
361 *** FOL *** |