krr / IDP / issues — Bitbucket

Title	T	P	Status	Assignee	Created	Updated
#680: Make unification "predicate" smarter such that it does not result in an infinite type generator	enhancement	major	new	Joachim Jansen	2014-02-17	2014-02-17
#671: Make XSB usage of operators less naive XSB	enhancement	major	new		2014-02-12	2014-02-12
#670: XSB transformation should use Pieters' query intelligence	bug	major	new		2014-02-12	2014-02-12
#664: Estimators for bdds should not use ints	bug	major	new	Pieter Van Hertum	2014-02-08	2014-02-12
#669: functiedefinities en LUP gaat serieus mis	bug	major	new		2014-02-11	2014-02-11
#668: local vars in lua procedures	bug	major	new		2014-02-11	2014-02-11
#662: Performance issues for large datasets	enhancement	major	new		2014-02-04	2014-02-10
#665: Cardinality aggterm should not have "1" as a subterm	enhancement	major	new		2014-02-08	2014-02-09
#663: Checkconsistency not smart enough	bug	major	new		2014-02-08	2014-02-08
#501: Less grounding by (syntactix/semantic) shared Tseitin introduction.	enhancement	major	new		2013-08-17	2014-02-03
#651: default approximation cannot handle some packing problem instances	bug	major	new		2014-01-27	2014-01-27
#649: Definitions need approximation and recursion check!	bug	major	new		2014-01-25	2014-01-25
#647: Unnesting does not respect our semantics!	bug	major	new		2014-01-23	2014-01-24
#644: Problem with includes and multiple files	bug	major	new		2014-01-20	2014-01-20
#637: Merging theories over different vocabularies with different sorts with the same name produces a segfault	bug	major	new		2014-01-14	2014-01-14
#634: non-domainelement changes definition	bug	major	new	Bart Bogaerts	2014-01-07	2014-01-07
#625: Allow ! x y sat \varphi(x,y) without brackets	bug	major	new	Ingmar Dasseville	2014-01-02	2014-01-02
#624: Extract string -> alphanumeric from XSB/entailment and reuse	enhancement	major	new		2014-01-02	2014-01-02
#597: Push quantifiers down is too strict.	enhancement	major	new		2013-11-25	2013-12-27
#245: Interpretation management	enhancement	major	new		2012-10-17	2013-12-24
#614: Search algorithm should use grounder translator	enhancement	major	new		2013-12-16	2013-12-16
#605: CPsupport for division	enhancement	major	new		2013-12-07	2013-12-07
#604: Inefficient definition evaluation, both without AND with xsb	bug	major	new		2013-12-06	2013-12-06
#599: tptp and constructors	bug	major	new		2013-11-29	2013-11-29
#550: Make a how-to release document	enhancement	major	new		2013-10-16	2013-11-29