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