Skip to content

Actions: 0xProject/0x-settler

Actions

Ln.sol Formal Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
30 workflow runs
30 workflow runs

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
Formally verified expRayToWad Ln.sol Formal Check #30: Pull request #593 synchronize by duncancmt
11m 15s dcmt/exp
dcmt/exp
11m 15s
Formally verified expRayToWad Ln.sol Formal Check #29: Pull request #593 synchronize by duncancmt
10m 38s dcmt/exp
dcmt/exp
10m 38s
Formally verified expRayToWad Ln.sol Formal Check #28: Pull request #593 synchronize by duncancmt
9m 40s dcmt/exp
dcmt/exp
9m 40s
Formally verified expRayToWad Ln.sol Formal Check #27: Pull request #593 synchronize by duncancmt
10m 16s dcmt/exp
dcmt/exp
10m 16s
Formally verified expRayToWad Ln.sol Formal Check #26: Pull request #593 synchronize by duncancmt
10m 9s dcmt/exp
dcmt/exp
10m 9s
Formally verified expRayToWad Ln.sol Formal Check #25: Pull request #593 synchronize by duncancmt
9m 11s dcmt/exp
dcmt/exp
9m 11s
Formally verified expRayToWad Ln.sol Formal Check #24: Pull request #593 synchronize by duncancmt
13m 28s dcmt/exp
dcmt/exp
13m 28s
Formally verified expRayToWad Ln.sol Formal Check #23: Pull request #593 synchronize by duncancmt
10m 10s dcmt/exp
dcmt/exp
10m 10s
Formally verified expRayToWad Ln.sol Formal Check #22: Pull request #593 opened by duncancmt
20m 3s dcmt/exp
dcmt/exp
20m 3s
Use EVMYulLean as the source of truth for Lean-based formal verification Ln.sol Formal Check #21: Pull request #591 synchronize by duncancmt
10m 21s dcmt/formal-nopython
dcmt/formal-nopython
10m 21s
Use EVMYulLean as the source of truth for Lean-based formal verification Ln.sol Formal Check #20: Pull request #591 synchronize by duncancmt
21m 9s dcmt/formal-nopython
dcmt/formal-nopython
21m 9s
Use EVMYulLean as the source of truth for Lean-based formal verification Ln.sol Formal Check #19: Pull request #591 synchronize by duncancmt
19m 33s dcmt/formal-nopython
dcmt/formal-nopython
19m 33s
Use EVMYulLean as the source of truth for Lean-based formal verification Ln.sol Formal Check #18: Pull request #591 synchronize by duncancmt
12m 42s dcmt/formal-nopython
dcmt/formal-nopython
12m 42s
Use EVMYulLean as the source of truth for Lean-based formal verification Ln.sol Formal Check #17: Pull request #591 opened by duncancmt
10m 8s dcmt/formal-nopython
dcmt/formal-nopython
10m 8s
Prove error bounds on formally-verified natural logarithm Ln.sol Formal Check #16: Pull request #589 opened by duncancmt
11m 17s dcmt/ln-bounds
dcmt/ln-bounds
11m 17s
Add formally verified natural logarithm Ln.sol Formal Check #15: Pull request #585 synchronize by duncancmt
8m 14s dcmt/ln-atarpara
dcmt/ln-atarpara
8m 14s
Add formally verified natural logarithm Ln.sol Formal Check #14: Pull request #585 synchronize by duncancmt
8m 42s dcmt/ln-atarpara
dcmt/ln-atarpara
8m 42s
Add formally verified natural logarithm Ln.sol Formal Check #13: Pull request #585 synchronize by duncancmt
8m 18s dcmt/ln-atarpara
dcmt/ln-atarpara
8m 18s
Add formally verified natural logarithm Ln.sol Formal Check #12: Pull request #585 synchronize by duncancmt
9m 37s dcmt/ln-atarpara
dcmt/ln-atarpara
9m 37s
Add formally verified natural logarithm Ln.sol Formal Check #11: Pull request #585 synchronize by duncancmt
9m 54s dcmt/ln-atarpara
dcmt/ln-atarpara
9m 54s
Add formally verified natural logarithm Ln.sol Formal Check #10: Pull request #585 synchronize by duncancmt
2m 55s dcmt/ln-atarpara
dcmt/ln-atarpara
2m 55s
Add formally verified natural logarithm Ln.sol Formal Check #9: Pull request #585 synchronize by duncancmt
5m 44s dcmt/ln-atarpara
dcmt/ln-atarpara
5m 44s
Add formally verified natural logarithm Ln.sol Formal Check #8: Pull request #585 synchronize by duncancmt
9m 31s dcmt/ln-atarpara
dcmt/ln-atarpara
9m 31s
Add formally verified natural logarithm Ln.sol Formal Check #7: Pull request #585 synchronize by duncancmt
8m 52s dcmt/ln-atarpara
dcmt/ln-atarpara
8m 52s
Add formally verified natural logarithm Ln.sol Formal Check #6: Pull request #585 synchronize by duncancmt
9m 5s dcmt/ln-atarpara
dcmt/ln-atarpara
9m 5s