krr / IDP / issues — Bitbucket

Title	T	P	Status	Assignee	Created	Updated
#363: Aggregate bodies transformed incorrectly into prolog XSB	bug	major	resolved	Joachim Jansen	2013-02-20	2013-03-04
#337: Transformation can't handle identity function XSB	bug	major	resolved	Joachim Jansen	2013-01-31	2013-03-04
#354: XSB interface cardinality support not working XSB	bug	major	resolved	Joachim Jansen	2013-02-18	2013-03-04
#338: Instantiated values in heads of definitions cause segfault. XSB	bug	major	resolved	Joachim Jansen	2013-01-31	2013-03-04
#333: XSB cannot handle definitions that use constants in their body	bug	major	resolved	Joachim Jansen	2013-01-25	2013-03-04
#335: Tabled declarations have wrong arity	bug	major	resolved	Joachim Jansen	2013-01-28	2013-03-04
#181: CP support should check whether the domains are not infinite.	bug	minor	invalid	Stef De Pooter	2012-06-04	2013-03-03
#238: Move variable quantification of variables not occurring in the head of a rule.	enhancement	minor	resolved		2012-10-09	2013-03-03
#233: Combine symbolic and concrete structure in wrapper	enhancement	minor	wontfix		2012-09-27	2013-03-03
#210: Aggform - predform grounderfactory inconsitency	bug	major	resolved		2012-07-30	2013-03-03
#285: Variable running time when doing modelexpand several times	bug	major	resolved	Broes De Cat	2012-12-04	2013-03-01
#371: Inconsistentelements can be replaced by a counter	enhancement	trivial	new		2013-02-26	2013-02-26
#368: Merging interpretations of types may result in unsat	bug	minor	new	Bart Bogaerts	2013-02-25	2013-02-25
#342: Function Constraints for known functions	bug	major	resolved		2013-02-05	2013-02-25
#367: Type derivation and lifted unit propagation are not smart enough in case of subtypes.	bug	minor	new		2013-02-25	2013-02-25
#15: Predicates names should not be used for disambiguation	bug	minor	new		2011-12-08	2013-02-21
#209: To aggform or not to aggform	enhancement	minor	new		2012-07-27	2013-02-21
#240: Licenties	enhancement	major	new		2012-10-11	2013-02-21
#345: Meaning of "builtin" is unclear	enhancement	minor	new		2013-02-06	2013-02-21
#287: Merging theories over different vocabulary	enhancement	minor	new		2012-12-04	2013-02-21
#356: Bug In CPsupport	bug	major	resolved		2013-02-19	2013-02-21
#358: For f(...)=z the correct type for z should be derived	bug	minor	new		2013-02-19	2013-02-19
#355: Aborting model expansion when models have already been found should return those.	enhancement	minor	new		2013-02-18	2013-02-18
#275: Duplicate specification does not throw an error	bug	major	resolved	Broes De Cat	2012-11-19	2013-02-18
#258: Sort autocompletion does not work for asp_structures	bug	critical	resolved	Broes De Cat	2012-11-05	2013-02-18

#363: Aggregate bodies transformed incorrectly into prolog

XSB

bug

major

resolved

Joachim Jansen

2013-02-20

2013-03-04

#337: Transformation can't handle identity function

XSB

bug

major

resolved

Joachim Jansen

2013-01-31

2013-03-04

#354: XSB interface cardinality support not working

XSB

bug

major

resolved

Joachim Jansen

2013-02-18

2013-03-04

#338: Instantiated values in heads of definitions cause segfault.

XSB

bug

major

resolved

Joachim Jansen

2013-01-31

2013-03-04

#333: XSB cannot handle definitions that use constants in their body

bug

major

resolved

Joachim Jansen

2013-01-25

2013-03-04

#335: Tabled declarations have wrong arity

bug

major

resolved

Joachim Jansen

2013-01-28

2013-03-04

#181: CP support should check whether the domains are not infinite.

bug

minor

invalid

Stef De Pooter

2012-06-04

2013-03-03

#238: Move variable quantification of variables not occurring in the head of a rule.

enhancement

minor

resolved

2012-10-09

2013-03-03

#233: Combine symbolic and concrete structure in wrapper

enhancement

minor

wontfix

2012-09-27

2013-03-03

#210: Aggform - predform grounderfactory inconsitency

bug

major

resolved

2012-07-30

2013-03-03

#285: Variable running time when doing modelexpand several times

bug

major

resolved

Broes De Cat

2012-12-04

2013-03-01

#371: Inconsistentelements can be replaced by a counter

enhancement

trivial

new

2013-02-26

#368: Merging interpretations of types may result in unsat

bug

minor

new

Bart Bogaerts

2013-02-25

#342: Function Constraints for known functions

bug

major

resolved

2013-02-05

2013-02-25

#367: Type derivation and lifted unit propagation are not smart enough in case of subtypes.

bug

minor

new

2013-02-25

#15: Predicates names should not be used for disambiguation

bug

minor

new

2011-12-08

2013-02-21

#209: To aggform or not to aggform

enhancement

minor

new

2012-07-27

2013-02-21

#240: Licenties

enhancement

major

new

2012-10-11

2013-02-21

#345: Meaning of "builtin" is unclear

enhancement

minor

new

2013-02-06

2013-02-21

#287: Merging theories over different vocabulary

enhancement

minor

new

2012-12-04

2013-02-21

#356: Bug In CPsupport

bug

major

resolved

2013-02-19

2013-02-21

#358: For f(...)=z the correct type for z should be derived

bug

minor

new

2013-02-19

#355: Aborting model expansion when models have already been found should return those.

enhancement

minor

new

2013-02-18

#275: Duplicate specification does not throw an error

bug

major

resolved

Broes De Cat

2012-11-19

2013-02-18

#258: Sort autocompletion does not work for asp_structures

bug

critical

resolved

Broes De Cat

2012-11-05

2013-02-18

Issues

Issues (676–700 of 994)