KRR
software
IDP
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–12 of 12)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#852: Printer prints too much brackets
bug
minor
new
Pieter Van Hertum
2014-11-19
2014-11-21
#843: unsat when LUP is active
bug
minor
new
Pieter Van Hertum
2014-11-06
2014-11-19
#200: Printing of procedures
task
major
new
Pieter Van Hertum
2012-07-06
2014-08-27
#766: Printing (function?) symbols
bug
minor
new
Pieter Van Hertum
2014-06-06
2014-06-06
#745: Another case of approximation not always finding the correct generator
bug
major
new
1
Pieter Van Hertum
2014-04-28
2014-04-29
#711: Parsing FOBDDS: shared pointer to managers
bug
minor
new
Pieter Van Hertum
2014-03-24
2014-03-24
#705: BDD nondeterminism in a very specific case
task
minor
new
Pieter Van Hertum
2014-03-17
2014-03-17
#664: Estimators for bdds should not use ints
bug
major
new
Pieter Van Hertum
2014-02-08
2014-02-12
#392: IDP printer sometimes forgets points
bug
major
new
Pieter Van Hertum
2013-03-16
2013-03-16
#142: Presburger improvement for BDDs
BDDs
enhancement
major
new
Pieter Van Hertum
2012-04-18
2013-01-30
#145: Printout all information in correct idp syntax
enhancement
major
new
Pieter Van Hertum
2012-04-26
2013-01-30
#274: Creating infinite grounding when old version didn't
bug
major
new
Pieter Van Hertum
2012-11-16
2013-01-10