Issues

Publish our SableCC Gradle plugin on the Gradle plugin portal

Separate Unicode translator for Rodin parser preparation and for user display

Parser does not allow record access in left-hand side of an assignment

Unicode translator does not add space between identifier ending with non-letter and operator starting with letter

Standard lib files are not available in ProB 2 UI

Pushback buffer overflow when pragma not closed

Unicode representation of strings

Variables with $0 not allowed in DEFINITIONS

Better error messages when keywords are used for identifiers

Using an illegal token combination inside a DEFINITION causes end_of_file

Lexer should throw error for illegal Unicode characters

Parser error messages incorrectly passed to Prolog on Windows

Cannot comment out DEFINITIONS clause

Preparser fails if a String contains DEFINITIONS

machine does not parse with parser 2.5.0

The dot character "." is not permitted for identifiers

Support // comments

PushbackBufferOverflow when using Predicate Variables

Parser crashes if called on empty file

Missing Tests for Recursive Definitions

PROBPARSER : -p BOOL_AS_PREDICATE TRUE results in Java Exception

Parser sometimes refuses DEFINITION predicates inside other DEFINITIONS

The new parser library no longer reports syntax errors to probcli/ProB REPL

Nullpointer exception when DEFINITIONS file passed as B machine

Check if formula has length 0

Support for extended syntax

Java B Parser does not accept DEFINITIONS inside SETS clause

Parser does not use AtelierB's .sys file extension

PROBPARSER : DEFINITIONS before EXTENDS issue

Support Unix Shebang

Unicode Translator does not correctly identify prime variables

Unicode Translation for OR does not work

PROBPLUGIN - Result parser does not accept Unicode

Unicode Translator does not correctly parse & when it does not have whitespace

PROB Classical B parser refuses valid machine

LTL Parser does not accept state formulas with unbalanced { }

Arguments to Pragmas might need to be quoted

PROB - Labels shifted inside not

Several machines containing pragmas are not parseable on windows

Off by one on Windows when including def file

Pragma classifier throws exception when opening unix files on windows

ProB - LTL Parser goes into infinite loop

[parser] Bad performance in presence of errors in Prolog parser

Use #FORMULA in Preparser

Add #FORMULA keyword

Write a pretty printer for B Expressions and Predicates

misleading accessor name in AST

#144 Missing CONSTRAINTS clause for formal parameter

#128 Obscure Error Message in Classical B Parser