1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (26–50 of 343)

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
#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
#907: Internal error in approximation
bug major new
#906: Segfault in LTC theory transformations when invalid input is presented
bug major new
#904: printcore complaining about inconsistent structure
bug major new
#895: Constructed types are not properly cloned
bug major new
#875: Problem with interpreted types
bug major new
#894: Extended unsatcore
proposal minor new
#893: approximation wrong
bug major new
#892: Disambiguation problems
bug major new
#891: Options are broken (lua option interface?)
bug major new
#890: IDP complains about not minimizing WHILE minimizing
bug major new
#889: Parse string as theory
enhancement major new
#887: Printcore met outputvoc
enhancement minor new
#886: Printcore prints rules twice
bug major new
#884: Type derivation/checking issue
bug major new
#822: CP and powers
bug major new
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. …
  9. 13
  10. 14