원클릭으로
evm-semantics
evm-semantics에는 powdr-labs에서 수집한 skills 3개가 있으며, 저장소 수준 직업 범위와 사이트 내 skill 상세 페이지를 제공합니다.
이 저장소의 skills
Work on the stepF-to-Step soundness proofs in EVM/Equiv.lean — discharge a proof obligation, extend a helper lemma after an opcode change, or fix a broken proof. Use when touching Equiv.lean, when a soundness lemma fails to close, or after changing Step/stepF for an opcode.
Run the ethereum/legacytests VMTests conformance suite against the evaluator (stepF/run), interpret the pass/fail/incon/crash results, and refresh the committed CI baseline. Use when asked to run vmtests, check conformance, investigate a failing or crashing test, or update the baseline after an evaluator fix.
Build EvmSemantics and reproduce the CI lint discipline (warning-clean build + lake lint). Use when asked to build the project, fix build/lint errors, check the code compiles, or before pushing changes to Lean sources.