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
#961: XSB and constructed types
bug
major
new
Joachim Jansen
2018-11-14
2018-11-14
#935: Bugs in XSB with outputvoc
bug
major
new
Joachim Jansen
2017-06-29
2017-10-25
#932: Grounder incorrectly simplifies definitions.
Grounding
bug
major
new
Joachim Jansen
2017-04-20
2017-04-20
#855: XSB generators fail
bug
major
new
Joachim Jansen
2014-11-20
2014-11-21
#672: find a way to correctly "Kill" XSB mid-query execution
XSB
enhancement
major
new
Joachim Jansen
2014-02-14
2014-10-28
#680: Make unification "predicate" smarter such that it does not result in an infinite type generator
enhancement
major
new
Joachim Jansen
2014-02-17
2014-02-17
#416: Allow open input predicates to be represented by ranges
enhancement
major
new
Joachim Jansen
2013-04-18
2013-04-18