1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (201–225 of 994)

Title T P Status Votes Assignee Version Created Updated Actions
#841: help doesn't work with safelua flag
bug major new
#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
#838: XSB problems
bug major resolved
#835: XSB crashes
bug major resolved
#773: Set grounding throws exception if term is partial
bug minor resolved
#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
#353: Segfault when printing cp variables to ECNF
bug major resolved
#831: Parser sees a tab as 4 chars
bug major resolved
#834: incomplete type when building on snow
bug major resolved
#833: Block comments not handled properly
bug trivial invalid
#832: LTC in the manual
bug trivial new
#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
#815: CP Support
bug minor resolved
#149: Evaluate inference
Inferences
proposal major open
#813: Bug in CP support for partial functions
bug major resolved
#821: Line numbers for warnings in procedure errors
bug major resolved
#820: Show parseinfo for warnings about type derivation
bug major resolved
#819: Problog : try standard inference
bug major resolved
  2. 1
  3. 2
  4. …
  5. 7
  6. 8
  7. 9
  8. 10
  9. 11
  10. 12
  11. …
  12. 39
  13. 40