LICENSE
README.md
pyproject.toml
setup.py
py_veripy.egg-info/PKG-INFO
py_veripy.egg-info/SOURCES.txt
py_veripy.egg-info/dependency_links.txt
py_veripy.egg-info/entry_points.txt
py_veripy.egg-info/requires.txt
py_veripy.egg-info/top_level.txt
veripy/__init__.py
veripy/built_ins.py
veripy/contracts.py
veripy/log.py
veripy/main.py
veripy/sidecar.py
veripy/abstract_domains/abstract_domain_handler.py
veripy/abstract_domains/apron_box_handler.py
veripy/abstract_domains/elina_handler.py
veripy/auto_active/__init__.py
veripy/auto_active/engine.py
veripy/cli/__init__.py
veripy/cli/config.py
veripy/cli/extract.py
veripy/cli/main.py
veripy/cli/results.py
veripy/cli/verification.py
veripy/cli/commands/__init__.py
veripy/cli/commands/check.py
veripy/cli/commands/info.py
veripy/cli/commands/verify.py
veripy/cli/commands/version.py
veripy/core/__init__.py
veripy/core/heap_lowering.py
veripy/core/prettyprint.py
veripy/core/runtime_config.py
veripy/core/transformer.py
veripy/core/utils.py
veripy/core/verify.py
veripy/core/transformer/__init__.py
veripy/core/transformer/expr_translator.py
veripy/core/transformer/stmt_translator.py
veripy/core/transformer/utils.py
veripy/core/transformer/z3_translator.py
veripy/error/__init__.py
veripy/error/reporter.py
veripy/interpreter/engine.py
veripy/interpreter/expr_cons.py
veripy/interpreter/parser.py
veripy/lean/__init__.py
veripy/lean/backend.py
veripy/parser/__init__.py
veripy/parser/ast_builder.py
veripy/parser/parser.py
veripy/parser/syntax/__init__.py
veripy/parser/syntax/async_features.py
veripy/parser/syntax/collections.py
veripy/parser/syntax/expressions.py
veripy/parser/syntax/extended_statements.py
veripy/parser/syntax/iterators.py
veripy/parser/syntax/oop.py
veripy/parser/syntax/operations.py
veripy/parser/syntax/patterns.py
veripy/parser/syntax/statements.py
veripy/parser/syntax/strings.py
veripy/parser/syntax/types.py
veripy/parser/syntax/values.py
veripy/recursive/__init__.py
veripy/recursive/verifier.py
veripy/typecheck/__init__.py
veripy/typecheck/refinement.py
veripy/typecheck/type_check.py
veripy/typecheck/types.py