.gitignore
.gitmodules
LICENSE
README.md
pyproject.toml
requirements.txt
.github/ISSUE_TEMPLATE/bug_report.md
.github/ISSUE_TEMPLATE/feature_request.md
.github/workflows/codeql.yml
.github/workflows/publish.yml
.github/workflows/test.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/cheatcodes.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/test_cli.py
tests/test_sevm.py
tests/src/Const.sol
tests/src/Counter.sol
tests/src/Create.sol
tests/src/List.sol
tests/src/SignExtend.sol
tests/src/Storage.sol
tests/test/Arith.t.sol
tests/test/Block.t.sol
tests/test/Const.t.sol
tests/test/Counter.t.sol
tests/test/Create.t.sol
tests/test/Deal.t.sol
tests/test/Foundry.t.sol
tests/test/Invalid.t.sol
tests/test/Library.t.sol
tests/test/List.t.sol
tests/test/Opcode.t.sol
tests/test/Prank.t.sol
tests/test/Send.t.sol
tests/test/Setup.t.sol
tests/test/SetupPlus.t.sol
tests/test/SignExtend.t.sol
tests/test/Storage.t.sol
tests/test/Struct.t.sol
tests/test/Warp.t.sol