KRR
software
IDP
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–13 of 13)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#994: Comment lines & Line break
Parser
bug
major
new
2024-04-24
2024-04-24
#105: Warning when completing types!
Parser
bug
major
new
2012-02-08
2013-08-10
#381: Parser segfaults when using complex nested includes
Parser
bug
major
resolved
2013-03-06
2013-03-06
#114: Printed structures should disambiguate symbols whenever necessary
Parser
bug
major
resolved
2.1
2012-03-05
2013-01-30
#64: Parser introduceert nieuwe domeinelementen
Parser
bug
major
resolved
2.0
2011-12-15
2013-01-30
#283: Double includes
Parser
bug
major
resolved
Broes De Cat
2012-11-26
2013-01-14
#281: Variable only occurring in quantification
Parser
bug
major
resolved
Bart Bogaerts
2012-11-23
2012-12-19
#284: Empty definitions should be allowed
Parser
bug
major
resolved
Bart Bogaerts
2012-12-03
2012-12-03
#246: Empty function interpretations
Parser
bug
major
resolved
Broes De Cat
2012-10-18
2012-11-30
#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
#104: type x is int
Parser
bug
major
resolved
2.1
2012-02-08
2012-03-16