1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (301–325 of 994)

Title T P Status Votes Assignee Version Created Updated Actions
#613: Lua: changing the value of a function
bug major new 2
#734: LUA Functions
bug major duplicate
#731: including contents of other file conflicts with standard libs
bug major resolved
#729: Lua options are completely ignored by the cmakelists
bug minor new
#728: Model invalidation with outputvoc
bug minor duplicate
#725: Disambiguation gone wrong
bug major new
#696: cpsupport changes optimal value
bug major resolved
#628: Overloaded symbols are not properly deleted
bug major new
#718: Maketrue/makefalse behave unintuitively
bug minor resolved
#702: Segfault for some nested aggregate terms in queries
bug major resolved
#722: Querying with BDDs
bug major resolved
#516: Querying with nested aggregates is incorrect
bug major resolved
#571: Test framework does not run under ubuntu-gcc4.8 (their bug)
enhancement minor new
#687: Extend delaycomputation to cases where useifcompletion is true
bug major wontfix
#636: Assert fail on one of the tests
bug minor new
#372: no models for IQ puzzler
bug major resolved
#340: Longestbranch not enforced
bug major new
#720: Double recursive aggregate file
task trivial resolved
#713: Ctrl-c no longer interrupts MinisatID
bug minor resolved
#714: Minus sign in optimization term leads to trashing
enhancement major resolved
#523: Splitdefinitions is wrong in case loops are not binary
bug minor resolved
#717: Pass in initial solution through polarity
enhancement minor new
#716: Incorrect models during aggregate optimization
bug major resolved
#712: cycle in type hierarchy creates SIGSEGV
bug minor resolved
#715: Unnesting function dramatically improves propagation
bug major new
  2. 1
  3. 2
  4. …
  5. 11
  6. 12
  7. 13
  8. 14
  9. 15
  10. 16
  11. …
  12. 39
  13. 40