1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (176–200 of 994)

Title T P Status Votes Assignee Version Created Updated Actions
#339: Definitions with negative recursion leads to incorrect Prolog program
XSB
task major duplicate
#635: Approxdef fails
XSB
bug major resolved
#844: Put XSB on as default
XSB
task minor resolved
#830: Function verification checks input WAAY to often
bug major resolved
#851: CP Aggregates
bug major duplicate
#787: Inconsistent empty set semantics
bug major new
#799: Simplifier breaks propagation
bug major invalid
#825: Error: Solver was aborted with message "Invalid code path"
bug major resolved
#476: Constructed types cannot be empty
enhancement minor resolved
#843: unsat when LUP is active
bug minor new
#794: Releasing: dynamic linking for linux???
bug major closed
#730: Maketrue/false/unknown do not check arity
bug major closed
#726: Constness problems in definition evaluation
bug major resolved
#817: Overflows when using exponentials
bug major new
#347: append as lua function
proposal minor resolved
#692: Improve function check for partial interpretations
task minor invalid
#497: Debugging with Theorem prover
proposal minor new
#816: Exponential function causes overflow
bug minor duplicate
#695: segfault when declaring type too "late" in vocabulary
bug major resolved
#784: Add Newline support in constructed types (LEXER)
bug major resolved
#846: error without location
bug major resolved
#845: Bootstrapping disable function
proposal minor resolved
#767: Type Derivation going wrong
bug major invalid
#826: XSB prevents calculation of definition
bug major resolved
#842: Nondeterministic model/ no model
bug major new
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8
  10. 9
  11. 10
  12. …
  13. 39
  14. 40