KRR
software
IDP
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–5 of 5)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#585: progression: implement verification
proposal
minor
new
Bart Bogaerts
2013-11-13
2013-11-13
#581: Progression: error messages
bug
minor
new
Bart Bogaerts
2013-11-12
2013-11-12
#368: Merging interpretations of types may result in unsat
bug
minor
new
Bart Bogaerts
2013-02-25
2013-02-25
#301: Improve Querying or document it
Inferences
bug
minor
new
Bart Bogaerts
2012-12-19
2013-01-14
#231: First generate certainly, then possibly table
enhancement
minor
new
Bart Bogaerts
2012-09-27
2013-01-09