1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (26–50 of 102)

Title T P Status Votes Assignee Version Created Updated Actions
#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
#838: XSB problems
bug major resolved
#835: XSB crashes
bug major resolved
#353: Segfault when printing cp variables to ECNF
bug major resolved
#385: Calculating part of a definition
enhancement major resolved
#828: XSB output that should not have been there
bug trivial new
#804: Add removal of xsbinstall directory to make clean command
bug minor resolved
#780: setting stdoptions.xsb=true gives unsat to sat problem
XSB
bug major resolved
#806: Debug mode broken: Preconditions in XSB code violated
bug major resolved
#789: Approxdefs crashes
bug minor new
#795: Currently xsb_compiler.P's built-in type for char returns too much
task minor new
#764: XSB infinite loop
XSB
bug major invalid
#724: XSB: floats and definitions
bug major resolved
#757: XSB heeft last met functieconstraint?
bug blocker resolved
#713: Ctrl-c no longer interrupts MinisatID
bug minor resolved
#468: XSB getFacts should check "builtin" correctly
bug minor resolved
#699: WITHXSB=off does not disable xsb tests
bug minor resolved
#684: "findall" predicates in IDP are translated incorrectly into XSB
XSB
bug major resolved
#682: XSB does not support constructor functions
bug major resolved
#369: Delay modelexpansion for symbols that only occur in the head of definitions
Inferences
task minor resolved
#681: XSB not properly handling exponential function
bug major resolved
#678: XSB cannot handle negative integers
XSB
bug major resolved
#680: Make unification "predicate" smarter such that it does not result in an infinite type generator
enhancement major new
#655: XSB quotes domainelements
XSB
bug major invalid
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5