Issues
| Translation of models involving records | Unassigned | Michael Leuschel |  | Unresolved | Nov 14, 2020 | Nov 14, 2020 | |||||
| Unsound result involving existential quantification and append sequence | Unassigned | Michael Leuschel | | Unresolved | Nov 11, 2020 | Nov 11, 2020 | |||||
| Model translation failed for DefSet5 example | Unassigned | Michael Leuschel | | Fixed | Nov 11, 2020 | Nov 12, 2020 | |||||
| Timeout/Unknown for test 1523 with Z3 4.8.9 | Unassigned | Michael Leuschel | | Unresolved | Oct 30, 2020 | Oct 30, 2020 | |||||
| Missing back translation of integers to global set elements | Unassigned | Michael Leuschel | | Fixed | Oct 29, 2020 | Oct 30, 2020 | |||||
| No value in model with Z3 4.8.9 or later | Unassigned | Michael Leuschel | | Fixed | Oct 29, 2020 | Oct 30, 2020 | |||||
| model translation failed due to Z3 using lambda | Unassigned | Michael Leuschel | | Fixed | Oct 27, 2020 | Oct 30, 2020 | |||||
| inverse: z3_exception in mk_couple : Sort mismatch at argument #1 for function | Unassigned | Michael Leuschel | | Unresolved | Oct 27, 2020 | Oct 29, 2020 | |||||
| z3_set_to_b_set failed on fun / result pair ['k!2',couple(integer,boolean)] | Unassigned | Michael Leuschel | | Fixed | Oct 27, 2020 | Oct 30, 2020 | |||||
| ProB z3 interface does not work with Z3 version 4.8.8 or newer | Unassigned | Michael Leuschel | | Unresolved | Oct 27, 2020 | Oct 29, 2020 |
1-10 of 10