1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (76–100 of 343)

Title T P Status Votes Assignee Version Created Updated Actions
#840: Split definitions as much as possible (also for xsb things)
task major new
#672: find a way to correctly "Kill" XSB mid-query execution
XSB
enhancement major new
#839: Running XSB tests shows big memory leak
bug minor new
#827: Querying fails for very simple BDDs.
bug major new
#837: noncommutative non-equality
bug major new
#836: Installer puts 64bit binary in x86 folder
bug major new
#832: LTC in the manual
bug trivial new
#828: XSB output that should not have been there
bug trivial new
#810: Skolemization violates its own invariant
bug major new
#809: Bug in testframework
bug major new
#808: Lazy grounding assert fail
bug major new
#805: Propagation is VERY bad
bug minor new 1
#803: IDP installation changes source files (blame XSB)
bug major new
#566: Overloaded predicates with different arities
bug minor new
#200: Printing of procedures
task major new
#798: Huge bug in recursive aggregates
bug major new
#797: modelexpansion in a procedure interpretation goes wrong
bug major new
#789: Approxdefs crashes
bug minor new
#795: Currently xsb_compiler.P's built-in type for char returns too much
task minor new
#791: Multiple models solver bug
bug major new
#782: Propagation issue?
bug major new
#776: Grounding issue (xsb or bdds?)
bug major new
#775: Grounding functions
enhancement major new
#774: Partial semantics
bug major new
#675: Merging of two small structures with large-arity predicates is slow and memory-intensive
enhancement minor new
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. …
  9. 13
  10. 14