README.rst
setup.py
src/nagini.egg-info/PKG-INFO
src/nagini.egg-info/SOURCES.txt
src/nagini.egg-info/dependency_links.txt
src/nagini.egg-info/entry_points.txt
src/nagini.egg-info/requires.txt
src/nagini.egg-info/top_level.txt
src/nagini_contracts/__init__.py
src/nagini_contracts/adt.py
src/nagini_contracts/contracts.py
src/nagini_contracts/importer.py
src/nagini_contracts/io_builtins.py
src/nagini_contracts/io_contracts.py
src/nagini_contracts/lock.py
src/nagini_contracts/obligations.py
src/nagini_contracts/thread.py
src/nagini_contracts/transformer.py
src/nagini_translation/__init__.py
src/nagini_translation/analyzer.py
src/nagini_translation/analyzer_io.py
src/nagini_translation/client.py
src/nagini_translation/conftest.py
src/nagini_translation/main.py
src/nagini_translation/sif_translator.py
src/nagini_translation/tests.py
src/nagini_translation/translator.py
src/nagini_translation/verifier.py
src/nagini_translation/external/__init__.py
src/nagini_translation/external/ast_util.py
src/nagini_translation/lib/__init__.py
src/nagini_translation/lib/config.py
src/nagini_translation/lib/constants.py
src/nagini_translation/lib/context.py
src/nagini_translation/lib/guard_collectors.py
src/nagini_translation/lib/io_checkers.py
src/nagini_translation/lib/io_context.py
src/nagini_translation/lib/jvmaccess.py
src/nagini_translation/lib/obligation_context.py
src/nagini_translation/lib/program_nodes.py
src/nagini_translation/lib/resolver.py
src/nagini_translation/lib/typedefs.py
src/nagini_translation/lib/typeinfo.py
src/nagini_translation/lib/util.py
src/nagini_translation/lib/views.py
src/nagini_translation/lib/viper_ast.py
src/nagini_translation/lib/errors/__init__.py
src/nagini_translation/lib/errors/manager.py
src/nagini_translation/lib/errors/messages.py
src/nagini_translation/lib/errors/rules.py
src/nagini_translation/lib/errors/wrappers.py
src/nagini_translation/lib/silver_nodes/__init__.py
src/nagini_translation/lib/silver_nodes/base.py
src/nagini_translation/lib/silver_nodes/bool_expr.py
src/nagini_translation/lib/silver_nodes/call.py
src/nagini_translation/lib/silver_nodes/expression.py
src/nagini_translation/lib/silver_nodes/int_cmp_expr.py
src/nagini_translation/lib/silver_nodes/int_expr.py
src/nagini_translation/lib/silver_nodes/location_expr.py
src/nagini_translation/lib/silver_nodes/perm_cmp_expr.py
src/nagini_translation/lib/silver_nodes/perm_expr.py
src/nagini_translation/lib/silver_nodes/program.py
src/nagini_translation/lib/silver_nodes/reference_expr.py
src/nagini_translation/lib/silver_nodes/statement.py
src/nagini_translation/lib/silver_nodes/types.py
src/nagini_translation/mypy_patches/__init__.py
src/nagini_translation/mypy_patches/column_info_patch.py
src/nagini_translation/mypy_patches/optional_patch.py
src/nagini_translation/resources/__init__.py
src/nagini_translation/resources/all.sil
src/nagini_translation/resources/bool.sil
src/nagini_translation/resources/bytes.sil
src/nagini_translation/resources/iterator.sil
src/nagini_translation/resources/list.sil
src/nagini_translation/resources/lock.sil
src/nagini_translation/resources/measures.sil
src/nagini_translation/resources/name_domain.sil
src/nagini_translation/resources/preamble.index
src/nagini_translation/resources/pset.sil
src/nagini_translation/resources/pytype.sil
src/nagini_translation/resources/range.sil
src/nagini_translation/resources/seq.sil
src/nagini_translation/resources/set_dict.sil
src/nagini_translation/resources/slice.sil
src/nagini_translation/resources/str.sil
src/nagini_translation/resources/tuple.sil
src/nagini_translation/sif/__init__.py
src/nagini_translation/sif/lib/__init__.py
src/nagini_translation/sif/lib/util.py
src/nagini_translation/sif/lib/viper_ast_extended.py
src/nagini_translation/sif/translators/__init__.py
src/nagini_translation/sif/translators/call.py
src/nagini_translation/sif/translators/contract.py
src/nagini_translation/sif/translators/expression.py
src/nagini_translation/sif/translators/method.py
src/nagini_translation/sif/translators/program.py
src/nagini_translation/sif/translators/statement.py
src/nagini_translation/translators/__init__.py
src/nagini_translation/translators/abstract.py
src/nagini_translation/translators/call.py
src/nagini_translation/translators/common.py
src/nagini_translation/translators/contract.py
src/nagini_translation/translators/expression.py
src/nagini_translation/translators/method.py
src/nagini_translation/translators/permission.py
src/nagini_translation/translators/predicate.py
src/nagini_translation/translators/program.py
src/nagini_translation/translators/pure.py
src/nagini_translation/translators/statement.py
src/nagini_translation/translators/type.py
src/nagini_translation/translators/type_domain_factory.py
src/nagini_translation/translators/io_operation/__init__.py
src/nagini_translation/translators/io_operation/common.py
src/nagini_translation/translators/io_operation/definition.py
src/nagini_translation/translators/io_operation/interface.py
src/nagini_translation/translators/io_operation/opener.py
src/nagini_translation/translators/io_operation/result_translator.py
src/nagini_translation/translators/io_operation/termination_check.py
src/nagini_translation/translators/io_operation/use.py
src/nagini_translation/translators/io_operation/utils.py
src/nagini_translation/translators/obligation/__init__.py
src/nagini_translation/translators/obligation/common.py
src/nagini_translation/translators/obligation/fork.py
src/nagini_translation/translators/obligation/inexhale.py
src/nagini_translation/translators/obligation/interface.py
src/nagini_translation/translators/obligation/loop.py
src/nagini_translation/translators/obligation/loop_node.py
src/nagini_translation/translators/obligation/manager.py
src/nagini_translation/translators/obligation/measures.py
src/nagini_translation/translators/obligation/method.py
src/nagini_translation/translators/obligation/method_call_node.py
src/nagini_translation/translators/obligation/method_node.py
src/nagini_translation/translators/obligation/node_constructor.py
src/nagini_translation/translators/obligation/obligation_info.py
src/nagini_translation/translators/obligation/utils.py
src/nagini_translation/translators/obligation/waitlevel.py
src/nagini_translation/translators/obligation/types/__init__.py
src/nagini_translation/translators/obligation/types/base.py
src/nagini_translation/translators/obligation/types/must_invoke.py
src/nagini_translation/translators/obligation/types/must_release.py
src/nagini_translation/translators/obligation/types/must_terminate.py