krr / IDP / issues — Bitbucket

Title	T	P	Status	Assignee	Version	Created	Updated
#205: make check does not report segfaults Testing	bug	major	resolved	Broes De Cat		2012-07-20	2012-07-24
#197: Bug in converting sum to cp constraint	enhancement	major	resolved			2012-06-28	2012-07-20
#198: Insert segfauls on an enumset where some predicate symbol is not declared	bug	major	resolved	Broes De Cat		2012-06-28	2012-06-28
#178: Quantification in definitions	bug	major	resolved			2012-05-31	2012-05-31
#108: Sharing of introduced variables Grounding	enhancement	major	resolved			2012-02-16	2012-05-18
#121: Symmetry	task	major	resolved			2012-03-15	2012-05-16
#162: Documentatie	task	major	resolved	Bart Bogaerts		2012-05-15	2012-05-16
#161: Move grounding code out of mx	task	major	resolved			2012-05-14	2012-05-16
#154: Warning: Derived sort	bug	major	resolved			2012-05-07	2012-05-16
#127: deriveTermBounds cause segfault	bug	major	invalid	Stef De Pooter		2012-03-20	2012-05-15
#136: Bug in finding out all opens of a definition are two-valued	bug	major	invalid			2012-03-23	2012-05-11
#151: FO(.) namespace management	proposal	major	resolved			2012-05-04	2012-05-11
#25: [Theorem proving] TPTP web service	proposal	major	invalid			2011-12-08	2012-05-03
#19: [MINISATID] option for maximum number of learned clauses	enhancement	major	resolved			2011-12-08	2012-05-03
#20: [MinisatID] OPB parser error	bug	major	resolved			2011-12-08	2012-05-03
#11: Propagatie voor partieel geinterpreteerde relaties	enhancement	major	resolved			2011-12-08	2012-04-25
#16: Can optimize sorts of arithmetic expressions on bounded types	proposal	major	resolved			2011-12-08	2012-04-25
#131: Memory management of BDDs and generators BDDs	task	major	resolved			2012-03-22	2012-04-25
#134: Segfault op MAX[:int]	bug	major	invalid			2012-03-22	2012-04-25
#137: Throw warning on sorts with an empty interpretation Parser	bug	major	resolved		2.1	2012-03-23	2012-04-25
#143: Parser and lua blocks Parser	bug	major	resolved			2012-04-19	2012-04-25
#144: Comments in parser Parser	bug	major	resolved			2012-04-20	2012-04-25
#139: add command to include std files interactively	enhancement	major	resolved			2012-04-05	2012-04-25
#129: GeneratorNodes should be removed BDDs	proposal	major	resolved	Bart Bogaerts		2012-03-21	2012-03-22
#95: Infinitely many false defineds Grounding	bug	major	resolved			2012-01-25	2012-03-21

#205: make check does not report segfaults

Testing

bug

major

resolved

Broes De Cat

2012-07-20

2012-07-24

#197: Bug in converting sum to cp constraint

enhancement

major

resolved

2012-06-28

2012-07-20

#198: Insert segfauls on an enumset where some predicate symbol is not declared

bug

major

resolved

Broes De Cat

2012-06-28

#178: Quantification in definitions

bug

major

resolved

2012-05-31

#108: Sharing of introduced variables

Grounding

enhancement

major

resolved

2012-02-16

2012-05-18

#121: Symmetry

task

major

resolved

2012-03-15

2012-05-16

#162: Documentatie

task

major

resolved

Bart Bogaerts

2012-05-15

2012-05-16

#161: Move grounding code out of mx

task

major

resolved

2012-05-14

2012-05-16

#154: Warning: Derived sort

bug

major

resolved

2012-05-07

2012-05-16

#127: deriveTermBounds cause segfault

bug

major

invalid

Stef De Pooter

2012-03-20

2012-05-15

#136: Bug in finding out all opens of a definition are two-valued

bug

major

invalid

2012-03-23

2012-05-11

#151: FO(.) namespace management

proposal

major

resolved

2012-05-04

2012-05-11

#25: [Theorem proving] TPTP web service

proposal

major

invalid

2011-12-08

2012-05-03

#19: [MINISATID] option for maximum number of learned clauses

enhancement

major

resolved

2011-12-08

2012-05-03

#20: [MinisatID] OPB parser error

bug

major

resolved

2011-12-08

2012-05-03

#11: Propagatie voor partieel geinterpreteerde relaties

enhancement

major

resolved

2011-12-08

2012-04-25

#16: Can optimize sorts of arithmetic expressions on bounded types

proposal

major

resolved

2011-12-08

2012-04-25

#131: Memory management of BDDs and generators

BDDs

task

major

resolved

2012-03-22

2012-04-25

#134: Segfault op MAX[:int]

bug

major

invalid

2012-03-22

2012-04-25

#137: Throw warning on sorts with an empty interpretation

Parser

bug

major

resolved

2.1

2012-03-23

2012-04-25

#143: Parser and lua blocks

Parser

bug

major

resolved

2012-04-19

2012-04-25

#144: Comments in parser

Parser

bug

major

resolved

2012-04-20

2012-04-25

#139: add command to include std files interactively

enhancement

major

resolved

2012-04-05

2012-04-25

#129: GeneratorNodes should be removed

BDDs

proposal

major

resolved

Bart Bogaerts

2012-03-21

2012-03-22

#95: Infinitely many false defineds

Grounding

bug

major

resolved

2012-01-25

2012-03-21

Issues

Issues (651–675 of 688)