Issues
- Leading parentheses not part of source spanPARSERLIB-55Jens Bendisposto
- Publish our SableCC Gradle plugin on the Gradle plugin portalPARSERLIB-54Jens Bendisposto
- Separate Unicode translator for Rodin parser preparation and for user displayPARSERLIB-53Jens Bendisposto
- Parser does not allow record access in left-hand side of an assignmentPARSERLIB-52Resolved issue: PARSERLIB-52Michael Leuschel
- Unicode translator does not add space between identifier ending with non-letter and operator starting with letterPARSERLIB-51Resolved issue: PARSERLIB-51dgelessus
- Standard lib files are not available in ProB 2 UIPARSERLIB-50Resolved issue: PARSERLIB-50David Schneider
- Pushback buffer overflow when pragma not closedPARSERLIB-48Jens Bendisposto
- Unicode representation of stringsPARSERLIB-49Resolved issue: PARSERLIB-49Jens Bendisposto
- Variables with $0 not allowed in DEFINITIONSPARSERLIB-47Resolved issue: PARSERLIB-47Dominik Hansen
- Better error messages when keywords are used for identifiersPARSERLIB-46Resolved issue: PARSERLIB-46Michael Leuschel
- Using an illegal token combination inside a DEFINITION causes end_of_filePARSERLIB-45Resolved issue: PARSERLIB-45Dominik Hansen
- Lexer should throw error for illegal Unicode charactersPARSERLIB-44Jens Bendisposto
- Parser error messages incorrectly passed to Prolog on WindowsPARSERLIB-43Resolved issue: PARSERLIB-43Sebastian Krings
- Cannot comment out DEFINITIONS clausePARSERLIB-42Resolved issue: PARSERLIB-42Sebastian Krings
- Preparser fails if a String contains DEFINITIONSPARSERLIB-40Resolved issue: PARSERLIB-40Jens Bendisposto
- machine does not parse with parser 2.5.0PARSERLIB-39Resolved issue: PARSERLIB-39Jens Bendisposto
- The dot character "." is not permitted for identifiersPARSERLIB-38Resolved issue: PARSERLIB-38Sebastian Krings
- Support // commentsPARSERLIB-37Resolved issue: PARSERLIB-37Jens Bendisposto
- PushbackBufferOverflow when using Predicate VariablesPARSERLIB-36Resolved issue: PARSERLIB-36Sebastian Krings
- Parser crashes if called on empty filePARSERLIB-35Resolved issue: PARSERLIB-35Sebastian Krings
- Missing Tests for Recursive DefinitionsPARSERLIB-34Resolved issue: PARSERLIB-34Sebastian Krings
- PROBPARSER : -p BOOL_AS_PREDICATE TRUE results in Java ExceptionPARSERLIB-33Resolved issue: PARSERLIB-33Sebastian Krings
- Parser sometimes refuses DEFINITION predicates inside other DEFINITIONSPARSERLIB-32Resolved issue: PARSERLIB-32Sebastian Krings
- The new parser library no longer reports syntax errors to probcli/ProB REPLPARSERLIB-31Resolved issue: PARSERLIB-31Sebastian Krings
- Nullpointer exception when DEFINITIONS file passed as B machinePARSERLIB-30Resolved issue: PARSERLIB-30Sebastian Krings
- Check if formula has length 0PARSERLIB-29Resolved issue: PARSERLIB-29Sebastian Krings
- Support for extended syntaxPARSERLIB-28Resolved issue: PARSERLIB-28Jens Bendisposto
- Java B Parser does not accept DEFINITIONS inside SETS clausePARSERLIB-27Resolved issue: PARSERLIB-27Jens Bendisposto
- Parser does not use AtelierB's .sys file extensionPARSERLIB-26Resolved issue: PARSERLIB-26Jens Bendisposto
- PROBPARSER : DEFINITIONS before EXTENDS issuePARSERLIB-25Resolved issue: PARSERLIB-25Jens Bendisposto
- Support Unix ShebangPARSERLIB-24Resolved issue: PARSERLIB-24Jens Bendisposto
- Unicode Translator does not correctly identify prime variablesPARSERLIB-23Resolved issue: PARSERLIB-23Joy Clark
- Unicode Translation for OR does not workPARSERLIB-22Resolved issue: PARSERLIB-22Joy Clark
- PROBPLUGIN - Result parser does not accept UnicodePARSERLIB-21Resolved issue: PARSERLIB-21Philipp Koerner
- Unicode Translator does not correctly parse & when it does not have whitespacePARSERLIB-19Resolved issue: PARSERLIB-19Sebastian Krings
- PROB Classical B parser refuses valid machinePARSERLIB-18Resolved issue: PARSERLIB-18Sebastian Krings
- LTL Parser does not accept state formulas with unbalanced { }PARSERLIB-17Resolved issue: PARSERLIB-17Sebastian Krings
- Arguments to Pragmas might need to be quotedPARSERLIB-15Resolved issue: PARSERLIB-15Jens Bendisposto
- PROB - Labels shifted inside notPARSERLIB-16Resolved issue: PARSERLIB-16Jens Bendisposto
- Several machines containing pragmas are not parseable on windowsPARSERLIB-14Resolved issue: PARSERLIB-14Jens Bendisposto
- Off by one on Windows when including def filePARSERLIB-13Resolved issue: PARSERLIB-13Jens Bendisposto
- Pragma classifier throws exception when opening unix files on windowsPARSERLIB-12Resolved issue: PARSERLIB-12Jens Bendisposto
- ProB - LTL Parser goes into infinite loopPARSERLIB-11Resolved issue: PARSERLIB-11Jens Bendisposto
- [parser] Bad performance in presence of errors in Prolog parserPARSERLIB-9Resolved issue: PARSERLIB-9Marc Fontaine
- Use #FORMULA in PreparserPARSERLIB-7Resolved issue: PARSERLIB-7Jens Bendisposto
- Add #FORMULA keywordPARSERLIB-6Resolved issue: PARSERLIB-6Jens Bendisposto
- Write a pretty printer for B Expressions and PredicatesPARSERLIB-5Resolved issue: PARSERLIB-5Philipp Koerner
- misleading accessor name in ASTPARSERLIB-4Resolved issue: PARSERLIB-4Jens Bendisposto
- #144 Missing CONSTRAINTS clause for formal parameterPARSERLIB-2Resolved issue: PARSERLIB-2Jens Bendisposto
- #128 Obscure Error Message in Classical B ParserPARSERLIB-3Resolved issue: PARSERLIB-3Jens Bendisposto
50 of 51