krr / IDP / issues — Bitbucket

Title	T	P	Status	Assignee	Created	Updated
#438: XSB (probably) does not like strings XSB	bug	major	resolved	Joachim Jansen	2013-06-10	2013-06-11
#387: Transform equivalences into definitions XSB	enhancement	minor	new	Joachim Jansen	2013-03-13	2013-05-29
#425: Update to new XSB version XSB	task	major	resolved	Joachim Jansen	2013-05-17	2013-05-29
#388: xsb is too slow XSB	bug	major	resolved	Joachim Jansen	2013-03-14	2013-05-16
#420: XSB incorrect for approxdef XSB	bug	major	resolved	Joachim Jansen	2013-04-24	2013-05-08
#277: Segmentation fault when using nested namespaces Garbage collection	bug	minor	open	Joachim Jansen	2012-11-20	2013-04-25
#404: Adapt documentation to include XSB	task	minor	resolved	Joachim Jansen	2013-03-26	2013-04-24
#380: Add regression tests for XSB XSB	task	major	resolved	Joachim Jansen	2013-03-06	2013-04-23
#416: Allow open input predicates to be represented by ranges	enhancement	major	new	Joachim Jansen	2013-04-18	2013-04-18
#415: Unwanted "Removing incomplete tables..." messages XSB	bug	minor	resolved	Joachim Jansen	2013-04-17	2013-04-17
#405: Provide verbosity for XSB	task	minor	resolved	Joachim Jansen	2013-03-26	2013-04-02
#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
#377: XSB Bug using function constants XSB	bug	major	resolved	Joachim Jansen	2013-03-04	2013-03-06
#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
#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
#92: vector<InternalArgument>* should become shared_pointers Garbage collection	bug	minor	new	Joachim Jansen	2012-01-18	2013-01-30
#334: Numerical operation order causes problems	bug	major	invalid	Joachim Jansen	2013-01-25	2013-01-29

#438: XSB (probably) does not like strings

XSB

bug

major

resolved

Joachim Jansen

2013-06-10

2013-06-11

#387: Transform equivalences into definitions

XSB

enhancement

minor

new

Joachim Jansen

2013-03-13

2013-05-29

#425: Update to new XSB version

XSB

task

major

resolved

Joachim Jansen

2013-05-17

2013-05-29

#388: xsb is too slow

XSB

bug

major

resolved

Joachim Jansen

2013-03-14

2013-05-16

#420: XSB incorrect for approxdef

XSB

bug

major

resolved

Joachim Jansen

2013-04-24

2013-05-08

#277: Segmentation fault when using nested namespaces

Garbage collection

bug

minor

open

Joachim Jansen

2012-11-20

2013-04-25

#404: Adapt documentation to include XSB

task

minor

resolved

Joachim Jansen

2013-03-26

2013-04-24

#380: Add regression tests for XSB

XSB

task

major

resolved

Joachim Jansen

2013-03-06

2013-04-23

#416: Allow open input predicates to be represented by ranges

enhancement

major

new

Joachim Jansen

2013-04-18

#415: Unwanted "Removing incomplete tables..." messages

XSB

bug

minor

resolved

Joachim Jansen

2013-04-17

#405: Provide verbosity for XSB

task

minor

resolved

Joachim Jansen

2013-03-26

2013-04-02

#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

#377: XSB Bug using function constants

XSB

bug

major

resolved

Joachim Jansen

2013-03-04

2013-03-06

#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

#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

#92: vector<InternalArgument>* should become shared_pointers

Garbage collection

bug

minor

new

Joachim Jansen

2012-01-18

2013-01-30

#334: Numerical operation order causes problems

bug

major

invalid

Joachim Jansen

2013-01-25

2013-01-29

Issues

Issues (76–100 of 102)