LICENSE
MANIFEST.in
README.md
setup.py
docs/README.md
docs/lang.md
docs/py-ast.md
docs/semantics.md
docs/syntax.md
scripts/build_grammars
src/hpl/__init__.py
src/hpl/ast.py
src/hpl/exceptions.py
src/hpl/grammar.py
src/hpl/logic.py
src/hpl/parser.py
src/hpl/grammars/files.lark
src/hpl/grammars/predicates.lark
src/hpl/grammars/properties.lark
src/hpl/grammars/tokens.lark
src/hpl_specs.egg-info/PKG-INFO
src/hpl_specs.egg-info/SOURCES.txt
src/hpl_specs.egg-info/dependency_links.txt
src/hpl_specs.egg-info/not-zip-safe
src/hpl_specs.egg-info/requires.txt
src/hpl_specs.egg-info/top_level.txt
tests/__init__.py
tests/test_invalid_predicates.py
tests/test_invalid_properties.py
tests/test_logic_rewrite.py
tests/test_valid_predicates.py
tests/test_valid_properties.py