krr / IDP / issues — Bitbucket

Title	T	P	Status	Assignee	Version	Created	Updated
#47: Propagatie Testing	task	major	resolved	Bart Bogaerts	2.0	2011-12-09	2013-01-30
#24: Negative and zero weights in product sets Grounding	bug	major	resolved	Bart Bogaerts	2.0	2011-12-08	2013-01-30
#54: InstChecker vs Instancechecker	bug	major	resolved			2011-12-09	2013-01-30
#59: Making structure inconsistent	bug	major	resolved		2.0	2011-12-13	2013-01-30
#63: LDFLAGS or LDADD	bug	major	resolved		2.0	2011-12-14	2013-01-30
#10: Sokoban moon-bug	bug	major	wontfix		2.0	2011-12-08	2013-01-30
#14: standard library files Parser	enhancement	critical	resolved	Broes De Cat	2.0	2011-12-08	2013-01-30
#72: bug in social golfers	bug	major	resolved	Stef De Pooter	2.0	2011-12-16	2013-01-30
#58: Bug in generating all 2-valued models when there are arbitraries with bounds	bug	major	resolved	Bart Bogaerts	2.0	2011-12-13	2013-01-30
#55: UNSAT found, expected SAT Inferences	bug	major	resolved	Broes De Cat	2.0	2011-12-09	2013-01-30
#57: Modify help message	bug	minor	resolved		2.0	2011-12-13	2013-01-30
#53: Enum setexpression	bug	major	resolved	Bart Bogaerts	2.0	2011-12-09	2013-01-30
#32: Release version assertion error on unsatagg	bug	major	duplicate	Broes De Cat	2.0	2011-12-08	2013-01-30
#71: History file	bug	major	resolved		2.0	2011-12-16	2013-01-30
#18: Each command should load its options into globaldata	task	major	resolved			2011-12-08	2013-01-30
#65: Project layout	bug	major	resolved		2.0	2011-12-15	2013-01-30
#80: Lua commands typechecking	task	major	resolved		2.0	2011-12-23	2013-01-30
#56: Readline replacemet Parser	enhancement	major	resolved	Broes De Cat	2.0	2011-12-13	2013-01-30
#70: Infinite groundings	bug	major	resolved		2.0	2011-12-16	2013-01-30
#79: Initial output	bug	major	resolved		2.0	2011-12-23	2013-01-30
#132: Varmapping-like bug in querying BDDs	bug	minor	resolved	Broes De Cat		2012-03-22	2013-01-30
#148: Propagation bug BDDs	bug	major	resolved			2012-05-03	2013-01-30
#140: Querying TODO BDDs	task	major	resolved	Bart Bogaerts		2012-04-06	2013-01-30
#13: BDD Bug	bug	major	resolved	Bart Bogaerts		2011-12-08	2013-01-30
#50: BDD's Grounding	task	major	resolved			2011-12-09	2013-01-30

#47: Propagatie

Testing

task

major

resolved

Bart Bogaerts

2.0

2011-12-09

2013-01-30

#24: Negative and zero weights in product sets

Grounding

bug

major

resolved

Bart Bogaerts

2.0

2011-12-08

2013-01-30

#54: InstChecker vs Instancechecker

bug

major

resolved

2011-12-09

2013-01-30

#59: Making structure inconsistent

bug

major

resolved

2.0

2011-12-13

2013-01-30

#63: LDFLAGS or LDADD

bug

major

resolved

2.0

2011-12-14

2013-01-30

#10: Sokoban moon-bug

bug

major

wontfix

2.0

2011-12-08

2013-01-30

#14: standard library files

Parser

enhancement

critical

resolved

Broes De Cat

2.0

2011-12-08

2013-01-30

#72: bug in social golfers

bug

major

resolved

Stef De Pooter

2.0

2011-12-16

2013-01-30

#58: Bug in generating all 2-valued models when there are arbitraries with bounds

bug

major

resolved

Bart Bogaerts

2.0

2011-12-13

2013-01-30

#55: UNSAT found, expected SAT

Inferences

bug

major

resolved

Broes De Cat

2.0

2011-12-09

2013-01-30

#57: Modify help message

bug

minor

resolved

2.0

2011-12-13

2013-01-30

#53: Enum setexpression

bug

major

resolved

Bart Bogaerts

2.0

2011-12-09

2013-01-30

#32: Release version assertion error on unsatagg

bug

major

duplicate

Broes De Cat

2.0

2011-12-08

2013-01-30

#71: History file

bug

major

resolved

2.0

2011-12-16

2013-01-30

#18: Each command should load its options into globaldata

task

major

resolved

2011-12-08

2013-01-30

#65: Project layout

bug

major

resolved

2.0

2011-12-15

2013-01-30

#80: Lua commands typechecking

task

major

resolved

2.0

2011-12-23

2013-01-30

#56: Readline replacemet

Parser

enhancement

major

resolved

Broes De Cat

2.0

2011-12-13

2013-01-30

#70: Infinite groundings

bug

major

resolved

2.0

2011-12-16

2013-01-30

#79: Initial output

bug

major

resolved

2.0

2011-12-23

2013-01-30

#132: Varmapping-like bug in querying

BDDs

bug

minor

resolved

Broes De Cat

2012-03-22

2013-01-30

#148: Propagation bug

BDDs

bug

major

resolved

2012-05-03

2013-01-30

#140: Querying TODO

BDDs

task

major

resolved

Bart Bogaerts

2012-04-06

2013-01-30

#13: BDD Bug

bug

major

resolved

Bart Bogaerts

2011-12-08

2013-01-30

#50: BDD's

Grounding

task

major

resolved

2011-12-09

2013-01-30

Issues

Issues (826–850 of 994)