1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (176–200 of 688)

Title T P Status Votes Assignee Version Created Updated Actions
#831: Parser sees a tab as 4 chars
bug major resolved
#834: incomplete type when building on snow
bug major resolved
#385: Calculating part of a definition
enhancement major resolved
#780: setting stdoptions.xsb=true gives unsat to sat problem
XSB
bug major 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
#818: Problog : negative literals and their weights
bug major resolved
#749: Enable solver simplifier by default if no lazy grounding is done
enhancement major resolved
#796: If one declares a sort as empty it cannot be autocompleted
bug major resolved
#814: Segfault when printing voc
bug major resolved
#812: BDD's generating all strings
bug major open
#810: Skolemization violates its own invariant
bug major new
#809: Bug in testframework
bug major new
#808: Lazy grounding assert fail
bug major new
#806: Debug mode broken: Preconditions in XSB code violated
bug major resolved
#792: Splitting definitions is too expensive without xsb
bug major resolved
#803: IDP installation changes source files (blame XSB)
bug major new
#790: Bad Function generation
bug major resolved
#738: Auto-overcompletion
bug major resolved
#200: Printing of procedures
task major new
#756: History file management is nog altijd niet goed
bug major resolved
#798: Huge bug in recursive aggregates
bug major new
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8
  10. 9
  11. 10
  12. …
  13. 27
  14. 28