1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (76–100 of 266)

Title T P Status Votes Assignee Version Created Updated Actions
#688: remove hack in termgrounder
task minor new
#686: More sharing in ground translator
task minor new
#685: Unclear error message when incorrect typing was specified
enhancement minor new
#612: Predicate interpretations should be lua functions
enhancement minor new
#673: Building IDP 3.2.1 from source fails
bug minor resolved
#666: Copy source as part of build
enhancement minor new
#592: Create progression library
enhancement minor resolved
#660: make theory transformation that removes TRUE/FALSE
proposal minor on hold
#659: approximating definitions generates TRUE/FALSE atoms multiple times
enhancement minor new
#606: Windows installer installs libraries incorrectly
bug minor resolved
#645: Input both on the inputstream and as arguments
bug minor new
#643: Communication aspects of interactive mode to stderr
proposal minor new
#638: Interpretation of (constructed) terms is not checked for types
bug minor new
#630: Stable semantics option
enhancement minor resolved
#421: Warning: Autocompleting structure
enhancement minor new
#402: Prolog interface not smart enough to generate 0=<x=<4
bug minor resolved
#582: Unexpected "in"
bug minor resolved
#439: Splitdefinitions is O(n^3) instead of O(n)
XSB
enhancement minor wontfix
#253: Approximation in definition evaluation
enhancement minor duplicate
#229: allow definition to be introduced by keyword "define"
enhancement minor resolved
#622: Component disambiguation is wrong
bug minor new
#619: UnionSortIterator clone incorrect
bug minor new
#304: CP support voor functies in aggregaten
enhancement minor resolved
#601: Disambiguate should be smarter
bug minor new
#600: cmake in minisatid: empty include_directory
bug minor resolved
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8
  10. 9
  11. 10
  12. 11