krr / IDP / issues — Bitbucket

Title	T	P	Status	Assignee	Created	Updated
#328: Update documentation for changed lua	bug	major	duplicate	Broes De Cat	2013-01-22	2013-09-05
#513: Adapt parser and documentation to accept input defined in the Warren paper	bug	major	new		2013-09-05	2013-09-05
#244: Deletion issues	bug	major	resolved	Joachim Jansen	2012-10-15	2013-09-05
#508: Autocompletion should know that it cannot autocomplete constructed types	bug	major	resolved	Broes De Cat	2013-08-29	2013-08-29
#506: Bug in cpsupported grounderfactory	bug	major	resolved	Broes De Cat	2013-08-29	2013-08-29
#226: Lazy grounding and groundwithbounds	bug	major	resolved		2012-09-14	2013-08-17
#348: Do not replace bdds by their evaluation after approximation.	enhancement	major	invalid	Bart Bogaerts	2013-02-11	2013-08-17
#201: Lifted unit propagation iterates over the full structure	enhancement	major	resolved		2012-07-10	2013-08-17
#417: Necessary improvements to approximation	enhancement	major	resolved		2013-04-19	2013-08-17
#399: Lazy grounding and bounds	bug	major	resolved		2013-03-22	2013-08-17
#349: Terugpropageren unit propagatie minisatid	enhancement	major	new	Broes De Cat	2013-02-11	2013-08-17
#395: What are the semantics for defined functions?	bug	major	resolved		2013-03-19	2013-08-17
#427: Grounding overflow when searching multiple models. cp-support	bug	major	resolved		2013-05-23	2013-08-17
#451: Iteratively generate additional models.	enhancement	major	new		2013-06-21	2013-08-17
#495: Incorrect query results when dependent on function constraints.	bug	major	resolved	Bart Bogaerts	2013-08-08	2013-08-14
#251: Bug in product using cp	bug	major	resolved		2012-10-21	2013-08-10
#105: Warning when completing types! Parser	bug	major	new		2012-02-08	2013-08-10
#183: Which time does each sentence take to ground?	enhancement	major	open		2012-06-12	2013-08-10
#280: CP support + minimizing cardinalities	bug	major	resolved	Stef De Pooter	2012-11-22	2013-08-09
#494: Fix the transfer from cp-off to cp-on properly in the test environment.	bug	major	new	JoD	2013-08-08	2013-08-08
#492: Issues with evaluation of bdds, mainly when functions are involved	bug	major	new		2013-08-01	2013-08-01
#490: Changing interpretation through lua: empty types	bug	major	new		2013-07-30	2013-07-30
#448: Inline typing of variables is not allowed	bug	major	new	JoD	2013-06-18	2013-07-30
#422: Giving a (partial) interpretation for overloaded functions	bug	major	resolved		2013-04-26	2013-07-29
#487: !x: q(x) & ~q(x) does not derive unsat early with lifted unit propagation	bug	major	new		2013-07-27	2013-07-27