{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":618869838,"defaultBranch":"main","name":"lazy-wspace","ownerLogin":"thaliaarchi","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-03-25T15:37:28.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/8071784?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1679758658.0","currentOid":""},"activityList":{"items":[{"before":"f6b354431a8366dc1183b59a253caded011fa4ab","after":"1e3c11f4b685eb75995d9bd0ca7714b458605fa4","ref":"refs/heads/main","pushedAt":"2024-02-12T10:13:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thaliaarchi","name":"Thalia Archibald","path":"/thaliaarchi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8071784?s=80&v=4"},"commit":{"message":"Update dependencies","shortMessageHtmlLink":"Update dependencies"}},{"before":"fb08bc586d97b3c8b40c5a09075175a04b25ee0d","after":"f6b354431a8366dc1183b59a253caded011fa4ab","ref":"refs/heads/main","pushedAt":"2024-02-12T09:37:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thaliaarchi","name":"Thalia Archibald","path":"/thaliaarchi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8071784?s=80&v=4"},"commit":{"message":"Fix renamed opcode","shortMessageHtmlLink":"Fix renamed opcode"}},{"before":"7a71677fafc088b0c218dcf4ea72f62194e07500","after":"fb08bc586d97b3c8b40c5a09075175a04b25ee0d","ref":"refs/heads/main","pushedAt":"2024-01-21T13:43:19.000Z","pushType":"push","commitsCount":15,"pusher":{"login":"thaliaarchi","name":"Thalia Archibald","path":"/thaliaarchi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8071784?s=80&v=4"},"commit":{"message":"Review rustc lints","shortMessageHtmlLink":"Review rustc lints"}},{"before":"3aefa0dfb244075c529ef5c1e8660df8148e2ce2","after":"7a71677fafc088b0c218dcf4ea72f62194e07500","ref":"refs/heads/main","pushedAt":"2023-11-17T22:09:37.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"thaliaarchi","name":"Thalia Archibald","path":"/thaliaarchi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8071784?s=80&v=4"},"commit":{"message":"Run remaining tests","shortMessageHtmlLink":"Run remaining tests"}},{"before":"55a8265ed99a1b115a0d5eb5b5277c3dc5ba8708","after":"3aefa0dfb244075c529ef5c1e8660df8148e2ce2","ref":"refs/heads/main","pushedAt":"2023-11-05T11:54:57.000Z","pushType":"push","commitsCount":28,"pusher":{"login":"thaliaarchi","name":"Thalia Archibald","path":"/thaliaarchi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8071784?s=80&v=4"},"commit":{"message":"Separate Stack from Vm","shortMessageHtmlLink":"Separate Stack from Vm"}},{"before":"32cf7b64c15e02ee90dbdb8825d364e78a54318c","after":"55a8265ed99a1b115a0d5eb5b5277c3dc5ba8708","ref":"refs/heads/main","pushedAt":"2023-10-31T09:11:52.000Z","pushType":"push","commitsCount":12,"pusher":{"login":"thaliaarchi","name":"Thalia Archibald","path":"/thaliaarchi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8071784?s=80&v=4"},"commit":{"message":"Handle print permission denied","shortMessageHtmlLink":"Handle print permission denied"}},{"before":"a40358c43a43f0dbbac1d69ad56e8ea865fe34dd","after":"32cf7b64c15e02ee90dbdb8825d364e78a54318c","ref":"refs/heads/main","pushedAt":"2023-10-21T00:31:58.000Z","pushType":"push","commitsCount":16,"pusher":{"login":"thaliaarchi","name":"Thalia Archibald","path":"/thaliaarchi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8071784?s=80&v=4"},"commit":{"message":"Use span in Burghard","shortMessageHtmlLink":"Use span in Burghard"}},{"before":"387277ca5ad49da99163c7371560f31eb82464d5","after":"a40358c43a43f0dbbac1d69ad56e8ea865fe34dd","ref":"refs/heads/main","pushedAt":"2023-10-10T07:52:35.000Z","pushType":"push","commitsCount":16,"pusher":{"login":"thaliaarchi","name":"Thalia Archibald","path":"/thaliaarchi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8071784?s=80&v=4"},"commit":{"message":"Make upper line-column exclusive","shortMessageHtmlLink":"Make upper line-column exclusive"}},{"before":"ac08b4bcaeef2016e84b754f7bec5b0d9a98ea9a","after":"387277ca5ad49da99163c7371560f31eb82464d5","ref":"refs/heads/main","pushedAt":"2023-10-02T14:48:01.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"thaliaarchi","name":"Thalia Archibald","path":"/thaliaarchi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8071784?s=80&v=4"},"commit":{"message":"Remove comment patterns","shortMessageHtmlLink":"Remove comment patterns"}},{"before":"662ad8b0f752111863722f16dc98d2f6ec6ef847","after":"ac08b4bcaeef2016e84b754f7bec5b0d9a98ea9a","ref":"refs/heads/main","pushedAt":"2023-10-02T03:34:05.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"thaliaarchi","name":"Thalia Archibald","path":"/thaliaarchi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8071784?s=80&v=4"},"commit":{"message":"Rename scanners to lexers","shortMessageHtmlLink":"Rename scanners to lexers"}},{"before":"fe8d6b33366adfeb7325bf4c18bbcb437898a324","after":"662ad8b0f752111863722f16dc98d2f6ec6ef847","ref":"refs/heads/main","pushedAt":"2023-09-28T13:32:51.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"thaliaarchi","name":"Thalia Archibald","path":"/thaliaarchi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8071784?s=80&v=4"},"commit":{"message":"Rename number to integer","shortMessageHtmlLink":"Rename number to integer"}},{"before":"97f2e35feb95151377d14cda6a9101ec1f9d2041","after":"fe8d6b33366adfeb7325bf4c18bbcb437898a324","ref":"refs/heads/main","pushedAt":"2023-09-28T13:23:37.000Z","pushType":"push","commitsCount":14,"pusher":{"login":"thaliaarchi","name":"Thalia Archibald","path":"/thaliaarchi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8071784?s=80&v=4"},"commit":{"message":"Remove internal error variant","shortMessageHtmlLink":"Remove internal error variant"}},{"before":"614e0fa20f8032e884f2ae06cfa8ae487e819761","after":"97f2e35feb95151377d14cda6a9101ec1f9d2041","ref":"refs/heads/main","pushedAt":"2023-09-16T14:41:10.000Z","pushType":"push","commitsCount":10,"pusher":{"login":"thaliaarchi","name":"Thalia Archibald","path":"/thaliaarchi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8071784?s=80&v=4"},"commit":{"message":"Start moving Burghard to interop AST","shortMessageHtmlLink":"Start moving Burghard to interop AST"}},{"before":"5906fe1977371cac4ef61df409b2a67abed437a5","after":"614e0fa20f8032e884f2ae06cfa8ae487e819761","ref":"refs/heads/main","pushedAt":"2023-09-02T07:44:01.000Z","pushType":"push","commitsCount":21,"pusher":{"login":"thaliaarchi","name":"Thalia Archibald","path":"/thaliaarchi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8071784?s=80&v=4"},"commit":{"message":"Merge wspace-syntax tree","shortMessageHtmlLink":"Merge wspace-syntax tree"}},{"before":"9481dd2685bcdc11d04c82e18703f143377680bb","after":"5906fe1977371cac4ef61df409b2a67abed437a5","ref":"refs/heads/main","pushedAt":"2023-08-30T10:03:41.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"thaliaarchi","name":"Thalia Archibald","path":"/thaliaarchi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8071784?s=80&v=4"},"commit":{"message":"Start modelling AbstractStack in Coq","shortMessageHtmlLink":"Start modelling AbstractStack in Coq"}},{"before":"f6ba2a9d09f6840ce6a4c6feb863d75c1fdcdc68","after":"9481dd2685bcdc11d04c82e18703f143377680bb","ref":"refs/heads/main","pushedAt":"2023-08-29T21:41:43.000Z","pushType":"push","commitsCount":10,"pusher":{"login":"thaliaarchi","name":"Thalia Archibald","path":"/thaliaarchi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8071784?s=80&v=4"},"commit":{"message":"Reformat rewrites in Cranelift peepmatic style","shortMessageHtmlLink":"Reformat rewrites in Cranelift peepmatic style"}},{"before":"42e92d714152401163983b740d849414fa755422","after":"f6ba2a9d09f6840ce6a4c6feb863d75c1fdcdc68","ref":"refs/heads/main","pushedAt":"2023-08-28T12:40:54.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"thaliaarchi","name":"Thalia Archibald","path":"/thaliaarchi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8071784?s=80&v=4"},"commit":{"message":"Create Haskell Int type","shortMessageHtmlLink":"Create Haskell Int type"}},{"before":"9bd85e620a288f7d669c66e93dca282836420fc1","after":"42e92d714152401163983b740d849414fa755422","ref":"refs/heads/main","pushedAt":"2023-08-27T13:22:45.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"thaliaarchi","name":"Thalia Archibald","path":"/thaliaarchi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8071784?s=80&v=4"},"commit":{"message":"Merge statements into Inst","shortMessageHtmlLink":"Merge statements into Inst"}},{"before":"f890d508625b485e5147c953abf60b928c1e88e4","after":"9bd85e620a288f7d669c66e93dca282836420fc1","ref":"refs/heads/main","pushedAt":"2023-08-27T02:36:32.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"thaliaarchi","name":"Thalia Archibald","path":"/thaliaarchi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8071784?s=80&v=4"},"commit":{"message":"Prove arithmetic rewrites","shortMessageHtmlLink":"Prove arithmetic rewrites"}},{"before":"f4f33e0d25db841790e0c9a62d7887f2db3f5531","after":"f890d508625b485e5147c953abf60b928c1e88e4","ref":"refs/heads/main","pushedAt":"2023-08-25T08:22:51.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"thaliaarchi","name":"Thalia Archibald","path":"/thaliaarchi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8071784?s=80&v=4"},"commit":{"message":"Recognize popcnt","shortMessageHtmlLink":"Recognize popcnt"}},{"before":"f45e402a862e09db9be5137d0f5e5ddf9bce65b1","after":"f4f33e0d25db841790e0c9a62d7887f2db3f5531","ref":"refs/heads/main","pushedAt":"2023-08-24T13:56:01.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"thaliaarchi","name":"Thalia Archibald","path":"/thaliaarchi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8071784?s=80&v=4"},"commit":{"message":"Remove AST CFG","shortMessageHtmlLink":"Remove AST CFG"}},{"before":"6f10b87152f30bbce1abbcce0cd786351c1d5db4","after":"f45e402a862e09db9be5137d0f5e5ddf9bce65b1","ref":"refs/heads/main","pushedAt":"2023-08-22T01:15:11.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"thaliaarchi","name":"Thalia Archibald","path":"/thaliaarchi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8071784?s=80&v=4"},"commit":{"message":"Run stack simplification on IR","shortMessageHtmlLink":"Run stack simplification on IR"}},{"before":"12e747e89fef037f5a8a6da0df9117bb408fa0ca","after":"6f10b87152f30bbce1abbcce0cd786351c1d5db4","ref":"refs/heads/main","pushedAt":"2023-08-21T07:57:29.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"thaliaarchi","name":"Thalia Archibald","path":"/thaliaarchi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8071784?s=80&v=4"},"commit":{"message":"Fold ops and fix operand evaluation order","shortMessageHtmlLink":"Fold ops and fix operand evaluation order"}},{"before":"6190d8730fc51a4334823cfdbe11aa454fbc48f8","after":"12e747e89fef037f5a8a6da0df9117bb408fa0ca","ref":"refs/heads/main","pushedAt":"2023-03-30T09:19:05.036Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"thaliaarchi","name":"Thalia Archibald","path":"/thaliaarchi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8071784?s=80&v=4"},"commit":{"message":"Record YHack honorable mention","shortMessageHtmlLink":"Record YHack honorable mention"}},{"before":"bd2bdd3405cd0ecd59da0b53bf419fe9134d951a","after":"6190d8730fc51a4334823cfdbe11aa454fbc48f8","ref":"refs/heads/main","pushedAt":"2023-03-30T09:15:58.232Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"thaliaarchi","name":"Thalia Archibald","path":"/thaliaarchi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8071784?s=80&v=4"},"commit":{"message":"Record YHack honorable mention","shortMessageHtmlLink":"Record YHack honorable mention"}},{"before":null,"after":"bd2bdd3405cd0ecd59da0b53bf419fe9134d951a","ref":"refs/heads/main","pushedAt":"2023-03-25T15:37:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"thaliaarchi","name":"Thalia Archibald","path":"/thaliaarchi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8071784?s=80&v=4"},"commit":{"message":"Transparently print NumberRef and ExpRef","shortMessageHtmlLink":"Transparently print NumberRef and ExpRef"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD-EmbYAA","startCursor":null,"endCursor":null}},"title":"Activity · thaliaarchi/lazy-wspace"}