gitmirror

This repo contains code to mirror other repos. It also contains the code that is getting mirrored.

Histórico

Erez Sh 0199afa4c8 Cleanup and refactor		há 3 anos
..
__pyinstaller	Added hook-lark.py and the required lines in setup.py	há 4 anos
grammars	Python2.7 compatibility	há 3 anos
parsers	Merge branch 'fix-818' of https://github.com/MegaIng/lark into MegaIng-fix-818	há 3 anos
tools	tools.nearley: Add support for case-insensitive strings (Issue #753)	há 3 anos
__init__.py	Version bump (0.11.2)	há 3 anos
common.py	Corrections for PR	há 3 anos
exceptions.py	Small bugfixes in exceptions	há 3 anos
grammar.py	Cleanup, and a few PEP8 changes	há 3 anos
indenter.py	Indenter now throws DedentError instead of AssertionError	há 3 anos
lark.py	Cleanup and refactor	há 3 anos
lexer.py	Fix .pyi files	há 3 anos
load_grammar.py	Raise correct error when terminal is used within another terminal, by not defined	há 3 anos
parse_tree_builder.py	Cleanup, and a few PEP8 changes	há 3 anos
parser_frontends.py	Cleanup and refactor	há 3 anos
reconstruct.py	Response to code review	há 3 anos
tree.py	Cleanup, and a few PEP8 changes	há 3 anos
tree_matcher.py	Fix for slices getting reduce to single getitem	há 3 anos
utils.py	Added load_grammar.find_grammar_errors	há 3 anos
visitors.py	Fix for #826 (Thanks @mikeiovine) + stubs + tests	há 3 anos