{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":720551727,"defaultBranch":"main","name":"awesome-advanced-smart-contracts-testing-and-verification","ownerLogin":"GianfrancoBazzani","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-11-18T20:37:05.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/55500596?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1708811215.0","currentOid":""},"activityList":{"items":[{"before":"d8e5bd174e01aee198ce1d9828d2d2e6877f03b2","after":"c3aebf235774f69b40cd74cbd31b04b6a6e2aa6a","ref":"refs/heads/main","pushedAt":"2024-07-31T17:30:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":":hammer: fix resource location","shortMessageHtmlLink":"🔨 fix resource location"}},{"before":"6e50e71f82afeb2f483341be5af4cd0e66e6ed5b","after":"d8e5bd174e01aee198ce1d9828d2d2e6877f03b2","ref":"refs/heads/main","pushedAt":"2024-03-24T21:56:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"Update readme.md","shortMessageHtmlLink":"Update readme.md"}},{"before":"d50356632e799cf0b679409973918c3b8db6ceb0","after":"6e50e71f82afeb2f483341be5af4cd0e66e6ed5b","ref":"refs/heads/main","pushedAt":"2024-03-17T20:34:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"Update readme.md","shortMessageHtmlLink":"Update readme.md"}},{"before":"455c0fd37daf83d1bd7216664e186a931c5c5ddf","after":"d50356632e799cf0b679409973918c3b8db6ceb0","ref":"refs/heads/main","pushedAt":"2024-02-24T21:47:15.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"Merge pull request #26 from GianfrancoBazzani/adds-ityfuzz\n\nAdds ityfuzz","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2152494513\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/issues/26\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/pull/26/hovercard\" href=\"https://github.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/pull/26\">#26</a> from GianfrancoBazzani/adds-ityfuzz"}},{"before":null,"after":"3fc8743683119b27c8b8b8f46f1ae1945380f987","ref":"refs/heads/adds-ityfuzz","pushedAt":"2024-02-24T21:46:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"Adds ityfuzz\n\n* Closes: https://github.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/issues/9","shortMessageHtmlLink":"Adds ityfuzz"}},{"before":"e9058897c7914cf8595b193f5eb445f738082723","after":"455c0fd37daf83d1bd7216664e186a931c5c5ddf","ref":"refs/heads/main","pushedAt":"2024-02-24T21:44:28.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"Merge pull request #25 from GianfrancoBazzani/adds-formal-methods-curriculum\n\nAdds formal-methods-curriculum","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2152493674\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/issues/25\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/pull/25/hovercard\" href=\"https://github.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/pull/25\">#25</a> from GianfrancoBazzani/adds-formal-methods-cur…"}},{"before":null,"after":"2e316e37fb462677bc1564aff3af8ba3d34bf65d","ref":"refs/heads/adds-formal-methods-curriculum","pushedAt":"2024-02-24T21:43:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"Adds formal-methods-curriculum\n\n* Closes: https://github.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/issues/8","shortMessageHtmlLink":"Adds formal-methods-curriculum"}},{"before":"a6f1cc2bd778668f8fe16b6e11d39246b0111554","after":"e9058897c7914cf8595b193f5eb445f738082723","ref":"refs/heads/main","pushedAt":"2024-02-24T21:39:42.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"Merge pull request #24 from GianfrancoBazzani/Adds-agfviggiano-How-to-write-(good)-invariants\n\nAdds agfviggiano How to write (good) invariants?","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2152492335\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/issues/24\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/pull/24/hovercard\" href=\"https://github.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/pull/24\">#24</a> from GianfrancoBazzani/Adds-agfviggiano-How-to…"}},{"before":"c4421d5ede51e01f32329597c27007bac7c267b6","after":"171a6c742b4ef24d7c1738956586bf38b6ff1f81","ref":"refs/heads/Adds-fuzz-utils-tool","pushedAt":"2024-02-24T21:37:46.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"Merge pull request #23 from GianfrancoBazzani/Adds-agfviggiano-How-to-write-(good)-invariants\n\nAdds agfviggiano How to write (good) invariants?","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2152491858\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/issues/23\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/pull/23/hovercard\" href=\"https://github.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/pull/23\">#23</a> from GianfrancoBazzani/Adds-agfviggiano-How-to…"}},{"before":null,"after":"0b20af254349d94ef8cb958802f07e4973aedd9e","ref":"refs/heads/Adds-agfviggiano-How-to-write-(good)-invariants","pushedAt":"2024-02-24T21:37:25.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"Adds agfviggiano How to write (good) invariants?\n\n * closes: https://github.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/issues/6","shortMessageHtmlLink":"Adds agfviggiano How to write (good) invariants?"}},{"before":"37aadb594597c0b482ecb9e5c273ff7b28072474","after":"a6f1cc2bd778668f8fe16b6e11d39246b0111554","ref":"refs/heads/main","pushedAt":"2024-02-24T21:32:59.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"Merge pull request #22 from GianfrancoBazzani/Adds-fuzz-utils-tool\n\nAdds fuzz-utils tool","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2152490420\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/issues/22\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/pull/22/hovercard\" href=\"https://github.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/pull/22\">#22</a> from GianfrancoBazzani/Adds-fuzz-utils-tool"}},{"before":null,"after":"c4421d5ede51e01f32329597c27007bac7c267b6","ref":"refs/heads/Adds-fuzz-utils-tool","pushedAt":"2024-02-24T21:32:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"Adds fuzz-utils tool","shortMessageHtmlLink":"Adds fuzz-utils tool"}},{"before":"dd2f09643199290c1f4d7d0db732b6843f0be4ed","after":"37aadb594597c0b482ecb9e5c273ff7b28072474","ref":"refs/heads/main","pushedAt":"2024-02-24T21:20:52.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"Merge pull request #21 from GianfrancoBazzani/19-wipe-links-to-fuzz-setups-and-refer-to-lists\n\nWipes links to fuzz setups and adds setups lists","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2152486692\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/issues/21\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/pull/21/hovercard\" href=\"https://github.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/pull/21\">#21</a> from GianfrancoBazzani/19-wipe-links-to-fuzz-s…"}},{"before":null,"after":"6154e0ed1f25aea27dac86e93896f6ed60e21e2c","ref":"refs/heads/19-wipe-links-to-fuzz-setups-and-refer-to-lists","pushedAt":"2024-02-24T21:19:04.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"Update readme.md\n\n- Solves: https://github.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/issues/19","shortMessageHtmlLink":"Update readme.md"}},{"before":"7b7c4a940d3e9350e3cd9e282f96655471108d52","after":"dd2f09643199290c1f4d7d0db732b6843f0be4ed","ref":"refs/heads/main","pushedAt":"2024-02-07T08:59:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"Update readme.md\n\n:hammer: Fix links","shortMessageHtmlLink":"Update readme.md"}},{"before":"078118d817a0377dd86c69afa46ed62ce62bdc4b","after":"7b7c4a940d3e9350e3cd9e282f96655471108d52","ref":"refs/heads/main","pushedAt":"2024-02-07T08:53:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"Update readme.md\n\n:hammer: Fix solidity Solidity Summit 2023 broken links","shortMessageHtmlLink":"Update readme.md"}},{"before":"25408aeed5607fe4452e4da3208ceeb68fde6d49","after":"078118d817a0377dd86c69afa46ed62ce62bdc4b","ref":"refs/heads/main","pushedAt":"2023-12-10T21:29:23.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"Merge pull request #5 from GianfrancoBazzani/added-The-Symbolic-Solidity-\n\nadds The Symbolic Solidity","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2034541358\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/issues/5\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/pull/5/hovercard\" href=\"https://github.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/pull/5\">#5</a> from GianfrancoBazzani/added-The-Symbolic-Solid…"}},{"before":null,"after":"2182753b7b4eddf6878e5ccfa9d0d0aef25beccd","ref":"refs/heads/added-The-Symbolic-Solidity-","pushedAt":"2023-12-10T21:29:08.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"added The Symbolic Solidity","shortMessageHtmlLink":"added The Symbolic Solidity"}},{"before":"ef1ee9538839270970ad4f926ea5f1da346c05c8","after":"25408aeed5607fe4452e4da3208ceeb68fde6d49","ref":"refs/heads/main","pushedAt":"2023-12-10T21:25:38.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"Merge pull request #4 from GianfrancoBazzani/Added-@vn_martinez_-source\n\nAdds @vn_martinez_ source","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2034540113\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/issues/4\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/pull/4/hovercard\" href=\"https://github.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/pull/4\">#4</a> from GianfrancoBazzani/Added-@vn_martinez_-source"}},{"before":null,"after":"d864099a8816ba6cecb593fbb34e140b6aae5153","ref":"refs/heads/Added-@vn_martinez_-source","pushedAt":"2023-12-10T21:25:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"Adding @vn_martinez_ source","shortMessageHtmlLink":"Adding @vn_martinez_ source"}},{"before":"fb9f7c12b6969f2a74dcddaa32a12f4b7ae8ec1c","after":"ef1ee9538839270970ad4f926ea5f1da346c05c8","ref":"refs/heads/main","pushedAt":"2023-12-10T21:19:10.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"Merge pull request #3 from GianfrancoBazzani/added-@xb0g0-resources\n\nadded @xb0g0 resources","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2034537909\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/pull/3/hovercard\" href=\"https://github.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/pull/3\">#3</a> from GianfrancoBazzani/added-@xb0g0-resources"}},{"before":null,"after":"e61fa4a873b5c43047e3d66ed3d7aaecfe9d303c","ref":"refs/heads/added-@xb0g0-resources","pushedAt":"2023-12-10T21:18:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"added @xb0g0 resources","shortMessageHtmlLink":"added @xb0g0 resources"}},{"before":"49dcc0fd55bcc7b70d95401b86e3b32d42fbe369","after":"fb9f7c12b6969f2a74dcddaa32a12f4b7ae8ec1c","ref":"refs/heads/main","pushedAt":"2023-11-27T08:55:20.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"Merge pull request #2 from GianfrancoBazzani/kyber-exploit-example-with-fuzzing\n\nAdds Kyber Network exploit by @paco0x","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2011797951\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/pull/2/hovercard\" href=\"https://github.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/pull/2\">#2</a> from GianfrancoBazzani/kyber-exploit-example-wi…"}},{"before":null,"after":"52fb698c7f0b84d1e24f43cd0edd05e2bae0021b","ref":"refs/heads/kyber-exploit-example-with-fuzzing","pushedAt":"2023-11-27T08:54:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"Add Kyber Network exploit by @paco0x","shortMessageHtmlLink":"Add Kyber Network exploit by <a class=\"user-mention notranslate\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/paco0x/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/paco0x\">@paco0x</a>"}},{"before":"2f707a3832b26d72e1c3f82ac69bcafc36e10707","after":"49dcc0fd55bcc7b70d95401b86e3b32d42fbe369","ref":"refs/heads/main","pushedAt":"2023-11-26T20:58:32.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"Merge pull request #1 from GianfrancoBazzani/Adding-@neumoxx-sources\n\nAdds Certora  sources","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2011202419\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/pull/1/hovercard\" href=\"https://github.com/GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification/pull/1\">#1</a> from GianfrancoBazzani/Adding-@neumoxx-sources"}},{"before":null,"after":"3e4ffa0c0c02f1c370952c7ccef56abe2f4e7eaa","ref":"refs/heads/Adding-@neumoxx-sources","pushedAt":"2023-11-26T20:57:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"Adding @neumoxx sources","shortMessageHtmlLink":"Adding <a class=\"user-mention notranslate\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/neumoxx/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/neumoxx\">@neumoxx</a> sources"}},{"before":"8267a1145d80278e0a0e7a1bb9a6eb6de721c5f0","after":"2f707a3832b26d72e1c3f82ac69bcafc36e10707","ref":"refs/heads/main","pushedAt":"2023-11-19T08:09:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"Added Formal Verification resources","shortMessageHtmlLink":"Added Formal Verification resources"}},{"before":"af45a4f75913385cb348f204f50ca5a802ddd245","after":"8267a1145d80278e0a0e7a1bb9a6eb6de721c5f0","ref":"refs/heads/main","pushedAt":"2023-11-18T23:04:12.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"Initial commit","shortMessageHtmlLink":"Initial commit"}},{"before":"7a3981b61a953b3628abe99260fc58faed78f26c","after":"af45a4f75913385cb348f204f50ca5a802ddd245","ref":"refs/heads/main","pushedAt":"2023-11-18T22:53:58.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"Initial commit","shortMessageHtmlLink":"Initial commit"}},{"before":"784f4a472a64b33f31afee069886a057f2d19e96","after":"7a3981b61a953b3628abe99260fc58faed78f26c","ref":"refs/heads/main","pushedAt":"2023-11-18T21:36:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GianfrancoBazzani","name":"GianfrancoBazzani","path":"/GianfrancoBazzani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55500596?s=80&v=4"},"commit":{"message":"Update readme.md","shortMessageHtmlLink":"Update readme.md"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0zMVQxNzozMDowMy4wMDAwMDBazwAAAASOVLTr","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0zMVQxNzozMDowMy4wMDAwMDBazwAAAASOVLTr","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMS0xOFQyMTozNjozNi4wMDAwMDBazwAAAAOyZJF4"}},"title":"Activity · GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification"}