1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (201–225 of 688)

Title T P Status Votes Assignee Version Created Updated Actions
#797: modelexpansion in a procedure interpretation goes wrong
bug major new
#791: Multiple models solver bug
bug major new
#98: Additional inference: check satisfiability
Inferences
enhancement major duplicate
#786: Autocompletion broken
bug major resolved
#733: Autocompletion not recrusive enough with constructed type
bug major resolved
#785: Printing Compound domain elements from lua goes wrong
bug major resolved
#661: New Release
task major resolved
#782: Propagation issue?
bug major new
#779: 3.3.1 not running
bug major resolved
#778: CP max aggregate bug
bug major resolved
#777: Several bugs in meta transformation
bug major resolved
#627: Progression and false-defineds
bug major resolved
#776: Grounding issue (xsb or bdds?)
bug major new
#775: Grounding functions
enhancement major new
#774: Partial semantics
bug major new
#772: segmentation fault
bug major invalid
#771: Rename HasRecursionOverNegation
proposal major invalid
#721: Lua connection problem
bug major open
#770: Merging large structures takes terribly long
enhancement major duplicate
#769: iterated-induction model fails
bug major resolved
#768: Iterated-induction file has extra code
bug major on hold
#397: Bug in functiondetection
bug major resolved
#764: XSB infinite loop
XSB
bug major invalid
#724: XSB: floats and definitions
bug major resolved
#760: Lua garbage collection is a mess
bug major new 1
  2. 1
  3. 2
  4. …
  5. 7
  6. 8
  7. 9
  8. 10
  9. 11
  10. 12
  11. …
  12. 27
  13. 28