KRR
software
IDP
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–7 of 7)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#924: Very strange behaviour of definition evaluation (partial functions (& constructors?))
bug
blocker
new
2016-11-09
2016-11-09
#757: XSB heeft last met functieconstraint?
bug
blocker
resolved
Joachim Jansen
2014-05-27
2014-05-27
#486: Bug in groundtranslator?
bug
blocker
invalid
2013-07-25
2013-07-25
#34: type derivation
Testing
task
blocker
resolved
Broes De Cat
2.0
2011-12-09
2013-01-30
#36: Float, string
Testing
task
blocker
resolved
Bart Bogaerts
2.0
2011-12-09
2013-01-30
#35: Documentation
task
blocker
resolved
2.0
2011-12-09
2013-01-30
#33: Testing of basic commands
task
blocker
resolved
Broes De Cat
2.0
2011-12-09
2013-01-30