Skip to content

Actions: formal-land/coq-of-solidity

Actions

External contributor greeter

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
welcome-external-pr.yml
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coq-evm without submodule External contributor greeter #13: Pull request #20 opened by clarus
December 11, 2024 14:37 12s
December 11, 2024 14:37 12s
Draft: more doc External contributor greeter #12: Pull request #19 opened by clarus
December 2, 2024 19:40 11s
December 2, 2024 19:40 11s
doc: add picture of verification techniques External contributor greeter #11: Pull request #18 opened by clarus
November 26, 2024 13:16 15s
November 26, 2024 13:16 15s
doc: add getting started External contributor greeter #10: Pull request #17 opened by clarus
November 25, 2024 17:40 11s
November 25, 2024 17:40 11s
Add Coq documentation External contributor greeter #9: Pull request #16 opened by clarus
November 25, 2024 15:23 16s
November 25, 2024 15:23 16s
Update README.md External contributor greeter #8: Pull request #15 opened by clarus
November 1, 2024 12:47 10s
November 1, 2024 12:47 10s
Update README.md External contributor greeter #7: Pull request #14 opened by clarus
November 1, 2024 12:45 13s
November 1, 2024 12:45 13s
Update README.md External contributor greeter #6: Pull request #13 opened by clarus
October 23, 2024 18:27 17s
October 23, 2024 18:27 17s
Draft: improve the Smoo.th proofs External contributor greeter #5: Pull request #12 opened by clarus
October 23, 2024 18:26 11s
October 23, 2024 18:26 11s
Update README.md External contributor greeter #4: Pull request #11 opened by clarus
October 22, 2024 08:17 12s
October 22, 2024 08:17 12s
ci: fix typo External contributor greeter #3: Pull request #10 opened by clarus
October 21, 2024 18:34 12s
October 21, 2024 18:34 12s
Add documentation for the verification of the Smoo.th project External contributor greeter #2: Pull request #9 opened by clarus
October 21, 2024 16:27 12s
October 21, 2024 16:27 12s
Beginning of verification of ECC in Yul External contributor greeter #1: Pull request #8 opened by clarus
October 21, 2024 15:02 11s
October 21, 2024 15:02 11s