1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (126–150 of 994)

Title T P Status Votes Assignee Version Created Updated Actions
#564: Bug in machtsverheffing
bug major new
#800: Exponential function support
bug major new
#727: Unique output models when using output vocabulary
bug minor resolved
#863: merging structures
bug major resolved
KRR
#879: Merging is slow
bug minor resolved
#882: partial forward continuation segfault
XSB
bug major closed
#883: inconsistent behaviour
bug major new
#763: Merging Structures
bug major resolved
#858: printcore does nothing
bug major resolved
#847: Create e-mail alias for IDP devs
proposal major resolved
#881: Missing function check when XSB is on
bug major duplicate
#880: Unsatcore vs modelexpand
bug major new
#878: Error: Invalid bin constr path E.
bug major new
#876: Installer integrity check failed idp-3.4.0-win64.exe
bug minor resolved
#874: Optimalpropagate does not yet work with CP
bug major new
#873: Structure warns without location
bug major new
#872: Wrong bound generation for definition of "even"
bug major new
#871: Printcore doesn't agree with modelexpand
bug major invalid
#870: a question about initialization in LTC
task major invalid
#868: simulate interactive should not give all models
bug major new
#867: Entails can't handle multiple symbols with the same name and different arities
bug major new
#864: Definition isn't postprocessed
bug major invalid
#639: Constructor declaration does not check that a symbol is a type
bug minor invalid
#801: Autocompletion and verification of function constraints still too slow
bug major new
#862: merging structures
Inferences
bug minor duplicate
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8
  10. …
  11. 39
  12. 40