1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (26–49 of 49)

Title T P Status Votes Assignee Version Created Updated Actions
#441: Grounding to conditional sums and products
cp-support
task major resolved
#445: Conditional aggregates are still buggy
bug major resolved
#379: Type detection with theorem prover
proposal major new
#285: Variable running time when doing modelexpand several times
bug major resolved
#275: Duplicate specification does not throw an error
bug major resolved
#135: Lazy grounding bug for definition
bug major invalid
#45: Lazy grounding
Grounding
task major invalid
#204: Empty domains for CP variables
bug major resolved
#66: Incorrect wellfoundedness check
MinisatID
bug major resolved
#6: AssertionException in UNSATagg.idp
bug major resolved
#55: UNSAT found, expected SAT
Inferences
bug major resolved
#32: Release version assertion error on unsatagg
bug major duplicate
#56: Readline replacemet
Parser
enhancement major resolved
#242: COPYRIGHT file
bug major resolved
#299: Allow feature-based unit testing
Testing
enhancement major new
#316: Unnesting in Rule Bodies
bug major resolved
#283: Double includes
Parser
bug major resolved
#313: Should turn all our tostring operations into << operators taking a stream!
bug major resolved
#289: Segfault when minizing over a term of another vocabulary
bug major resolved
#291: Improve lazy grounding size estimations using the estimations already in idp.
enhancement major new
#246: Empty function interpretations
Parser
bug major resolved
#205: make check does not report segfaults
Testing
bug major resolved
#198: Insert segfauls on an enumset where some predicate symbol is not declared
bug major resolved
#1: Print and printgrounding are bugged
bug major resolved
  2. 1
  3. 2