Issues

Select view

List view

Detail view

Select search mode

Basic

JQL


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

1-50 of 51

ProB Parser Library

Filters

Issues