.git-blame-ignore-revs
.gitignore
.gitmodules
.pre-commit-config.yaml
LICENSE
README.md
pyproject.toml
requirements-dev.txt
requirements.txt
.github/ISSUE_TEMPLATE/bug_report.md
.github/ISSUE_TEMPLATE/feature_request.md
.github/workflows/black.yml
.github/workflows/codeql.yml
.github/workflows/publish.yml
.github/workflows/test-external.yml
.github/workflows/test-long.yml
.github/workflows/test.yml
benchmarks/baolean.sh
examples/README.md
examples/tokens/ERC20/foundry.toml
examples/tokens/ERC20/remappings.txt
examples/tokens/ERC20/src/OpenZeppelinERC20.sol
examples/tokens/ERC20/src/SolmateERC20.sol
examples/tokens/ERC20/test/DEIStablecoin.sol
examples/tokens/ERC20/test/DEIStablecoin.t.sol
examples/tokens/ERC20/test/ERC20Test.sol
examples/tokens/ERC20/test/OpenZeppelinERC20.t.sol
examples/tokens/ERC20/test/SolmateERC20.t.sol
examples/tokens/ERC721/foundry.toml
examples/tokens/ERC721/remappings.txt
examples/tokens/ERC721/src/OpenZeppelinERC721.sol
examples/tokens/ERC721/src/SolmateERC721.sol
examples/tokens/ERC721/test/ERC721Test.sol
examples/tokens/ERC721/test/OpenZeppelinERC721.t.sol
examples/tokens/ERC721/test/SolmateERC721.t.sol
examples/toy/foundry.toml
examples/toy/src/Example.sol
examples/toy/test/Example.t.sol
src/halmos/__init__.py
src/halmos/__main__.py
src/halmos/cheatcodes.py
src/halmos/parser.py
src/halmos/pools.py
src/halmos/sevm.py
src/halmos/utils.py
src/halmos/warnings.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/conftest.py
tests/foundry.toml
tests/test_cli.py
tests/test_fixtures.py
tests/test_halmos.py
tests/test_sevm.py
tests/expected/all.json
tests/expected/erc20.json
tests/expected/erc721.json
tests/expected/toy.json
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/AssertTest.sol
tests/test/Block.t.sol
tests/test/Byte.t.sol
tests/test/Console.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/Getter.t.sol
tests/test/HalmosCheatCode.t.sol
tests/test/Invalid.t.sol
tests/test/Library.t.sol
tests/test/LibraryLinking.t.sol
tests/test/List.t.sol
tests/test/Math.t.sol
tests/test/Natspec.t.sol
tests/test/Opcode.t.sol
tests/test/Prank.t.sol
tests/test/Proxy.t.sol
tests/test/Reset.t.sol
tests/test/Revert.t.sol
tests/test/Send.t.sol
tests/test/Setup.t.sol
tests/test/SetupPlus.t.sol
tests/test/SetupSymbolic.t.sol
tests/test/SignExtend.t.sol
tests/test/Solver.t.sol
tests/test/Storage.t.sol
tests/test/Store.t.sol
tests/test/Struct.t.sol
tests/test/TestConstructor.t.sol
tests/test/Token.t.sol
tests/test/UnsupportedOpcode.t.sol
tests/test/Warp.t.sol