/

Issues

Go to advanced search

Leading parentheses not part of source span

Nov 4, 2020

Publish our SableCC Gradle plugin on the Gradle plugin portal

Aug 31, 2020

Separate Unicode translator for Rodin parser preparation and for user display

Aug 31, 2020

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

Apr 8, 2020

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

Mar 5, 2019

Standard lib files are not available in ProB 2 UI

Feb 27, 2018

Pushback buffer overflow when pragma not closed

Sep 15, 2017

Unicode representation of strings

Aug 21, 2017

Variables with $0 not allowed in DEFINITIONS

Apr 11, 2016

Better error messages when keywords are used for identifiers

Mar 11, 2016

Using an illegal token combination inside a DEFINITION causes end_of_file

Mar 10, 2016

Lexer should throw error for illegal Unicode characters

Mar 10, 2016

Parser error messages incorrectly passed to Prolog on Windows

Mar 3, 2016

Cannot comment out DEFINITIONS clause

Oct 9, 2015

Preparser fails if a String contains DEFINITIONS

Sep 11, 2015

machine does not parse with parser 2.5.0

Aug 3, 2015

The dot character "." is not permitted for identifiers

Jul 30, 2015

Support // comments

Jul 29, 2015

PushbackBufferOverflow when using Predicate Variables

Apr 27, 2015

Parser crashes if called on empty file

Mar 5, 2015

Missing Tests for Recursive Definitions

Jan 19, 2015

PROBPARSER : -p BOOL_AS_PREDICATE TRUE results in Java Exception

Nov 3, 2014

Parser sometimes refuses DEFINITION predicates inside other DEFINITIONS

Sep 17, 2014

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

Sep 13, 2014

Nullpointer exception when DEFINITIONS file passed as B machine

Jul 10, 2014

Check if formula has length 0

May 28, 2014

Support for extended syntax

May 6, 2014

Java B Parser does not accept DEFINITIONS inside SETS clause

Mar 27, 2014

Parser does not use AtelierB's .sys file extension

Feb 18, 2014

PROBPARSER : DEFINITIONS before EXTENDS issue

Feb 1, 2014

Support Unix Shebang

Nov 21, 2013

Unicode Translator does not correctly identify prime variables

Sep 24, 2013

Unicode Translation for OR does not work

Sep 24, 2013

PROBPLUGIN - Result parser does not accept Unicode

Jul 12, 2013

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

May 13, 2013

PROB Classical B parser refuses valid machine

Mar 26, 2013

LTL Parser does not accept state formulas with unbalanced { }

Feb 15, 2013

Arguments to Pragmas might need to be quoted

Dec 5, 2012

PROB - Labels shifted inside not

Dec 4, 2012

Several machines containing pragmas are not parseable on windows

Oct 24, 2012

Off by one on Windows when including def file

Oct 24, 2012

Pragma classifier throws exception when opening unix files on windows

Oct 24, 2012

ProB - LTL Parser goes into infinite loop

Oct 6, 2012

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

May 18, 2012

Use #FORMULA in Preparser

May 10, 2012

Add #FORMULA keyword

May 10, 2012

Write a pretty printer for B Expressions and Predicates

May 3, 2012

misleading accessor name in AST

May 1, 2012

#144 Missing CONSTRAINTS clause for formal parameter

Apr 24, 2012

#128 Obscure Error Message in Classical B Parser

Apr 24, 2012

Showing 1-50 of 51