1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (176–200 of 389)

Title T P Status Votes Assignee Version Created Updated Actions
#578: 3.2.0 source archive broken
bug major resolved
#569: Segmentation fault
bug major resolved
#568: Stackoverflow onder windows
bug major resolved
#567: Unsat core extraction bug
bug major resolved
#297: Veralgemeende - binaire quantificatie
Parser
enhancement major resolved
#558: Issue with generators
bug major resolved
#555: Generating tables with subtyping (Bug in Generatorfactory.cpp)
bug major resolved
#500: Missing consistency check because apply to structure is not always performed.
bug major resolved
#549: Remove all symbolic links
bug major resolved
#544: Approximatiefout in unsatcoreextraction
bug major resolved
#540: Static lua should be enabled in staticrelease
bug major resolved
#539: theoryquery en configIDP
bug major resolved
#537: lazy grounding tests segfaulting on master
bug major resolved
#507: Function totality check when xsb is on
bug major resolved
#526: Derivesorts for overloaded symbols crashes
bug major resolved
#302: Improve stringpointer management in domainelementfactory
bug major resolved
#472: No type check for constructed subtypes of nat
bug major resolved
#473: No check for interpretation of constructed types
bug major resolved
#470: Constructed Types and subtyping
bug major resolved
#222: Calculating definitions over int
bug major resolved
#515: Minimize returns the best value, but this is NOT (always) the value of the optimization term
bug major resolved
#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
#518: Pushquantifiers can degrade performance significantly, investigate this!
bug major resolved
#442: Bug in xsb recursion over negation check
bug major resolved
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8
  10. 9
  11. 10
  12. …
  13. 15
  14. 16