MANIFEST.in
README.md
setup.py
ithildin/__init__.py
ithildin/__main__.py
ithildin/exception.py
ithildin.egg-info/PKG-INFO
ithildin.egg-info/SOURCES.txt
ithildin.egg-info/dependency_links.txt
ithildin.egg-info/entry_points.txt
ithildin.egg-info/requires.txt
ithildin.egg-info/top_level.txt
ithildin/analysis/__init__.py
ithildin/analysis/base.py
ithildin/analysis/loader.py
ithildin/analysis/symbolic.py
ithildin/analysis/strategies/__init__.py
ithildin/analysis/strategies/hash_lock.py
ithildin/analysis/strategies/multiple_authorization.py
ithildin/analysis/strategies/ownership.py
ithildin/analysis/strategies/roles.py
ithildin/analysis/strategies/x_confirmation.py
ithildin/contract/__init__.py
ithildin/contract/loader.py
ithildin/contract/loader_factory.py
ithildin/interfaces/__init__.py
ithildin/interfaces/cli.py
ithildin/report/__init__.py
ithildin/report/analysis.py
ithildin/report/benchmark.py
ithildin/report/templates/analysis_report.txt.jinja2
ithildin/report/templates/benchmark_report.md.jinja2
ithildin/support/__init__.py
ithildin/support/compiler_version.py
ithildin/support/singleton.py
ithildin/tools/__init__.py
ithildin/tools/benchmark.py
ithildin/tools/verification_db/__init__.py
ithildin/tools/verification_db/contract_repository.py
ithildin/tools/verification_db/flagged_function_repository.py
ithildin/tools/verification_db/function_repository.py
ithildin/tools/verification_db/verification_db.py