{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":304267477,"defaultBranch":"main","name":"cerise","ownerLogin":"logsem","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-10-15T08:58:28.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/22809445?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726493864.0","currentOid":""},"activityList":{"items":[{"before":"b82f0ac3293f2db3edcc688ce8d6e4f73d3dfef7","after":"c612a0c675f9559940788b0f003fe65e7720363c","ref":"refs/heads/gh-pages","pushedAt":"2024-09-16T14:00:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 7aabe739638d278d344e15c8af04e867a38b11bd","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/logsem/cerise/commit/7aabe739638d278d344e15c8af04e867a38b11bd/hovercard\" href=\"https://github.com/logsem/cerise/commit/7aabe739638d278d344e15c8af04e867a38b11bd\"><tt>7aabe73</tt></a>"}},{"before":null,"after":"7aabe739638d278d344e15c8af04e867a38b11bd","ref":"refs/heads/june/indirect-sentry","pushedAt":"2024-09-16T13:37:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"JuneRousseau","name":"June Rousseau","path":"/JuneRousseau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49273142?s=80&v=4"},"commit":{"message":"feat(jmpIEpcc): comment about LR","shortMessageHtmlLink":"feat(jmpIEpcc): comment about LR"}},{"before":"7aabe739638d278d344e15c8af04e867a38b11bd","after":null,"ref":"refs/heads/bastien/indirect-sentry","pushedAt":"2024-09-16T13:36:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"JuneRousseau","name":"June Rousseau","path":"/JuneRousseau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49273142?s=80&v=4"}},{"before":null,"after":"d5994db57ec24263e72951aaa4e845590eb3beb9","ref":"refs/heads/june/sentry-sealed","pushedAt":"2024-09-16T13:35:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"JuneRousseau","name":"June Rousseau","path":"/JuneRousseau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49273142?s=80&v=4"},"commit":{"message":"WIP test replace E-perm by sealed entry","shortMessageHtmlLink":"WIP test replace E-perm by sealed entry"}},{"before":"d5994db57ec24263e72951aaa4e845590eb3beb9","after":null,"ref":"refs/heads/bastien/sentry-sealed","pushedAt":"2024-09-16T13:35:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"JuneRousseau","name":"June Rousseau","path":"/JuneRousseau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49273142?s=80&v=4"}},{"before":"92e969f2b831f7e2f98d0a8bf27d362e5f1a0fcf","after":"b82f0ac3293f2db3edcc688ce8d6e4f73d3dfef7","ref":"refs/heads/gh-pages","pushedAt":"2024-09-16T09:17:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 42773f23b29a81ca8d2725dac7a0de145bbb329a","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/logsem/cerise/commit/42773f23b29a81ca8d2725dac7a0de145bbb329a/hovercard\" href=\"https://github.com/logsem/cerise/commit/42773f23b29a81ca8d2725dac7a0de145bbb329a\"><tt>42773f2</tt></a>"}},{"before":"d0321c1c852ddfe186ae1fce298c4ae623c6062d","after":null,"ref":"refs/heads/june/attestation_refactor_ftlr","pushedAt":"2024-09-16T09:01:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"JuneRousseau","name":"June Rousseau","path":"/JuneRousseau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49273142?s=80&v=4"}},{"before":"b953733d81e2bcd45bd8867032dfa1027da6defc","after":"42773f23b29a81ca8d2725dac7a0de145bbb329a","ref":"refs/heads/attestation","pushedAt":"2024-09-16T08:57:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JuneRousseau","name":"June Rousseau","path":"/JuneRousseau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49273142?s=80&v=4"},"commit":{"message":"chore: Refactor FTLR IsUnique case\n\nSquashed commit of the following:\n\ncommit d0321c1c852ddfe186ae1fce298c4ae623c6062d\nAuthor: June Rousseau <june.rousseau@cs.au.dk>\nDate:   Sun Sep 15 15:16:19 2024 +0200\n\n    chore: remove deadname\n\ncommit 081649d73cf0844120acf39a1dd77e49ccbf6e30\nAuthor: June Rousseau <june.rousseau@cs.au.dk>\nDate:   Sun Sep 15 15:15:19 2024 +0200\n\n    chore: Prettify and cleaning proof isunique FTLR\n\ncommit d31966ccde5aa5aa7c0ca7b9e61b7373f11bed77\nAuthor: June Rousseau <june.rousseau@cs.au.dk>\nDate:   Sun Sep 15 01:14:46 2024 +0200\n\n    Refactor FTRL IsUnique done (but still a bit ugly)\n\ncommit 5e46e40ffa1a76e36013706488481581a0a33159\nAuthor: June Rousseau <june.rousseau@cs.au.dk>\nDate:   Sat Sep 14 18:42:13 2024 +0200\n\n    WIP refactor FTRL, proof QED, still need some refactoring\n\ncommit a605122dd91454047ebae3b29950535962d704e0\nAuthor: June Rousseau <june.rousseau@cs.au.dk>\nDate:   Fri Sep 13 17:37:46 2024 +0200\n\n    WIP refactor ftlr is_unique","shortMessageHtmlLink":"chore: Refactor FTLR IsUnique case"}},{"before":"1d81cfca6ac9d761741d84572164aebf61e327db","after":"92e969f2b831f7e2f98d0a8bf27d362e5f1a0fcf","ref":"refs/heads/gh-pages","pushedAt":"2024-09-15T13:33:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: d0321c1c852ddfe186ae1fce298c4ae623c6062d","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/logsem/cerise/commit/d0321c1c852ddfe186ae1fce298c4ae623c6062d/hovercard\" href=\"https://github.com/logsem/cerise/commit/d0321c1c852ddfe186ae1fce298c4ae623c6062d\"><tt>d0321c1</tt></a>"}},{"before":"d31966ccde5aa5aa7c0ca7b9e61b7373f11bed77","after":"d0321c1c852ddfe186ae1fce298c4ae623c6062d","ref":"refs/heads/june/attestation_refactor_ftlr","pushedAt":"2024-09-15T13:16:39.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"JuneRousseau","name":"June Rousseau","path":"/JuneRousseau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49273142?s=80&v=4"},"commit":{"message":"chore: remove deadname","shortMessageHtmlLink":"chore: remove deadname"}},{"before":"96ebfde20280167e414f5c80e97370e494e4469d","after":"1d81cfca6ac9d761741d84572164aebf61e327db","ref":"refs/heads/gh-pages","pushedAt":"2024-09-14T23:32:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: d31966ccde5aa5aa7c0ca7b9e61b7373f11bed77","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/logsem/cerise/commit/d31966ccde5aa5aa7c0ca7b9e61b7373f11bed77/hovercard\" href=\"https://github.com/logsem/cerise/commit/d31966ccde5aa5aa7c0ca7b9e61b7373f11bed77\"><tt>d31966c</tt></a>"}},{"before":"5e46e40ffa1a76e36013706488481581a0a33159","after":"d31966ccde5aa5aa7c0ca7b9e61b7373f11bed77","ref":"refs/heads/june/attestation_refactor_ftlr","pushedAt":"2024-09-14T23:15:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JuneRousseau","name":"June Rousseau","path":"/JuneRousseau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49273142?s=80&v=4"},"commit":{"message":"Refactor FTRL IsUnique done (but still a bit ugly)","shortMessageHtmlLink":"Refactor FTRL IsUnique done (but still a bit ugly)"}},{"before":"4c4479cb19cbd4df89af5d445dc7ea21a624dba2","after":"96ebfde20280167e414f5c80e97370e494e4469d","ref":"refs/heads/gh-pages","pushedAt":"2024-09-14T18:52:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 5e46e40ffa1a76e36013706488481581a0a33159","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/logsem/cerise/commit/5e46e40ffa1a76e36013706488481581a0a33159/hovercard\" href=\"https://github.com/logsem/cerise/commit/5e46e40ffa1a76e36013706488481581a0a33159\"><tt>5e46e40</tt></a>"}},{"before":"6ff64954df14d49a72bf8feaa2e561642e6b0cc7","after":"5e46e40ffa1a76e36013706488481581a0a33159","ref":"refs/heads/june/attestation_refactor_ftlr","pushedAt":"2024-09-14T18:35:20.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"JuneRousseau","name":"June Rousseau","path":"/JuneRousseau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49273142?s=80&v=4"},"commit":{"message":"WIP refactor FTRL, proof QED, still need some refactoring","shortMessageHtmlLink":"WIP refactor FTRL, proof QED, still need some refactoring"}},{"before":"a605122dd91454047ebae3b29950535962d704e0","after":"6ff64954df14d49a72bf8feaa2e561642e6b0cc7","ref":"refs/heads/june/attestation_refactor_ftlr","pushedAt":"2024-09-14T16:43:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JuneRousseau","name":"June Rousseau","path":"/JuneRousseau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49273142?s=80&v=4"},"commit":{"message":"WIP refactor FTRL, proof QED, still need some refactoring","shortMessageHtmlLink":"WIP refactor FTRL, proof QED, still need some refactoring"}},{"before":"3e6ad725a34475ad4cf2d412520b8151a47f4341","after":"4c4479cb19cbd4df89af5d445dc7ea21a624dba2","ref":"refs/heads/gh-pages","pushedAt":"2024-09-13T15:57:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: a605122dd91454047ebae3b29950535962d704e0","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/logsem/cerise/commit/a605122dd91454047ebae3b29950535962d704e0/hovercard\" href=\"https://github.com/logsem/cerise/commit/a605122dd91454047ebae3b29950535962d704e0\"><tt>a605122</tt></a>"}},{"before":null,"after":"a605122dd91454047ebae3b29950535962d704e0","ref":"refs/heads/june/attestation_refactor_ftlr","pushedAt":"2024-09-13T15:38:05.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"JuneRousseau","name":"June Rousseau","path":"/JuneRousseau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49273142?s=80&v=4"},"commit":{"message":"WIP refactor ftlr is_unique","shortMessageHtmlLink":"WIP refactor ftlr is_unique"}},{"before":"98e1838e01897f4e64c1a441146e4a494eb2c39d","after":"d5994db57ec24263e72951aaa4e845590eb3beb9","ref":"refs/heads/bastien/sentry-sealed","pushedAt":"2024-07-22T11:31:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JuneRousseau","name":"June Rousseau","path":"/JuneRousseau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49273142?s=80&v=4"},"commit":{"message":"WIP test replace E-perm by sealed entry","shortMessageHtmlLink":"WIP test replace E-perm by sealed entry"}},{"before":"ea9ad9b62dc2be68392b6c7ee22870e182fb057b","after":"b953733d81e2bcd45bd8867032dfa1027da6defc","ref":"refs/heads/attestation","pushedAt":"2024-07-12T11:53:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"JuneRousseau","name":"June Rousseau","path":"/JuneRousseau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49273142?s=80&v=4"},"commit":{"message":"WIP code example trusted compute + state the specification","shortMessageHtmlLink":"WIP code example trusted compute + state the specification"}},{"before":"646dd6f91fced0a778f6890515f7ddcb2527e14d","after":"ea9ad9b62dc2be68392b6c7ee22870e182fb057b","ref":"refs/heads/attestation","pushedAt":"2024-07-12T11:49:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JuneRousseau","name":"June Rousseau","path":"/JuneRousseau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49273142?s=80&v=4"},"commit":{"message":"WIP code example trusted compute + state the specification","shortMessageHtmlLink":"WIP code example trusted compute + state the specification"}},{"before":"5ebf43be68bf351baa6f172be613bac349bed484","after":"3e6ad725a34475ad4cf2d412520b8151a47f4341","ref":"refs/heads/gh-pages","pushedAt":"2024-07-11T15:58:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 646dd6f91fced0a778f6890515f7ddcb2527e14d","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/logsem/cerise/commit/646dd6f91fced0a778f6890515f7ddcb2527e14d/hovercard\" href=\"https://github.com/logsem/cerise/commit/646dd6f91fced0a778f6890515f7ddcb2527e14d\"><tt>646dd6f</tt></a>"}},{"before":"4ced95a69a99f64f2ee01aa1d76857a007652797","after":"646dd6f91fced0a778f6890515f7ddcb2527e14d","ref":"refs/heads/attestation","pushedAt":"2024-07-11T15:40:57.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"JuneRousseau","name":"June Rousseau","path":"/JuneRousseau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49273142?s=80&v=4"},"commit":{"message":"macros.v and macros_new.v with logical memory","shortMessageHtmlLink":"macros.v and macros_new.v with logical memory"}},{"before":"23ff9fa0449055705cfbda5962fa4cd4d2a863e4","after":"5e0a493740677f895b5dbb42f9eca8758cf8217d","ref":"refs/heads/attestation_opsem_wip","pushedAt":"2024-07-09T11:40:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"decrn","name":"Denis Carnier","path":"/decrn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15365152?s=80&v=4"},"commit":{"message":"Some more thoughts on EInit","shortMessageHtmlLink":"Some more thoughts on EInit"}},{"before":"d694dc7804c6c8f2088414ab93b54307e2de4b4e","after":"5ebf43be68bf351baa6f172be613bac349bed484","ref":"refs/heads/gh-pages","pushedAt":"2024-07-07T17:05:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 4ced95a69a99f64f2ee01aa1d76857a007652797","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/logsem/cerise/commit/4ced95a69a99f64f2ee01aa1d76857a007652797/hovercard\" href=\"https://github.com/logsem/cerise/commit/4ced95a69a99f64f2ee01aa1d76857a007652797\"><tt>4ced95a</tt></a>"}},{"before":"80e3a39ae52ed0f76b281c23436c4c8fc63ba27e","after":"4ced95a69a99f64f2ee01aa1d76857a007652797","ref":"refs/heads/attestation","pushedAt":"2024-07-07T16:50:24.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"JuneRousseau","name":"June Rousseau","path":"/JuneRousseau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49273142?s=80&v=4"},"commit":{"message":"Just a small comment","shortMessageHtmlLink":"Just a small comment"}},{"before":"a6186c1241f815948e52f6b9edee04a2f802e4ee","after":"d694dc7804c6c8f2088414ab93b54307e2de4b4e","ref":"refs/heads/gh-pages","pushedAt":"2024-07-06T22:56:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 80e3a39ae52ed0f76b281c23436c4c8fc63ba27e","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/logsem/cerise/commit/80e3a39ae52ed0f76b281c23436c4c8fc63ba27e/hovercard\" href=\"https://github.com/logsem/cerise/commit/80e3a39ae52ed0f76b281c23436c4c8fc63ba27e\"><tt>80e3a39</tt></a>"}},{"before":"ff7c935fcdc0c7ff6080f26342b3864487300b36","after":"80e3a39ae52ed0f76b281c23436c4c8fc63ba27e","ref":"refs/heads/attestation","pushedAt":"2024-07-06T22:41:26.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"JuneRousseau","name":"June Rousseau","path":"/JuneRousseau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49273142?s=80&v=4"},"commit":{"message":"Proof wp_jnz rule","shortMessageHtmlLink":"Proof wp_jnz rule"}},{"before":"572e13c5095feb412acff01faafdcfdd7cb5a7d0","after":"ff7c935fcdc0c7ff6080f26342b3864487300b36","ref":"refs/heads/attestation","pushedAt":"2024-07-06T16:16:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JuneRousseau","name":"June Rousseau","path":"/JuneRousseau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49273142?s=80&v=4"},"commit":{"message":"WIP proof subseg","shortMessageHtmlLink":"WIP proof subseg"}},{"before":"2c2f1aa380435f32bc7f787d489356592dc0c548","after":"a6186c1241f815948e52f6b9edee04a2f802e4ee","ref":"refs/heads/gh-pages","pushedAt":"2024-07-05T16:58:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 572e13c5095feb412acff01faafdcfdd7cb5a7d0","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/logsem/cerise/commit/572e13c5095feb412acff01faafdcfdd7cb5a7d0/hovercard\" href=\"https://github.com/logsem/cerise/commit/572e13c5095feb412acff01faafdcfdd7cb5a7d0\"><tt>572e13c</tt></a>"}},{"before":"4cc3d2c6bc0ef81a573063010f3f11fee83aab44","after":"572e13c5095feb412acff01faafdcfdd7cb5a7d0","ref":"refs/heads/attestation","pushedAt":"2024-07-05T16:40:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JuneRousseau","name":"June Rousseau","path":"/JuneRousseau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49273142?s=80&v=4"},"commit":{"message":"Complete proofs wp rules: Lea, Restrict, Seal, Unseal, AddSubLt, Store","shortMessageHtmlLink":"Complete proofs wp rules: Lea, Restrict, Seal, Unseal, AddSubLt, Store"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEt39pTAA","startCursor":null,"endCursor":null}},"title":"Activity · logsem/cerise"}