1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (501–525 of 994)

Title T P Status Votes Assignee Version Created Updated Actions
#549: Remove all symbolic links
bug major resolved
#547: Update documentation on website to current idp version.
bug trivial resolved
#546: translateNonReduced has an incomplete name
enhancement minor new
#544: Approximatiefout in unsatcoreextraction
bug major resolved
#543: SPASS reference in unittests does not refer to the internally-built SPASS
bug minor new
#535: Weird unsatcore output for false-defineds
enhancement minor resolved
#541: To temporary resolve some bison-flex problems on older machines, disable minisatid executable building when building idp.
enhancement minor wontfix
#542: Builtin functions sometimes need structure to get an interpretation
bug major new
#540: Static lua should be enabled in staticrelease
bug major resolved
#539: theoryquery en configIDP
bug major resolved
#537: lazy grounding tests segfaulting on master
bug major resolved
#195: Division and modulo are partial functions
bug minor resolved
#430: Memory overflow with CP support
cp-support
bug minor resolved
#538: Te grote generator voor satmx/constructed_lists.idp tests
bug minor new
#428: Issues with infinity
bug major new
#507: Function totality check when xsb is on
bug major resolved
#491: Grounding should handle partially interpreted functions better
enhancement major new
#536: Lazy grounding and constructed types
bug major new
#526: Derivesorts for overloaded symbols crashes
bug major resolved
#302: Improve stringpointer management in domainelementfactory
bug major resolved
#534: Evaluate known expressions before MX starts
enhancement major new
#471: Constructed types should be printed in the vocabulary
bug major new
#472: No type check for constructed subtypes of nat
bug major resolved
#473: No check for interpretation of constructed types
bug major resolved
#470: Constructed Types and subtyping
bug major resolved
  2. 1
  3. 2
  4. …
  5. 19
  6. 20
  7. 21
  8. 22
  9. 23
  10. 24
  11. …
  12. 39
  13. 40