KRR
software
IDP
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(26–38 of 38)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#388: xsb is too slow
XSB
bug
major
resolved
Joachim Jansen
2013-03-14
2013-05-16
#420: XSB incorrect for approxdef
XSB
bug
major
resolved
Joachim Jansen
2013-04-24
2013-05-08
#380: Add regression tests for XSB
XSB
task
major
resolved
Joachim Jansen
2013-03-06
2013-04-23
#415: Unwanted "Removing incomplete tables..." messages
XSB
bug
minor
resolved
Joachim Jansen
2013-04-17
2013-04-17
#377: XSB Bug using function constants
XSB
bug
major
resolved
Joachim Jansen
2013-03-04
2013-03-06
#359: XSB Support for prednames with underscores
XSB
task
major
resolved
Joachim Jansen
2013-02-19
2013-03-04
#370: XSB Range predicates are ambiguous
XSB
bug
minor
resolved
Joachim Jansen
2013-02-26
2013-03-04
#365: XSB aggregates do not support anything other than a single predicate as formula
XSB
bug
major
resolved
Joachim Jansen
2013-02-21
2013-03-04
#366: Bug with facts that have some of their arguments equal to eachother
XSB
bug
major
resolved
Joachim Jansen
2013-02-21
2013-03-04
#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