1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (926–950 of 994)

Title T P Status Votes Assignee Version Created Updated Actions
#265: Unnesting is incorrect in the case of x-x2
bug major resolved
#264: IDP throws unexpected exception
bug minor resolved
#267: Long runtime with no solution for trivial code
bug major invalid
#263: runidp script should also change path
bug minor resolved
#247: ecnf printer prints sets with id 0, which is not valid ecnf
bug minor resolved
#259: Disable warnings from within lua
proposal trivial invalid
#262: uint in fobddterm.hpp is not defined under windows
bug minor resolved
#260: Nqueens.idp groundwithbounds performance issue
enhancement major resolved
#261: Segment fault (Core dump)
bug major resolved
#254: Optimize getting inverse of predtable
enhancement major resolved
#252: ToString for shared pointers.
bug major resolved
#243: rungidl should be renamed
bug major resolved
#237: Groundtheory invariant on definitional context is not cleanly implemented
bug major new
#235: Queries fail when multiple identical variables are used in the variable block
bug minor resolved
#213: Aggform not handled in unnestthreevalued
bug major resolved
#234: Aggtermgrounder incorrect for known sets
bug minor resolved
#230: LUP on !x y: P(x, y) => Q(0, x, y).
bug major resolved
#227: incomplete printing of char predicates
bug major new
#225: Symmetry breaking is broken
bug major resolved
#215: Unit test generation of x>y using bounds
enhancement minor resolved
#217: Query bug in case of variable over non-matching subtypes
bug minor resolved
#223: Propagation derives very little
bug major resolved
#221: allow reparsing of .idp files
enhancement minor new
#218: Segmentation fault on printing structure
bug major resolved
#216: Check IDP url in manual
bug minor resolved
  2. 1
  3. 2
  4. …
  5. 35
  6. 36
  7. 37
  8. 38
  9. 39
  10. 40