Issues

Select view

Select search mode

Bug
Model translation failed for DefSet5 example
Unassigned
Michael Leuschel
Major
Fixed
Nov 11, 2020
Nov 12, 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
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
1-5 of 5