1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (576–600 of 994)

Title T P Status Votes Assignee Version Created Updated Actions
#105: Warning when completing types!
Parser
bug major new
#183: Which time does each sentence take to ground?
enhancement major open
#147: Complete code for generating approximating definitions
enhancement minor resolved
#332: Finer-grained timeout
enhancement minor new
#280: CP support + minimizing cardinalities
bug major resolved
#494: Fix the transfer from cp-off to cp-on properly in the test environment.
bug major new
#496: Query should check that its output vars are not internally quantified
enhancement minor new
#489: Parsing is not governed by timeout.
bug minor new
#493: Timings are wrong
bug minor resolved
#492: Issues with evaluation of bdds, mainly when functions are involved
bug major new
#490: Changing interpretation through lua: empty types
bug major new
#448: Inline typing of variables is not allowed
bug major new
#488: Fix interactive print monitor, allowing both speed and usage in Lua.
enhancement minor new
#409: Segfault on overloaded predicates
bug minor resolved
#422: Giving a (partial) interpretation for overloaded functions
bug major resolved
#487: !x: q(x) & ~q(x) does not derive unsat early with lifted unit propagation
bug major new
#486: Bug in groundtranslator?
bug blocker invalid
#484: Installing should not change source files (SPASS)
bug major resolved
#485: put of structure goes through <IDP> printer, the others just ask print
bug minor new
#182: Too many printers
enhancement major resolved
#483: Parsing inconsistent structures
enhancement minor new
#458: Partial interpretation for total function is not checked explicitly
bug major resolved
#450: Tseitin sharing in translator for different eqtypes
enhancement major open
#447: bug in cp grounding
cp-support
bug major resolved
#482: Interpretation retrieval is dangerous when storing it
bug major new
  2. 1
  3. 2
  4. …
  5. 22
  6. 23
  7. 24
  8. 25
  9. 26
  10. 27
  11. …
  12. 39
  13. 40