1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (251–275 of 994)

Title T P Status Votes Assignee Version Created Updated Actions
#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
#783: Modelexpand is not always unique on output vocabularium
bug minor duplicate
#640: Model invalidation is incorrect in case of functions in the output vocabulary and cpsupport on
bug minor closed
#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
#675: Merging of two small structures with large-arity predicates is slow and memory-intensive
enhancement minor new
#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
#766: Printing (function?) symbols
bug minor new
#764: XSB infinite loop
XSB
bug major invalid
#724: XSB: floats and definitions
bug major resolved
  2. 1
  3. 2
  4. …
  5. 9
  6. 10
  7. 11
  8. 12
  9. 13
  10. 14
  11. …
  12. 39
  13. 40