KRR
software
IDP
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(51–56 of 56)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#337: Transformation can't handle identity function
XSB
bug
major
resolved
Joachim Jansen
2013-01-31
2013-03-04
#354: XSB interface cardinality support not working
XSB
bug
major
resolved
Joachim Jansen
2013-02-18
2013-03-04
#338: Instantiated values in heads of definitions cause segfault.
XSB
bug
major
resolved
Joachim Jansen
2013-01-31
2013-03-04
#333: XSB cannot handle definitions that use constants in their body
bug
major
resolved
Joachim Jansen
2013-01-25
2013-03-04
#335: Tabled declarations have wrong arity
bug
major
resolved
Joachim Jansen
2013-01-28
2013-03-04
#260: Nqueens.idp groundwithbounds performance issue
enhancement
major
resolved
Joachim Jansen
2012-11-05
2012-11-07
1
2
3