Issues

Select view

Select search mode

Bug
Leading parentheses not part of source span
Unassigned
Michael Leuschel
Major
Unresolved
Nov 4, 2020
Nov 23, 2020
Improvement
Publish our SableCC Gradle plugin on the Gradle plugin portal
Unassigned
dgelessus
Major
Unresolved
Aug 31, 2020
Aug 31, 2020
Improvement
Separate Unicode translator for Rodin parser preparation and for user display
Unassigned
dgelessus
Major
Unresolved
Aug 31, 2020
Aug 31, 2020
Task
Parser does not allow record access in left-hand side of an assignment
Unassigned
Michael Leuschel
Major
Fixed
Apr 8, 2020
Aug 4, 2020
Bug
Unicode translator does not add space between identifier ending with non-letter and operator starting with letter
Unassigned
Michael Leuschel
Major
Fixed
Mar 5, 2019
Mar 7, 2019
Bug
Standard lib files are not available in ProB 2 UI
Unassigned
Jens Bendisposto
Major
Fixed
Feb 27, 2018
Feb 27, 2018
Task
Pushback buffer overflow when pragma not closed
Unassigned
Michael Leuschel
Major
Unresolved
Sep 15, 2017
Sep 15, 2017
Bug
Unicode representation of strings
Unassigned
Dominik Hansen
Major
Fixed
Aug 21, 2017
Mar 6, 2019
Improvement
Variables with $0 not allowed in DEFINITIONS
Unassigned
Michael Leuschel
Major
Fixed
Apr 11, 2016
Jun 27, 2017
Improvement
Better error messages when keywords are used for identifiers
Unassigned
Michael Leuschel
Major
Fixed
Mar 11, 2016
Apr 1, 2016
Bug
Using an illegal token combination inside a DEFINITION causes end_of_file
Unassigned
Michael Leuschel
Major
Fixed
Mar 10, 2016
Mar 11, 2016
Improvement
Lexer should throw error for illegal Unicode characters
Unassigned
Michael Leuschel
Major
Unresolved
Mar 10, 2016
Apr 1, 2016
Bug
Parser error messages incorrectly passed to Prolog on Windows
Unassigned
Michael Leuschel
Major
Fixed
Mar 3, 2016
Mar 4, 2016
Bug
Cannot comment out DEFINITIONS clause
Unassigned
Sebastian Krings
Major
Fixed
Oct 9, 2015
Oct 9, 2015
Bug
Preparser fails if a String contains DEFINITIONS
Unassigned
Michael Leuschel
Major
Fixed
Sep 11, 2015
Nov 26, 2015
Bug
machine does not parse with parser 2.5.0
Unassigned
Sebastian Krings
Major
Fixed
Aug 3, 2015
Sep 10, 2015
Bug
The dot character "." is not permitted for identifiers
Unassigned
Dominik Hansen
Minor
Fixed
Jul 30, 2015
Nov 26, 2015
Improvement
Support // comments
Unassigned
Jens Bendisposto
Minor
Fixed
Jul 29, 2015
Aug 14, 2015
Bug
PushbackBufferOverflow when using Predicate Variables
Unassigned
Sebastian Krings
Major
Fixed
Apr 27, 2015
Apr 27, 2015
Bug
Parser crashes if called on empty file
Unassigned
Sebastian Krings
Major
Fixed
Mar 5, 2015
Mar 5, 2015
Improvement
Missing Tests for Recursive Definitions
Unassigned
David Schneider
Minor
Fixed
Jan 19, 2015
Jan 19, 2015
Bug
PROBPARSER : -p BOOL_AS_PREDICATE TRUE results in Java Exception
Unassigned
Michael Leuschel
Major
Fixed
Nov 3, 2014
Nov 4, 2014
Bug
Parser sometimes refuses DEFINITION predicates inside other DEFINITIONS
Unassigned
Michael Leuschel
Major
Fixed
Sep 17, 2014
Sep 18, 2014
Bug
The new parser library no longer reports syntax errors to probcli/ProB REPL
Unassigned
Michael Leuschel
Major
Fixed
Sep 13, 2014
Sep 15, 2014
Bug
Nullpointer exception when DEFINITIONS file passed as B machine
Unassigned
Michael Leuschel
Major
Fixed
Jul 10, 2014
Feb 6, 2015
Bug
Check if formula has length 0
Unassigned
Lukas Ladenberger
Major
Fixed
May 28, 2014
May 28, 2014
Bug
Support for extended syntax
Unassigned
Jens Bendisposto
Major
Fixed
May 6, 2014
Feb 6, 2015
Bug
Java B Parser does not accept DEFINITIONS inside SETS clause
Unassigned
Michael Leuschel
Major
Won't Fix
Mar 27, 2014
Jun 29, 2015
Bug
Parser does not use AtelierB's .sys file extension
Unassigned
Jens Bendisposto
Major
Fixed
Feb 18, 2014
May 7, 2014
Bug
PROBPARSER : DEFINITIONS before EXTENDS issue
Unassigned
Michael Leuschel
Major
Fixed
Feb 1, 2014
Feb 11, 2014
Bug
Support Unix Shebang
Unassigned
Jens Bendisposto
Major
Fixed
Nov 21, 2013
Feb 11, 2014
Bug
Unicode Translator does not correctly identify prime variables
Unassigned
Joy Clark
Major
Fixed
Sep 24, 2013
Jun 3, 2014
Bug
Unicode Translation for OR does not work
Unassigned
Joy Clark
Major
Fixed
Sep 24, 2013
Sep 24, 2013
Bug
PROBPLUGIN - Result parser does not accept Unicode
Unassigned
Michael Leuschel
Major
Fixed
Jul 12, 2013
Jun 3, 2014
Bug
Unicode Translator does not correctly parse & when it does not have whitespace
Unassigned
Joy Clark
Major
Fixed
May 13, 2013
May 17, 2013
Bug
PROB Classical B parser refuses valid machine
Unassigned
Michael Leuschel
Major
Fixed
Mar 26, 2013
Feb 6, 2015
Bug
LTL Parser does not accept state formulas with unbalanced { }
Unassigned
Michael Leuschel
Minor
Fixed
Feb 15, 2013
Feb 6, 2015
Bug
Arguments to Pragmas might need to be quoted
Unassigned
Sebastian Krings
Major
Cannot Reproduce
Dec 5, 2012
Apr 11, 2013
Bug
PROB - Labels shifted inside not
Unassigned
Michael Leuschel
Major
Fixed
Dec 4, 2012
Jun 29, 2015
Bug
Several machines containing pragmas are not parseable on windows
Unassigned
Sebastian Krings
Major
Fixed
Oct 24, 2012
Oct 24, 2012
Bug
Off by one on Windows when including def file
Unassigned
Jens Bendisposto
Major
Fixed
Oct 24, 2012
Oct 24, 2012
Bug
Pragma classifier throws exception when opening unix files on windows
Unassigned
Jens Bendisposto
Major
Fixed
Oct 24, 2012
Oct 24, 2012
Bug
ProB - LTL Parser goes into infinite loop
Unassigned
Michael Leuschel
Major
Fixed
Oct 6, 2012
Oct 8, 2012
Bug
[parser] Bad performance in presence of errors in Prolog parser
Unassigned
Jens Bendisposto
Major
Fixed
May 18, 2012
Jun 18, 2012
Improvement
Use #FORMULA in Preparser
Unassigned
Jens Bendisposto
Major
Fixed
May 10, 2012
Jun 18, 2012
Improvement
Add #FORMULA keyword
Unassigned
Jens Bendisposto
Major
Fixed
May 10, 2012
Jun 18, 2012
New Feature
Write a pretty printer for B Expressions and Predicates
Unassigned
Jens Bendisposto
Major
Fixed
May 3, 2012
May 29, 2012
Bug
misleading accessor name in AST
Unassigned
Jens Bendisposto
Trivial
Fixed
May 1, 2012
Jun 18, 2012
Improvement
#144 Missing CONSTRAINTS clause for formal parameter
Unassigned
Michael Leuschel
Minor
Fixed
Apr 24, 2012
Jun 20, 2012
Improvement
#128 Obscure Error Message in Classical B Parser
Unassigned
Michael Leuschel
Minor
Fixed
Apr 24, 2012
Jun 18, 2012
1-50 of 51