{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":515752594,"defaultBranch":"main","name":"melocoton","ownerLogin":"logsem","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-07-19T21:57:22.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/22809445?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1722360966.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"d82a9f60015cbf7bd71a1b2a4fda8bfa6eb92704","ref":"refs/heads/refactor-roots-stateinterp","pushedAt":"2024-07-30T17:36:06.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Armael","name":"Armaël Guéneau","path":"/Armael","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/315125?s=80&v=4"},"commit":{"message":"GC token: minor cleanup","shortMessageHtmlLink":"GC token: minor cleanup"}},{"before":"218ebb8d962c4edec15f786725f0967de4c1eeba","after":null,"ref":"refs/heads/local_roots_wb","pushedAt":"2024-07-27T09:49:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Gurvan-dev","name":"Gurvan","path":"/Gurvan-dev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/79995741?s=80&v=4"}},{"before":"a5c1ae2f8efacc496717673a1b6d07cd99f90da2","after":"570ed1b212b4081672936f5202042ebe3f304aac","ref":"refs/heads/local_roots","pushedAt":"2024-07-27T09:49:21.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Gurvan-dev","name":"Gurvan","path":"/Gurvan-dev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/79995741?s=80&v=4"},"commit":{"message":"Fix handling of \"well-bracketed\" current_fc when running ML code (#28)\n\n* minor proof cleanup\r\n\r\n* Fix handling of current_fc when running ML code\r\n\r\nWe can now properly express that calls to C/ML functions and\r\ncalllbacks are well-bracketed wrt the FFI stack of local roots","shortMessageHtmlLink":"Fix handling of \"well-bracketed\" current_fc when running ML code (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2433377334\" data-permission-text=\"Title is private\" data-url=\"https://github.com/logsem/melocoton/issues/28\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/logsem/melocoton/pull/28/hovercard\" href=\"https://github.com/logsem/melocoton/pull/28\">#28</a>)"}},{"before":"292c19e84a0e1ee700fd9a155ccc24b8a5df1217","after":"6e592c3c72d6ce6b568fe6bc5a9b467c510c79a0","ref":"refs/heads/exception","pushedAt":"2024-07-27T09:28:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valoran-M","name":"Valoran","path":"/valoran-M","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67610499?s=80&v=4"},"commit":{"message":"clean raise feature","shortMessageHtmlLink":"clean raise feature"}},{"before":null,"after":"218ebb8d962c4edec15f786725f0967de4c1eeba","ref":"refs/heads/local_roots_wb","pushedAt":"2024-07-27T08:50:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Armael","name":"Armaël Guéneau","path":"/Armael","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/315125?s=80&v=4"},"commit":{"message":"Fix handling of current_fc when running ML code\n\nWe can now properly express that calls to C/ML functions and\ncalllbacks are well-bracketed wrt the FFI stack of local roots","shortMessageHtmlLink":"Fix handling of current_fc when running ML code"}},{"before":"46e1d81d9fff14a3ad6a693df5cc4d9728f75b67","after":"a5c1ae2f8efacc496717673a1b6d07cd99f90da2","ref":"refs/heads/local_roots","pushedAt":"2024-07-27T01:18:04.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Gurvan-dev","name":"Gurvan","path":"/Gurvan-dev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/79995741?s=80&v=4"},"commit":{"message":"Finish up proof that could be done","shortMessageHtmlLink":"Finish up proof that could be done"}},{"before":"44fc77dd6befdc10830f0320367cb5d5293e9286","after":"46e1d81d9fff14a3ad6a693df5cc4d9728f75b67","ref":"refs/heads/local_roots","pushedAt":"2024-07-27T00:15:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Gurvan-dev","name":"Gurvan","path":"/Gurvan-dev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/79995741?s=80&v=4"},"commit":{"message":"Finish up proof that could be done","shortMessageHtmlLink":"Finish up proof that could be done"}},{"before":"38b08892120f78119ca77392d8d3fc5944d1581e","after":"44fc77dd6befdc10830f0320367cb5d5293e9286","ref":"refs/heads/local_roots","pushedAt":"2024-07-23T18:40:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Gurvan-dev","name":"Gurvan","path":"/Gurvan-dev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/79995741?s=80&v=4"},"commit":{"message":"remove admitted in lang.v","shortMessageHtmlLink":"remove admitted in lang.v"}},{"before":"672427f9c5c9814d2d08e4eacde4698354632974","after":"38b08892120f78119ca77392d8d3fc5944d1581e","ref":"refs/heads/local_roots","pushedAt":"2024-07-23T18:11:08.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Gurvan-dev","name":"Gurvan","path":"/Gurvan-dev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/79995741?s=80&v=4"},"commit":{"message":"fix: examples","shortMessageHtmlLink":"fix: examples"}},{"before":"138f8f098b23d20f83b877763d0dcdc382513307","after":"672427f9c5c9814d2d08e4eacde4698354632974","ref":"refs/heads/local_roots","pushedAt":"2024-07-23T16:07:18.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Gurvan-dev","name":"Gurvan","path":"/Gurvan-dev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/79995741?s=80&v=4"},"commit":{"message":"examples: fix swap_pair","shortMessageHtmlLink":"examples: fix swap_pair"}},{"before":"41f24dcf8a9c0a6afcd29c3dac2d8a583e257903","after":"138f8f098b23d20f83b877763d0dcdc382513307","ref":"refs/heads/local_roots","pushedAt":"2024-07-23T12:36:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Gurvan-dev","name":"Gurvan","path":"/Gurvan-dev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/79995741?s=80&v=4"},"commit":{"message":"finish update_laws","shortMessageHtmlLink":"finish update_laws"}},{"before":"37d882e953426b952ba0317a9d0c5bd3f6631a99","after":"41f24dcf8a9c0a6afcd29c3dac2d8a583e257903","ref":"refs/heads/local_roots","pushedAt":"2024-07-22T15:31:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Gurvan-dev","name":"Gurvan","path":"/Gurvan-dev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/79995741?s=80&v=4"},"commit":{"message":"continuing on update_local_root","shortMessageHtmlLink":"continuing on update_local_root"}},{"before":"dfffe6cee880f3f15e0ef13a27df2e6525dea5f3","after":"37d882e953426b952ba0317a9d0c5bd3f6631a99","ref":"refs/heads/local_roots","pushedAt":"2024-07-19T09:15:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Gurvan-dev","name":"Gurvan","path":"/Gurvan-dev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/79995741?s=80&v=4"},"commit":{"message":"track which frame are live","shortMessageHtmlLink":"track which frame are live"}},{"before":"35eb2d82a393aa0f197234d1732e2d5d117156a1","after":"dfffe6cee880f3f15e0ef13a27df2e6525dea5f3","ref":"refs/heads/local_roots","pushedAt":"2024-07-03T12:26:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Gurvan-dev","name":"Gurvan","path":"/Gurvan-dev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/79995741?s=80&v=4"},"commit":{"message":"Continuing proofs","shortMessageHtmlLink":"Continuing proofs"}},{"before":"c459e8b88623f3c4b0fd87370d8563543765a2ba","after":"35eb2d82a393aa0f197234d1732e2d5d117156a1","ref":"refs/heads/local_roots","pushedAt":"2024-07-01T09:10:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Gurvan-dev","name":"Gurvan","path":"/Gurvan-dev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/79995741?s=80&v=4"},"commit":{"message":"local roots: Continued proofs, added store_to_local_root and load_from_local_root","shortMessageHtmlLink":"local roots: Continued proofs, added store_to_local_root and load_fro…"}},{"before":"d1fb929625c04a0dede12556d8c993e9d5fd26a9","after":"292c19e84a0e1ee700fd9a155ccc24b8a5df1217","ref":"refs/heads/exception","pushedAt":"2024-06-30T15:03:41.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"valoran-M","name":"Valoran","path":"/valoran-M","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67610499?s=80&v=4"},"commit":{"message":"up examples","shortMessageHtmlLink":"up examples"}},{"before":"859ff0a0d0a99cfea57bdde47699a101d8f0817f","after":"d1fb929625c04a0dede12556d8c993e9d5fd26a9","ref":"refs/heads/exception","pushedAt":"2024-06-30T14:58:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valoran-M","name":"Valoran","path":"/valoran-M","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67610499?s=80&v=4"},"commit":{"message":"up examples","shortMessageHtmlLink":"up examples"}},{"before":"8d13de072262c3584e428ade0d0c8b31ad5e1d79","after":null,"ref":"refs/heads/boxed_int","pushedAt":"2024-06-24T09:08:44.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"valoran-M","name":"Valoran","path":"/valoran-M","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67610499?s=80&v=4"}},{"before":"8094fcb34e29312dbfbd3df8aa8901b2979ba1eb","after":null,"ref":"refs/heads/interop_outcome","pushedAt":"2024-06-24T09:07:50.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"valoran-M","name":"Valoran","path":"/valoran-M","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67610499?s=80&v=4"}},{"before":"a65c32948879b9aa612e536dd65c7ff8d1b366a9","after":"859ff0a0d0a99cfea57bdde47699a101d8f0817f","ref":"refs/heads/exception","pushedAt":"2024-06-24T09:01:50.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"valoran-M","name":"Valoran","path":"/valoran-M","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67610499?s=80&v=4"},"commit":{"message":"fix wp_boundary outcome","shortMessageHtmlLink":"fix wp_boundary outcome"}},{"before":"7acbd11c29a16e294e0c4e6b772e2080ac2ef9ac","after":"47606fdb0b60c5c0cbe951f02325733b202d5c52","ref":"refs/heads/main","pushedAt":"2024-06-24T08:38:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valoran-M","name":"Valoran","path":"/valoran-M","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67610499?s=80&v=4"},"commit":{"message":"fix MLVal and CVal","shortMessageHtmlLink":"fix MLVal and CVal"}},{"before":"af54c6577d998c5afa69252a2331213c11021ae5","after":"7acbd11c29a16e294e0c4e6b772e2080ac2ef9ac","ref":"refs/heads/main","pushedAt":"2024-06-24T07:58:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Armael","name":"Armaël Guéneau","path":"/Armael","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/315125?s=80&v=4"},"commit":{"message":"remove some unneeded imports","shortMessageHtmlLink":"remove some unneeded imports"}},{"before":"f83dac37a19287efa8726f34e88a7e885a1b48a2","after":"af54c6577d998c5afa69252a2331213c11021ae5","ref":"refs/heads/main","pushedAt":"2024-06-24T07:58:31.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Armael","name":"Armaël Guéneau","path":"/Armael","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/315125?s=80&v=4"},"commit":{"message":"handle outcomes in interop (#27)\n\nInterop semantics now handle and propagate outcomes. This means that the \"callback\" primitive now propagates exceptions (like `caml_callback` does).\r\n\r\n* modification of interop semantics\r\n\r\n* Abstraction of outcomes in wrap proto\r\n\r\n* rename sanity check and simplify wp_to_outcome\r\n\r\n* remove usless Lemma\r\n\r\n* refactor interop/lang.v: split ml_to_c and c_to_ml (#25)\r\n\r\n* remove typo\r\n\r\n* add comments\r\n\r\n* refactor wp_boundary outcome\r\n\r\n* upgrade wp_boundary proof","shortMessageHtmlLink":"handle outcomes in interop (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2364351288\" data-permission-text=\"Title is private\" data-url=\"https://github.com/logsem/melocoton/issues/27\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/logsem/melocoton/pull/27/hovercard\" href=\"https://github.com/logsem/melocoton/pull/27\">#27</a>)"}},{"before":"a771ad69a1fd222fedb3d7b0d178e716d97667fd","after":"a65c32948879b9aa612e536dd65c7ff8d1b366a9","ref":"refs/heads/exception","pushedAt":"2024-06-20T13:11:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valoran-M","name":"Valoran","path":"/valoran-M","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67610499?s=80&v=4"},"commit":{"message":"fix wp_boundary outcome","shortMessageHtmlLink":"fix wp_boundary outcome"}},{"before":"e46d2168ebf22f3357d7ac26024bf40aa0b33e39","after":null,"ref":"refs/heads/outcome_notation","pushedAt":"2024-06-20T12:47:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"valoran-M","name":"Valoran","path":"/valoran-M","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67610499?s=80&v=4"}},{"before":"92a324f6e8389b5523d0b12a832c117da03a3784","after":"a771ad69a1fd222fedb3d7b0d178e716d97667fd","ref":"refs/heads/exception","pushedAt":"2024-06-20T12:46:23.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"valoran-M","name":"Valoran","path":"/valoran-M","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67610499?s=80&v=4"},"commit":{"message":"add wp_raise","shortMessageHtmlLink":"add wp_raise"}},{"before":"c5d8e1df9a28f15ce47351ebe5613e1634d9b95e","after":"92a324f6e8389b5523d0b12a832c117da03a3784","ref":"refs/heads/exception","pushedAt":"2024-06-20T12:45:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"valoran-M","name":"Valoran","path":"/valoran-M","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67610499?s=80&v=4"},"commit":{"message":"add wp_raise","shortMessageHtmlLink":"add wp_raise"}},{"before":"b57510d48fa14eaf026707bfe1832c0f6c7f83ae","after":"8094fcb34e29312dbfbd3df8aa8901b2979ba1eb","ref":"refs/heads/interop_outcome","pushedAt":"2024-06-20T12:36:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valoran-M","name":"Valoran","path":"/valoran-M","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67610499?s=80&v=4"},"commit":{"message":"upgrade wp_boundary proof","shortMessageHtmlLink":"upgrade wp_boundary proof"}},{"before":"5e741b29c2ad670d037b96d31df9fd20386fd7c6","after":"b57510d48fa14eaf026707bfe1832c0f6c7f83ae","ref":"refs/heads/interop_outcome","pushedAt":"2024-06-20T12:31:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valoran-M","name":"Valoran","path":"/valoran-M","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67610499?s=80&v=4"},"commit":{"message":"refactor wp_boundary outcome","shortMessageHtmlLink":"refactor wp_boundary outcome"}},{"before":"33cb227d0c0bab02a4a1a2d63b3b2da8198a30fc","after":"c459e8b88623f3c4b0fd87370d8563543765a2ba","ref":"refs/heads/local_roots","pushedAt":"2024-06-20T12:14:14.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Gurvan-dev","name":"Gurvan","path":"/Gurvan-dev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/79995741?s=80&v=4"},"commit":{"message":"Fixed most wp_prims, starting out new ones","shortMessageHtmlLink":"Fixed most wp_prims, starting out new ones"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0zMFQxNzozNjowNi4wMDAwMDBazwAAAASNQqH8","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0zMFQxNzozNjowNi4wMDAwMDBazwAAAASNQqH8","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0yMFQxMjoxNDoxNC4wMDAwMDBazwAAAARqhV5R"}},"title":"Activity · logsem/melocoton"}