Title	T	P	Status	Votes	Assignee	Version	Created	Updated
#921: well-foundedness check is wrong	bug	critical	new				2016-08-08	2016-08-08
#898: minimization over max aggregate behaves strangely	bug	critical	wontfix		JoD		2015-08-04	2015-09-15
#676: Grounder equality reasoning bug	bug	critical	resolved				2014-02-17	2014-02-17
#650: NoMystery gives inconsistent results	bug	critical	resolved		JoD		2014-01-27	2014-01-28
#573: Parser is broken	bug	critical	resolved		Pieter Van Hertum		2013-11-07	2013-12-19
#551: Printing <cf> and <u> should not be allowed for two-valued structures	enhancement	critical	resolved				2013-10-16	2013-12-15
#602: Memory issue in BDDs. Probably related to arithmetic.	bug	critical	new				2013-12-05	2013-12-05
#588: Bug in generator creation	bug	critical	resolved				2013-11-17	2013-11-22
#548: Bug in Mac	bug	critical	duplicate		Broes De Cat		2013-10-15	2013-10-23
#504: Zero-ary constructed type functions cannot conveniently be used in interpretations	bug	critical	resolved	1	JoD		2013-08-29	2013-10-08
#414: Negation handling in recursive definitions.	bug	critical	new				2013-04-15	2013-04-15
#394: Kill signals are not propagated to the solver if xsb is used	bug	critical	resolved				2013-03-19	2013-03-20
#326: Creating grounding very slow for attached file => bdd changes to blame?	bug	critical	resolved		Bart Bogaerts		2013-01-17	2013-03-06
#258: Sort autocompletion does not work for asp_structures	bug	critical	resolved		Broes De Cat		2012-11-05	2013-02-18
#37: Release version	task	critical	resolved		Broes De Cat	2.0	2011-12-09	2013-01-30
#14: standard library files Parser	enhancement	critical	resolved		Broes De Cat	2.0	2011-12-08	2013-01-30