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
Improvement
Timeout/Unknown for test 1523 with Z3 4.8.9
Unassigned
Michael Leuschel
Major
Unresolved
Oct 30, 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
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-5 of 5