1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (1–25 of 266)

Title T P Status Votes Assignee Version Created Updated Actions
#811: Weird string behaviour when parsing "-", "."
bug minor resolved
#955: Multiplication bug
bug minor new
#942: Models over output vocabulary
bug minor new
#949: Fix not yet implemented stuff for BDDs with Aggregates
task minor open
#944: Segfault on function application to wrong domainelement
bug minor resolved
#943: Slow propagation to structure and grounding because of BDD?
bug minor new
#617: Constructed types and subtyping
enhancement minor new
#877: segfault when using an external symbol in a vocabulary with wrong type indexes
bug minor resolved
#802: Compile all necessary XSB built-in files during IDP's compilation process
bug minor open
#899: Meer tests met CP aan
enhancement minor resolved
#894: Extended unsatcore
proposal minor new
#888: Printcore met constraint als string als argument
enhancement minor wontfix
#887: Printcore met outputvoc
enhancement minor new
#727: Unique output models when using output vocabulary
bug minor resolved
#879: Merging is slow
bug minor resolved
#876: Installer integrity check failed idp-3.4.0-win64.exe
bug minor resolved
#639: Constructor declaration does not check that a symbol is a type
bug minor invalid
#862: merging structures
Inferences
bug minor duplicate
#852: Printer prints too much brackets
bug minor new
#848: Makefile Aanpassen voor Mac
bug minor resolved
#829: Symbol is not declared in this scope
bug minor resolved
#824: function detection overwrites original theory and function
bug minor resolved
#850: Create util that estimates whether a definition should be evaluated or not
proposal minor new
#844: Put XSB on as default
XSB
task minor resolved
#476: Constructed types cannot be empty
enhancement minor resolved
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8
  10. 9
  11. 10
  12. 11