{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":167039336,"defaultBranch":"master","name":"ethereum_formal_verification_overview","ownerLogin":"leonardoalt","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-01-22T17:46:38.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/504195?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1587555409.0","currentOid":""},"activityList":{"items":[{"before":"746faf660e2cf90a54910f9753a0d7745b6becfb","after":"97d2aa5b5af05209bec84412ce76f6e2ba9b1937","ref":"refs/heads/master","pushedAt":"2023-11-25T21:27:34.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"leonardoalt","name":"Leo","path":"/leonardoalt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/504195?s=80&v=4"},"commit":{"message":"Merge pull request #20 from xerath7d0/master\n\nadded evm-dafny","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2008983078\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leonardoalt/ethereum_formal_verification_overview/issues/20\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leonardoalt/ethereum_formal_verification_overview/pull/20/hovercard\" href=\"https://github.com/leonardoalt/ethereum_formal_verification_overview/pull/20\">#20</a> from xerath7d0/master"}},{"before":"b082fd78c8ccbdd64cf46006753183e6fd145cdb","after":"746faf660e2cf90a54910f9753a0d7745b6becfb","ref":"refs/heads/master","pushedAt":"2023-09-25T11:34:18.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"leonardoalt","name":"Leo","path":"/leonardoalt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/504195?s=80&v=4"},"commit":{"message":"Merge pull request #17 from pedrotbtl/master\n\nAdding Solidifier paper","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1903281971\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leonardoalt/ethereum_formal_verification_overview/issues/17\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leonardoalt/ethereum_formal_verification_overview/pull/17/hovercard\" href=\"https://github.com/leonardoalt/ethereum_formal_verification_overview/pull/17\">#17</a> from pedrotbtl/master"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADt5VK0wA","startCursor":null,"endCursor":null}},"title":"Activity · leonardoalt/ethereum_formal_verification_overview"}