krr / IDP / issues — Bitbucket

Title	T	P	Status	Assignee	Created	Updated
#598: Lazy tests and memory management	enhancement	minor	resolved	Broes De Cat	2013-11-26	2013-11-26
#562: IDP 3.1.1 op Mac (en Win8?)	bug	minor	resolved		2013-10-23	2013-11-22
#593: More natural models Inferences	proposal	minor	new		2013-11-19	2013-11-19
#579: Compiler maakt nogal veel assumpties	proposal	minor	new		2013-11-12	2013-11-14
#585: progression: implement verification	proposal	minor	new	Bart Bogaerts	2013-11-13	2013-11-13
#581: Progression: error messages	bug	minor	new	Bart Bogaerts	2013-11-12	2013-11-12
#565: Parsen van machten (ambiguity) Parser	bug	minor	resolved	Willem Van Onsem	2013-10-25	2013-11-05
#561: MX generates too many models	bug	minor	resolved	Broes De Cat	2013-10-22	2013-10-24
#559: Sat method should call mx with empty output vocabulary	enhancement	minor	new		2013-10-22	2013-10-22
#545: Implement MX assumption improvements	enhancement	minor	new		2013-10-11	2013-10-21
#546: translateNonReduced has an incomplete name	enhancement	minor	new		2013-10-11	2013-10-11
#543: SPASS reference in unittests does not refer to the internally-built SPASS	bug	minor	new		2013-10-10	2013-10-10
#535: Weird unsatcore output for false-defineds	enhancement	minor	resolved		2013-10-09	2013-10-10
#541: To temporary resolve some bison-flex problems on older machines, disable minisatid executable building when building idp.	enhancement	minor	wontfix	Broes De Cat	2013-10-10	2013-10-10
#195: Division and modulo are partial functions	bug	minor	resolved	Broes De Cat	2012-06-25	2013-10-09
#430: Memory overflow with CP support cp-support	bug	minor	resolved	Broes De Cat	2013-05-27	2013-10-09
#538: Te grote generator voor satmx/constructed_lists.idp tests	bug	minor	new		2013-10-09	2013-10-09
#479: Type derivation too strict?	bug	minor	resolved		2013-07-19	2013-10-08
#219: IDP-Lua does not accept "= #L" as command after "L = {}"	bug	minor	wontfix	Stef De Pooter	2012-08-28	2013-10-08
#466: Non-deterministic memory overflow during grounding of packing	enhancement	minor	new		2013-07-12	2013-10-08
#498: Parsing compounds	bug	minor	resolved		2013-08-12	2013-10-08
#517: Informatie op de site over hoe idp te runnen	enhancement	minor	new		2013-09-09	2013-10-08
#519: Review grounder transformations to reduce context switches, to prevent unnecessary Tseitins	enhancement	minor	new		2013-09-13	2013-10-08
#179: Detect set reuse	enhancement	minor	resolved		2012-06-01	2013-10-08
#352: Bug/unsupported feature in sum of cardinalities Grounding	bug	minor	resolved		2013-02-14	2013-10-08

#598: Lazy tests and memory management

enhancement

minor

resolved

Broes De Cat

2013-11-26

#562: IDP 3.1.1 op Mac (en Win8?)

bug

minor

resolved

2013-10-23

2013-11-22

#593: More natural models

Inferences

proposal

minor

new

2013-11-19

#579: Compiler maakt nogal veel assumpties

proposal

minor

new

2013-11-12

2013-11-14

#585: progression: implement verification

proposal

minor

new

Bart Bogaerts

2013-11-13

#581: Progression: error messages

bug

minor

new

Bart Bogaerts

2013-11-12

#565: Parsen van machten (ambiguity)

Parser

bug

minor

resolved

Willem Van Onsem

2013-10-25

2013-11-05

#561: MX generates too many models

bug

minor

resolved

Broes De Cat

2013-10-22

2013-10-24

#559: Sat method should call mx with empty output vocabulary

enhancement

minor

new

2013-10-22

#545: Implement MX assumption improvements

enhancement

minor

new

2013-10-11

2013-10-21

#546: translateNonReduced has an incomplete name

enhancement

minor

new

2013-10-11

#543: SPASS reference in unittests does not refer to the internally-built SPASS

bug

minor

new

2013-10-10

#535: Weird unsatcore output for false-defineds

enhancement

minor

resolved

2013-10-09

2013-10-10

#541: To temporary resolve some bison-flex problems on older machines, disable minisatid executable building when building idp.

enhancement

minor

wontfix

Broes De Cat

2013-10-10

#195: Division and modulo are partial functions

bug

minor

resolved

Broes De Cat

2012-06-25

2013-10-09

#430: Memory overflow with CP support

cp-support

bug

minor

resolved

Broes De Cat

2013-05-27

2013-10-09

#538: Te grote generator voor satmx/constructed_lists.idp tests

bug

minor

new

2013-10-09

#479: Type derivation too strict?

bug

minor

resolved

2013-07-19

2013-10-08

#219: IDP-Lua does not accept "= #L" as command after "L = {}"

bug

minor

wontfix

Stef De Pooter

2012-08-28

2013-10-08

#466: Non-deterministic memory overflow during grounding of packing

enhancement

minor

new

2013-07-12

2013-10-08

#498: Parsing compounds

bug

minor

resolved

2013-08-12

2013-10-08

#517: Informatie op de site over hoe idp te runnen

enhancement

minor

new

2013-09-09

2013-10-08

#519: Review grounder transformations to reduce context switches, to prevent unnecessary Tseitins

enhancement

minor

new

2013-09-13

2013-10-08

#179: Detect set reuse

enhancement

minor

resolved

2012-06-01

2013-10-08

#352: Bug/unsupported feature in sum of cardinalities

Grounding

bug

minor

resolved

2013-02-14

2013-10-08

Issues

Issues (101–125 of 266)