Issues (251–266 of 266)

Title	T	P	Status	Votes	Assignee	Version	Created	Updated	Actions
#266: IDP throws unexpected exception (again)	bug	minor	resolved				2012-11-12	2012-11-12
#264: IDP throws unexpected exception	bug	minor	resolved		Bart Bogaerts		2012-11-12	2012-11-12
#263: runidp script should also change path	bug	minor	resolved		Broes De Cat		2012-11-08	2012-11-08
#247: ecnf printer prints sets with id 0, which is not valid ecnf	bug	minor	resolved		Broes De Cat		2012-10-18	2012-11-08
#262: uint in fobddterm.hpp is not defined under windows	bug	minor	resolved		Broes De Cat		2012-11-07	2012-11-08
#235: Queries fail when multiple identical variables are used in the variable block	bug	minor	resolved				2012-10-05	2012-10-09
#234: Aggtermgrounder incorrect for known sets	bug	minor	resolved		Stef De Pooter		2012-09-29	2012-10-03
#215: Unit test generation of x>y using bounds	enhancement	minor	resolved		Bart Bogaerts		2012-08-27	2012-09-19
#217: Query bug in case of variable over non-matching subtypes	bug	minor	resolved		Bart Bogaerts		2012-08-28	2012-09-19
#221: allow reparsing of .idp files	enhancement	minor	new				2012-08-29	2012-08-29
#216: Check IDP url in manual	bug	minor	resolved				2012-08-27	2012-08-28
#211: Move location of idp-docs on install (is now share/minisatid)	enhancement	minor	resolved				2012-08-01	2012-08-07
#122: Seed for random generators	proposal	minor	resolved				2012-03-16	2012-03-16
#107: --tocnf=yes should use header p cnf <#variables> <#clauses> MinisatID	bug	minor	resolved				2012-02-09	2012-03-13
#89: Splitproduct uses deleted objects	bug	minor	resolved				2012-01-07	2012-01-17
#2: Memory management in unittests edit	enhancement	minor	resolved				2011-12-08	2011-12-28

1
2
3
4
5
6
7
8
9
10
11