1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (351–375 of 994)

Title T P Status Votes Assignee Version Created Updated Actions
#690: LG: handle functions, sorts and definitions and equivalence in "extendStructure"
bug major new
#683: Type derivation does not behave as specified
bug minor resolved
#689: LG: Expected bug: too many models: the Tseitin is generated using an implication
bug major new
#688: remove hack in termgrounder
task minor new
#686: More sharing in ground translator
task minor new
#459: factlist bug
bug major resolved 1
#681: XSB not properly handling exponential function
bug major resolved
#678: XSB cannot handle negative integers
XSB
bug major resolved
#667: IDP fails on non-flat, non-pushed negations theories
bug major resolved
#679: Building IDP 3.3.0
bug major resolved
#685: Unclear error message when incorrect typing was specified
enhancement minor new
#610: Bug in theoremprover
bug major resolved
#499: Fobdds, functions, equality and derived symbols don't really work well together
BDDs
enhancement major new
#612: Predicate interpretations should be lua functions
enhancement minor new
#680: Make unification "predicate" smarter such that it does not result in an infinite type generator
enhancement major new
#676: Grounder equality reasoning bug
bug critical resolved
#673: Building IDP 3.2.1 from source fails
bug minor resolved
#655: XSB quotes domainelements
XSB
bug major invalid
#671: Make XSB usage of operators less naive
XSB
enhancement major new
#670: XSB transformation should use Pieters' query intelligence
bug major new
#664: Estimators for bdds should not use ints
bug major new
#669: functiedefinities en LUP gaat serieus mis
bug major new
#668: local vars in lua procedures
bug major new
#662: Performance issues for large datasets
enhancement major new
#666: Copy source as part of build
enhancement minor new
  2. 1
  3. 2
  4. …
  5. 13
  6. 14
  7. 15
  8. 16
  9. 17
  10. 18
  11. …
  12. 39
  13. 40