Issues

Select view

Select search mode

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