KRR
software
IDP
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–8 of 8)
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
#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
#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
#184: Shared tseitin cost AND push quant effect of BDD rewriting
bug
major
new
Bart Bogaerts
2012-06-12
2013-01-30
#239: Prevent unnesting during generator creation
bug
major
new
Bart Bogaerts
2012-10-09
2013-01-04