KRR
software
IDP
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(51–57 of 57)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#264: IDP throws unexpected exception
bug
minor
resolved
Bart Bogaerts
2012-11-12
2012-11-12
#261: Segment fault (Core dump)
bug
major
resolved
Bart Bogaerts
2012-11-06
2012-11-07
#215: Unit test generation of x>y using bounds
enhancement
minor
resolved
Bart Bogaerts
2012-08-27
2012-09-19
#217: Query bug in case of variable over non-matching subtypes
bug
minor
resolved
Bart Bogaerts
2012-08-28
2012-09-19
#223: Propagation derives very little
bug
major
resolved
Bart Bogaerts
2012-08-29
2012-09-06
#162: Documentatie
task
major
resolved
Bart Bogaerts
2012-05-15
2012-05-16
#129: GeneratorNodes should be removed
BDDs
proposal
major
resolved
Bart Bogaerts
2012-03-21
2012-03-22
1
2
3