1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (851–875 of 994)

Title T P Status Votes Assignee Version Created Updated Actions
#51: FO-propagatie
task major resolved
#40: Generators
Grounding
task major resolved
#323: Detect including the same idp file via different paths
enhancement minor new
#242: COPYRIGHT file
bug major resolved
#334: Numerical operation order causes problems
bug major invalid
#330: Improve lua error reporting when by accident variables were used
enhancement minor new
#329: Use unordened sets where better
proposal minor new
#249: Partial functions in sets: bug and semantics ambiguity
bug major open
#327: min-max aggregates should take a term with any kind of return type
enhancement minor new
#325: Sort derivation over equality
bug minor new
#236: Symbolic propagation is not smart enough or fails altogether
bug major resolved
#324: Treat sum(S) + sum(S2) as sum(S U S2)
enhancement minor new
#322: Allow empty-set {}
enhancement minor new
#299: Allow feature-based unit testing
Testing
enhancement major new
#301: Improve Querying or document it
Inferences
bug minor new
#173: Query block should become set block
Parser
enhancement minor new
#192: % of full grounding
bug minor new
#150: Test code to replace predicates with terms in them by tseitins
Inferences
enhancement major new
#224: Cardinality syntax
bug major invalid
#318: GCC 4.7
enhancement minor new
#320: Run slow tests
enhancement minor resolved
#316: Unnesting in Rule Bodies
bug major resolved
#220: Reparsing same file should throw exception
bug minor resolved
#283: Double includes
Parser
bug major resolved
#319: Verify slow tests (blocked by #317)
bug minor resolved
  2. 1
  3. 2
  4. …
  5. 33
  6. 34
  7. 35
  8. 36
  9. 37
  10. 38
  11. 39
  12. 40