1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (701–725 of 994)

Title T P Status Votes Assignee Version Created Updated Actions
#346: Piping to idp results in segfault
bug major resolved
#351: Bug in infinite generator
bug minor new
#350: c=c wordt niet vervangen door true.
bug minor new
#344: Add support for non-integer constants in the grounding
enhancement major new
#343: Printing ASP
enhancement major new
#156: Implement mx validation by evaluating the theory [blocked by #149]
enhancement minor new
#12: Universele quantoren en equivalenties/definities
enhancement minor new
#46: Entailment
Testing
task major resolved
#75: Refactord .idprc file into a real idpfile (with a useful name)
enhancement minor resolved
#26: Document and unit-test create-translation option
Testing
enhancement minor new
#336: Segfault when using right predicate but wrong arity in term
bug major resolved
#175: F = generate
task major wontfix
#190: Implement VocUtils::isContainedIn
enhancement minor resolved
#189: @b domainterms
bug major wontfix
#133: Assign sort to the interpretation of another sort.
Parser
enhancement minor new
#102: Feature targeted verbosity
bug major resolved
#169: Calling procedures within stdspace qualified does not work
bug major resolved
#21: Als implicatie voldoende is, een equivalentie schrijven, is soms zeer veel trager
proposal major wontfix
#83: Linenoise (windows?) bug
bug minor resolved
#111: table_size datastructure
Inferences
enhancement major resolved
#123: Abort mx early if structure contains a function mapping to an empty domain
Grounding
bug minor duplicate
#135: Lazy grounding bug for definition
bug major invalid
#186: Transform ASP into FO(.)
proposal major new
#177: Optimizing product aggregates with negatives
bug major new
#168: Transformations and options
bug major resolved
  2. 1
  3. 2
  4. …
  5. 27
  6. 28
  7. 29
  8. 30
  9. 31
  10. 32
  11. …
  12. 39
  13. 40