|
|
4fee6ac06e
|
grammar.py: Add support for --replace-whitespace
Signed-off-by: Jan Lindemann <jan@janware.com>
|
2017-10-29 13:56:52 +01:00 |
|
|
|
cbdd343f85
|
grammar.py: Add grammar_unroll_alternatives()
Signed-off-by: Jan Lindemann <jan@janware.com>
|
2017-10-29 13:13:14 +01:00 |
|
|
|
432d78cdc5
|
grammar.py: Add grammar_parse_ebnf_tokens()
Add grammar_parse_ebnf_tokens(), to be used by external grammar parsers
and grammar_parse_ebnf()
Signed-off-by: Jan Lindemann <jan@janware.com>
|
2017-10-28 19:16:00 +02:00 |
|
|
|
40e6add5ad
|
Continue implementation of grammar.py
Signed-off-by: Jan Lindemann <jan@janware.com>
|
2017-10-25 13:45:44 +02:00 |
|
|
|
4c076691a6
|
Rename module jwutil to jwutils
Signed-off-by: Jan Lindemann <jan@janware.com>
|
2017-07-24 13:00:37 +02:00 |
|
|
|
5755d14d84
|
initial checkin
Signed-off-by: Jan Lindemann <jan@janware.com>
|
2017-07-24 12:19:34 +02:00 |
|