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