.git-blame-ignore-revs
.gitignore
.gitmodules
.pre-commit-config.yaml
BUILDING.md
CHANGELOG.md
CONTRIBUTING.md
LICENSE
MANIFEST.in
NOTICE
README.md
RELEASING.md
pyproject.toml
requirements-benchmark.txt
docs/getting-started.md
docs/warnings.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/dolmos/Dockerfile
packages/dolmos/README.md
packages/dolmos-builder/Dockerfile
packages/solvers/.dockerignore
packages/solvers/Dockerfile
packages/solvers/README.md
src/dolmos/__init__.py
src/dolmos/__main__.py
src/dolmos/assertions.py
src/dolmos/bitvec.py
src/dolmos/build.py
src/dolmos/bytevec.py
src/dolmos/calldata.py
src/dolmos/cheatcodes.py
src/dolmos/config.py
src/dolmos/console.py
src/dolmos/constants.py
src/dolmos/contract.py
src/dolmos/env.py
src/dolmos/exceptions.py
src/dolmos/flamegraphs.py
src/dolmos/hashes.py
src/dolmos/logs.py
src/dolmos/mapper.py
src/dolmos/memtrace.py
src/dolmos/processes.py
src/dolmos/sevm.py
src/dolmos/solve.py
src/dolmos/solvers.py
src/dolmos/traces.py
src/dolmos/ui.py
src/dolmos/utils.py
src/dolmos.egg-info/PKG-INFO
src/dolmos.egg-info/SOURCES.txt
src/dolmos.egg-info/dependency_links.txt
src/dolmos.egg-info/entry_points.txt
src/dolmos.egg-info/requires.txt
src/dolmos.egg-info/scm_file_list.json
src/dolmos.egg-info/scm_version.json
src/dolmos.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_dolmos.py
tests/test_fixtures.py
tests/test_mapper.py
tests/test_natspec.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/test_vyper.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/expected/vyper.json
tests/ffi/foundry.toml
tests/ffi/remappings.txt
tests/ffi/test/Ffi.t.sol
tests/regression/.env
tests/regression/dolmos.toml
tests/regression/foundry.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/Create3.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/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/OpCodesBlobBaseFee_BlobHash.t.sol
tests/regression/test/OpCodesCLZ.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/SvmCheatCode.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
tests/vyper/foundry.toml
tests/vyper/remappings.txt
tests/vyper/src/Counter.vy
tests/vyper/src/Immutable.vy
tests/vyper/src/Vault.vy
tests/vyper/test/CounterTest.vy
tests/vyper/test/VyperTarget.t.sol