.git-blame-ignore-revs
.gitignore
.gitmodules
.pre-commit-config.yaml
CONTRIBUTING.md
LICENSE
README.md
pyproject.toml
requirements-benchmark.txt
.devcontainer/devcontainer.json
.devcontainer/postCreate.sh
.github/copilot-instructions.md
.github/ISSUE_TEMPLATE/bug_report.md
.github/ISSUE_TEMPLATE/feature_request.md
.github/workflows/copilot-setup-steps.yml
.github/workflows/pre-commit.yml
.github/workflows/publish-halmos-builder-package.yml
.github/workflows/publish-halmos-package.yml
.github/workflows/publish-pypi.yml
.github/workflows/publish-solvers-package.yml
.github/workflows/test-external.yml
.github/workflows/test-ffi.yml
.github/workflows/test-long.yml
.github/workflows/test.yml
benchmarks/baolean.sh
docs/getting-started.md
examples/README.md
examples/invariants/README.md
examples/invariants/foundry.toml
examples/invariants/remappings.txt
examples/invariants/src/ERC20.sol
examples/invariants/src/ERC721.sol
examples/invariants/src/MiniVat.sol
examples/invariants/src/Vat.sol
examples/invariants/test/ERC20.t.sol
examples/invariants/test/ERC721.t.sol
examples/invariants/test/MiniVat.t.sol
examples/invariants/test/Reentrancy.t.sol
examples/invariants/test/SimpleState.t.sol
examples/invariants/test/Vat.t.sol
examples/simple/README.md
examples/simple/foundry.toml
examples/simple/remappings.txt
examples/simple/src/BadElections.sol
examples/simple/src/IsPowerOfTwo.sol
examples/simple/src/TotalPrice.sol
examples/simple/src/Vault.sol
examples/simple/src/multicaller/MulticallerWithSender.sol
examples/simple/test/BadElections.t.sol
examples/simple/test/Fork.t.sol
examples/simple/test/IsPowerOfTwo.t.sol
examples/simple/test/Multicaller.t.sol
examples/simple/test/TotalPrice.t.sol
examples/simple/test/Vault.t.sol
examples/tokens/ERC20/foundry.toml
examples/tokens/ERC20/remappings.txt
examples/tokens/ERC20/src/BackdoorERC20.sol
examples/tokens/ERC20/src/OpenZeppelinERC20.sol
examples/tokens/ERC20/src/SoladyERC20.sol
examples/tokens/ERC20/src/SolmateERC20.sol
examples/tokens/ERC20/test/BackdoorERC20.t.sol
examples/tokens/ERC20/test/CurveTokenV3.t.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/SoladyERC20.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/SoladyERC721.sol
examples/tokens/ERC721/src/SolmateERC721.sol
examples/tokens/ERC721/test/ERC721Test.sol
examples/tokens/ERC721/test/OpenZeppelinERC721.t.sol
examples/tokens/ERC721/test/SoladyERC721.t.sol
examples/tokens/ERC721/test/SolmateERC721.t.sol
packages/halmos/Dockerfile
packages/halmos/README.md
packages/halmos-builder/Dockerfile
packages/solvers/.dockerignore
packages/solvers/Dockerfile
packages/solvers/README.md
src/halmos/__init__.py
src/halmos/__main__.py
src/halmos/assertions.py
src/halmos/bitvec.py
src/halmos/build.py
src/halmos/bytevec.py
src/halmos/calldata.py
src/halmos/cheatcodes.py
src/halmos/config.py
src/halmos/console.py
src/halmos/constants.py
src/halmos/contract.py
src/halmos/env.py
src/halmos/exceptions.py
src/halmos/flamegraphs.py
src/halmos/hashes.py
src/halmos/logs.py
src/halmos/mapper.py
src/halmos/memtrace.py
src/halmos/processes.py
src/halmos/sevm.py
src/halmos/solve.py
src/halmos/solvers.py
src/halmos/traces.py
src/halmos/ui.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/conftest.py
tests/test_bitvec.py
tests/test_bytevec.py
tests/test_cli.py
tests/test_config.py
tests/test_fixtures.py
tests/test_halmos.py
tests/test_mapper.py
tests/test_prank.py
tests/test_sevm.py
tests/test_solve.py
tests/test_source_map.py
tests/test_traces.py
tests/test_utils.py
tests/data/multi-contract-ast.json
tests/expected/all.json
tests/expected/erc20.json
tests/expected/erc721.json
tests/expected/ffi.json
tests/expected/invariants.json
tests/expected/simple.json
tests/expected/solver.json
tests/ffi/foundry.toml
tests/ffi/remappings.txt
tests/ffi/test/Ffi.t.sol
tests/regression/.env
tests/regression/foundry.toml
tests/regression/halmos.toml
tests/regression/remappings.txt
tests/regression/src/Const.sol
tests/regression/src/Counter.sol
tests/regression/src/Create.sol
tests/regression/src/List.sol
tests/regression/src/SignExtend.sol
tests/regression/src/Storage.sol
tests/regression/test/Arith.t.sol
tests/regression/test/AssertTest.t.sol
tests/regression/test/Block.t.sol
tests/regression/test/BlockNumber.t.sol
tests/regression/test/Buffers.t.sol
tests/regression/test/Byte.t.sol
tests/regression/test/Call.t.sol
tests/regression/test/CallAlias.t.sol
tests/regression/test/Concretization.t.sol
tests/regression/test/Console.t.sol
tests/regression/test/Const.t.sol
tests/regression/test/Constructor.t.sol
tests/regression/test/Context.t.sol
tests/regression/test/Counter.t.sol
tests/regression/test/Create.t.sol
tests/regression/test/Create2.t.sol
tests/regression/test/Deal.t.sol
tests/regression/test/Extcodehash.t.sol
tests/regression/test/Foundry.t.sol
tests/regression/test/Getter.t.sol
tests/regression/test/HalmosCheatCode.t.sol
tests/regression/test/Invalid.t.sol
tests/regression/test/Invariant.t.sol
tests/regression/test/InvariantProbes.t.sol
tests/regression/test/InvariantSender.t.sol
tests/regression/test/InvariantSender2.t.sol
tests/regression/test/InvariantTarget.t.sol
tests/regression/test/InvariantTarget2.t.sol
tests/regression/test/InvariantTargetThis.t.sol
tests/regression/test/InvariantTimestamp.t.sol
tests/regression/test/Library.t.sol
tests/regression/test/LibraryLinking.t.sol
tests/regression/test/List.t.sol
tests/regression/test/MegaMem.t.sol
tests/regression/test/Natspec.t.sol
tests/regression/test/Opcode.t.sol
tests/regression/test/Panic.t.sol
tests/regression/test/Prank.t.sol
tests/regression/test/Proxy.t.sol
tests/regression/test/Revert.t.sol
tests/regression/test/Send.t.sol
tests/regression/test/Setup.t.sol
tests/regression/test/SetupPlus.t.sol
tests/regression/test/SetupSymbolic.t.sol
tests/regression/test/Sha3.t.sol
tests/regression/test/SignExtend.t.sol
tests/regression/test/Signature.t.sol
tests/regression/test/SimpleState.t.sol
tests/regression/test/SmolWETH.t.sol
tests/regression/test/Snapshot.t.sol
tests/regression/test/Solver.t.sol
tests/regression/test/SortMismatch.t.sol
tests/regression/test/StaticContexts.t.sol
tests/regression/test/StdAssertTest.t.sol
tests/regression/test/Storage.t.sol
tests/regression/test/Storage2.t.sol
tests/regression/test/Storage3.t.sol
tests/regression/test/Storage4.t.sol
tests/regression/test/Storage5.t.sol
tests/regression/test/StorageSlot.t.sol
tests/regression/test/Store.t.sol
tests/regression/test/Struct.t.sol
tests/regression/test/SymbolicCall.t.sol
tests/regression/test/TStore.t.sol
tests/regression/test/TestConstructor.t.sol
tests/regression/test/Token.t.sol
tests/regression/test/UniswapPairAddress.t.sol
tests/regression/test/UnknownCall.t.sol
tests/regression/test/UnsupportedOpcode.t.sol
tests/regression/test/Warp.t.sol
tests/solver/foundry.toml
tests/solver/remappings.txt
tests/solver/test/Math.t.sol
tests/solver/test/SignedDiv.t.sol
tests/solver/test/Solver.t.sol