krr / IDP / issues — Bitbucket

Title	T	P	Status	Assignee	Version	Created	Updated
#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
#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
#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
#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
#51: FO-propagatie	task	major	resolved	Bart Bogaerts		2011-12-09	2013-01-30
#40: Generators Grounding	task	major	resolved			2011-12-09	2013-01-30
#242: COPYRIGHT file	bug	major	resolved	Broes De Cat		2012-10-11	2013-01-30
#334: Numerical operation order causes problems	bug	major	invalid	Joachim Jansen		2013-01-25	2013-01-29
#249: Partial functions in sets: bug and semantics ambiguity	bug	major	open			2012-10-21	2013-01-18
#236: Symbolic propagation is not smart enough or fails altogether	bug	major	resolved	Bart Bogaerts		2012-10-05	2013-01-16

#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

#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

#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

#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

#51: FO-propagatie

task

major

resolved

Bart Bogaerts

2011-12-09

2013-01-30

#40: Generators

Grounding

task

major

resolved

2011-12-09

2013-01-30

#242: COPYRIGHT file

bug

major

resolved

Broes De Cat

2012-10-11

2013-01-30

#334: Numerical operation order causes problems

bug

major

invalid

Joachim Jansen

2013-01-25

2013-01-29

#249: Partial functions in sets: bug and semantics ambiguity

bug

major

open

2012-10-21

2013-01-18

#236: Symbolic propagation is not smart enough or fails altogether

bug

major

resolved

Bart Bogaerts

2012-10-05

2013-01-16

Issues

Issues (576–600 of 688)