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