Skip to content

Actions: powdr-labs/yul-semantics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
101 workflow runs
101 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Upgrade to Lean 4.33.0 CI #101: Pull request #46 opened by leonardoalt
12m 0s codex/lean-4.33-grind
codex/lean-4.33-grind
12m 0s
Merge pull request #41 from powdr-labs/gas-oracle CI #100: Commit d557aac pushed by leonardoalt
1m 20s main
main
1m 20s
Merge pull request #45 from chris-ai1/tactic-free-executable CI #99: Commit f19c9fc pushed by chriseth
1m 17s main
main
1m 17s
Keep tactic modules out of the executable's import closure CI #98: Pull request #45 opened by chris-ai1
1m 17s chris-ai1:tactic-free-executable
chris-ai1:tactic-free-executable
1m 17s
Merge pull request #44 from chris-ai1/remove-mathlib CI #97: Commit 852d3ca pushed by chriseth
1m 32s main
main
1m 32s
Remove Mathlib dependency to shrink the compiled binary CI #96: Pull request #44 synchronize by chris-ai1
1m 20s chris-ai1:remove-mathlib
chris-ai1:remove-mathlib
1m 20s
Remove Mathlib dependency to shrink the compiled binary CI #95: Pull request #44 opened by chris-ai1
2m 3s chris-ai1:remove-mathlib
chris-ai1:remove-mathlib
2m 3s
Merge pull request #43 from powdr-labs/layout-immutable CI #94: Commit 90b33d7 pushed by leonardoalt
1m 41s main
main
1m 41s
Carry the immutable map on Layout CI #93: Pull request #43 opened by leonardoalt
1m 46s layout-immutable
layout-immutable
1m 46s
Merge pull request #42 from powdr-labs/loadimmutable CI #92: Commit a5730db pushed by leonardoalt
2m 38s main
main
2m 38s
Model loadimmutable as an environment read CI #91: Pull request #42 opened by leonardoalt
2m 20s loadimmutable
loadimmutable
2m 20s
Parameterize gas() by an ExternalGas environment oracle CI #90: Pull request #41 opened by leonardoalt
2m 17s gas-oracle
gas-oracle
2m 17s
Merge pull request #40 from powdr-labs/narrow-mathlib-imports CI #89: Commit 4c6f975 pushed by leonardoalt
2m 14s main
main
2m 14s
Narrow the two bare import Mathlib to the modules actually used CI #88: Pull request #40 opened by leonardoalt
2m 16s narrow-mathlib-imports
narrow-mathlib-imports
2m 16s
Merge pull request #39 from chris-ai1/agent/split-evm-dialect-mathlib… CI #87: Commit a5eabdf pushed by chriseth
3m 54s main
main
3m 54s
Dialect/EVM: split opcode frontend + executable interpreter from meta theory CI #86: Pull request #39 synchronize by chris-ai1
3m 33s chris-ai1:agent/split-evm-dialect-mathlib-free
chris-ai1:agent/split-evm-dialect-mathlib-free
3m 33s
Dialect/EVM: split opcode frontend + executable interpreter from meta theory CI #85: Pull request #39 opened by chris-ai1
2m 54s chris-ai1:agent/split-evm-dialect-mathlib-free
chris-ai1:agent/split-evm-dialect-mathlib-free
2m 54s
Merge pull request #38 from powdr-labs/fix/reads-flag-soundness CI #84: Commit 81b9e3e pushed by leonardoalt
2m 42s main
main
2m 42s
feat: prove reads-flag soundness (EffectsSound.read / NonReading) CI #83: Pull request #38 opened by leonardoalt
2m 34s fix/reads-flag-soundness
fix/reads-flag-soundness
2m 34s
Merge pull request #37 from powdr-labs/fix/static-violation-haltkind CI #82: Commit 0b1a2c0 pushed by leonardoalt
2m 39s main
main
2m 39s
fix: distinguish static-mode violations from INVALID (HaltKind.staticViolation) CI #81: Pull request #37 synchronize by leonardoalt
2m 47s fix/static-violation-haltkind
fix/static-violation-haltkind
2m 47s
fix: distinguish static-mode violations from INVALID (HaltKind.staticViolation) CI #80: Pull request #37 opened by leonardoalt
2m 55s fix/static-violation-haltkind
fix/static-violation-haltkind
2m 55s
Merge pull request #36 from powdr-labs/docs/cleanup-status CI #79: Commit 5cfcdc8 pushed by leonardoalt
2m 49s main
main
2m 49s
docs: reorganize README/DESIGN, drop phased-plan framing CI #78: Pull request #36 opened by leonardoalt
2m 42s docs/cleanup-status
docs/cleanup-status
2m 42s
Merge pull request #33 from powdr-labs/fix/high-3-static-context CI #77: Commit c9e908a pushed by leonardoalt
2m 39s main
main
2m 39s