Skip to content

Actions: euler-xyz/euler-earn

Actions

Halmos Symbolic Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
halmos.yml
287 workflow runs
287 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #136 from euler-xyz/scripts Halmos Symbolic Tests #287: Commit 0b1c677 pushed by haythemsellami
January 8, 2025 16:14 3m 21s main
main
January 8, 2025 16:14 3m 21s
Scripts Halmos Symbolic Tests #286: Pull request #136 synchronize by haythemsellami
January 8, 2025 16:03 4m 22s scripts
scripts
January 8, 2025 16:03 4m 22s
Scripts Halmos Symbolic Tests #285: Pull request #136 synchronize by haythemsellami
January 8, 2025 15:57 3m 31s scripts
scripts
January 8, 2025 15:57 3m 31s
Scripts Halmos Symbolic Tests #284: Pull request #136 synchronize by haythemsellami
January 8, 2025 08:22 3m 14s scripts
scripts
January 8, 2025 08:22 3m 14s
Scripts Halmos Symbolic Tests #283: Pull request #136 synchronize by haythemsellami
January 8, 2025 08:04 3m 18s scripts
scripts
January 8, 2025 08:04 3m 18s
Scripts Halmos Symbolic Tests #282: Pull request #136 opened by haythemsellami
January 8, 2025 02:55 4m 15s scripts
scripts
January 8, 2025 02:55 4m 15s
[WIP]Improve docs Halmos Symbolic Tests #281: Pull request #135 synchronize by haythemsellami
January 7, 2025 14:11 4m 23s opt-docs
opt-docs
January 7, 2025 14:11 4m 23s
[WIP]Improve docs Halmos Symbolic Tests #280: Pull request #135 opened by haythemsellami
January 7, 2025 10:43 3m 26s opt-docs
opt-docs
January 7, 2025 10:43 3m 26s
Merge pull request #103 from euler-xyz/enigma-dark-invariant-suite Halmos Symbolic Tests #279: Commit 61bf8e6 pushed by haythemsellami
January 6, 2025 02:42 4m 17s main
main
January 6, 2025 02:42 4m 17s
Enigma dark invariant suite Halmos Symbolic Tests #278: Pull request #103 synchronize by vnmrtz
January 4, 2025 21:23 3m 22s enigma-dark-invariant-suite
enigma-dark-invariant-suite
January 4, 2025 21:23 3m 22s
Enigma dark invariant suite Halmos Symbolic Tests #277: Pull request #103 synchronize by vnmrtz
January 4, 2025 19:24 3m 12s enigma-dark-invariant-suite
enigma-dark-invariant-suite
January 4, 2025 19:24 3m 12s
Enigma dark invariant suite Halmos Symbolic Tests #276: Pull request #103 synchronize by haythemsellami
January 2, 2025 06:26 3m 17s enigma-dark-invariant-suite
enigma-dark-invariant-suite
January 2, 2025 06:26 3m 17s
Enigma dark invariant suite Halmos Symbolic Tests #275: Pull request #103 synchronize by vnmrtz
December 19, 2024 09:07 3m 29s enigma-dark-invariant-suite
enigma-dark-invariant-suite
December 19, 2024 09:07 3m 29s
Enigma dark invariant suite Halmos Symbolic Tests #274: Pull request #103 synchronize by vnmrtz
December 19, 2024 09:07 49s enigma-dark-invariant-suite
enigma-dark-invariant-suite
December 19, 2024 09:07 49s
Enigma dark invariant suite Halmos Symbolic Tests #273: Pull request #103 synchronize by vnmrtz
December 19, 2024 08:56 3m 18s enigma-dark-invariant-suite
enigma-dark-invariant-suite
December 19, 2024 08:56 3m 18s
Merge pull request #134 from euler-xyz/chore/update-audit-report Halmos Symbolic Tests #272: Commit c9fc1b2 pushed by haythemsellami
December 19, 2024 08:26 3m 24s main
main
December 19, 2024 08:26 3m 24s
Update spearbit report Halmos Symbolic Tests #271: Pull request #134 opened by haythemsellami
December 19, 2024 08:12 4m 10s chore/update-audit-report
chore/update-audit-report
December 19, 2024 08:12 4m 10s
Enigma dark invariant suite Halmos Symbolic Tests #270: Pull request #103 synchronize by vnmrtz
December 17, 2024 14:49 3m 12s enigma-dark-invariant-suite
enigma-dark-invariant-suite
December 17, 2024 14:49 3m 12s
Merge pull request #133 from euler-xyz/var-optimization Halmos Symbolic Tests #269: Commit 617f3aa pushed by haythemsellami
December 13, 2024 09:49 3m 10s main
main
December 13, 2024 09:49 3m 10s
Optimization: change smearingPeriod type from uint256 to uint24 Halmos Symbolic Tests #268: Pull request #133 synchronize by haythemsellami
December 13, 2024 09:40 3m 8s var-optimization
var-optimization
December 13, 2024 09:40 3m 8s
Optimization: change smearingPeriod type from uint256 to uint24 Halmos Symbolic Tests #267: Pull request #133 opened by haythemsellami
December 13, 2024 09:22 1m 34s var-optimization
var-optimization
December 13, 2024 09:22 1m 34s
Merge pull request #132 from euler-xyz/chore/typos Halmos Symbolic Tests #266: Commit 06aa641 pushed by haythemsellami
December 4, 2024 03:31 4m 1s main
main
December 4, 2024 03:31 4m 1s
[Fix-spearbit]Fix typos Halmos Symbolic Tests #265: Pull request #132 synchronize by haythemsellami
December 4, 2024 03:20 3m 2s chore/typos
chore/typos
December 4, 2024 03:20 3m 2s
Merge pull request #131 from euler-xyz/fix/disable-strategies-skimming Halmos Symbolic Tests #264: Commit ae3f108 pushed by haythemsellami
December 4, 2024 03:20 3m 3s main
main
December 4, 2024 03:20 3m 3s
[Fix-spearbit]Fix typos Halmos Symbolic Tests #263: Pull request #132 opened by haythemsellami
December 2, 2024 09:38 3m 7s chore/typos
chore/typos
December 2, 2024 09:38 3m 7s