krr / IDP / issues — Bitbucket

Title	T	P	Status	Assignee	Version	Created	Updated
#126: Symmetrybreaking should work for sorts over (subsets of) builtins	enhancement	major	resolved	JoD	2.1	2012-03-20	2016-06-29
#46: Entailment Testing	task	major	resolved		2.1	2011-12-09	2013-02-04
#133: Assign sort to the interpretation of another sort. Parser	enhancement	minor	new	Broes De Cat	2.1	2012-03-22	2013-01-30
#102: Feature targeted verbosity	bug	major	resolved		2.1	2012-02-03	2013-01-30
#111: table_size datastructure Inferences	enhancement	major	resolved		2.1	2012-03-01	2013-01-30
#115: DeriveTermBounds should cleanly handle all functions	bug	minor	resolved	Stef De Pooter	2.1	2012-03-05	2013-01-30
#60: Link between ground and FO(.) formulas Grounding	enhancement	major	new	Roel Standaert	2.1	2011-12-13	2013-01-30
#125: Prioritized optimization	proposal	major	new		2.1	2012-03-20	2013-01-30
#69: Remove lua source and add build dependency	enhancement	minor	wontfix	Broes De Cat	2.1	2011-12-15	2013-01-30
#42: Optimalisatie Grounding	enhancement	major	resolved		2.1	2011-12-09	2013-01-30
#128: Specialize derive transformation when the structure is known Inferences	proposal	major	new		2.1	2012-03-21	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
#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
#78: using in lua	bug	major	resolved		2.1	2011-12-21	2013-01-30
#113: SortTable->first() and ->last() should not be called on empty tables	bug	major	resolved		2.1	2012-03-05	2013-01-30
#84: Clean terminating the search from requestTermination MinisatID	enhancement	minor	resolved	Broes De Cat	2.1	2012-01-02	2013-01-30
#85: approxtwovalued assertion fails	bug	minor	resolved		2.1	2012-01-02	2013-01-30
#97: Equivalence splitting	enhancement	major	resolved		2.1	2012-01-26	2013-01-30
#100: Tests do not check correctness of solutions	bug	major	duplicate		2.1	2012-02-01	2013-01-30
#74: Wrtiting translation information Grounding	bug	minor	resolved		2.1	2011-12-16	2013-01-30
#43: Symmetry breaking Testing	task	major	resolved	JoD	2.1	2011-12-09	2013-01-30
#87: runidp script cannot handle whitespaces in arguments	bug	minor	resolved		2.1	2012-01-02	2013-01-30
#5: tab completion	proposal	major	resolved		2.1	2011-12-08	2013-01-30
#49: Querying Inferences	task	major	resolved		2.1	2011-12-09	2013-01-30

#126: Symmetrybreaking should work for sorts over (subsets of) builtins

enhancement

major

resolved

JoD

2.1

2012-03-20

2016-06-29

#46: Entailment

Testing

task

major

resolved

2.1

2011-12-09

2013-02-04

#133: Assign sort to the interpretation of another sort.

Parser

enhancement

minor

new

Broes De Cat

2.1

2012-03-22

2013-01-30

#102: Feature targeted verbosity

bug

major

resolved

2.1

2012-02-03

2013-01-30

#111: table_size datastructure

Inferences

enhancement

major

resolved

2.1

2012-03-01

2013-01-30

#115: DeriveTermBounds should cleanly handle all functions

bug

minor

resolved

Stef De Pooter

2.1

2012-03-05

2013-01-30

#60: Link between ground and FO(.) formulas

Grounding

enhancement

major

new

Roel Standaert

2.1

2011-12-13

2013-01-30

#125: Prioritized optimization

proposal

major

new

2.1

2012-03-20

2013-01-30

#69: Remove lua source and add build dependency

enhancement

minor

wontfix

Broes De Cat

2.1

2011-12-15

2013-01-30

#42: Optimalisatie

Grounding

enhancement

major

resolved

2.1

2011-12-09

2013-01-30

#128: Specialize derive transformation when the structure is known

Inferences

proposal

major

new

2.1

2012-03-21

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

#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

#78: using in lua

bug

major

resolved

2.1

2011-12-21

2013-01-30

#113: SortTable->first() and ->last() should not be called on empty tables

bug

major

resolved

2.1

2012-03-05

2013-01-30

#84: Clean terminating the search from requestTermination

MinisatID

enhancement

minor

resolved

Broes De Cat

2.1

2012-01-02

2013-01-30

#85: approxtwovalued assertion fails

bug

minor

resolved

2.1

2012-01-02

2013-01-30

#97: Equivalence splitting

enhancement

major

resolved

2.1

2012-01-26

2013-01-30

#100: Tests do not check correctness of solutions

bug

major

duplicate

2.1

2012-02-01

2013-01-30

#74: Wrtiting translation information

Grounding

bug

minor

resolved

2.1

2011-12-16

2013-01-30

#43: Symmetry breaking

Testing

task

major

resolved

JoD

2.1

2011-12-09

2013-01-30

#87: runidp script cannot handle whitespaces in arguments

bug

minor

resolved

2.1

2012-01-02

2013-01-30

#5: tab completion

proposal

major

resolved

2.1

2011-12-08

2013-01-30

#49: Querying

Inferences

task

major

resolved

2.1

2011-12-09

2013-01-30

Issues

Issues (1–25 of 29)