1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (301–325 of 343)

Title T P Status Votes Assignee Version Created Updated Actions
#92: vector<InternalArgument>* should become shared_pointers
Garbage collection
bug minor new
#145: Printout all information in correct idp syntax
enhancement major new
#106: [Lazy] pull through quantifications
Grounding
enhancement major new
#212: Infinite check not working
bug major new
#167: Documentation
task major new
#294: constructoren, UNA, DCA
proposal major new
#323: Detect including the same idp file via different paths
enhancement minor new
#330: Improve lua error reporting when by accident variables were used
enhancement minor new
#329: Use unordened sets where better
proposal minor new
#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
#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
#318: GCC 4.7
enhancement minor new
#312: lua print is very slow because it does not use streams but has to return a complete string.
enhancement minor new
#274: Creating infinite grounding when old version didn't
bug major new
#315: Test framework returns 1 if success, while bash returns 0 in that case
enhancement trivial new
#231: First generate certainly, then possibly table
enhancement minor new
#310: checkConsistency can be done more efficient
enhancement minor new
#309: Better out of bounds generation for ranges
enhancement minor new
  2. 1
  3. 2
  4. …
  5. 9
  6. 10
  7. 11
  8. 12
  9. 13
  10. 14