1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (526–550 of 994)

Title T P Status Votes Assignee Version Created Updated Actions
#222: Calculating definitions over int
bug major resolved
#479: Type derivation too strict?
bug minor resolved
#219: IDP-Lua does not accept "= #L" as command after "L = {}"
bug minor wontfix
#466: Non-deterministic memory overflow during grounding of packing
enhancement minor new
#515: Minimize returns the best value, but this is NOT (always) the value of the optimization term
bug major resolved
#419: Checking non-builtin overloaded functions.
bug major invalid
#498: Parsing compounds
bug minor resolved
#517: Informatie op de site over hoe idp te runnen
enhancement minor new
#519: Review grounder transformations to reduce context switches, to prevent unnecessary Tseitins
enhancement minor new
#474: Full universe is the set of all strings, which does not include any compounds.
bug major resolved
#505: Segfault related to constructed types
bug major resolved
#511: Constructed constants are parsed as variables
bug major invalid
#518: Pushquantifiers can degrade performance significantly, investigate this!
bug major resolved
#442: Bug in xsb recursion over negation check
bug major resolved
#524: Progression does not remove atoms of the form (Time(Next(t))
bug major resolved
#433: Uninstantiated argument of evaluable function +/2
XSB
bug major resolved
#179: Detect set reuse
enhancement minor resolved
#352: Bug/unsupported feature in sum of cardinalities
Grounding
bug minor resolved
#504: Zero-ary constructed type functions cannot conveniently be used in interpretations
bug critical resolved 1
#532: Unit tests for unsat_core extraction / debugging
enhancement minor new
#529: Printing structure predicate relations on one line not always the best
proposal minor new 1
#528: Typing too strict
task major new
#531: Building with XSB in empty, new directory fails (only the first time)
bug trivial new
#509: Include within namespaces gives incorrect results
bug major new
#522: Segmentation Fault
bug minor resolved
  2. 1
  3. 2
  4. …
  5. 20
  6. 21
  7. 22
  8. 23
  9. 24
  10. 25
  11. …
  12. 39
  13. 40