dolmos 0.1.0__tar.gz

dolmos-0.1.0/.git-blame-ignore-revs

@@ -0,0 +1,3 @@
+# Migrate code style to Black
+449404c7a2b318b8203dbccbeac11c87d20c422f
+00cc14c20659cbf717594451dfc7906b295dca98

dolmos-0.1.0/.gitignore

@@ -0,0 +1,36 @@
+# Byte-compiled / optimized
+__pycache__/
+
+# Distribution / packaging
+*.egg-info/
+
+# Pyre type checker
+.pyre/
+
+# Vim tmp files:
+*~
+*.swp
+*.swo
+
+# Environments
+/.env
+.venv*
+env/
+venv/
+
+# Foundry build files
+cache/
+out/
+
+# VS Code
+.vscode/
+
+# https://docs.astral.sh/uv/concepts/projects/layout/#the-lockfile
+# we go against the recommended best practice and don't add it to source control:
+# - adds too much noise
+# - adds friction to CI
+# (at the cost of reproducible builds)
+uv.lock
+
+# https://docs.astral.sh/uv/concepts/projects/layout/#the-build-directory
+build/

dolmos-0.1.0/.gitmodules

@@ -0,0 +1,15 @@
+[submodule "tests/lib/forge-std"]
+	path = tests/lib/forge-std
+	url = https://github.com/foundry-rs/forge-std
+[submodule "tests/lib/halmos-cheatcodes"]
+	path = tests/lib/halmos-cheatcodes
+	url = https://github.com/a16z/halmos-cheatcodes
+[submodule "tests/lib/openzeppelin-contracts"]
+	path = tests/lib/openzeppelin-contracts
+	url = https://github.com/OpenZeppelin/openzeppelin-contracts
+[submodule "tests/lib/solmate"]
+	path = tests/lib/solmate
+	url = https://github.com/transmissions11/solmate
+[submodule "tests/lib/solady"]
+	path = tests/lib/solady
+	url = https://github.com/Vectorized/solady

dolmos-0.1.0/.pre-commit-config.yaml

@@ -0,0 +1,13 @@
+repos:
+
+- repo: https://github.com/astral-sh/ruff-pre-commit
+  # Ruff version.
+  rev: v0.6.2
+  hooks:
+    # Run the linter.
+    - id: ruff
+      # don't autofix by default, this runs in CI
+      # to run fix locally, use `ruff check src/ --fix`
+      # args: [ --fix ]
+    # Run the formatter.
+    - id: ruff-format

dolmos-0.1.0/BUILDING.md

@@ -0,0 +1 @@
+pip install -e ".[dev]"

dolmos-0.1.0/CHANGELOG.md

@@ -0,0 +1,41 @@
+# Changelog
+
+All notable changes to dolmos are documented here. The format follows
+[Keep a Changelog](https://keepachangelog.com/en/1.1.0/) and versions follow
+[Semantic Versioning](https://semver.org/). Dolmos is derived from halmos; see
+[NOTICE](NOTICE) for the upstream commit it is based on.
+
+## [Unreleased]
+
+## [0.1.0] - 2026-09-22
+
+First release of dolmos.
+
+### Added
+
+- CREATE address derivation from `keccak256(rlp([sender, nonce]))` and account
+  nonces (EIP-161), so that CREATE3-style address prediction matches execution
+- nonce cheatcodes: `vm.getNonce`, `vm.setNonce`, `vm.setNonceUnsafe`,
+  `vm.resetNonce`
+- opcodes `CLZ` (EIP-7939), `BLOBHASH` and `BLOBBASEFEE` (EIP-4844)
+- experimental Vyper support: Vyper test contracts, Solidity tests targeting
+  Vyper contracts, `@custom:dolmos` annotations in docstrings,
+  `--invalid-as-failure`
+- `dolmos.toml` configuration file and `@custom:dolmos` annotations
+  (`halmos.toml`, `@custom:halmos` and `HALMOS_ALLOW_DOWNLOAD` remain accepted)
+- PyPI package and Docker image `ghcr.io/dowsers/dolmos`
+
+### Changed
+
+- command, Python package and symbolic variable prefix renamed from `halmos` to
+  `dolmos`; downloaded solvers are cached in `~/.dolmos/solvers`
+
+### Fixed
+
+- Vyper artifact lookup in the forge cache on Windows
+- builds with forge ≥ 1.8: `dynamic_test_linking` is disabled when dolmos runs
+  `forge build`, since it rewrites `new C()` into unsupported `vm.deployCode`
+  calls
+
+[Unreleased]: https://github.com/Dowsers/dolmos/compare/v0.1.0...HEAD
+[0.1.0]: https://github.com/Dowsers/dolmos/releases/tag/v0.1.0

dolmos-0.1.0/CONTRIBUTING.md

@@ -0,0 +1,94 @@
+# Contributing to dolmos
+
+Bug reports, suggestions and pull requests are welcome on
+[GitHub](https://github.com/Dowsers/dolmos/issues).
+
+## Development Setup
+
+Clone or fork the repository:
+
+```sh
+# if you want to submit a pull request, fork the repository:
+gh repo fork Dowsers/dolmos
+
+# Or, if you just want to develop locally, clone it:
+git clone git@github.com:Dowsers/dolmos.git
+
+# navigate to the project directory
+cd dolmos
+```
+
+**Recommended**: set up the development environment using [uv](https://docs.astral.sh/uv/):
+
+```sh
+# install uv
+curl -LsSf https://astral.sh/uv/install.sh | sh
+
+# this does a lot of things:
+# - install a suitable python version if one is not found
+# - create a virtual environment in `.venv`
+# - install the main dependencies
+# - install the development dependencies
+# - generates a `uv.lock` file
+uv sync --extra dev
+
+# install and run the pre-commit hooks
+uv run pre-commit install
+uv run pre-commit run --all-files
+
+# make changes to dolmos, then run it with:
+uv run dolmos
+
+# run the tests with:
+uv run pytest
+
+# add a dependency to the project:
+uv add <dependency>
+
+# remove a dependency from the project:
+uv remove <dependency>
+
+# update a dependency to the latest version:
+uv lock --upgrade-package <dependency>
+
+# to manually update the environment and activate it:
+uv sync
+source .venv/bin/activate
+```
+
+Alternatively, you can manage the python version and the virtual environment manually using `pip` (not recommended for most users):
+
+```sh
+# create and activate a virtual environment with a suitable python version
+python3.12 -m venv .venv && source .venv/bin/activate
+
+# install dolmos and its runtime dependencies in editable mode
+python -m pip install -e ".[dev]"
+
+# install and run the pre-commit hooks
+pre-commit install
+pre-commit run --all-files
+```
+
+
+## Coding Style
+
+We recommend enabling the [ruff] formatter in your editor, but you can run it manually if needed:
+
+```sh
+python -m ruff check src/
+```
+
+[ruff]: <https://docs.astral.sh/ruff/>
+
+## GitHub Codespace
+
+A pre-configured development environment is available as a GitHub Codespaces dev container.
+
+## License
+
+By contributing, you agree that your contributions will be licensed under its [AGPL-3.0](LICENSE) License.
+
+## Disclaimer
+
+See the disclaimer in the [README](README.md#disclaimer).