Kuldeep Meel
Untitled project
UniGen
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–6 of 6)
Title
T
P
Status
Votes
Assignee
Created
Updated
Actions
#12: Missing instances from TACAS'15 paper
bug
minor
resolved
2020-06-03
2020-07-07
#13: Unigen2 timeout on 2 instances of TACAS'15 paper
task
minor
resolved
2020-06-08
2020-07-07
#2: UniGen does not handle files with small solution count
bug
minor
resolved
Kuldeep Meel
2017-08-10
2018-09-21
#8: Timeout Cannot be Less than 3000s
bug
minor
resolved
2018-06-28
2018-07-12
#5: Using UniGen from a cpp file
bug
minor
resolved
2017-09-29
2018-04-08
#3: Python script errors for this benchmark
bug
minor
resolved
2017-09-20
2017-09-28