1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (226–250 of 266)

Title T P Status Votes Assignee Version Created Updated Actions
#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
#318: GCC 4.7
enhancement minor new
#320: Run slow tests
enhancement minor resolved
#220: Reparsing same file should throw exception
bug minor resolved
#319: Verify slow tests (blocked by #317)
bug minor resolved
#312: lua print is very slow because it does not use streams but has to return a complete string.
enhancement minor new
#278: Parse error on double implications
enhancement minor resolved
#311: Merging of structures results segfault
bug minor resolved
#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
#308: Cannot use predicate with same name as type
Parser
bug minor new
#300: Segfault when assigning predicates of another vocabulary in a structure
Parser
bug minor resolved
#305: Theorie-stratificatie om efficientie te verbeteren
task minor new
#288: Allow search tracing re-using existing IDP infrastructure
Inferences
enhancement minor new
#295: Ignore Tseitin Symbol* created by IDP during mx
enhancement minor new
#271: Improve (distinction between) mx and mxpartial
Inferences
enhancement minor new
#303: Warnings in IDP
Parser
enhancement minor new
#298: The number of variables in the input (and internally) should be reduced as much as possible.
enhancement minor new
#296: LaTeX printing
proposal minor new
#293: XOR
Parser
task minor new
#292: Predicates and Formulas as Boolean functions
task minor new
#286: Solving a grounded theory in Lua
proposal minor new
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8
  10. 9
  11. 10
  12. 11