{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":311200284,"defaultBranch":"main","name":"aya-dev","ownerLogin":"aya-prover","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-11-09T02:16:13.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/73073122?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1720807451.0","currentOid":""},"activityList":{"items":[{"before":"5cc4320b4d86c3770f0d531250bd80f8c990978a","after":"5117b1f4177b3f1f9640a18a522ef54513dae6f4","ref":"refs/heads/jit-class","pushedAt":"2024-07-22T05:18:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HoshinoTented","name":"Hoshino Tented","path":"/HoshinoTented","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25280943?s=80&v=4"},"commit":{"message":"class: remove useless thing","shortMessageHtmlLink":"class: remove useless thing"}},{"before":"6ece06de3fed04f4e2bb37ba88e207204b0c654e","after":"5cc4320b4d86c3770f0d531250bd80f8c990978a","ref":"refs/heads/jit-class","pushedAt":"2024-07-22T05:13:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HoshinoTented","name":"Hoshino Tented","path":"/HoshinoTented","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25280943?s=80&v=4"},"commit":{"message":"class: introduce class resolver","shortMessageHtmlLink":"class: introduce class resolver"}},{"before":"e2956353e06887958f8504dc54d94618907388d3","after":"6ece06de3fed04f4e2bb37ba88e207204b0c654e","ref":"refs/heads/jit-class","pushedAt":"2024-07-16T22:44:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HoshinoTented","name":"Hoshino Tented","path":"/HoshinoTented","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25280943?s=80&v=4"},"commit":{"message":"jit: fix compilation","shortMessageHtmlLink":"jit: fix compilation"}},{"before":"73a458829e41b37e296d1245d2e4712c2f6a32f6","after":"e2956353e06887958f8504dc54d94618907388d3","ref":"refs/heads/jit-class","pushedAt":"2024-07-14T23:29:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HoshinoTented","name":"Hoshino Tented","path":"/HoshinoTented","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25280943?s=80&v=4"},"commit":{"message":"misc: comment","shortMessageHtmlLink":"misc: comment"}},{"before":"1323c06d617a0a97ca25596deda8202a99791461","after":"73a458829e41b37e296d1245d2e4712c2f6a32f6","ref":"refs/heads/jit-class","pushedAt":"2024-07-14T23:27:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HoshinoTented","name":"Hoshino Tented","path":"/HoshinoTented","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25280943?s=80&v=4"},"commit":{"message":"class: move the computation of result to ClassDefLike","shortMessageHtmlLink":"class: move the computation of result to ClassDefLike"}},{"before":"b753bd0b9446ed3e24ca6d00f343dcdb1670d211","after":"1323c06d617a0a97ca25596deda8202a99791461","ref":"refs/heads/jit-class","pushedAt":"2024-07-14T23:24:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HoshinoTented","name":"Hoshino Tented","path":"/HoshinoTented","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25280943?s=80&v=4"},"commit":{"message":"test: add more class test","shortMessageHtmlLink":"test: add more class test"}},{"before":"f26efb584e8105d0418cc949f0e936a7684509e5","after":"b753bd0b9446ed3e24ca6d00f343dcdb1670d211","ref":"refs/heads/jit-class","pushedAt":"2024-07-14T05:41:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HoshinoTented","name":"Hoshino Tented","path":"/HoshinoTented","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25280943?s=80&v=4"},"commit":{"message":"tycker: generalize more","shortMessageHtmlLink":"tycker: generalize more"}},{"before":"33d4b824130f3e85ba5c4586f73a24f344f9efc8","after":"f26efb584e8105d0418cc949f0e936a7684509e5","ref":"refs/heads/jit-class","pushedAt":"2024-07-14T01:22:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HoshinoTented","name":"Hoshino Tented","path":"/HoshinoTented","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25280943?s=80&v=4"},"commit":{"message":"tycker: generialize","shortMessageHtmlLink":"tycker: generialize"}},{"before":"523584075e8c417a09a35212438dcaa59542c944","after":"33d4b824130f3e85ba5c4586f73a24f344f9efc8","ref":"refs/heads/jit-class","pushedAt":"2024-07-13T21:43:11.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"HoshinoTented","name":"Hoshino Tented","path":"/HoshinoTented","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25280943?s=80&v=4"},"commit":{"message":"tycker: remove duplicated","shortMessageHtmlLink":"tycker: remove duplicated"}},{"before":"62764c1e1db6d1e07343c8e6bbd966b9938965c0","after":"523584075e8c417a09a35212438dcaa59542c944","ref":"refs/heads/jit-class","pushedAt":"2024-07-13T20:58:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ice1000","name":"Tesla Zhang‮","path":"/ice1000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16398479?s=80&v=4"},"commit":{"message":"misc: fewer lines of code","shortMessageHtmlLink":"misc: fewer lines of code"}},{"before":"728af3778d9cc032040539f9b0320b52928777c5","after":"62764c1e1db6d1e07343c8e6bbd966b9938965c0","ref":"refs/heads/jit-class","pushedAt":"2024-07-12T22:02:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HoshinoTented","name":"Hoshino Tented","path":"/HoshinoTented","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25280943?s=80&v=4"},"commit":{"message":"jit: trying to make more thing work","shortMessageHtmlLink":"jit: trying to make more thing work"}},{"before":"524c844f26bd7340a4ba9abbee8c74431aa238e4","after":"728af3778d9cc032040539f9b0320b52928777c5","ref":"refs/heads/jit-class","pushedAt":"2024-07-12T21:58:29.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"HoshinoTented","name":"Hoshino Tented","path":"/HoshinoTented","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25280943?s=80&v=4"},"commit":{"message":"jit: trying to make thing work","shortMessageHtmlLink":"jit: trying to make thing work"}},{"before":"8f52aab36e4b9426e2253f02673c4f7146fe45eb","after":null,"ref":"refs/heads/classes","pushedAt":"2024-07-12T18:04:11.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ice1000","name":"Tesla Zhang‮","path":"/ice1000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16398479?s=80&v=4"}},{"before":"e8cf3f88e9688252624ecd14bd74281eae4558a7","after":"5cecead3e25de1e65a4a518bff560f3108f34d4a","ref":"refs/heads/main","pushedAt":"2024-07-12T18:04:09.000Z","pushType":"pr_merge","commitsCount":37,"pusher":{"login":"ice1000","name":"Tesla Zhang‮","path":"/ice1000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16398479?s=80&v=4"},"commit":{"message":"merge: more progress on classes (#1129)","shortMessageHtmlLink":"merge: more progress on classes (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2396035339\" data-permission-text=\"Title is private\" data-url=\"https://github.com/aya-prover/aya-dev/issues/1129\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/aya-prover/aya-dev/pull/1129/hovercard\" href=\"https://github.com/aya-prover/aya-dev/pull/1129\">#1129</a>)"}},{"before":"309bc3f518cc090b43cee41e8ef0fefcc2814bbf","after":"8f52aab36e4b9426e2253f02673c4f7146fe45eb","ref":"refs/heads/classes","pushedAt":"2024-07-12T17:58:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ice1000","name":"Tesla Zhang‮","path":"/ice1000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16398479?s=80&v=4"},"commit":{"message":"pretty: explicitize when signature is null","shortMessageHtmlLink":"pretty: explicitize when signature is null"}},{"before":"6f6b9edcc742261003ca5cf4c167c3a74f59cdda","after":"309bc3f518cc090b43cee41e8ef0fefcc2814bbf","ref":"refs/heads/classes","pushedAt":"2024-07-12T17:37:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ice1000","name":"Tesla Zhang‮","path":"/ice1000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16398479?s=80&v=4"},"commit":{"message":"todo: do not panic","shortMessageHtmlLink":"todo: do not panic"}},{"before":"a6e9a4f3389deb2ad1579702f86ac209049f68d8","after":"6f6b9edcc742261003ca5cf4c167c3a74f59cdda","ref":"refs/heads/classes","pushedAt":"2024-07-12T17:36:15.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ice1000","name":"Tesla Zhang‮","path":"/ice1000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16398479?s=80&v=4"},"commit":{"message":"class: serialize memcall and new, need classcast and classcall","shortMessageHtmlLink":"class: serialize memcall and new, need classcast and classcall"}},{"before":null,"after":"524c844f26bd7340a4ba9abbee8c74431aa238e4","ref":"refs/heads/jit-class","pushedAt":"2024-07-12T17:30:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"HoshinoTented","name":"Hoshino Tented","path":"/HoshinoTented","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25280943?s=80&v=4"},"commit":{"message":"jit: primitive class","shortMessageHtmlLink":"jit: primitive class"}},{"before":"397a6f6fcbf3601e4d447bdad632e2ede74dcf2c","after":"a6e9a4f3389deb2ad1579702f86ac209049f68d8","ref":"refs/heads/classes","pushedAt":"2024-07-12T17:11:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ice1000","name":"Tesla Zhang‮","path":"/ice1000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16398479?s=80&v=4"},"commit":{"message":"class: code review, do not compute all the types","shortMessageHtmlLink":"class: code review, do not compute all the types"}},{"before":"bd870c4f41f018b96e12e4118bb1cb4b77e9b7db","after":"397a6f6fcbf3601e4d447bdad632e2ede74dcf2c","ref":"refs/heads/classes","pushedAt":"2024-07-11T12:04:05.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"HoshinoTented","name":"Hoshino Tented","path":"/HoshinoTented","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25280943?s=80&v=4"},"commit":{"message":"test: missing","shortMessageHtmlLink":"test: missing"}},{"before":"a0459b7cedc50d7690feaee2d8bb36ea5382c983","after":"bd870c4f41f018b96e12e4118bb1cb4b77e9b7db","ref":"refs/heads/classes","pushedAt":"2024-07-09T22:52:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ice1000","name":"Tesla Zhang‮","path":"/ice1000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16398479?s=80&v=4"},"commit":{"message":"revert: previous commit","shortMessageHtmlLink":"revert: previous commit"}},{"before":"ad53fb02c53bd38b120c100ced0f596f06079272","after":"a0459b7cedc50d7690feaee2d8bb36ea5382c983","ref":"refs/heads/classes","pushedAt":"2024-07-09T02:41:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HoshinoTented","name":"Hoshino Tented","path":"/HoshinoTented","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25280943?s=80&v=4"},"commit":{"message":"member: beta redux","shortMessageHtmlLink":"member: beta redux"}},{"before":"c3a84069da758ea79fc576901c2106454a378541","after":"ad53fb02c53bd38b120c100ced0f596f06079272","ref":"refs/heads/classes","pushedAt":"2024-07-08T20:40:17.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ice1000","name":"Tesla Zhang‮","path":"/ice1000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16398479?s=80&v=4"},"commit":{"message":"merge: branch 'main' into classes","shortMessageHtmlLink":"merge: branch 'main' into classes"}},{"before":"2fb4b5a4a2a0c9ed762886d5f317e19913362404","after":"c3a84069da758ea79fc576901c2106454a378541","ref":"refs/heads/classes","pushedAt":"2024-07-08T20:39:41.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"ice1000","name":"Tesla Zhang‮","path":"/ice1000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16398479?s=80&v=4"},"commit":{"message":"merge: branch 'coe' into classes\n\n# Conflicts:\n#\tbase/src/main/java/org/aya/tyck/ExprTycker.java","shortMessageHtmlLink":"merge: branch 'coe' into classes"}},{"before":"f3a198a492408ba6ee8d2029fff93539a7e5e6cf","after":null,"ref":"refs/heads/coe","pushedAt":"2024-07-08T20:39:21.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ice1000","name":"Tesla Zhang‮","path":"/ice1000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16398479?s=80&v=4"}},{"before":"f6a0b42e0002823d6e7c8321fdd3ddc691138839","after":"e8cf3f88e9688252624ecd14bd74281eae4558a7","ref":"refs/heads/main","pushedAt":"2024-07-08T20:39:20.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"ice1000","name":"Tesla Zhang‮","path":"/ice1000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16398479?s=80&v=4"},"commit":{"message":"merge: Coercive subtyping fixes + cherry pick from classes (#1131)\n\nFixes #1130\r\nCP from #1129","shortMessageHtmlLink":"merge: Coercive subtyping fixes + cherry pick from classes (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2396495596\" data-permission-text=\"Title is private\" data-url=\"https://github.com/aya-prover/aya-dev/issues/1131\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/aya-prover/aya-dev/pull/1131/hovercard\" href=\"https://github.com/aya-prover/aya-dev/pull/1131\">#1131</a>)"}},{"before":"a941c2efe1296341655b82afc1831daf2558052b","after":"f3a198a492408ba6ee8d2029fff93539a7e5e6cf","ref":"refs/heads/coe","pushedAt":"2024-07-08T20:35:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ice1000","name":"Tesla Zhang‮","path":"/ice1000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16398479?s=80&v=4"},"commit":{"message":"test: more coverage in syntax tests","shortMessageHtmlLink":"test: more coverage in syntax tests"}},{"before":"55634d9bcf46bb5a1bc850448a4f138f91e6dbaa","after":"a941c2efe1296341655b82afc1831daf2558052b","ref":"refs/heads/coe","pushedAt":"2024-07-08T20:27:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ice1000","name":"Tesla Zhang‮","path":"/ice1000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16398479?s=80&v=4"},"commit":{"message":"test: for #1130","shortMessageHtmlLink":"test: for <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2396426174\" data-permission-text=\"Title is private\" data-url=\"https://github.com/aya-prover/aya-dev/issues/1130\" data-hovercard-type=\"issue\" data-hovercard-url=\"/aya-prover/aya-dev/issues/1130/hovercard\" href=\"https://github.com/aya-prover/aya-dev/issues/1130\">#1130</a>"}},{"before":"75353b5d25ecc108dcf63cdfce9dcb5e78757d9b","after":"55634d9bcf46bb5a1bc850448a4f138f91e6dbaa","ref":"refs/heads/coe","pushedAt":"2024-07-08T20:20:21.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ice1000","name":"Tesla Zhang‮","path":"/ice1000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16398479?s=80&v=4"},"commit":{"message":"test: fix fixtures (good updates!)","shortMessageHtmlLink":"test: fix fixtures (good updates!)"}},{"before":"f39879c0f63c2cbe8814971a3f337f81b5c6f6b7","after":"75353b5d25ecc108dcf63cdfce9dcb5e78757d9b","ref":"refs/heads/coe","pushedAt":"2024-07-08T20:12:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ice1000","name":"Tesla Zhang‮","path":"/ice1000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16398479?s=80&v=4"},"commit":{"message":"build: larger stack size","shortMessageHtmlLink":"build: larger stack size"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEhWQPfAA","startCursor":null,"endCursor":null}},"title":"Activity · aya-prover/aya-dev"}