Issues (1–16 of 16)

Title	T	P	Status	Votes	Assignee	Version	Created	Updated	Actions
#219: IDP-Lua does not accept "= #L" as command after "L = {}"	bug	minor	wontfix		Stef De Pooter		2012-08-28	2013-10-08
#280: CP support + minimizing cardinalities	bug	major	resolved		Stef De Pooter		2012-11-22	2013-08-09
#181: CP support should check whether the domains are not infinite.	bug	minor	invalid		Stef De Pooter		2012-06-04	2013-03-03
#115: DeriveTermBounds should cleanly handle all functions	bug	minor	resolved		Stef De Pooter	2.1	2012-03-05	2013-01-30
#196: Unnesting domainelements from definition heads should not happen by default.	bug	major	resolved		Stef De Pooter		2012-06-25	2013-01-30
#82: Prevent unnesting whenever possible without BDDs Grounding	bug	major	resolved		Stef De Pooter	2.1	2011-12-27	2013-01-30
#48: Transformaties Testing	task	major	resolved		Stef De Pooter	2.0	2011-12-09	2013-01-30
#77: Introduced Variables	bug	major	resolved		Stef De Pooter	2.0	2011-12-21	2013-01-30
#72: bug in social golfers	bug	major	resolved		Stef De Pooter	2.0	2011-12-16	2013-01-30
#312: lua print is very slow because it does not use streams but has to return a complete string.	enhancement	minor	new		Stef De Pooter		2013-01-09	2013-01-13
#288: Allow search tracing re-using existing IDP infrastructure Inferences	enhancement	minor	new		Stef De Pooter		2012-12-04	2013-01-04
#265: Unnesting is incorrect in the case of x-x2	bug	major	resolved		Stef De Pooter		2012-11-12	2012-11-12
#213: Aggform not handled in unnestthreevalued	bug	major	resolved		Stef De Pooter		2012-08-14	2012-10-03
#234: Aggtermgrounder incorrect for known sets	bug	minor	resolved		Stef De Pooter		2012-09-29	2012-10-03
#127: deriveTermBounds cause segfault	bug	major	invalid		Stef De Pooter		2012-03-20	2012-05-15
#23: Graphing functions and aggregates	bug	major	resolved		Stef De Pooter		2011-12-08	2011-12-23