{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":6138801,"defaultBranch":"master","name":"cakeml","ownerLogin":"CakeML","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2012-10-09T10:13:51.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/8167971?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716075528.0","currentOid":""},"activityList":{"items":[{"before":"ec6e6e3104b83cf6a60ba8207d1a678d6b4ad420","after":"c069f4afaad2061fe768e2ad236365d99d4cc35e","ref":"refs/heads/pancake_itree","pushedAt":"2024-05-24T01:05:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"xdrr","name":"Pajexali","path":"/xdrr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8925087?s=80&v=4"},"commit":{"message":"Completes Call case of ltree_Ret_to_evaluate","shortMessageHtmlLink":"Completes Call case of ltree_Ret_to_evaluate"}},{"before":"e3c93c9f53774e8163a0d67691ebbe7ed91a804a","after":"9435b5c9b8574935c4b39fec492d0e78ce82c8f5","ref":"refs/heads/cvunify","pushedAt":"2024-05-23T15:03:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"myreen","name":null,"path":"/myreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/998367?s=80&v=4"},"commit":{"message":"Partly fix and partly comment out tests","shortMessageHtmlLink":"Partly fix and partly comment out tests"}},{"before":"8891a4499a2150ccb9dd4a45e18f181d8fd4d6e8","after":"ec6e6e3104b83cf6a60ba8207d1a678d6b4ad420","ref":"refs/heads/pancake_itree","pushedAt":"2024-05-21T14:26:47.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"mktnk3","name":"Miki Tanaka","path":"/mktnk3","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29599668?s=80&v=4"},"commit":{"message":"reshape the evaluate io_event trace\n(factor out the inital io_events to align with the stree_trace)","shortMessageHtmlLink":"reshape the evaluate io_event trace"}},{"before":"befe2de2e894e6bebee5a26a1e38a874a8a7ab20","after":"8891a4499a2150ccb9dd4a45e18f181d8fd4d6e8","ref":"refs/heads/pancake_itree","pushedAt":"2024-05-21T13:53:34.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"mktnk3","name":"Miki Tanaka","path":"/mktnk3","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29599668?s=80&v=4"},"commit":{"message":"evaluate_io_events_lprefix_chain\n\nthe set of ffi.io_events resulting from evaluate (prog,s)\nfor all clock values k is an lprefix_chain","shortMessageHtmlLink":"evaluate_io_events_lprefix_chain"}},{"before":"a3ee588b6f86bcd44bb035220b44a6cfda0e7144","after":"4c5dc9f146a7a89de7e68e263a5f8952fb0965c5","ref":"refs/heads/master","pushedAt":"2024-05-21T06:39:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"IlmariReissumies","name":"Johannes Åman Pohjola","path":"/IlmariReissumies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15676638?s=80&v=4"},"commit":{"message":"Refer to Discord instead of our (defunct) Slack channel","shortMessageHtmlLink":"Refer to Discord instead of our (defunct) Slack channel"}},{"before":"c982c5c093679fc361d968256fdd8c805a68cefd","after":null,"ref":"refs/heads/pan_funexps","pushedAt":"2024-05-18T23:38:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"IlmariReissumies","name":"Johannes Åman Pohjola","path":"/IlmariReissumies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15676638?s=80&v=4"}},{"before":"150c31ef8e52d106b5b0939638442ea006bb159e","after":"a3ee588b6f86bcd44bb035220b44a6cfda0e7144","ref":"refs/heads/master","pushedAt":"2024-05-18T23:38:33.000Z","pushType":"pr_merge","commitsCount":28,"pusher":{"login":"IlmariReissumies","name":"Johannes Åman Pohjola","path":"/IlmariReissumies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15676638?s=80&v=4"},"commit":{"message":"Merge pull request #994 from CakeML/pan_funexps\n\nBetter function call syntax for Pancake","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2295768343\" data-permission-text=\"Title is private\" data-url=\"https://github.com/CakeML/cakeml/issues/994\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/CakeML/cakeml/pull/994/hovercard\" href=\"https://github.com/CakeML/cakeml/pull/994\">#994</a> from CakeML/pan_funexps"}},{"before":"a072e70eb18f79a704a1d4cb6cb51456f86419af","after":"c982c5c093679fc361d968256fdd8c805a68cefd","ref":"refs/heads/pan_funexps","pushedAt":"2024-05-15T23:42:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"IlmariReissumies","name":"Johannes Åman Pohjola","path":"/IlmariReissumies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15676638?s=80&v=4"},"commit":{"message":"Move some lemmas to sensible places","shortMessageHtmlLink":"Move some lemmas to sensible places"}},{"before":"c5a5972f79ba5ee04bdf7bad359a3dcd75a018df","after":"a072e70eb18f79a704a1d4cb6cb51456f86419af","ref":"refs/heads/pan_funexps","pushedAt":"2024-05-15T23:33:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"IlmariReissumies","name":"Johannes Åman Pohjola","path":"/IlmariReissumies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15676638?s=80&v=4"},"commit":{"message":"Fix a syntactic proof in pan_to_wordProof","shortMessageHtmlLink":"Fix a syntactic proof in pan_to_wordProof"}},{"before":"c2b73cf5eab3d93a7dcfa3ab90ce12549618c3b6","after":"befe2de2e894e6bebee5a26a1e38a874a8a7ab20","ref":"refs/heads/pancake_itree","pushedAt":"2024-05-15T02:35:20.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"IlmariReissumies","name":"Johannes Åman Pohjola","path":"/IlmariReissumies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15676638?s=80&v=4"},"commit":{"message":"Prove noret_imp_spin","shortMessageHtmlLink":"Prove noret_imp_spin"}},{"before":"60b45c9d9857e8f07de47f1678a919ace99934cf","after":"c5a5972f79ba5ee04bdf7bad359a3dcd75a018df","ref":"refs/heads/pan_funexps","pushedAt":"2024-05-14T15:09:09.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"IlmariReissumies","name":"Johannes Åman Pohjola","path":"/IlmariReissumies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15676638?s=80&v=4"},"commit":{"message":"Fix time_to_pan for Call revamp","shortMessageHtmlLink":"Fix time_to_pan for Call revamp"}},{"before":"cf3dfacdf99b948f2692e4f2b11a9afdcd4e4af6","after":"60b45c9d9857e8f07de47f1678a919ace99934cf","ref":"refs/heads/pan_funexps","pushedAt":"2024-05-14T15:06:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"IlmariReissumies","name":"Johannes Åman Pohjola","path":"/IlmariReissumies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15676638?s=80&v=4"},"commit":{"message":"Add new call types to scope checker","shortMessageHtmlLink":"Add new call types to scope checker"}},{"before":"448b2708b207de5489fa79103f73beed17267e0f","after":"cf3dfacdf99b948f2692e4f2b11a9afdcd4e4af6","ref":"refs/heads/pan_funexps","pushedAt":"2024-05-14T14:52:33.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"IlmariReissumies","name":"Johannes Åman Pohjola","path":"/IlmariReissumies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15676638?s=80&v=4"},"commit":{"message":"Fix pan_simp proofs for DecCall","shortMessageHtmlLink":"Fix pan_simp proofs for DecCall"}},{"before":"d2c5a2502c4630145b4d4785ceb3e52fb9ce7ff5","after":"448b2708b207de5489fa79103f73beed17267e0f","ref":"refs/heads/pan_funexps","pushedAt":"2024-05-14T13:47:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"IlmariReissumies","name":"Johannes Åman Pohjola","path":"/IlmariReissumies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15676638?s=80&v=4"},"commit":{"message":"Declaring call example","shortMessageHtmlLink":"Declaring call example"}},{"before":"533ff4d2fdb4f41fe5ca5bd6e7e0fad002c6c197","after":"d2c5a2502c4630145b4d4785ceb3e52fb9ce7ff5","ref":"refs/heads/pan_funexps","pushedAt":"2024-05-14T13:42:50.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"IlmariReissumies","name":"Johannes Åman Pohjola","path":"/IlmariReissumies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15676638?s=80&v=4"},"commit":{"message":"Parse tree conversion for new call types","shortMessageHtmlLink":"Parse tree conversion for new call types"}},{"before":"bdb3693dd77479ec1553a445fda7abf0e95bf09f","after":"533ff4d2fdb4f41fe5ca5bd6e7e0fad002c6c197","ref":"refs/heads/pan_funexps","pushedAt":"2024-05-14T13:03:20.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"IlmariReissumies","name":"Johannes Åman Pohjola","path":"/IlmariReissumies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15676638?s=80&v=4"},"commit":{"message":"Add returning calls to Pancake PEG","shortMessageHtmlLink":"Add returning calls to Pancake PEG"}},{"before":"dbcede2069ce0063286d82ab8d54245f997d9a19","after":"bdb3693dd77479ec1553a445fda7abf0e95bf09f","ref":"refs/heads/pan_funexps","pushedAt":"2024-05-14T12:49:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"IlmariReissumies","name":"Johannes Åman Pohjola","path":"/IlmariReissumies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15676638?s=80&v=4"},"commit":{"message":"Finish DecCall case","shortMessageHtmlLink":"Finish DecCall case"}},{"before":"e84b6370f404e605da1235575b53839580925c81","after":"dbcede2069ce0063286d82ab8d54245f997d9a19","ref":"refs/heads/pan_funexps","pushedAt":"2024-05-14T07:28:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"IlmariReissumies","name":"Johannes Åman Pohjola","path":"/IlmariReissumies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15676638?s=80&v=4"},"commit":{"message":"Progress on DecCall + small semantics fix","shortMessageHtmlLink":"Progress on DecCall + small semantics fix"}},{"before":"6244239b18c479c19e51ca09df9ba3a1b7f3400f","after":"e84b6370f404e605da1235575b53839580925c81","ref":"refs/heads/pan_funexps","pushedAt":"2024-05-13T23:13:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"IlmariReissumies","name":"Johannes Åman Pohjola","path":"/IlmariReissumies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15676638?s=80&v=4"},"commit":{"message":"Finish Call case and progress DecCall case","shortMessageHtmlLink":"Finish Call case and progress DecCall case"}},{"before":"e10fa604d3c37164f495a0502b1c0cb68cc6b47f","after":"6244239b18c479c19e51ca09df9ba3a1b7f3400f","ref":"refs/heads/pan_funexps","pushedAt":"2024-05-13T08:29:47.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"IlmariReissumies","name":"Johannes Åman Pohjola","path":"/IlmariReissumies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15676638?s=80&v=4"},"commit":{"message":"Progress on compiler proofs for new Call types\n\nThe cheats left are not trivial, but it's looking doable.","shortMessageHtmlLink":"Progress on compiler proofs for new Call types"}},{"before":null,"after":"a4f2e8a04d67f85fd8c78360bb3f01fc4815559a","ref":"refs/heads/pb-err","pushedAt":"2024-05-12T11:03:56.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tanyongkiam","name":"Yong Kiam","path":"/tanyongkiam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7911961?s=80&v=4"},"commit":{"message":"better errors in rup","shortMessageHtmlLink":"better errors in rup"}},{"before":"7ada2779f7349e802f40d0cf10be2f7d5c3d9302","after":"e10fa604d3c37164f495a0502b1c0cb68cc6b47f","ref":"refs/heads/pan_funexps","pushedAt":"2024-05-10T11:59:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"IlmariReissumies","name":"Johannes Åman Pohjola","path":"/IlmariReissumies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15676638?s=80&v=4"},"commit":{"message":"Draft compilation of declaring calls\n\nI first expected to need shape annotations on functions, but\nthis is a dead end: function pointers make it so that we cannot\nstatically determine which function is being called.\n\nInstead I've put shape annotations on the declaring calls themselves.\nAt some point in the future we should probably make declarations\navailable (mandatory or optional) on all declarations.","shortMessageHtmlLink":"Draft compilation of declaring calls"}},{"before":"56f3ccbcfc4d92d597b65e5199b9817f4266be5c","after":"c2b73cf5eab3d93a7dcfa3ab90ce12549618c3b6","ref":"refs/heads/pancake_itree","pushedAt":"2024-05-10T08:14:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"xdrr","name":"Pajexali","path":"/xdrr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8925087?s=80&v=4"},"commit":{"message":"Completed If case in ltree_Ret_to_evaluate","shortMessageHtmlLink":"Completed If case in ltree_Ret_to_evaluate"}},{"before":"290b365d70a7e6edb7cc1dbeaf51260b320e2436","after":"56f3ccbcfc4d92d597b65e5199b9817f4266be5c","ref":"refs/heads/pancake_itree","pushedAt":"2024-05-10T07:56:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"xdrr","name":"Pajexali","path":"/xdrr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8925087?s=80&v=4"},"commit":{"message":"Completed While of ltree_Ret_to_evaluate","shortMessageHtmlLink":"Completed While of ltree_Ret_to_evaluate"}},{"before":"6125ada1e7f1d7d000aa9530a44e85fb63d6360b","after":"290b365d70a7e6edb7cc1dbeaf51260b320e2436","ref":"refs/heads/pancake_itree","pushedAt":"2024-05-09T21:48:16.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mktnk3","name":"Miki Tanaka","path":"/mktnk3","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29599668?s=80&v=4"},"commit":{"message":"Prove \"evaluate trace <= itree trace\" LPREFIX-relation\" for Pancake","shortMessageHtmlLink":"Prove \"evaluate trace &lt;= itree trace\" LPREFIX-relation\" for Pancake"}},{"before":"92c3af066da7a4eac0a6af48592893d9f056e8ae","after":"6125ada1e7f1d7d000aa9530a44e85fb63d6360b","ref":"refs/heads/pancake_itree","pushedAt":"2024-05-09T21:40:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mktnk3","name":"Miki Tanaka","path":"/mktnk3","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29599668?s=80&v=4"},"commit":{"message":"Prove \"evaluate trace <= itree trace\" LPREFIX-relation\" for Pancake","shortMessageHtmlLink":"Prove \"evaluate trace &lt;= itree trace\" LPREFIX-relation\" for Pancake"}},{"before":"e8c5f946d4dc953f972673f340ddc86605016037","after":"7ada2779f7349e802f40d0cf10be2f7d5c3d9302","ref":"refs/heads/pan_funexps","pushedAt":"2024-05-09T14:01:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"IlmariReissumies","name":"Johannes Åman Pohjola","path":"/IlmariReissumies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15676638?s=80&v=4"},"commit":{"message":"Define pan_to_crep compilation of stand-alone calls","shortMessageHtmlLink":"Define pan_to_crep compilation of stand-alone calls"}},{"before":"e3e08de28743da2b7f70dfa205c4fec1e44762a4","after":"e8c5f946d4dc953f972673f340ddc86605016037","ref":"refs/heads/pan_funexps","pushedAt":"2024-05-09T13:39:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"IlmariReissumies","name":"Johannes Åman Pohjola","path":"/IlmariReissumies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15676638?s=80&v=4"},"commit":{"message":"Reinstate previous quantifier order","shortMessageHtmlLink":"Reinstate previous quantifier order"}},{"before":"8f12e7508d8a3e37162cf104f2461a25f9dd1bb8","after":"e3e08de28743da2b7f70dfa205c4fec1e44762a4","ref":"refs/heads/pan_funexps","pushedAt":"2024-05-09T13:38:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"IlmariReissumies","name":"Johannes Åman Pohjola","path":"/IlmariReissumies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15676638?s=80&v=4"},"commit":{"message":"Fix and modernise panProps","shortMessageHtmlLink":"Fix and modernise panProps"}},{"before":"be376c87231c43ce207703f4b570306979e95789","after":"92c3af066da7a4eac0a6af48592893d9f056e8ae","ref":"refs/heads/pancake_itree","pushedAt":"2024-05-09T12:46:06.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"xdrr","name":"Pajexali","path":"/xdrr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8925087?s=80&v=4"},"commit":{"message":"Removes unused / false lemmata","shortMessageHtmlLink":"Removes unused / false lemmata"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEUpDDsgA","startCursor":null,"endCursor":null}},"title":"Activity · CakeML/cakeml"}