.gitmodules
LICENSE
README.md
pyproject.toml
requirements.txt
.github/workflows/publish.yml
examples/foundry.toml
examples/src/Example.sol
examples/test/Example.t.sol
src/halmos/__init__.py
src/halmos/__main__.py
src/halmos/byte2op.py
src/halmos/sevm.py
src/halmos/utils.py
src/halmos.egg-info/PKG-INFO
src/halmos.egg-info/SOURCES.txt
src/halmos.egg-info/dependency_links.txt
src/halmos.egg-info/entry_points.txt
src/halmos.egg-info/requires.txt
src/halmos.egg-info/top_level.txt
tests/foundry.toml
tests/src/Counter.sol
tests/test/Counter.t.sol
tests/test/Foundry.t.sol