krr / IDP / issues — Bitbucket

Title	T	P	Status	Assignee	Version	Created	Updated
#17: UNA	proposal	major	duplicate			2011-12-08	2013-01-30
#166: Any lua object should be printable by print()	task	major	new			2012-05-17	2013-01-30
#146: emulating ASP problems	proposal	major	invalid			2012-04-30	2013-01-30
#119: Aggregates in BDDs BDDs	task	major	resolved	Bart Bogaerts		2012-03-13	2013-01-30
#160: Functions and aggregates	bug	major	wontfix			2012-05-14	2013-01-30
#145: Printout all information in correct idp syntax	enhancement	major	new	Pieter Van Hertum		2012-04-26	2013-01-30
#106: [Lazy] pull through quantifications Grounding	enhancement	major	new			2012-02-08	2013-01-30
#204: Empty domains for CP variables	bug	major	resolved	Broes De Cat		2012-07-20	2013-01-30
#212: Infinite check not working	bug	major	new			2012-08-02	2013-01-30
#202: Bug in "Liftedunitpropagation"	bug	major	resolved			2012-07-11	2013-01-30
#196: Unnesting domainelements from definition heads should not happen by default.	bug	major	resolved	Stef De Pooter		2012-06-25	2013-01-30
#194: split option groundwithbounds	task	major	resolved	Bart Bogaerts		2012-06-23	2013-01-30
#191: Lua printen: queries en terms	bug	major	resolved	Bart Bogaerts		2012-06-22	2013-01-30
#185: BDD typing bug	bug	major	resolved	Bart Bogaerts		2012-06-13	2013-01-30
#188: Tseitin introduction under negation in rule bodies is dangerous	bug	major	resolved			2012-06-20	2013-01-30
#167: Documentation	task	major	new			2012-05-21	2013-01-30
#163: CHECKTERMINATION in printers	task	major	resolved			2012-05-17	2013-01-30
#82: Prevent unnesting whenever possible without BDDs Grounding	bug	major	resolved	Stef De Pooter	2.1	2011-12-27	2013-01-30
#44: CP Support	task	major	resolved			2011-12-09	2013-01-30
#159: Error + warnings	bug	major	resolved			2012-05-14	2013-01-30
#165: namespaces printen	bug	major	resolved			2012-05-17	2013-01-30
#48: Transformaties Testing	task	major	resolved	Stef De Pooter	2.0	2011-12-09	2013-01-30
#176: Specifying the unknowns	task	major	resolved			2012-05-24	2013-01-30
#52: Speedtesting Testing	task	major	resolved	JoD	2.1	2011-12-09	2013-01-30
#114: Printed structures should disambiguate symbols whenever necessary Parser	bug	major	resolved		2.1	2012-03-05	2013-01-30

#17: UNA

proposal

major

duplicate

2011-12-08

2013-01-30

#166: Any lua object should be printable by print()

task

major

new

2012-05-17

2013-01-30

#146: emulating ASP problems

proposal

major

invalid

2012-04-30

2013-01-30

#119: Aggregates in BDDs

BDDs

task

major

resolved

Bart Bogaerts

2012-03-13

2013-01-30

#160: Functions and aggregates

bug

major

wontfix

2012-05-14

2013-01-30

#145: Printout all information in correct idp syntax

enhancement

major

new

Pieter Van Hertum

2012-04-26

2013-01-30

#106: [Lazy] pull through quantifications

Grounding

enhancement

major

new

2012-02-08

2013-01-30

#204: Empty domains for CP variables

bug

major

resolved

Broes De Cat

2012-07-20

2013-01-30

#212: Infinite check not working

bug

major

new

2012-08-02

2013-01-30

#202: Bug in "Liftedunitpropagation"

bug

major

resolved

2012-07-11

2013-01-30

#196: Unnesting domainelements from definition heads should not happen by default.

bug

major

resolved

Stef De Pooter

2012-06-25

2013-01-30

#194: split option groundwithbounds

task

major

resolved

Bart Bogaerts

2012-06-23

2013-01-30

#191: Lua printen: queries en terms

bug

major

resolved

Bart Bogaerts

2012-06-22

2013-01-30

#185: BDD typing bug

bug

major

resolved

Bart Bogaerts

2012-06-13

2013-01-30

#188: Tseitin introduction under negation in rule bodies is dangerous

bug

major

resolved

2012-06-20

2013-01-30

#167: Documentation

task

major

new

2012-05-21

2013-01-30

#163: CHECKTERMINATION in printers

task

major

resolved

2012-05-17

2013-01-30

#82: Prevent unnesting whenever possible without BDDs

Grounding

bug

major

resolved

Stef De Pooter

2.1

2011-12-27

2013-01-30

#44: CP Support

task

major

resolved

2011-12-09

2013-01-30

#159: Error + warnings

bug

major

resolved

2012-05-14

2013-01-30

#165: namespaces printen

bug

major

resolved

2012-05-17

2013-01-30

#48: Transformaties

Testing

task

major

resolved

Stef De Pooter

2.0

2011-12-09

2013-01-30

#176: Specifying the unknowns

task

major

resolved

2012-05-24

2013-01-30

#52: Speedtesting

Testing

task

major

resolved

JoD

2.1

2011-12-09

2013-01-30

#114: Printed structures should disambiguate symbols whenever necessary

Parser

bug

major

resolved

2.1

2012-03-05

2013-01-30

Issues

Issues (526–550 of 688)