LICENSE
MANIFEST.in
README.md
setup.py
certora_bins/__init__.py
certora_cli/__init__.py
certora_cli/certoraEqCheck.py
certora_cli/certoraMutate.py
certora_cli/certoraRun.py
certora_cli/EVMVerifier/__init__.py
certora_cli/EVMVerifier/certoraBuild.py
certora_cli/EVMVerifier/certoraCloudIO.py
certora_cli/EVMVerifier/certoraCollectRunMetadata.py
certora_cli/EVMVerifier/certoraConfigIO.py
certora_cli/EVMVerifier/certoraContext.py
certora_cli/EVMVerifier/certoraContextAttribute.py
certora_cli/EVMVerifier/certoraContextClass.py
certora_cli/EVMVerifier/certoraContextValidator.py
certora_cli/EVMVerifier/certoraExtensionInfo.py
certora_cli/EVMVerifier/certoraJobList.py
certora_cli/EVMVerifier/certoraNodeFilters.py
certora_cli/EVMVerifier/certoraType.py
certora_cli/EVMVerifier/certoraValidateFuncs.py
certora_cli/EVMVerifier/Compiler/CompilerCollector.py
certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py
certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py
certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py
certora_cli/EVMVerifier/Compiler/__init__.py
certora_cli/EquivalenceCheck/Eq_default.conf
certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec
certora_cli/EquivalenceCheck/Eq_mc_template.spec
certora_cli/EquivalenceCheck/Eq_sanity.conf
certora_cli/EquivalenceCheck/Eq_template.spec
certora_cli/EquivalenceCheck/__init__.py
certora_cli/EquivalenceCheck/equivCheck.py
certora_cli/EquivalenceCheck/sanity.spec
certora_cli/Shared/ExpectedComparator.py
certora_cli/Shared/__init__.py
certora_cli/Shared/certoraLogging.py
certora_cli/Shared/certoraUtils.py
certora_cli_beta.egg-info/PKG-INFO
certora_cli_beta.egg-info/SOURCES.txt
certora_cli_beta.egg-info/dependency_links.txt
certora_cli_beta.egg-info/entry_points.txt
certora_cli_beta.egg-info/requires.txt
certora_cli_beta.egg-info/top_level.txt
certora_jars/CERTORA-CLI-VERSION-METADATA.json
certora_jars/Typechecker.jar
certora_jars/__init__.py