Issues (976–994 of 994)

Title	T	P	Status	Votes	Assignee	Version	Created	Updated	Actions
#129: GeneratorNodes should be removed BDDs	proposal	major	resolved		Bart Bogaerts		2012-03-21	2012-03-22
#95: Infinitely many false defineds Grounding	bug	major	resolved				2012-01-25	2012-03-21
#120: Calculating definitions	bug	major	resolved				2012-03-14	2012-03-16
#122: Seed for random generators	proposal	minor	resolved				2012-03-16	2012-03-16
#103: Satisfiability errors	bug	major	resolved			2.1	2012-02-06	2012-03-16
#104: type x is int Parser	bug	major	resolved			2.1	2012-02-08	2012-03-16
#68: Floats in aggregates MinisatID	task	major	resolved				2011-12-15	2012-03-13
#107: --tocnf=yes should use header p cnf <#variables> <#clauses> MinisatID	bug	minor	resolved				2012-02-09	2012-03-13
#116: Generatorfactory and 0*y = 0	bug	major	resolved				2012-03-09	2012-03-12
#4: Check that models satisfy theory	proposal	major	resolved				2011-12-08	2012-03-05
#112: Sat-Unsat inference	bug	major	invalid				2012-03-05	2012-03-05
#81: Pushnegations	bug	major	resolved				2011-12-23	2012-01-17
#89: Splitproduct uses deleted objects	bug	minor	resolved				2012-01-07	2012-01-17
#22: Graphed output	task	major	resolved				2011-12-08	2012-01-17
#67: Allow idp comments in lua code	bug	major	resolved				2011-12-15	2012-01-17
#2: Memory management in unittests edit	enhancement	minor	resolved				2011-12-08	2011-12-28
#23: Graphing functions and aggregates	bug	major	resolved		Stef De Pooter		2011-12-08	2011-12-23
#30: Overloading clashes with name lookup	bug	major	duplicate				2011-12-08	2011-12-08
#1: Print and printgrounding are bugged	bug	major	resolved		Broes De Cat		2011-12-06	2011-12-08

1
2
…
35
36
37
38
39
40