Skip to content

chore: consolidate spec/agent tooling and add skill mirror generation - #453

Merged
zoowii merged 1 commit into
DTVMStack:mainfrom
zoowii:featshaoding/piquant-antlion
Apr 8, 2026
Merged

chore: consolidate spec/agent tooling and add skill mirror generation#453
zoowii merged 1 commit into
DTVMStack:mainfrom
zoowii:featshaoding/piquant-antlion

Conversation

@zoowii

@zoowii zoowii commented Apr 8, 2026

Copy link
Copy Markdown
Contributor

Move specs/ content into docs/ to consolidate all project documentation under a single directory. Remove specs/ entirely, merge specs/AGENTS.md into top-level AGENTS.md, and update all path references in skills, constitution, templates, and module specs.

1. Does this PR affect any open issues?(Y/N) and add issue references (e.g. "fix #123", "re #123".):

  • N
  • Y

2. What is the scope of this PR (e.g. component or file name):

3. Provide a description of the PR(e.g. more details, effects, motivations or doc link):

  • Affects user behaviors
  • Contains CI/CD configuration changes
  • Contains documentation changes
  • Contains experimental features
  • Performance regression: Consumes more CPU
  • Performance regression: Consumes more Memory
  • Other

4. Are there any breaking changes?(Y/N) and describe the breaking changes(e.g. more details, motivations or doc link):

  • N
  • Y

5. Are there test cases for these changes?(Y/N) select and add more details, references or doc links:

  • Unit test
  • Integration test
  • Benchmark (add benchmark stats below)
  • Manual test (add detailed scripts or steps below)
  • Other

6. Release note

None

Move specs/ content into docs/ to consolidate all project documentation
under a single directory. Remove specs/ entirely, merge specs/AGENTS.md
into top-level AGENTS.md, and update all path references in skills,
constitution, templates, and module specs.
Copilot AI review requested due to automatic review settings April 8, 2026 10:46
@zoowii
zoowii merged commit 63b3188 into DTVMStack:main Apr 8, 2026
17 checks passed

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR consolidates the project’s spec/agent documentation and workflow tooling under docs/ and .agents/, removes the legacy specs/ + Spec-Kit scaffolding, and introduces generation of Claude Code “skill mirror” files.

Changes:

  • Remove the legacy specs/ SSOT and migrate module/spec documentation into docs/modules/ (plus new architecture, data-model, code-style, and change-proposal docs).
  • Consolidate agent guidance into top-level AGENTS.md, reframe workflow around docs/changes/, and simplify .agents/skills/ to a smaller curated set.
  • Add .agents/tooling/generate_skill_mirrors.py and commit generated .claude/skills/* mirrors, with .gitignore updated to keep mirrors tracked.

Reviewed changes

Copilot reviewed 44 out of 93 changed files in this pull request and generated no comments.

Show a summary per file
File Description
specs/README.md Removes legacy specs SSOT README (specs/ directory retired).
specs/features/README.md Removes legacy feature-spec workflow doc under specs/.
specs/AGENTS.md Removes legacy agent behavior rules under specs/.
docs/modules/vm-interface/spec.md Adds vm-interface module SSOT under docs/.
docs/modules/tools/spec.md Updates cross-reference links to new docs layout.
docs/modules/tests/spec.md Updates cross-reference links (including AGENTS path).
docs/modules/singlepass/spec.md Updates data-model reference to local file.
docs/modules/rust-bindings/spec.md Adds rust-bindings module SSOT under docs/.
docs/modules/runtime/spec.md Adds runtime module SSOT under docs/.
docs/modules/README.md Adds module index for docs/modules/.
docs/modules/platform/spec.md Adds platform module SSOT under docs/.
docs/modules/platform/data-model.md Adds platform module data model doc.
docs/modules/host/spec.md Adds host module SSOT under docs/.
docs/modules/host/data-model.md Adds host module data model doc.
docs/modules/evm/spec.md Adds evm module SSOT under docs/.
docs/modules/evm/data-model.md Adds evm module data model doc.
docs/modules/compiler/spec.md Fixes archived-spec cross-reference path after docs move.
docs/modules/common/spec.md Adds common module SSOT under docs/.
docs/modules/cli/spec.md Adds cli module SSOT under docs/.
docs/modules/cli/data-model.md Adds cli module data model doc.
docs/modules/action/spec.md Adds action module SSOT under docs/.
docs/data-model/README.md Adds global data model doc (shared types overview).
docs/code-style/README.md Adds coding style guide under docs/.
docs/changes/template.md Adds full change proposal template under docs/changes/.
docs/changes/template-light.md Adds light change proposal template under docs/changes/.
docs/changes/README.md Adds change-proposal process documentation.
docs/architecture/README.md Adds high-level architecture documentation under docs/.
docs/_archive/README.md Updates archive notes to point to docs/changes/ workflow.
docs/_archive/2026-04/update-evm-memory-block-precheck/tasks.md Adds archived change task list.
docs/_archive/2026-04/update-evm-memory-block-precheck/specs/evm-jit/spec.md Adds archived delta spec for evm-jit.
docs/_archive/2026-04/update-evm-memory-block-precheck/proposal.md Updates archived proposal paths to docs/_archive locations.
docs/_archive/2026-03/add-evm-jit-fallback/tasks.md Adds archived change task list.
docs/_archive/2026-03/add-evm-jit-fallback/specs/evm-jit-fallback/spec.md Adds archived delta spec for JIT fallback.
docs/_archive/2026-03/add-evm-jit-fallback/specs/evm-execution/spec.md Adds archived delta spec for execution semantics.
docs/_archive/2026-03/add-evm-jit-fallback/proposal.md Adds archived proposal doc.
docs/_archive/2026-03/add-evm-jit-fallback/design.md Adds archived design doc.
docs/_archive/2026-02/add-jit-suitability-checker/tasks.md Adds archived change task list.
docs/_archive/2026-02/add-jit-suitability-checker/specs/evm-jit/spec.md Adds archived delta spec for JIT suitability.
docs/_archive/2026-02/add-jit-suitability-checker/proposal.md Adds archived proposal doc.
docs/_archive/2026-02/add-jit-suitability-checker/design.md Adds archived design doc.
docs/_archive/2026-02/add-clz-opcode/tasks.md Adds archived change task list.
docs/_archive/2026-02/add-clz-opcode/specs/evm-jit/spec.md Adds archived delta spec for CLZ JIT support.
docs/_archive/2026-02/add-clz-opcode/specs/evm-execution/spec.md Adds archived delta spec for CLZ execution.
docs/_archive/2026-02/add-clz-opcode/proposal.md Adds archived proposal doc.
docs/_archive/2026-01/add-evmc-vm-interface-lib/tasks.md Adds archived change task list.
docs/_archive/2026-01/add-evmc-vm-interface-lib/proposal.md Adds archived proposal doc.
AGENTS.md Consolidates agent guidance and updates workflow + skill mirror generation instructions.
.specify/templates/tasks-template.md Removes legacy Spec-Kit task template.
.specify/templates/spec-template.md Removes legacy Spec-Kit spec template.
.specify/templates/plan-template.md Removes legacy Spec-Kit plan template.
.specify/templates/checklist-template.md Removes legacy Spec-Kit checklist template.
.specify/templates/agent-file-template.md Removes legacy Spec-Kit agent context template.
.specify/scripts/bash/setup-plan.sh Removes legacy Spec-Kit planning setup script.
.specify/scripts/bash/common.sh Removes legacy Spec-Kit shared bash helpers.
.specify/scripts/bash/check-worktree.sh Removes legacy Spec-Kit worktree check script.
.specify/scripts/bash/check-prerequisites.sh Removes legacy Spec-Kit prereq checker.
.specify/memory/constitution.md Updates constitution to new docs/changes + skills SSOT model; updates last-updated date.
.gitignore Ignores .claude/* but keeps .claude/skills/ mirrors tracked.
.claude/skills/dtvm-perf-profile/SKILL.md Adds generated Claude Code mirror for dtvm-perf-profile skill.
.claude/skills/dmir-compiler-analysis/SKILL.md Adds generated Claude Code mirror for dmir-compiler-analysis skill.
.claude/skills/dev-workflow/SKILL.md Adds generated Claude Code mirror for dev-workflow skill.
.claude/skills/archive/SKILL.md Adds generated Claude Code mirror for archive skill.
.agents/tooling/generate_skill_mirrors.py Adds generator script (and --check mode) for Claude skill mirrors.
.agents/skills/speckit-taskstoissues/SKILL.md Removes legacy speckit-taskstoissues skill.
.agents/skills/speckit-tasks/SKILL.md Removes legacy speckit-tasks skill.
.agents/skills/speckit-specify/SKILL.md Removes legacy speckit-specify skill.
.agents/skills/speckit-plan/SKILL.md Removes legacy speckit-plan skill.
.agents/skills/speckit-implement/SKILL.md Removes legacy speckit-implement skill.
.agents/skills/speckit-dev-workflow/SKILL.md Removes legacy speckit-dev-workflow skill.
.agents/skills/speckit-constitution/SKILL.md Removes legacy speckit-constitution skill.
.agents/skills/speckit-clarify/SKILL.md Removes legacy speckit-clarify skill.
.agents/skills/speckit-checklist/SKILL.md Removes legacy speckit-checklist skill.
.agents/skills/speckit-archive/SKILL.md Removes legacy speckit-archive skill.
.agents/skills/speckit-analyze/SKILL.md Removes legacy speckit-analyze skill.
.agents/skills/README.md Rewrites skills README to reflect new SSOT and curated skill set.
.agents/skills/dev-workflow/SKILL.md Adds new dev-workflow skill definition.
.agents/skills/archive/SKILL.md Adds new archive skill definition.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@github-actions

github-actions Bot commented Apr 8, 2026

Copy link
Copy Markdown

⚡ Performance Regression Check Results

✅ Performance Check Passed (interpreter)

Performance Benchmark Results (threshold: 25%)

Benchmark Baseline (us) Current (us) Change Status
total/main/blake2b_huff/8415nulls 1.52 1.54 +1.4% PASS
total/main/blake2b_huff/empty 0.02 0.02 +0.4% PASS
total/main/blake2b_shifts/8415nulls 11.60 11.52 -0.7% PASS
total/main/sha1_divs/5311 5.07 5.09 +0.4% PASS
total/main/sha1_divs/empty 0.06 0.06 -0.2% PASS
total/main/sha1_shifts/5311 2.80 2.81 +0.3% PASS
total/main/sha1_shifts/empty 0.03 0.04 +2.9% PASS
total/main/snailtracer/benchmark 52.27 52.03 -0.5% PASS
total/main/structarray_alloc/nfts_rank 0.97 0.97 +0.1% PASS
total/main/swap_math/insufficient_liquidity 0.00 0.00 +0.4% PASS
total/main/swap_math/received 0.00 0.00 +0.5% PASS
total/main/swap_math/spent 0.00 0.00 +0.4% PASS
total/main/weierstrudel/1 0.29 0.29 -0.4% PASS
total/main/weierstrudel/15 3.15 3.15 -0.0% PASS
total/micro/JUMPDEST_n0/empty 1.79 1.80 +0.1% PASS
total/micro/jump_around/empty 0.09 0.10 +2.0% PASS
total/micro/loop_with_many_jumpdests/empty 27.42 27.43 +0.0% PASS
total/micro/memory_grow_mload/by1 0.09 0.08 -5.5% PASS
total/micro/memory_grow_mload/by16 0.10 0.10 -0.8% PASS
total/micro/memory_grow_mload/by32 0.11 0.11 +1.0% PASS
total/micro/memory_grow_mload/nogrow 0.08 0.08 -0.0% PASS
total/micro/memory_grow_mstore/by1 0.09 0.09 -0.7% PASS
total/micro/memory_grow_mstore/by16 0.10 0.10 +0.1% PASS
total/micro/memory_grow_mstore/by32 0.11 0.11 +0.1% PASS
total/micro/memory_grow_mstore/nogrow 0.09 0.09 -5.4% PASS
total/micro/signextend/one 0.23 0.23 -0.0% PASS
total/micro/signextend/zero 0.23 0.23 +0.3% PASS
total/synth/ADD/b0 1.98 1.98 +0.1% PASS
total/synth/ADD/b1 1.97 1.97 +0.0% PASS
total/synth/ADDRESS/a0 4.73 4.74 +0.0% PASS
total/synth/ADDRESS/a1 5.22 5.22 +0.0% PASS
total/synth/AND/b0 1.71 1.71 -0.0% PASS
total/synth/AND/b1 1.71 1.71 -0.0% PASS
total/synth/BYTE/b0 6.13 6.14 +0.1% PASS
total/synth/BYTE/b1 4.79 4.76 -0.5% PASS
total/synth/CALLDATASIZE/a0 3.50 3.50 +0.0% PASS
total/synth/CALLDATASIZE/a1 3.51 3.51 -0.0% PASS
total/synth/CALLER/a0 4.75 4.76 +0.1% PASS
total/synth/CALLER/a1 5.24 5.23 -0.1% PASS
total/synth/CALLVALUE/a0 3.50 3.51 +0.1% PASS
total/synth/CALLVALUE/a1 3.52 3.52 +0.0% PASS
total/synth/CODESIZE/a0 3.83 3.83 +0.0% PASS
total/synth/CODESIZE/a1 3.82 3.60 -5.9% PASS
total/synth/DUP1/d0 1.14 1.14 +0.1% PASS
total/synth/DUP1/d1 1.31 1.31 +0.0% PASS
total/synth/DUP10/d0 0.90 0.99 +9.2% PASS
total/synth/DUP10/d1 1.23 1.02 -17.3% PASS
total/synth/DUP11/d0 0.90 1.15 +26.7% PASS
total/synth/DUP11/d1 1.23 1.23 -0.0% PASS
total/synth/DUP12/d0 0.66 1.15 +72.2% PASS
total/synth/DUP12/d1 1.23 1.23 +0.1% PASS
total/synth/DUP13/d0 0.91 1.15 +26.6% PASS
total/synth/DUP13/d1 1.23 1.23 +0.0% PASS
total/synth/DUP14/d0 0.91 1.15 +26.5% PASS
total/synth/DUP14/d1 1.23 1.23 -0.1% PASS
total/synth/DUP15/d0 0.91 1.15 +26.5% PASS
total/synth/DUP15/d1 1.23 1.23 +0.0% PASS
total/synth/DUP16/d0 0.91 0.91 +0.2% PASS
total/synth/DUP16/d1 1.23 1.23 +0.1% PASS
total/synth/DUP2/d0 0.90 1.14 +27.0% PASS
total/synth/DUP2/d1 1.24 1.03 -16.6% PASS
total/synth/DUP3/d0 0.90 1.14 +27.0% PASS
total/synth/DUP3/d1 1.23 1.00 -19.1% PASS
total/synth/DUP4/d0 0.90 1.14 +26.8% PASS
total/synth/DUP4/d1 1.23 1.23 -0.0% PASS
total/synth/DUP5/d0 0.90 0.91 +0.4% PASS
total/synth/DUP5/d1 1.23 1.23 -0.1% PASS
total/synth/DUP6/d0 0.90 1.15 +26.9% PASS
total/synth/DUP6/d1 1.23 1.23 +0.1% PASS
total/synth/DUP7/d0 1.15 1.15 +0.1% PASS
total/synth/DUP7/d1 1.23 1.23 -0.4% PASS
total/synth/DUP8/d0 0.91 0.98 +8.6% PASS
total/synth/DUP8/d1 1.23 1.23 -0.1% PASS
total/synth/DUP9/d0 0.91 0.91 +0.1% PASS
total/synth/DUP9/d1 1.23 1.23 -0.1% PASS
total/synth/EQ/b0 2.76 2.76 +0.0% PASS
total/synth/EQ/b1 1.34 1.34 -0.0% PASS
total/synth/GAS/a0 3.86 3.91 +1.4% PASS
total/synth/GAS/a1 3.93 3.95 +0.6% PASS
total/synth/GT/b0 2.59 2.59 -0.1% PASS
total/synth/GT/b1 1.64 1.64 -0.0% PASS
total/synth/ISZERO/u0 1.15 1.15 +0.0% PASS
total/synth/JUMPDEST/n0 1.80 1.79 -0.3% PASS
total/synth/LT/b0 2.63 2.62 -0.0% PASS
total/synth/LT/b1 1.64 1.64 -0.0% PASS
total/synth/MSIZE/a0 4.24 4.25 +0.0% PASS
total/synth/MSIZE/a1 4.75 4.75 +0.0% PASS
total/synth/MUL/b0 5.32 5.32 +0.0% PASS
total/synth/MUL/b1 5.29 5.29 -0.0% PASS
total/synth/NOT/u0 1.69 1.69 -0.2% PASS
total/synth/OR/b0 1.64 1.64 -0.0% PASS
total/synth/OR/b1 1.72 1.72 +0.1% PASS
total/synth/PC/a0 3.26 3.26 +0.0% PASS
total/synth/PC/a1 3.88 3.89 +0.3% PASS
total/synth/PUSH1/p0 1.15 0.91 -21.0% PASS
total/synth/PUSH1/p1 1.23 1.23 -0.1% PASS
total/synth/PUSH10/p0 0.91 1.14 +25.4% PASS
total/synth/PUSH10/p1 1.29 1.30 +0.4% PASS
total/synth/PUSH11/p0 0.91 0.91 +0.2% PASS
total/synth/PUSH11/p1 1.30 1.30 +0.1% PASS
total/synth/PUSH12/p0 0.91 1.15 +26.5% PASS
total/synth/PUSH12/p1 1.30 1.30 -0.1% PASS
total/synth/PUSH13/p0 1.07 0.91 -14.6% PASS
total/synth/PUSH13/p1 1.29 1.32 +2.5% PASS
total/synth/PUSH14/p0 0.95 0.95 -0.5% PASS
total/synth/PUSH14/p1 1.29 1.30 +0.2% PASS
total/synth/PUSH15/p0 1.15 1.15 -0.1% PASS
total/synth/PUSH15/p1 1.35 1.41 +4.7% PASS
total/synth/PUSH16/p0 1.07 1.15 +7.6% PASS
total/synth/PUSH16/p1 1.29 1.30 +0.5% PASS
total/synth/PUSH17/p0 0.91 0.91 +0.3% PASS
total/synth/PUSH17/p1 1.29 1.31 +1.4% PASS
total/synth/PUSH18/p0 0.91 0.91 -0.2% PASS
total/synth/PUSH18/p1 1.29 1.30 +0.8% PASS
total/synth/PUSH19/p0 0.91 0.91 -0.0% PASS
total/synth/PUSH19/p1 1.29 1.30 +0.7% PASS
total/synth/PUSH2/p0 0.91 0.91 +0.6% PASS
total/synth/PUSH2/p1 1.24 1.24 +0.1% PASS
total/synth/PUSH20/p0 1.15 1.15 +0.0% PASS
total/synth/PUSH20/p1 1.29 1.30 +0.6% PASS
total/synth/PUSH21/p0 0.91 1.07 +17.6% PASS
total/synth/PUSH21/p1 1.29 1.31 +1.4% PASS
total/synth/PUSH22/p0 0.91 1.15 +25.9% PASS
total/synth/PUSH22/p1 1.29 1.30 +0.6% PASS
total/synth/PUSH23/p0 0.91 0.91 +0.2% PASS
total/synth/PUSH23/p1 1.31 1.31 +0.2% PASS
total/synth/PUSH24/p0 1.15 1.15 -0.0% PASS
total/synth/PUSH24/p1 1.30 1.30 +0.1% PASS
total/synth/PUSH25/p0 1.07 1.15 +7.3% PASS
total/synth/PUSH25/p1 1.32 1.31 -1.1% PASS
total/synth/PUSH26/p0 1.15 0.91 -20.4% PASS
total/synth/PUSH26/p1 1.31 1.31 +0.4% PASS
total/synth/PUSH27/p0 0.91 0.91 +0.1% PASS
total/synth/PUSH27/p1 1.30 1.30 +0.4% PASS
total/synth/PUSH28/p0 1.07 0.91 -14.8% PASS
total/synth/PUSH28/p1 1.31 1.32 +0.3% PASS
total/synth/PUSH29/p0 1.07 0.91 -14.4% PASS
total/synth/PUSH29/p1 1.31 1.35 +2.7% PASS
total/synth/PUSH3/p0 1.07 0.91 -14.9% PASS
total/synth/PUSH3/p1 1.28 1.29 +0.4% PASS
total/synth/PUSH30/p0 1.09 1.16 +6.6% PASS
total/synth/PUSH30/p1 1.31 1.33 +2.1% PASS
total/synth/PUSH31/p0 1.07 0.91 -14.7% PASS
total/synth/PUSH31/p1 1.45 1.45 -0.4% PASS
total/synth/PUSH32/p0 1.07 0.91 -14.6% PASS
total/synth/PUSH32/p1 1.31 1.34 +2.4% PASS
total/synth/PUSH4/p0 0.91 0.91 +0.2% PASS
total/synth/PUSH4/p1 1.28 1.28 -0.0% PASS
total/synth/PUSH5/p0 0.91 0.91 +0.0% PASS
total/synth/PUSH5/p1 1.29 1.29 -0.0% PASS
total/synth/PUSH6/p0 0.91 1.07 +17.4% PASS
total/synth/PUSH6/p1 1.29 1.28 -0.1% PASS
total/synth/PUSH7/p0 0.91 1.15 +26.5% PASS
total/synth/PUSH7/p1 1.30 1.29 -0.1% PASS
total/synth/PUSH8/p0 0.91 1.15 +26.5% PASS
total/synth/PUSH8/p1 1.29 1.29 +0.1% PASS
total/synth/PUSH9/p0 0.91 0.91 -0.0% PASS
total/synth/PUSH9/p1 1.31 1.29 -1.0% PASS
total/synth/RETURNDATASIZE/a0 3.83 3.83 +0.2% PASS
total/synth/RETURNDATASIZE/a1 3.84 3.84 +0.0% PASS
total/synth/SAR/b0 3.78 3.78 +0.0% PASS
total/synth/SAR/b1 4.28 4.27 -0.2% PASS
total/synth/SGT/b0 2.60 2.60 -0.1% PASS
total/synth/SGT/b1 1.72 1.72 +0.0% PASS
total/synth/SHL/b0 3.03 3.03 -0.1% PASS
total/synth/SHL/b1 1.72 1.72 -0.0% PASS
total/synth/SHR/b0 2.94 2.93 -0.0% PASS
total/synth/SHR/b1 1.64 1.64 -0.0% PASS
total/synth/SIGNEXTEND/b0 3.13 3.38 +8.0% PASS
total/synth/SIGNEXTEND/b1 3.53 3.30 -6.5% PASS
total/synth/SLT/b0 2.61 2.60 -0.1% PASS
total/synth/SLT/b1 1.72 1.72 +0.1% PASS
total/synth/SUB/b0 1.98 1.98 +0.1% PASS
total/synth/SUB/b1 1.97 1.97 -0.0% PASS
total/synth/SWAP1/s0 1.63 1.63 -0.0% PASS
total/synth/SWAP10/s0 1.64 1.65 +0.1% PASS
total/synth/SWAP11/s0 1.65 1.64 -0.1% PASS
total/synth/SWAP12/s0 1.65 1.50 -8.7% PASS
total/synth/SWAP13/s0 1.65 1.50 -8.6% PASS
total/synth/SWAP14/s0 1.65 1.65 -0.1% PASS
total/synth/SWAP15/s0 1.65 1.51 -8.8% PASS
total/synth/SWAP16/s0 1.64 1.65 +0.8% PASS
total/synth/SWAP2/s0 1.64 1.49 -8.9% PASS
total/synth/SWAP3/s0 1.64 1.64 -0.2% PASS
total/synth/SWAP4/s0 1.64 1.64 +0.0% PASS
total/synth/SWAP5/s0 1.64 1.50 -8.8% PASS
total/synth/SWAP6/s0 1.64 1.64 -0.1% PASS
total/synth/SWAP7/s0 1.64 1.64 -0.1% PASS
total/synth/SWAP8/s0 1.64 1.50 -8.7% PASS
total/synth/SWAP9/s0 1.65 1.65 +0.2% PASS
total/synth/XOR/b0 1.55 1.55 +0.0% PASS
total/synth/XOR/b1 1.55 1.55 +0.0% PASS
total/synth/loop_v1 4.45 4.45 +0.1% PASS
total/synth/loop_v2 4.45 4.45 +0.1% PASS

Summary: 194 benchmarks, 0 regressions


✅ Performance Check Passed (multipass)

Performance Benchmark Results (threshold: 25%)

Benchmark Baseline (us) Current (us) Change Status
total/main/blake2b_huff/8415nulls 1.82 1.57 -13.7% PASS
total/main/blake2b_huff/empty 0.07 0.07 -5.4% PASS
total/main/blake2b_shifts/8415nulls 3.28 3.28 +0.1% PASS
total/main/sha1_divs/5311 0.57 0.57 -0.3% PASS
total/main/sha1_divs/empty 0.01 0.01 -0.7% PASS
total/main/sha1_shifts/5311 0.51 0.51 -0.8% PASS
total/main/sha1_shifts/empty 0.01 0.01 -0.0% PASS
total/main/snailtracer/benchmark 55.64 52.56 -5.5% PASS
total/main/structarray_alloc/nfts_rank 0.30 0.30 -0.1% PASS
total/main/swap_math/insufficient_liquidity 0.02 0.02 -0.1% PASS
total/main/swap_math/received 0.02 0.02 -0.1% PASS
total/main/swap_math/spent 0.02 0.02 -0.0% PASS
total/main/weierstrudel/1 0.35 0.35 -1.0% PASS
total/main/weierstrudel/15 3.27 3.22 -1.4% PASS
total/micro/JUMPDEST_n0/empty 0.13 0.13 +0.3% PASS
total/micro/jump_around/empty 0.62 0.62 +1.3% PASS
total/micro/loop_with_many_jumpdests/empty 1.95 1.95 +0.3% PASS
total/micro/memory_grow_mload/by1 0.17 0.17 -0.7% PASS
total/micro/memory_grow_mload/by16 0.19 0.19 -0.3% PASS
total/micro/memory_grow_mload/by32 0.20 0.20 -1.5% PASS
total/micro/memory_grow_mload/nogrow 0.17 0.17 -1.5% PASS
total/micro/memory_grow_mstore/by1 0.20 0.18 -10.3% PASS
total/micro/memory_grow_mstore/by16 0.21 0.19 -8.5% PASS
total/micro/memory_grow_mstore/by32 0.21 0.21 -0.5% PASS
total/micro/memory_grow_mstore/nogrow 0.19 0.18 -3.4% PASS
total/micro/signextend/one 0.34 0.34 -1.7% PASS
total/micro/signextend/zero 0.34 0.34 -1.9% PASS
total/synth/ADD/b0 0.01 0.01 +0.1% PASS
total/synth/ADD/b1 0.01 0.01 -0.0% PASS
total/synth/ADDRESS/a0 0.16 0.16 +0.0% PASS
total/synth/ADDRESS/a1 0.16 0.16 +0.0% PASS
total/synth/AND/b0 0.01 0.01 +0.1% PASS
total/synth/AND/b1 0.01 0.01 +0.0% PASS
total/synth/BYTE/b0 0.01 1.95 +18262.0% PASS
total/synth/BYTE/b1 0.01 2.35 +22673.8% PASS
total/synth/CALLDATASIZE/a0 0.08 0.08 -0.1% PASS
total/synth/CALLDATASIZE/a1 0.08 0.08 +0.0% PASS
total/synth/CALLER/a0 0.16 0.16 +0.2% PASS
total/synth/CALLER/a1 0.16 0.16 +0.0% PASS
total/synth/CALLVALUE/a0 0.28 0.28 +0.0% PASS
total/synth/CALLVALUE/a1 0.28 0.28 +0.0% PASS
total/synth/CODESIZE/a0 0.08 0.08 +0.1% PASS
total/synth/CODESIZE/a1 0.08 0.08 +0.0% PASS
total/synth/DUP1/d0 0.01 0.01 -0.0% PASS
total/synth/DUP1/d1 0.01 0.01 -0.0% PASS
total/synth/DUP10/d0 0.01 0.01 +0.0% PASS
total/synth/DUP10/d1 0.01 0.01 +0.1% PASS
total/synth/DUP11/d0 0.01 0.01 +0.0% PASS
total/synth/DUP11/d1 0.01 0.01 +0.1% PASS
total/synth/DUP12/d0 0.01 0.01 +0.0% PASS
total/synth/DUP12/d1 0.01 0.01 +0.0% PASS
total/synth/DUP13/d0 0.01 0.01 +0.0% PASS
total/synth/DUP13/d1 0.01 0.01 -0.0% PASS
total/synth/DUP14/d0 0.01 0.01 +0.2% PASS
total/synth/DUP14/d1 0.01 0.01 +0.0% PASS
total/synth/DUP15/d0 0.01 0.01 -0.0% PASS
total/synth/DUP15/d1 0.01 0.01 +0.0% PASS
total/synth/DUP16/d0 0.01 0.01 +0.3% PASS
total/synth/DUP16/d1 0.01 0.01 -0.1% PASS
total/synth/DUP2/d0 0.01 0.01 -0.0% PASS
total/synth/DUP2/d1 0.01 0.01 -0.0% PASS
total/synth/DUP3/d0 0.01 0.01 +0.0% PASS
total/synth/DUP3/d1 0.01 0.01 -0.0% PASS
total/synth/DUP4/d0 0.01 0.01 +0.2% PASS
total/synth/DUP4/d1 0.01 0.01 -0.0% PASS
total/synth/DUP5/d0 0.01 0.01 +0.0% PASS
total/synth/DUP5/d1 0.01 0.01 -0.1% PASS
total/synth/DUP6/d0 0.01 0.01 +0.1% PASS
total/synth/DUP6/d1 0.01 0.01 -0.0% PASS
total/synth/DUP7/d0 0.01 0.01 +0.1% PASS
total/synth/DUP7/d1 0.01 0.01 +0.0% PASS
total/synth/DUP8/d0 0.01 0.01 +0.1% PASS
total/synth/DUP8/d1 0.01 0.01 -0.0% PASS
total/synth/DUP9/d0 0.01 0.01 -0.3% PASS
total/synth/DUP9/d1 0.01 0.01 +0.0% PASS
total/synth/EQ/b0 0.01 0.01 +0.0% PASS
total/synth/EQ/b1 0.01 0.01 +0.0% PASS
total/synth/GAS/a0 0.80 0.80 +0.0% PASS
total/synth/GAS/a1 0.76 0.76 -0.0% PASS
total/synth/GT/b0 0.01 0.01 +0.1% PASS
total/synth/GT/b1 0.01 0.01 -0.0% PASS
total/synth/ISZERO/u0 0.01 0.01 +0.0% PASS
total/synth/JUMPDEST/n0 0.13 0.13 +0.6% PASS
total/synth/LT/b0 0.01 0.01 +0.0% PASS
total/synth/LT/b1 0.01 0.01 -0.0% PASS
total/synth/MSIZE/a0 0.01 0.01 -0.0% PASS
total/synth/MSIZE/a1 0.01 0.01 +0.3% PASS
total/synth/MUL/b0 0.01 0.01 -0.1% PASS
total/synth/MUL/b1 0.01 0.01 +0.0% PASS
total/synth/NOT/u0 0.01 0.01 +0.1% PASS
total/synth/OR/b0 0.01 0.01 -0.1% PASS
total/synth/OR/b1 0.01 0.01 +0.0% PASS
total/synth/PC/a0 0.01 0.01 +0.0% PASS
total/synth/PC/a1 0.01 0.01 +0.3% PASS
total/synth/PUSH1/p0 0.01 0.01 +0.1% PASS
total/synth/PUSH1/p1 0.01 0.01 +0.4% PASS
total/synth/PUSH10/p0 0.01 0.01 -0.1% PASS
total/synth/PUSH10/p1 0.01 0.01 +0.4% PASS
total/synth/PUSH11/p0 0.01 0.01 -0.0% PASS
total/synth/PUSH11/p1 0.01 0.01 +0.2% PASS
total/synth/PUSH12/p0 0.01 0.01 +0.1% PASS
total/synth/PUSH12/p1 0.01 0.01 +0.3% PASS
total/synth/PUSH13/p0 0.01 0.01 +0.0% PASS
total/synth/PUSH13/p1 0.01 0.01 +0.4% PASS
total/synth/PUSH14/p0 0.01 0.01 +0.1% PASS
total/synth/PUSH14/p1 0.01 0.01 +0.3% PASS
total/synth/PUSH15/p0 0.01 0.01 +0.1% PASS
total/synth/PUSH15/p1 0.01 0.01 +0.3% PASS
total/synth/PUSH16/p0 0.01 0.01 +0.2% PASS
total/synth/PUSH16/p1 0.01 0.01 +0.4% PASS
total/synth/PUSH17/p0 0.01 0.01 +0.2% PASS
total/synth/PUSH17/p1 0.01 0.01 +0.3% PASS
total/synth/PUSH18/p0 0.01 0.01 +0.1% PASS
total/synth/PUSH18/p1 0.01 0.01 +0.3% PASS
total/synth/PUSH19/p0 0.01 0.01 +0.2% PASS
total/synth/PUSH19/p1 0.01 0.01 +0.3% PASS
total/synth/PUSH2/p0 0.01 0.01 +0.3% PASS
total/synth/PUSH2/p1 0.01 0.01 +0.3% PASS
total/synth/PUSH20/p0 0.01 0.01 +0.2% PASS
total/synth/PUSH20/p1 0.01 0.01 +0.5% PASS
total/synth/PUSH21/p0 0.01 0.01 +0.2% PASS
total/synth/PUSH21/p1 0.01 0.01 +0.4% PASS
total/synth/PUSH22/p0 1.08 1.08 -0.6% PASS
total/synth/PUSH22/p1 1.31 1.32 +0.1% PASS
total/synth/PUSH23/p0 1.08 1.08 -0.0% PASS
total/synth/PUSH23/p1 1.31 1.30 -0.8% PASS
total/synth/PUSH24/p0 1.08 1.08 +0.0% PASS
total/synth/PUSH24/p1 1.31 1.31 +0.3% PASS
total/synth/PUSH25/p0 1.08 1.08 +0.2% PASS
total/synth/PUSH25/p1 1.33 1.31 -1.5% PASS
total/synth/PUSH26/p0 0.88 0.89 +0.8% PASS
total/synth/PUSH26/p1 1.31 1.32 +0.7% PASS
total/synth/PUSH27/p0 1.08 1.08 -0.3% PASS
total/synth/PUSH27/p1 1.31 1.31 +0.2% PASS
total/synth/PUSH28/p0 1.08 1.08 +0.0% PASS
total/synth/PUSH28/p1 1.32 1.32 +0.5% PASS
total/synth/PUSH29/p0 1.08 1.08 -0.0% PASS
total/synth/PUSH29/p1 1.35 1.34 -0.5% PASS
total/synth/PUSH3/p0 0.01 0.01 -0.3% PASS
total/synth/PUSH3/p1 0.01 0.01 +0.3% PASS
total/synth/PUSH30/p0 1.09 1.10 +0.4% PASS
total/synth/PUSH30/p1 1.33 1.34 +0.3% PASS
total/synth/PUSH31/p0 1.08 1.08 +0.1% PASS
total/synth/PUSH31/p1 1.49 1.44 -3.1% PASS
total/synth/PUSH32/p0 1.08 1.08 +0.1% PASS
total/synth/PUSH32/p1 1.32 1.32 +0.1% PASS
total/synth/PUSH4/p0 0.01 0.01 +0.1% PASS
total/synth/PUSH4/p1 0.01 0.01 +0.6% PASS
total/synth/PUSH5/p0 0.01 0.01 +0.1% PASS
total/synth/PUSH5/p1 0.01 0.01 +0.4% PASS
total/synth/PUSH6/p0 0.01 0.01 +0.0% PASS
total/synth/PUSH6/p1 0.01 0.01 +0.3% PASS
total/synth/PUSH7/p0 0.01 0.01 +0.0% PASS
total/synth/PUSH7/p1 0.01 0.01 +0.2% PASS
total/synth/PUSH8/p0 0.01 0.01 -0.0% PASS
total/synth/PUSH8/p1 0.01 0.01 +0.2% PASS
total/synth/PUSH9/p0 0.01 0.01 +0.1% PASS
total/synth/PUSH9/p1 0.01 0.01 +0.3% PASS
total/synth/RETURNDATASIZE/a0 0.04 0.04 -0.1% PASS
total/synth/RETURNDATASIZE/a1 0.04 0.04 +0.0% PASS
total/synth/SAR/b0 4.06 3.78 -7.0% PASS
total/synth/SAR/b1 4.28 4.29 +0.1% PASS
total/synth/SGT/b0 0.01 0.01 +0.1% PASS
total/synth/SGT/b1 0.01 0.01 -0.0% PASS
total/synth/SHL/b0 3.06 3.04 -0.6% PASS
total/synth/SHL/b1 1.72 1.72 +0.1% PASS
total/synth/SHR/b0 2.94 2.94 +0.0% PASS
total/synth/SHR/b1 1.64 1.64 -0.0% PASS
total/synth/SIGNEXTEND/b0 3.26 3.15 -3.5% PASS
total/synth/SIGNEXTEND/b1 4.68 3.30 -29.7% PASS
total/synth/SLT/b0 0.01 0.01 -0.0% PASS
total/synth/SLT/b1 0.01 0.01 -0.0% PASS
total/synth/SUB/b0 0.01 0.01 -0.0% PASS
total/synth/SUB/b1 0.01 0.01 -0.4% PASS
total/synth/SWAP1/s0 0.01 0.01 -0.1% PASS
total/synth/SWAP10/s0 0.01 0.01 -0.1% PASS
total/synth/SWAP11/s0 0.01 0.01 -0.1% PASS
total/synth/SWAP12/s0 0.01 0.01 -0.1% PASS
total/synth/SWAP13/s0 0.01 0.01 -0.1% PASS
total/synth/SWAP14/s0 0.01 0.01 +0.1% PASS
total/synth/SWAP15/s0 0.01 0.01 -0.0% PASS
total/synth/SWAP16/s0 0.01 0.01 -0.0% PASS
total/synth/SWAP2/s0 0.01 0.01 -0.0% PASS
total/synth/SWAP3/s0 0.01 0.01 -0.0% PASS
total/synth/SWAP4/s0 0.01 0.01 +0.0% PASS
total/synth/SWAP5/s0 0.01 0.01 +0.0% PASS
total/synth/SWAP6/s0 0.01 0.01 -0.1% PASS
total/synth/SWAP7/s0 0.01 0.01 -0.0% PASS
total/synth/SWAP8/s0 0.01 0.01 +0.0% PASS
total/synth/SWAP9/s0 0.01 0.01 -0.1% PASS
total/synth/XOR/b0 0.01 0.01 +0.1% PASS
total/synth/XOR/b1 0.01 0.01 +0.0% PASS
total/synth/loop_v1 1.43 1.43 +0.0% PASS
total/synth/loop_v2 1.35 1.35 -0.2% PASS

Summary: 194 benchmarks, 0 regressions


Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants