1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (326–350 of 994)

Title T P Status Votes Assignee Version Created Updated Actions
#711: Parsing FOBDDS: shared pointer to managers
bug minor new
#710: Setting function interpretation to constructed from symbol
bug major resolved
#709: Failing to programmatically modify a structure
enhancement minor resolved
#700: Grounding seems slow
enhancement minor new
#708: post processing definitions leading to invalid code path error
bug major invalid
#706: Running IDP on Windows 7 32bit
bug major resolved
#707: Partial Forward Continuation... (SIGSEGV)
bug major resolved 1
#705: BDD nondeterminism in a very specific case
task minor new
#704: Inteprretation management in Lua
bug minor duplicate
#590: Function interpretations should be able to handle non-denoting tuples properly
enhancement major open
#703: Unintelligible warnings on type derivation issue
bug minor new
#674: Releasen op externe site?
proposal major resolved
#701: Cp does only a partial job of allowing nested function terms
bug major new
#468: XSB getFacts should check "builtin" correctly
bug minor resolved
#699: WITHXSB=off does not disable xsb tests
bug minor resolved
#684: "findall" predicates in IDP are translated incorrectly into XSB
XSB
bug major resolved
#682: XSB does not support constructor functions
bug major resolved
#657: Cherry-pick non-specific code from pull requests on hold
task minor resolved
#369: Delay modelexpansion for symbols that only occur in the head of definitions
Inferences
task minor resolved
#698: isConsistent does not check function constraints
bug major new
#697: cpsupport=true creating extra (invalid?) models
bug minor resolved
#694: Improve definition postprocessing to allow multiple model finding
enhancement minor new
#693: Unit tests and Lua
enhancement minor new
#626: Symmetry breaking fails in bootstrapping definitions postprocessing code
bug major resolved
#691: LG: make independent of pushquantifiers
task minor new
  2. 1
  3. 2
  4. …
  5. 12
  6. 13
  7. 14
  8. 15
  9. 16
  10. 17
  11. …
  12. 39
  13. 40