krr / IDP / issues — Bitbucket

Title	T	P	Status	Assignee	Created	Updated
#403: Using sorts to minimize grounding Grounding	enhancement	minor	new		2013-03-22	2013-03-22
#400: Segmentation fault in ASP_system branch for KnightTourWithHoles	bug	major	resolved		2013-03-22	2013-03-22
#398: LG and minimize	bug	major	resolved		2013-03-22	2013-03-22
#383: Add proper termination of link with XSB with forced termination	proposal	minor	resolved		2013-03-08	2013-03-20
#391: [evaluate_defs_after_mx] Bug: xsb computation does not take pre-interpretation of defined symbols into account.	bug	major	resolved	Joachim Jansen	2013-03-15	2013-03-20
#393: XSB error catching	bug	minor	resolved		2013-03-18	2013-03-20
#394: Kill signals are not propagated to the solver if xsb is used	bug	critical	resolved		2013-03-19	2013-03-20
#396: isConsistent should check the function constraints	bug	minor	new		2013-03-19	2013-03-19
#392: IDP printer sometimes forgets points	bug	major	new	Pieter Van Hertum	2013-03-16	2013-03-16
#390: [evaluate_defs_after_mx] enable also when searching for more than one model	enhancement	minor	new		2013-03-15	2013-03-15
#362: Vocabularies with many symbols are too expensive	bug	major	resolved		2013-02-20	2013-03-08
#382: Make a webpage comparing asp-core2 models with IDP models	task	minor	new		2013-03-07	2013-03-07
#374: Split completion in multiple sentences	enhancement	minor	resolved		2013-03-04	2013-03-06
#373: Bug in approximation with domainelements in builtins	bug	minor	resolved	Bart Bogaerts	2013-03-01	2013-03-06
#381: Parser segfaults when using complex nested includes Parser	bug	major	resolved		2013-03-06	2013-03-06
#377: XSB Bug using function constants XSB	bug	major	resolved	Joachim Jansen	2013-03-04	2013-03-06
#326: Creating grounding very slow for attached file => bdd changes to blame?	bug	critical	resolved	Bart Bogaerts	2013-01-17	2013-03-06
#118: Generators for arithmetic: order of generation BDDs	bug	major	resolved	Bart Bogaerts	2012-03-13	2013-03-06
#341: Domain-element comparison crashes propagator	bug	major	duplicate	Bart Bogaerts	2013-02-05	2013-03-06
#379: Type detection with theorem prover	proposal	major	new	Broes De Cat	2013-03-05	2013-03-05
#378: Predicatetables with arity 1 as sorttables	enhancement	minor	new		2013-03-05	2013-03-05
#359: XSB Support for prednames with underscores XSB	task	major	resolved	Joachim Jansen	2013-02-19	2013-03-04
#370: XSB Range predicates are ambiguous XSB	bug	minor	resolved	Joachim Jansen	2013-02-26	2013-03-04
#365: XSB aggregates do not support anything other than a single predicate as formula XSB	bug	major	resolved	Joachim Jansen	2013-02-21	2013-03-04
#366: Bug with facts that have some of their arguments equal to eachother XSB	bug	major	resolved	Joachim Jansen	2013-02-21	2013-03-04

#403: Using sorts to minimize grounding

Grounding

enhancement

minor

new

2013-03-22

#400: Segmentation fault in ASP_system branch for KnightTourWithHoles

bug

major

resolved

2013-03-22

#398: LG and minimize

bug

major

resolved

2013-03-22

#383: Add proper termination of link with XSB with forced termination

proposal

minor

resolved

2013-03-08

2013-03-20

#391: [evaluate_defs_after_mx] Bug: xsb computation does not take pre-interpretation of defined symbols into account.

bug

major

resolved

Joachim Jansen

2013-03-15

2013-03-20

#393: XSB error catching

bug

minor

resolved

2013-03-18

2013-03-20

#394: Kill signals are not propagated to the solver if xsb is used

bug

critical

resolved

2013-03-19

2013-03-20

#396: isConsistent should check the function constraints

bug

minor

new

2013-03-19

#392: IDP printer sometimes forgets points

bug

major

new

Pieter Van Hertum

2013-03-16

#390: [evaluate_defs_after_mx] enable also when searching for more than one model

enhancement

minor

new

2013-03-15

#362: Vocabularies with many symbols are too expensive

bug

major

resolved

2013-02-20

2013-03-08

#382: Make a webpage comparing asp-core2 models with IDP models

task

minor

new

2013-03-07

#374: Split completion in multiple sentences

enhancement

minor

resolved

2013-03-04

2013-03-06

#373: Bug in approximation with domainelements in builtins

bug

minor

resolved

Bart Bogaerts

2013-03-01

2013-03-06

#381: Parser segfaults when using complex nested includes

Parser

bug

major

resolved

2013-03-06

#377: XSB Bug using function constants

XSB

bug

major

resolved

Joachim Jansen

2013-03-04

2013-03-06

#326: Creating grounding very slow for attached file => bdd changes to blame?

bug

critical

resolved

Bart Bogaerts

2013-01-17

2013-03-06

#118: Generators for arithmetic: order of generation

BDDs

bug

major

resolved

Bart Bogaerts

2012-03-13

2013-03-06

#341: Domain-element comparison crashes propagator

bug

major

duplicate

Bart Bogaerts

2013-02-05

2013-03-06

#379: Type detection with theorem prover

proposal

major

new

Broes De Cat

2013-03-05

#378: Predicatetables with arity 1 as sorttables

enhancement

minor

new

2013-03-05

#359: XSB Support for prednames with underscores

XSB

task

major

resolved

Joachim Jansen

2013-02-19

2013-03-04

#370: XSB Range predicates are ambiguous

XSB

bug

minor

resolved

Joachim Jansen

2013-02-26

2013-03-04

#365: XSB aggregates do not support anything other than a single predicate as formula

XSB

bug

major

resolved

Joachim Jansen

2013-02-21

2013-03-04

#366: Bug with facts that have some of their arguments equal to eachother

XSB

bug

major

resolved

Joachim Jansen

2013-02-21

2013-03-04

Issues

Issues (651–675 of 994)