README.rst
setup.cfg
setup.py
src/2vyper.egg-info/PKG-INFO
src/2vyper.egg-info/SOURCES.txt
src/2vyper.egg-info/dependency_links.txt
src/2vyper.egg-info/entry_points.txt
src/2vyper.egg-info/requires.txt
src/2vyper.egg-info/top_level.txt
src/twovyper/__init__.py
src/twovyper/client.py
src/twovyper/config.py
src/twovyper/exceptions.py
src/twovyper/main.py
src/twovyper/utils.py
src/twovyper/vyper.py
src/twovyper/analysis/__init__.py
src/twovyper/analysis/analyzer.py
src/twovyper/analysis/heuristics.py
src/twovyper/analysis/structure_checker.py
src/twovyper/analysis/symbol_checker.py
src/twovyper/analysis/type_annotator.py
src/twovyper/ast/__init__.py
src/twovyper/ast/arithmetic.py
src/twovyper/ast/ast_nodes.py
src/twovyper/ast/interfaces.py
src/twovyper/ast/names.py
src/twovyper/ast/nodes.py
src/twovyper/ast/text.py
src/twovyper/ast/types.py
src/twovyper/ast/visitors.py
src/twovyper/backends/__init__.py
src/twovyper/backends/carbon.jar
src/twovyper/backends/silicon.jar
src/twovyper/backends/silver-sif-extension.jar
src/twovyper/parsing/__init__.py
src/twovyper/parsing/lark.py
src/twovyper/parsing/parser.py
src/twovyper/parsing/preprocessor.py
src/twovyper/parsing/transformer.py
src/twovyper/parsing/vyper_0_1.lark
src/twovyper/parsing/vyper_0_2.lark
src/twovyper/resources/__init__.py
src/twovyper/resources/all.vpr
src/twovyper/resources/array.vpr
src/twovyper/resources/blockchain.vpr
src/twovyper/resources/contract.vpr
src/twovyper/resources/convert.vpr
src/twovyper/resources/map.vpr
src/twovyper/resources/math.vpr
src/twovyper/resources/range.vpr
src/twovyper/resources/struct.vpr
src/twovyper/resources/verification.vpr
src/twovyper/resources/wrapped_integer.vpr
src/twovyper/translation/__init__.py
src/twovyper/translation/abstract.py
src/twovyper/translation/allocation.py
src/twovyper/translation/arithmetic.py
src/twovyper/translation/balance.py
src/twovyper/translation/context.py
src/twovyper/translation/expression.py
src/twovyper/translation/function.py
src/twovyper/translation/helpers.py
src/twovyper/translation/lemma.py
src/twovyper/translation/mangled.py
src/twovyper/translation/model.py
src/twovyper/translation/pure_function.py
src/twovyper/translation/pure_statement.py
src/twovyper/translation/pure_translators.py
src/twovyper/translation/resource.py
src/twovyper/translation/specification.py
src/twovyper/translation/state.py
src/twovyper/translation/statement.py
src/twovyper/translation/translator.py
src/twovyper/translation/type.py
src/twovyper/translation/variable.py
src/twovyper/translation/wrapped_viper_ast.py
src/twovyper/verification/__init__.py
src/twovyper/verification/error.py
src/twovyper/verification/manager.py
src/twovyper/verification/messages.py
src/twovyper/verification/model.py
src/twovyper/verification/result.py
src/twovyper/verification/rules.py
src/twovyper/verification/verifier.py
src/twovyper/viper/__init__.py
src/twovyper/viper/ast.py
src/twovyper/viper/jvmaccess.py
src/twovyper/viper/parser.py
src/twovyper/viper/sif.py
src/twovyper/viper/typedefs.py