{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":438413357,"defaultBranch":"master","name":"circ","ownerLogin":"alex-ozdemir","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2021-12-14T22:04:20.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/5809398?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1720482857.0","currentOid":""},"activityList":{"items":[{"before":"f471d724ce751e85ab4c1d71ed13df30ac8533da","after":null,"ref":"refs/heads/round-reduce","pushedAt":"2024-07-08T23:54:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"}},{"before":"dfb034272e77ad29c4d2d42ae977d9b1748793a8","after":"f471d724ce751e85ab4c1d71ed13df30ac8533da","ref":"refs/heads/round-reduce","pushedAt":"2024-07-08T23:48:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"},"commit":{"message":"fmt","shortMessageHtmlLink":"fmt"}},{"before":null,"after":"dfb034272e77ad29c4d2d42ae977d9b1748793a8","ref":"refs/heads/round-reduce","pushedAt":"2024-07-08T23:45:36.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"},"commit":{"message":"Reduce the number of rounds in ROM checking to 2.\n\nIt was spuriously three because of imprecise dependency tracking","shortMessageHtmlLink":"Reduce the number of rounds in ROM checking to 2."}},{"before":"4c3a1a5ac5c205cf84f34018c689af4f1169ca6c","after":"122473021517ec881b439821b344f264587a11e7","ref":"refs/heads/master","pushedAt":"2024-07-01T22:10:31.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"},"commit":{"message":"bugfix: type error in obliv (#203)","shortMessageHtmlLink":"bugfix: type error in obliv (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2384799767\" data-permission-text=\"Title is private\" data-url=\"https://github.com/circify/circ/issues/203\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/circify/circ/pull/203/hovercard\" href=\"https://github.com/circify/circ/pull/203\">circify#203</a>)"}},{"before":"e7915c6436f26d976a574b3921dd3c5d6e8d0193","after":null,"ref":"refs/heads/type-error-obliv","pushedAt":"2024-07-01T22:09:44.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"}},{"before":null,"after":"e7915c6436f26d976a574b3921dd3c5d6e8d0193","ref":"refs/heads/type-error-obliv","pushedAt":"2024-07-01T21:55:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"},"commit":{"message":"bugfix: type error in obliv","shortMessageHtmlLink":"bugfix: type error in obliv"}},{"before":"aaab8031a3ceafe3f91dbe2828744cea5f5b4b3b","after":null,"ref":"refs/heads/tuple-elim-in-prec","pushedAt":"2024-06-27T18:35:21.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"}},{"before":null,"after":"aaab8031a3ceafe3f91dbe2828744cea5f5b4b3b","ref":"refs/heads/tuple-elim-in-prec","pushedAt":"2024-06-27T18:29:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"},"commit":{"message":"Eliminate tuples in preprocessing\n\nThis started as an optimization patch, but my first optimization\nrevealed a bug. In chasing the bug, I found more optimization.\n\nChanges:\n1. Eliminate tuples in preprocessing. (opt)\n2. Handle CStore in tuple elimination pass. (bugfix)\n3. Use tuples instead of arrays in a few more extension ops: (opt)\n  * GCD for vanishing polynomials and their derivatives\n  * sorting in transcript checking\n4. A few logging revisions","shortMessageHtmlLink":"Eliminate tuples in preprocessing"}},{"before":"bf289bb5f84b7bca37ff170210aed1d8a6424529","after":null,"ref":"refs/heads/fits-in-bits","pushedAt":"2024-06-25T02:14:21.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"}},{"before":"c2e904291f6219837f12c1ab6ecc9dfad074b4a6","after":null,"ref":"refs/heads/ci-doc","pushedAt":"2024-06-25T02:14:07.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"}},{"before":null,"after":"c2e904291f6219837f12c1ab6ecc9dfad074b4a6","ref":"refs/heads/ci-doc","pushedAt":"2024-06-25T01:57:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"},"commit":{"message":"fix doc gen and add to CI","shortMessageHtmlLink":"fix doc gen and add to CI"}},{"before":"4aa36e479fe15fb444cc9190e0cb5a1a493ee221","after":"4c3a1a5ac5c205cf84f34018c689af4f1169ca6c","ref":"refs/heads/master","pushedAt":"2024-06-24T20:51:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"},"commit":{"message":"Arc<> in Sort (#200)\n\nDecreases memory use in matrix multiply by up to 2.5x","shortMessageHtmlLink":"Arc&lt;&gt; in Sort (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2370729572\" data-permission-text=\"Title is private\" data-url=\"https://github.com/circify/circ/issues/200\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/circify/circ/pull/200/hovercard\" href=\"https://github.com/circify/circ/pull/200\">circify#200</a>)"}},{"before":"48ba762350e99e31e02e6e19c6eab7e6b7292c86","after":null,"ref":"refs/heads/sort-arc","pushedAt":"2024-06-24T17:30:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"}},{"before":null,"after":"48ba762350e99e31e02e6e19c6eab7e6b7292c86","ref":"refs/heads/sort-arc","pushedAt":"2024-06-24T17:17:01.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"},"commit":{"message":"Arc<> in Sort\n\nDecreases memory use in matrix multiply by up to 2.5x","shortMessageHtmlLink":"Arc&lt;&gt; in Sort"}},{"before":"0eea91ea45b1fdc483f3aa7820eb565cfe877f01","after":"4aa36e479fe15fb444cc9190e0cb5a1a493ee221","ref":"refs/heads/master","pushedAt":"2024-06-24T17:16:49.000Z","pushType":"push","commitsCount":132,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"},"commit":{"message":"Decrease the size of `Op` and `Sort`. (#199)","shortMessageHtmlLink":"Decrease the size of <code>Op</code> and <code>Sort</code>. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2370410314\" data-permission-text=\"Title is private\" data-url=\"https://github.com/circify/circ/issues/199\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/circify/circ/pull/199/hovercard\" href=\"https://github.com/circify/circ/pull/199\">circify#199</a>)"}},{"before":"f922f6c3b17bb9ca79b2f3c547de8dacc328e311","after":null,"ref":"refs/heads/layout-changes","pushedAt":"2024-06-24T15:35:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"}},{"before":"0af47c288b907060c6e353b7766873282ef95a86","after":"f922f6c3b17bb9ca79b2f3c547de8dacc328e311","ref":"refs/heads/layout-changes","pushedAt":"2024-06-24T15:06:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"},"commit":{"message":"test typo fix","shortMessageHtmlLink":"test typo fix"}},{"before":"a07774743bc115d7711d8945ecb2c4444a608c10","after":"0af47c288b907060c6e353b7766873282ef95a86","ref":"refs/heads/layout-changes","pushedAt":"2024-06-24T14:57:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"},"commit":{"message":"update ILP & MPC backends","shortMessageHtmlLink":"update ILP &amp; MPC backends"}},{"before":null,"after":"a07774743bc115d7711d8945ecb2c4444a608c10","ref":"refs/heads/layout-changes","pushedAt":"2024-06-24T14:29:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"},"commit":{"message":"u32 in Op::BvExtract","shortMessageHtmlLink":"u32 in Op::BvExtract"}},{"before":"700a2a18ac2017a8239ef59c369797df395c136c","after":null,"ref":"refs/heads/display","pushedAt":"2024-06-23T17:48:03.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"}},{"before":null,"after":"700a2a18ac2017a8239ef59c369797df395c136c","ref":"refs/heads/display","pushedAt":"2024-06-23T17:23:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"},"commit":{"message":"move op Display impls to ir::term::fmt","shortMessageHtmlLink":"move op Display impls to ir::term::fmt"}},{"before":"ac04e452939646f5cddfc93950e2ea80edd1a912","after":null,"ref":"refs/heads/eval-mod","pushedAt":"2024-06-23T17:21:32.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"}},{"before":null,"after":"ac04e452939646f5cddfc93950e2ea80edd1a912","ref":"refs/heads/eval-mod","pushedAt":"2024-06-23T17:15:14.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"},"commit":{"message":"fmt","shortMessageHtmlLink":"fmt"}},{"before":"d611fad4f1450813260e561fc452deedcd5607a8","after":null,"ref":"refs/heads/merge-shalook","pushedAt":"2024-06-19T20:09:46.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"}},{"before":"a1c4f69690d1ebbe0ecb54f866a4d50700364bf2","after":"d611fad4f1450813260e561fc452deedcd5607a8","ref":"refs/heads/merge-shalook","pushedAt":"2024-06-19T19:27:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"},"commit":{"message":"relint with new nightly","shortMessageHtmlLink":"relint with new nightly"}},{"before":"1af5d01395c0dd59e21895aa144d000e8363fcf2","after":"a1c4f69690d1ebbe0ecb54f866a4d50700364bf2","ref":"refs/heads/merge-shalook","pushedAt":"2024-06-19T19:17:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"},"commit":{"message":"lint & format","shortMessageHtmlLink":"lint &amp; format"}},{"before":null,"after":"1af5d01395c0dd59e21895aa144d000e8363fcf2","ref":"refs/heads/merge-shalook","pushedAt":"2024-06-19T18:57:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"},"commit":{"message":"finish merge","shortMessageHtmlLink":"finish merge"}},{"before":"9b6d1138afb5b7f8b23febc4ba28f82ab75bb3f3","after":"856aee1ccf060482fd9e5b1a312b13e3875da033","ref":"refs/heads/mem-eval","pushedAt":"2024-06-17T06:59:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"},"commit":{"message":"mem-evalxcd","shortMessageHtmlLink":"mem-evalxcd"}},{"before":"222659bf59bb83bd4ea6f1dd1403277951dd1780","after":null,"ref":"refs/heads/merge-mem-eval","pushedAt":"2024-06-11T23:50:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"}},{"before":"42f0ef953d797a7bfcb9a5a712766d4009d0bccd","after":"222659bf59bb83bd4ea6f1dd1403277951dd1780","ref":"refs/heads/merge-mem-eval","pushedAt":"2024-06-11T22:46:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alex-ozdemir","name":"Alex Ozdemir","path":"/alex-ozdemir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5809398?s=80&v=4"},"commit":{"message":"add back requirements","shortMessageHtmlLink":"add back requirements"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEehxAlgA","startCursor":null,"endCursor":null}},"title":"Activity · alex-ozdemir/circ"}