1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (76–100 of 994)

Title T P Status Votes Assignee Version Created Updated Actions
#617: Constructed types and subtyping
enhancement minor new
#925: minimizing over Abs causes segmentation fault
bug major new
#924: Very strange behaviour of definition evaluation (partial functions (& constructors?))
bug blocker new
#923: Extending a partial model should not take 23 seconds
bug major new
#922: printed theory is not valid anymore
bug major new 1
#921: well-foundedness check is wrong
bug critical new
#909: Unable to build IDP 3.5.0 on Ubuntu 14.04
bug major new
#910: XSB install broken
bug major resolved
#914: IDP cannot be built on Fedora 14
bug major resolved
#913: XSB and SPASS install not working on Fedora
bug major resolved
#918: Installation on Ubuntu 16.04 fails
bug major resolved
#920: XSB and infinite domains bug
bug major on hold
#877: segfault when using an external symbol in a vocabulary with wrong type indexes
bug minor resolved
#919: There should be a maximize inference in addition to minimize
enhancement major resolved
#905: explainunsat output structure not maximally imprecise
bug major resolved
#609: Unsatisfiability bug due to symmetry breaking
bug major resolved
#556: Error with symmetry breaking
bug major resolved
#126: Symmetrybreaking should work for sorts over (subsets of) builtins
enhancement major resolved
#912: two valued extensions voor constructed types werken niet
bug major closed
#917: Model expansion does not detect inconsistencies related to function symbols (bad Lua interaction)
bug major new
#916: Rare Commentaar
bug major new
#915: Lua: errors vs messages
enhancement major new
#911: Equality over Structures
bug major resolved
#908: Oefenzitting 5 oefening 2
bug major invalid
#907: Internal error in approximation
bug major new
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. …
  9. 39
  10. 40