1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (151–175 of 688)

Title T P Status Votes Assignee Version Created Updated Actions
#635: Approxdef fails
XSB
bug major 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
#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
#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
#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
#841: help doesn't work with safelua flag
bug major new
#840: Split definitions as much as possible (also for xsb things)
task major new
#672: find a way to correctly "Kill" XSB mid-query execution
XSB
enhancement major new
#838: XSB problems
bug major resolved
#835: XSB crashes
bug major resolved
#827: Querying fails for very simple BDDs.
bug major new
#837: noncommutative non-equality
bug major new
#836: Installer puts 64bit binary in x86 folder
bug major new
#353: Segfault when printing cp variables to ECNF
bug major resolved
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8
  10. 9
  11. …
  12. 27
  13. 28