1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (276–300 of 994)

Title T P Status Votes Assignee Version Created Updated Actions
#762: Checking whether a loop is possible could be more intelligent (taking order/builtins into account)
enhancement minor new
#761: Make randomized heuristic available from solver
proposal minor new
#760: Lua garbage collection is a mess
bug major new 1
#758: Approximation going awry?
Grounding
bug major invalid
#759: xsb option is used inconsistent
bug major new
#757: XSB heeft last met functieconstraint?
bug blocker resolved
#755: Segfault on empty type
bug major invalid
#754: DeleteList does not recursively delete!
bug minor new
#752: modelexpand with output vocabularium
task major new
#750: Minimization doesn't finish
bug major resolved 1
#751: (non-inductive) defined functions and cpsupport
bug major new
#723: Memory issues
bug major new
#719: Function constraints and postprocessing
bug major resolved
#748: CP variable unnesting should use inequality wherever possible
enhancement major new
#452: Search abort should still return the best model found during optimization
bug major resolved
#740: HW experiment - report
enhancement minor new
#747: Check whether equals works with ints and strings.
enhancement major resolved
#746: Typederivation wrong
bug minor invalid
#744: Unnestterms crashes on comparison between related types without common supertype
bug major new
#745: Another case of approximation not always finding the correct generator
bug major new 1
#741: Modelexpand result should not be dependent on clean structures
bug major new
#739: Self-swap in gcc 4.8 results in sig_abort
task minor new
#735: `.history` file
proposal trivial resolved
#732: Comparing the content of Lua tables is not supported
enhancement major resolved
#736: Lua documentation interface
enhancement major new 2
  2. 1
  3. 2
  4. …
  5. 10
  6. 11
  7. 12
  8. 13
  9. 14
  10. 15
  11. …
  12. 39
  13. 40