KRR
software
IDP
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(26–29 of 29)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#363: Aggregate bodies transformed incorrectly into prolog
XSB
bug
major
resolved
Joachim Jansen
2013-02-20
2013-03-04
#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
1
2