{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":633371233,"defaultBranch":"main","name":"gitrees","ownerLogin":"logsem","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-04-27T11:02:07.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/22809445?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1720112559.0","currentOid":""},"activityList":{"items":[{"before":"e54d14e29f3bfeb68f239dff315d2474fe46bd27","after":"d7a5f5c84ba4cb87b3b38d1ef0958d93cb60fa87","ref":"refs/heads/delim_staging","pushedAt":"2024-07-30T10:42:49.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"Kaptch","name":"Sergei Stepanenko","path":"/Kaptch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11298572?s=80&v=4"},"commit":{"message":"bump","shortMessageHtmlLink":"bump"}},{"before":"1738ebcb32eaa99dda00d00fa305b18fe671a445","after":"e54d14e29f3bfeb68f239dff315d2474fe46bd27","ref":"refs/heads/delim_staging","pushedAt":"2024-07-09T23:34:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kaptch","name":"Sergei Stepanenko","path":"/Kaptch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11298572?s=80&v=4"},"commit":{"message":"rm comments","shortMessageHtmlLink":"rm comments"}},{"before":"4bbed45b8544512d7af746540b8f7ccf1d5aefea","after":"1738ebcb32eaa99dda00d00fa305b18fe671a445","ref":"refs/heads/delim_staging","pushedAt":"2024-07-09T23:18:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kaptch","name":"Sergei Stepanenko","path":"/Kaptch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11298572?s=80&v=4"},"commit":{"message":"bump example","shortMessageHtmlLink":"bump example"}},{"before":"8e8b9006b42fd4302353acb067efd91fcf6cd75b","after":"4bbed45b8544512d7af746540b8f7ccf1d5aefea","ref":"refs/heads/delim_staging","pushedAt":"2024-07-09T21:12:28.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Kaptch","name":"Sergei Stepanenko","path":"/Kaptch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11298572?s=80&v=4"},"commit":{"message":"lang from the text","shortMessageHtmlLink":"lang from the text"}},{"before":"e84cfd070664fe235158bcf54105ea87bfcfc5da","after":null,"ref":"refs/heads/delim_model","pushedAt":"2024-07-04T17:02:39.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"co-dan","name":"Daniel Frumin","path":"/co-dan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2814972?s=80&v=4"}},{"before":"9fde51d89b92689e0ed8d1f19e69350748bbbb74","after":null,"ref":"refs/heads/affine","pushedAt":"2024-07-04T17:02:28.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"co-dan","name":"Daniel Frumin","path":"/co-dan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2814972?s=80&v=4"}},{"before":"147e0d9f59aaffb23ffcc983cc8185a70f6cc7f3","after":null,"ref":"refs/heads/wip","pushedAt":"2024-07-04T17:02:23.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"co-dan","name":"Daniel Frumin","path":"/co-dan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2814972?s=80&v=4"}},{"before":"78ce37396e22edc8beca6ca6709fa2d2000be170","after":"8e8b9006b42fd4302353acb067efd91fcf6cd75b","ref":"refs/heads/delim_staging","pushedAt":"2024-06-27T17:38:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kaptch","name":"Sergei Stepanenko","path":"/Kaptch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11298572?s=80&v=4"},"commit":{"message":"ffi fix (wrong typing rule)","shortMessageHtmlLink":"ffi fix (wrong typing rule)"}},{"before":"cec01ba8b243fa5a17431e2cde2baa4a8bf55ee2","after":"78ce37396e22edc8beca6ca6709fa2d2000be170","ref":"refs/heads/delim_staging","pushedAt":"2024-06-24T18:53:31.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"Kaptch","name":"Sergei Stepanenko","path":"/Kaptch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11298572?s=80&v=4"},"commit":{"message":"Merge branch 'delim_staging' of github.com:logsem/gitrees into delim_staging","shortMessageHtmlLink":"Merge branch 'delim_staging' of github.com:logsem/gitrees into delim_…"}},{"before":"b91709c2be7aa0718e7e4c6f977cf9f39208a7c5","after":"cec01ba8b243fa5a17431e2cde2baa4a8bf55ee2","ref":"refs/heads/delim_staging","pushedAt":"2024-06-24T18:23:51.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Kaptch","name":"Sergei Stepanenko","path":"/Kaptch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11298572?s=80&v=4"},"commit":{"message":"Merge branch 'delim_staging' of github.com:logsem/gitrees into delim_staging","shortMessageHtmlLink":"Merge branch 'delim_staging' of github.com:logsem/gitrees into delim_…"}},{"before":"5b95d208333f17d9d40b4996ddd0d6b1f294be45","after":"0a1c1775edd38608c1331f9d5499698256a2e93d","ref":"refs/heads/main","pushedAt":"2024-06-24T08:59:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"co-dan","name":"Daniel Frumin","path":"/co-dan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2814972?s=80&v=4"},"commit":{"message":"tweaks","shortMessageHtmlLink":"tweaks"}},{"before":"421eb902855c5b6be7c0b584ff6a09045a3a850b","after":"5b95d208333f17d9d40b4996ddd0d6b1f294be45","ref":"refs/heads/main","pushedAt":"2024-06-23T17:55:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"co-dan","name":"Daniel Frumin","path":"/co-dan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2814972?s=80&v=4"},"commit":{"message":"fix the .opam file","shortMessageHtmlLink":"fix the .opam file"}},{"before":"6ce529968185ef2ad2561a1daaf27d60ffd8c293","after":"421eb902855c5b6be7c0b584ff6a09045a3a850b","ref":"refs/heads/main","pushedAt":"2024-06-23T17:52:56.000Z","pushType":"pr_merge","commitsCount":15,"pusher":{"login":"co-dan","name":"Daniel Frumin","path":"/co-dan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2814972?s=80&v=4"},"commit":{"message":"Merge pull request #4 from logsem/delim_staging\n\nDelimited continuations","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2347394405\" data-permission-text=\"Title is private\" data-url=\"https://github.com/logsem/gitrees/issues/4\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/logsem/gitrees/pull/4/hovercard\" href=\"https://github.com/logsem/gitrees/pull/4\">#4</a> from logsem/delim_staging"}},{"before":"63af67498fc83bd0654f2654c3c9b6b12b0c9793","after":"b91709c2be7aa0718e7e4c6f977cf9f39208a7c5","ref":"refs/heads/delim_staging","pushedAt":"2024-06-23T17:39:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"co-dan","name":"Daniel Frumin","path":"/co-dan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2814972?s=80&v=4"},"commit":{"message":"fix hom issues","shortMessageHtmlLink":"fix hom issues"}},{"before":"b33aa397fbd8707bd529908c6f0b9b0f3555ea3d","after":"63af67498fc83bd0654f2654c3c9b6b12b0c9793","ref":"refs/heads/delim_staging","pushedAt":"2024-06-23T17:13:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"co-dan","name":"Daniel Frumin","path":"/co-dan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2814972?s=80&v=4"},"commit":{"message":"more cleaning up","shortMessageHtmlLink":"more cleaning up"}},{"before":"179a0f0bb08e0b31862692b5bc7d5ca520184e66","after":"b33aa397fbd8707bd529908c6f0b9b0f3555ea3d","ref":"refs/heads/delim_staging","pushedAt":"2024-06-18T07:21:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"co-dan","name":"Daniel Frumin","path":"/co-dan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2814972?s=80&v=4"},"commit":{"message":"a bit of cleaning","shortMessageHtmlLink":"a bit of cleaning"}},{"before":"39c6ddf1b1d27bc881b4542ab5399273243af5d6","after":"179a0f0bb08e0b31862692b5bc7d5ca520184e66","ref":"refs/heads/delim_staging","pushedAt":"2024-06-12T10:20:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kaptch","name":"Sergei Stepanenko","path":"/Kaptch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11298572?s=80&v=4"},"commit":{"message":"missing notation","shortMessageHtmlLink":"missing notation"}},{"before":"9a43123ad38dbb8155fa4a68fdccdc9e036e78ac","after":"39c6ddf1b1d27bc881b4542ab5399273243af5d6","ref":"refs/heads/delim_staging","pushedAt":"2024-06-11T17:28:18.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"Kaptch","name":"Sergei Stepanenko","path":"/Kaptch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11298572?s=80&v=4"},"commit":{"message":"minor fixes","shortMessageHtmlLink":"minor fixes"}},{"before":"435bb1abe5e73fff814b90f87629149753473c30","after":"9a43123ad38dbb8155fa4a68fdccdc9e036e78ac","ref":"refs/heads/delim_staging","pushedAt":"2024-06-07T14:00:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kaptch","name":"Sergei Stepanenko","path":"/Kaptch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11298572?s=80&v=4"},"commit":{"message":"delim logrel: shift/reset, adequacy","shortMessageHtmlLink":"delim logrel: shift/reset, adequacy"}},{"before":"b5292773b6da0b4f60e13a15c4e287da93d1655c","after":"435bb1abe5e73fff814b90f87629149753473c30","ref":"refs/heads/delim_staging","pushedAt":"2024-06-06T21:35:02.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Kaptch","name":"Sergei Stepanenko","path":"/Kaptch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11298572?s=80&v=4"},"commit":{"message":"binary rel stub","shortMessageHtmlLink":"binary rel stub"}},{"before":"b096f8b912ccbecc37f9e553a2ba9dbbb6c6294b","after":"b5292773b6da0b4f60e13a15c4e287da93d1655c","ref":"refs/heads/delim_staging","pushedAt":"2024-06-05T00:37:53.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Kaptch","name":"Sergei Stepanenko","path":"/Kaptch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11298572?s=80&v=4"},"commit":{"message":"l->r cbv, compat for app","shortMessageHtmlLink":"l-&gt;r cbv, compat for app"}},{"before":null,"after":"b096f8b912ccbecc37f9e553a2ba9dbbb6c6294b","ref":"refs/heads/delim_staging","pushedAt":"2024-05-30T22:23:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Kaptch","name":"Sergei Stepanenko","path":"/Kaptch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11298572?s=80&v=4"},"commit":{"message":"delimited continuations, unary model","shortMessageHtmlLink":"delimited continuations, unary model"}},{"before":null,"after":"2a966595e633cf414eb8cac95e264edd391c9bf0","ref":"refs/heads/detached_small_step","pushedAt":"2024-05-17T10:02:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Kaptch","name":"Sergei Stepanenko","path":"/Kaptch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11298572?s=80&v=4"},"commit":{"message":"messing around with interp and its soundness wrt small-step","shortMessageHtmlLink":"messing around with interp and its soundness wrt small-step"}},{"before":"d8916af65e422e84461c8762e3ca6dd6491bbe68","after":"606806c8fc6ab11788d1511731251b760d8f76f2","ref":"refs/heads/delim_model_pure","pushedAt":"2024-05-15T00:41:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kaptch","name":"Sergei Stepanenko","path":"/Kaptch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11298572?s=80&v=4"},"commit":{"message":"some wip\n\n(there's a tradeoff in-between hiding cont stack behind exist (reset\nneeds head of the stack), and passing cont stack as it is (app cont\nneeds a pop operation))","shortMessageHtmlLink":"some wip"}},{"before":null,"after":"d8916af65e422e84461c8762e3ca6dd6491bbe68","ref":"refs/heads/delim_model_pure","pushedAt":"2024-05-14T14:03:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Kaptch","name":"Sergei Stepanenko","path":"/Kaptch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11298572?s=80&v=4"},"commit":{"message":"some experiments with pure typing rules","shortMessageHtmlLink":"some experiments with pure typing rules"}},{"before":null,"after":"e84cfd070664fe235158bcf54105ea87bfcfc5da","ref":"refs/heads/delim_model","pushedAt":"2024-05-10T13:23:34.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Kaptch","name":"Sergei Stepanenko","path":"/Kaptch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11298572?s=80&v=4"},"commit":{"message":"sem model init","shortMessageHtmlLink":"sem model init"}},{"before":"3bb78bad3740a85656a3d9e6fe72d8805c79c714","after":"a2755709a4f986990d61e43644be052f27da6fb4","ref":"refs/heads/delim-cont","pushedAt":"2024-03-22T16:49:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vecteurNabla","name":"Emma Nardino","path":"/vecteurNabla","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48029363?s=80&v=4"},"commit":{"message":"Typing rules","shortMessageHtmlLink":"Typing rules"}},{"before":"af4b964477efdaed4e422af160ad9c86103f510c","after":"8c44d79c865fe925dc3aa1bccff9d54407d4d911","ref":"refs/heads/callcc-non-cps","pushedAt":"2024-03-08T14:34:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kaptch","name":"Sergei Stepanenko","path":"/Kaptch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11298572?s=80&v=4"},"commit":{"message":"docs","shortMessageHtmlLink":"docs"}},{"before":"8a71ff3f92f6492acb00bd4945370b4cafe23a82","after":"3bb78bad3740a85656a3d9e6fe72d8805c79c714","ref":"refs/heads/delim-cont","pushedAt":"2024-03-08T14:31:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vecteurNabla","name":"Emma Nardino","path":"/vecteurNabla","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48029363?s=80&v=4"},"commit":{"message":"notes+type","shortMessageHtmlLink":"notes+type"}},{"before":"add01c73c00e5575655ffcc5869fff1d830762f3","after":"8a71ff3f92f6492acb00bd4945370b4cafe23a82","ref":"refs/heads/delim-cont","pushedAt":"2024-03-05T14:48:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vecteurNabla","name":"Emma Nardino","path":"/vecteurNabla","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48029363?s=80&v=4"},"commit":{"message":"wip type system","shortMessageHtmlLink":"wip type system"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEjNwySAA","startCursor":null,"endCursor":null}},"title":"Activity · logsem/gitrees"}