KRR
software
IDP
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–14 of 14)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#801: Autocompletion and verification of function constraints still too slow
bug
major
new
Bart Bogaerts
2014-08-27
2014-12-04
#832: LTC in the manual
bug
trivial
new
Bart Bogaerts
2014-10-16
2014-10-16
#340: Longestbranch not enforced
bug
major
new
Bart Bogaerts
2013-02-01
2014-03-28
#634: non-domainelement changes definition
bug
major
new
Bart Bogaerts
2014-01-07
2014-01-07
#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
#534: Evaluate known expressions before MX starts
enhancement
major
new
Bart Bogaerts
2013-10-08
2013-10-09
#424: Generating with bounds with subtypes?
bug
major
new
Bart Bogaerts
2013-05-10
2013-10-02
#464: getInverseTable optimization for bdds
enhancement
major
new
Bart Bogaerts
2013-07-11
2013-07-11
#368: Merging interpretations of types may result in unsat
bug
minor
new
Bart Bogaerts
2013-02-25
2013-02-25
#184: Shared tseitin cost AND push quant effect of BDD rewriting
bug
major
new
Bart Bogaerts
2012-06-12
2013-01-30
#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
#239: Prevent unnesting during generator creation
bug
major
new
Bart Bogaerts
2012-10-09
2013-01-04