{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":613482939,"defaultBranch":"main","name":"cicada","ownerLogin":"a16z","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-03-13T16:51:02.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/745163?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716454880.0","currentOid":""},"activityList":{"items":[{"before":"e98623f22c54a9e56d627357c5f1181f8af50eb6","after":null,"ref":"refs/heads/pin-solc","pushedAt":"2024-05-23T09:01:20.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"moodlezoup","name":"Michael Zhu","path":"/moodlezoup","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8365992?s=80&v=4"}},{"before":"8742d6bf85969775810970466bce1b6157f4a5a6","after":"1d39e17d973d416636ea01e1193d16c8081fae35","ref":"refs/heads/main","pushedAt":"2024-05-23T09:01:13.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"moodlezoup","name":"Michael Zhu","path":"/moodlezoup","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8365992?s=80&v=4"},"commit":{"message":"Merge pull request #8 from a16z/pin-solc\n\npin solc to 0.8.25 to avoid stack too deep errors","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2311197954\" data-permission-text=\"Title is private\" data-url=\"https://github.com/a16z/cicada/issues/8\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/a16z/cicada/pull/8/hovercard\" href=\"https://github.com/a16z/cicada/pull/8\">#8</a> from a16z/pin-solc"}},{"before":"bb592ccb89433c4fec4f6bd24b436f1a09920a3d","after":"e98623f22c54a9e56d627357c5f1181f8af50eb6","ref":"refs/heads/pin-solc","pushedAt":"2024-05-22T21:28:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"karmacoma-eth","name":"karmacoma","path":"/karmacoma-eth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/85039585?s=80&v=4"},"commit":{"message":"ci: fix halmos invocation\n\n--error-unknown has been removed from recent releases","shortMessageHtmlLink":"ci: fix halmos invocation"}},{"before":null,"after":"bb592ccb89433c4fec4f6bd24b436f1a09920a3d","ref":"refs/heads/pin-solc","pushedAt":"2024-05-22T18:19:16.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"karmacoma-eth","name":"karmacoma","path":"/karmacoma-eth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/85039585?s=80&v=4"},"commit":{"message":"pin solc to 0.8.25 to avoid stack too deep errors","shortMessageHtmlLink":"pin solc to 0.8.25 to avoid stack too deep errors"}},{"before":"6ccf24adab1825c5bde2f719c0af02d7baed777a","after":"51b2ef2802bee7dbe65c0ef49e553798bf87d37c","ref":"refs/heads/feat/cicada-extensions","pushedAt":"2023-09-19T13:38:56.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"moodlezoup","name":"Michael Zhu","path":"/moodlezoup","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8365992?s=80&v=4"},"commit":{"message":"misc","shortMessageHtmlLink":"misc"}},{"before":"fc6efc58720e7235333a927732c981426ebfa462","after":"6ccf24adab1825c5bde2f719c0af02d7baed777a","ref":"refs/heads/feat/cicada-extensions","pushedAt":"2023-09-19T13:11:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"moodlezoup","name":"Michael Zhu","path":"/moodlezoup","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8365992?s=80&v=4"},"commit":{"message":"Rename files/contracts","shortMessageHtmlLink":"Rename files/contracts"}},{"before":"73eee7856b7e8030cfeed7dbb9b48e5bd8800615","after":"fc6efc58720e7235333a927732c981426ebfa462","ref":"refs/heads/feat/cicada-extensions","pushedAt":"2023-09-19T12:40:10.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"moodlezoup","name":"Michael Zhu","path":"/moodlezoup","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8365992?s=80&v=4"},"commit":{"message":"FinalizeAuction test for auction2","shortMessageHtmlLink":"FinalizeAuction test for auction2"}},{"before":"a17cae7b7acc4b4c3d11c2427c54f6fb187aff4f","after":null,"ref":"refs/heads/feat/cumulative-voting","pushedAt":"2023-09-18T15:50:49.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"moodlezoup","name":"Michael Zhu","path":"/moodlezoup","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8365992?s=80&v=4"}},{"before":"a17cae7b7acc4b4c3d11c2427c54f6fb187aff4f","after":"73eee7856b7e8030cfeed7dbb9b48e5bd8800615","ref":"refs/heads/feat/cicada-extensions","pushedAt":"2023-09-18T15:50:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"moodlezoup","name":"Michael Zhu","path":"/moodlezoup","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8365992?s=80&v=4"},"commit":{"message":"FinalizeAuction test","shortMessageHtmlLink":"FinalizeAuction test"}},{"before":null,"after":"a17cae7b7acc4b4c3d11c2427c54f6fb187aff4f","ref":"refs/heads/feat/cicada-extensions","pushedAt":"2023-09-18T15:08:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"moodlezoup","name":"Michael Zhu","path":"/moodlezoup","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8365992?s=80&v=4"},"commit":{"message":"CicadaVote -> CicadaBinaryVote; readd SemaphoreCicada","shortMessageHtmlLink":"CicadaVote -&gt; CicadaBinaryVote; readd SemaphoreCicada"}},{"before":"56b62efb566c4aff0f8a78aa781c647ee7870085","after":"a17cae7b7acc4b4c3d11c2427c54f6fb187aff4f","ref":"refs/heads/feat/cumulative-voting","pushedAt":"2023-09-17T23:03:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"moodlezoup","name":"Michael Zhu","path":"/moodlezoup","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8365992?s=80&v=4"},"commit":{"message":"CicadaVote -> CicadaBinaryVote; readd SemaphoreCicada","shortMessageHtmlLink":"CicadaVote -&gt; CicadaBinaryVote; readd SemaphoreCicada"}},{"before":"d96e2f47510c0035651beccbca41f3b6ea4693e4","after":"56b62efb566c4aff0f8a78aa781c647ee7870085","ref":"refs/heads/feat/cumulative-voting","pushedAt":"2023-09-17T22:49:06.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"moodlezoup","name":"Michael Zhu","path":"/moodlezoup","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8365992?s=80&v=4"},"commit":{"message":"FinalizeCumulativeVote test","shortMessageHtmlLink":"FinalizeCumulativeVote test"}},{"before":"d288603a62d781b0d6bffeffba254e64cc69e1c6","after":"d96e2f47510c0035651beccbca41f3b6ea4693e4","ref":"refs/heads/feat/cumulative-voting","pushedAt":"2023-09-17T20:57:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"moodlezoup","name":"Michael Zhu","path":"/moodlezoup","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8365992?s=80&v=4"},"commit":{"message":"VerifyBid test","shortMessageHtmlLink":"VerifyBid test"}},{"before":"8b4bdd87abb838dbbc8a7be81c0a569ab6016ba6","after":"d288603a62d781b0d6bffeffba254e64cc69e1c6","ref":"refs/heads/feat/cumulative-voting","pushedAt":"2023-09-17T20:57:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"moodlezoup","name":"Michael Zhu","path":"/moodlezoup","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8365992?s=80&v=4"},"commit":{"message":"VerifyBid test","shortMessageHtmlLink":"VerifyBid test"}},{"before":"d46f16d3826dbf7a645607507bb3a8336eecd8af","after":"8b4bdd87abb838dbbc8a7be81c0a569ab6016ba6","ref":"refs/heads/feat/cumulative-voting","pushedAt":"2023-09-17T19:12:37.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"moodlezoup","name":"Michael Zhu","path":"/moodlezoup","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8365992?s=80&v=4"},"commit":{"message":"Implement CicadaAuction","shortMessageHtmlLink":"Implement CicadaAuction"}},{"before":"89e9f27cb1ca52c3ea1cdc196481613cd01fc48e","after":"d46f16d3826dbf7a645607507bb3a8336eecd8af","ref":"refs/heads/feat/cumulative-voting","pushedAt":"2023-09-17T00:38:20.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"moodlezoup","name":"Michael Zhu","path":"/moodlezoup","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8365992?s=80&v=4"},"commit":{"message":"Remove unnecessary check/parameters for PoKSqS and PoKSEq","shortMessageHtmlLink":"Remove unnecessary check/parameters for PoKSqS and PoKSEq"}},{"before":"236db579f61fd9ffcf4307bd66fa13cfac976aad","after":"89e9f27cb1ca52c3ea1cdc196481613cd01fc48e","ref":"refs/heads/feat/cumulative-voting","pushedAt":"2023-09-16T17:07:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"moodlezoup","name":"Michael Zhu","path":"/moodlezoup","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8365992?s=80&v=4"},"commit":{"message":"Add proof of valid HTLP","shortMessageHtmlLink":"Add proof of valid HTLP"}},{"before":"99b783f0daa5eee482db274ff4bbb2219462c3bc","after":"236db579f61fd9ffcf4307bd66fa13cfac976aad","ref":"refs/heads/feat/cumulative-voting","pushedAt":"2023-09-16T15:57:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"moodlezoup","name":"Michael Zhu","path":"/moodlezoup","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8365992?s=80&v=4"},"commit":{"message":"fix _finalizeVote and _verifySolutionCorrectness","shortMessageHtmlLink":"fix _finalizeVote and _verifySolutionCorrectness"}},{"before":"231bf3325f33ec76709e0ad9a262ee431a12eef7","after":"99b783f0daa5eee482db274ff4bbb2219462c3bc","ref":"refs/heads/feat/cumulative-voting","pushedAt":"2023-09-16T15:35:31.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"moodlezoup","name":"Michael Zhu","path":"/moodlezoup","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8365992?s=80&v=4"},"commit":{"message":"Sigma protocols and test generation script for cumulative voting","shortMessageHtmlLink":"Sigma protocols and test generation script for cumulative voting"}},{"before":null,"after":"231bf3325f33ec76709e0ad9a262ee431a12eef7","ref":"refs/heads/feat/cumulative-voting","pushedAt":"2023-09-16T15:33:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"moodlezoup","name":"Michael Zhu","path":"/moodlezoup","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8365992?s=80&v=4"},"commit":{"message":"Sigma protocols and test generation script for cumulative voting","shortMessageHtmlLink":"Sigma protocols and test generation script for cumulative voting"}},{"before":"5cc3cb8acc4b0ecd8e5e8428c985db1077d5d117","after":"8742d6bf85969775810970466bce1b6157f4a5a6","ref":"refs/heads/main","pushedAt":"2023-08-01T22:37:38.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"moodlezoup","name":"Michael Zhu","path":"/moodlezoup","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8365992?s=80&v=4"},"commit":{"message":"Merge pull request #7 from a16z/fix/run-ci-on-push\n\nRun ci on push/PR","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1832061241\" data-permission-text=\"Title is private\" data-url=\"https://github.com/a16z/cicada/issues/7\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/a16z/cicada/pull/7/hovercard\" href=\"https://github.com/a16z/cicada/pull/7\">#7</a> from a16z/fix/run-ci-on-push"}},{"before":"1c4d3df50cb2c234712f3ff812b6c432f7834833","after":"e17615d72d40cc9cc84912733aaa7baf74d1e073","ref":"refs/heads/fix/run-ci-on-push","pushedAt":"2023-08-01T21:30:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"moodlezoup","name":"Michael Zhu","path":"/moodlezoup","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8365992?s=80&v=4"},"commit":{"message":"Run tests on PR/push","shortMessageHtmlLink":"Run tests on PR/push"}},{"before":"7c56303bf71c1fa5cfccd6e39a2a401b0a655f29","after":null,"ref":"refs/heads/feat/htlp","pushedAt":"2023-08-01T15:35:39.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"moodlezoup","name":"Michael Zhu","path":"/moodlezoup","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8365992?s=80&v=4"}},{"before":"8e974a019c88183e3128b4758913bf3a1d7e525a","after":"1c4d3df50cb2c234712f3ff812b6c432f7834833","ref":"refs/heads/fix/run-ci-on-push","pushedAt":"2023-08-01T15:35:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"moodlezoup","name":"Michael Zhu","path":"/moodlezoup","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8365992?s=80&v=4"},"commit":{"message":"Add reference tests to test.yml","shortMessageHtmlLink":"Add reference tests to test.yml"}},{"before":"5cc3cb8acc4b0ecd8e5e8428c985db1077d5d117","after":"8e974a019c88183e3128b4758913bf3a1d7e525a","ref":"refs/heads/fix/run-ci-on-push","pushedAt":"2023-08-01T15:31:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"moodlezoup","name":"Michael Zhu","path":"/moodlezoup","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8365992?s=80&v=4"},"commit":{"message":"Add reference tests to test.yml","shortMessageHtmlLink":"Add reference tests to test.yml"}},{"before":null,"after":"5cc3cb8acc4b0ecd8e5e8428c985db1077d5d117","ref":"refs/heads/fix/run-ci-on-push","pushedAt":"2023-08-01T15:31:06.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"moodlezoup","name":"Michael Zhu","path":"/moodlezoup","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8365992?s=80&v=4"},"commit":{"message":"Merge pull request #6 from a16z/ci/halmos\n\nci: update halmos command for v0.1.0","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1819448691\" data-permission-text=\"Title is private\" data-url=\"https://github.com/a16z/cicada/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/a16z/cicada/pull/6/hovercard\" href=\"https://github.com/a16z/cicada/pull/6\">#6</a> from a16z/ci/halmos"}},{"before":"fde7154a26bd3ea4a833ec2513553a1d9bb0c097","after":null,"ref":"refs/heads/ci/halmos","pushedAt":"2023-07-26T23:24:36.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"}},{"before":"c4dde7737778df759172ecdf7b4b044c60ce1f09","after":"5cc3cb8acc4b0ecd8e5e8428c985db1077d5d117","ref":"refs/heads/main","pushedAt":"2023-07-26T21:00:49.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"moodlezoup","name":"Michael Zhu","path":"/moodlezoup","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8365992?s=80&v=4"},"commit":{"message":"Merge pull request #6 from a16z/ci/halmos\n\nci: update halmos command for v0.1.0","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1819448691\" data-permission-text=\"Title is private\" data-url=\"https://github.com/a16z/cicada/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/a16z/cicada/pull/6/hovercard\" href=\"https://github.com/a16z/cicada/pull/6\">#6</a> from a16z/ci/halmos"}},{"before":null,"after":"fde7154a26bd3ea4a833ec2513553a1d9bb0c097","ref":"refs/heads/ci/halmos","pushedAt":"2023-07-25T02:36:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"},"commit":{"message":"ci: update halmos command for v0.1.0","shortMessageHtmlLink":"ci: update halmos command for v0.1.0"}},{"before":"6975750837ca48b8c75336ce9531b9c6022e65fb","after":null,"ref":"refs/heads/test/halmos","pushedAt":"2023-07-20T21:47:23.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEUcszOgA","startCursor":null,"endCursor":null}},"title":"Activity · a16z/cicada"}