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