LICENSE
MANIFEST.in
README.md
setup.py
certora_cli/__init__.py
certora_cli/certoraEqCheck.py
certora_cli/certoraMutate.py
certora_cli/certoraRun.py
certora_cli/../scripts/EquivalenceCheck/Eq_default.conf
certora_cli/../scripts/EquivalenceCheck/Eq_mc_template.spec
certora_cli/../scripts/EquivalenceCheck/Eq_sanity.conf
certora_cli/../scripts/EquivalenceCheck/Eq_template.spec
certora_cli/../scripts/EquivalenceCheck/equivCheck.py
certora_cli/../scripts/EquivalenceCheck/sanity.spec
certora_cli_alpha_uri_eradicate_certora_dir.egg-info/PKG-INFO
certora_cli_alpha_uri_eradicate_certora_dir.egg-info/SOURCES.txt
certora_cli_alpha_uri_eradicate_certora_dir.egg-info/dependency_links.txt
certora_cli_alpha_uri_eradicate_certora_dir.egg-info/entry_points.txt
certora_cli_alpha_uri_eradicate_certora_dir.egg-info/requires.txt
certora_cli_alpha_uri_eradicate_certora_dir.egg-info/top_level.txt
release_bins/__init__.py
release_bins/certora_jars/MutationTest.jar
release_bins/certora_jars/Typechecker.3.6.5.jar
release_bins/certora_jars/Typechecker.jar
release_bins/certora_jars/__init__.py