{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":78072136,"defaultBranch":"main","name":"jasmin","ownerLogin":"jasmin-lang","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-01-05T02:39:56.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/24634661?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1727155199.0","currentOid":""},"activityList":{"items":[{"before":"75c46cb43469dd46c73aa6e9e69f347e25206dbf","after":null,"ref":"refs/heads/ec-2024.09","pushedAt":"2024-09-24T05:19:59.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"bgregoir","name":null,"path":"/bgregoir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/661996?s=80&v=4"}},{"before":"63c1df3b6703919e826c4a7cb573caf0672d0204","after":"e327a7f12dae324f79ea1db5541481568f54bb5a","ref":"refs/heads/main","pushedAt":"2024-09-24T05:19:57.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"bgregoir","name":null,"path":"/bgregoir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/661996?s=80&v=4"},"commit":{"message":"Target EasyCrypt release 2024.09","shortMessageHtmlLink":"Target EasyCrypt release 2024.09"}},{"before":"341f5d119b9f89b33ce61c56c984ef403a37dd9c","after":"2871748a5920a24fedbf138629d9493218875e64","ref":"refs/heads/cryptoline","pushedAt":"2024-09-23T18:35:21.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Gustavo2622","name":null,"path":"/Gustavo2622","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52301402?s=80&v=4"},"commit":{"message":"Updated SAR and iMUL translations","shortMessageHtmlLink":"Updated SAR and iMUL translations"}},{"before":"8fcea9b270760aa94202c21768626bc193e29576","after":"015abf76fac728cc94e926166074a76921f64e9d","ref":"refs/heads/release-2024.07","pushedAt":"2024-09-23T14:51:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Prevent labels for global variables to conflict in assembly output\n\n(cherry picked from commit 63c1df3b6703919e826c4a7cb573caf0672d0204)","shortMessageHtmlLink":"Prevent labels for global variables to conflict in assembly output"}},{"before":"1ec8b6c5408f3c632f33f4f417b3b2a0e2f5a58e","after":"63c1df3b6703919e826c4a7cb573caf0672d0204","ref":"refs/heads/main","pushedAt":"2024-09-23T13:28:26.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Prevent labels for global variables to conflict in assembly output","shortMessageHtmlLink":"Prevent labels for global variables to conflict in assembly output"}},{"before":"d4656fcfa55210ae5f61036290a0655e7f0a56b5","after":"8fcea9b270760aa94202c21768626bc193e29576","ref":"refs/heads/release-2024.07","pushedAt":"2024-09-23T11:54:57.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"pretyping: factor tt_assign out of tt_instr\n\nCo-authored-by: Alexandre BOURBEILLON <alexandrebourbeillon@gmail.com>\n(cherry picked from commit 1ec8b6c5408f3c632f33f4f417b3b2a0e2f5a58e)","shortMessageHtmlLink":"pretyping: factor tt_assign out of tt_instr"}},{"before":"e512f40299eb1ab64f00cfbe1ad5f47723f2e00c","after":null,"ref":"refs/heads/tt-assign","pushedAt":"2024-09-23T08:24:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"bgregoir","name":null,"path":"/bgregoir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/661996?s=80&v=4"}},{"before":"ac57159133058234583177bcc439fd728daed6fd","after":"1ec8b6c5408f3c632f33f4f417b3b2a0e2f5a58e","ref":"refs/heads/main","pushedAt":"2024-09-23T08:24:54.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"bgregoir","name":null,"path":"/bgregoir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/661996?s=80&v=4"},"commit":{"message":"pretyping: factor tt_assign out of tt_instr\n\nCo-authored-by: Alexandre BOURBEILLON <alexandrebourbeillon@gmail.com>","shortMessageHtmlLink":"pretyping: factor tt_assign out of tt_instr"}},{"before":null,"after":"75c46cb43469dd46c73aa6e9e69f347e25206dbf","ref":"refs/heads/ec-2024.09","pushedAt":"2024-09-23T08:24:14.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Target EasyCrypt release 2024.09","shortMessageHtmlLink":"Target EasyCrypt release 2024.09"}},{"before":"3e363e0a82a08f80c17e922d1015ff25596695c6","after":"341f5d119b9f89b33ce61c56c984ef403a37dd9c","ref":"refs/heads/cryptoline","pushedAt":"2024-09-22T23:24:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mbbarbosa","name":"Manuel Barbosa","path":"/mbbarbosa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5985234?s=80&v=4"},"commit":{"message":"Working u16i","shortMessageHtmlLink":"Working u16i"}},{"before":"230a76dd667e4d04ceaeb6abc0b7ef079194dc71","after":"3e363e0a82a08f80c17e922d1015ff25596695c6","ref":"refs/heads/cryptoline","pushedAt":"2024-09-20T21:30:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lyonel2017","name":null,"path":"/lyonel2017","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25014655?s=80&v=4"},"commit":{"message":"Fix missing file","shortMessageHtmlLink":"Fix missing file"}},{"before":"452282505d6071cbc20305aac3e6093d6a840621","after":"22632b82ffbdc980331a84cfccac4bd489a3dd7e","ref":"refs/heads/feature-abstract_predicates","pushedAt":"2024-09-20T17:09:00.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"bgregoir","name":null,"path":"/bgregoir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/661996?s=80&v=4"},"commit":{"message":"refactoring + proof","shortMessageHtmlLink":"refactoring + proof"}},{"before":"5c9ef63407c7fc2d4debc4142e6e7e2906e67a7d","after":"230a76dd667e4d04ceaeb6abc0b7ef079194dc71","ref":"refs/heads/cryptoline","pushedAt":"2024-09-20T14:35:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lyonel2017","name":null,"path":"/lyonel2017","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25014655?s=80&v=4"},"commit":{"message":"Clean up the transformations","shortMessageHtmlLink":"Clean up the transformations"}},{"before":"1fdac2e5cba0e56a4fb163a5331a0508bb4c62c6","after":"5c9ef63407c7fc2d4debc4142e6e7e2906e67a7d","ref":"refs/heads/cryptoline","pushedAt":"2024-09-20T14:07:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lyonel2017","name":null,"path":"/lyonel2017","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25014655?s=80&v=4"},"commit":{"message":"Consistent use of the sign","shortMessageHtmlLink":"Consistent use of the sign"}},{"before":"783ed440728fdaef4a1d4c8cee73f8f9043b1daf","after":"1fdac2e5cba0e56a4fb163a5331a0508bb4c62c6","ref":"refs/heads/cryptoline","pushedAt":"2024-09-20T09:54:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lyonel2017","name":null,"path":"/lyonel2017","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25014655?s=80&v=4"},"commit":{"message":"Better system for adding different translations","shortMessageHtmlLink":"Better system for adding different translations"}},{"before":"7b830407304be5432cdad0910157e9f9ba3738ae","after":"e512f40299eb1ab64f00cfbe1ad5f47723f2e00c","ref":"refs/heads/tt-assign","pushedAt":"2024-09-20T08:36:47.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"pretyping: factor tt_assign out of tt_instr\n\nCo-authored-by: Alexandre BOURBEILLON <alexandrebourbeillon@gmail.com>","shortMessageHtmlLink":"pretyping: factor tt_assign out of tt_instr"}},{"before":"351aa995302c235e0229e64ba50eb5e2774dda83","after":"412519412cb1ea7ad8c486c1e43684429b791faf","ref":"refs/heads/feature-annotation","pushedAt":"2024-09-19T22:29:54.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lyonel2017","name":null,"path":"/lyonel2017","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25014655?s=80&v=4"},"commit":{"message":"Translation to EC for CL using new extraction","shortMessageHtmlLink":"Translation to EC for CL using new extraction"}},{"before":"448c54ce7b6f409b786863e3cd576ce5f784eeea","after":"9532f4a4b36509bf0c5134243b3a4adc50dcb5dd","ref":"refs/heads/subarray_unknown_index3","pushedAt":"2024-09-19T19:22:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eponier","name":"Jean-Christophe Léchenet","path":"/eponier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7601522?s=80&v=4"},"commit":{"message":"Revert ugly change to check_stack_ptr\n\nThe invariant was already strong enough!","shortMessageHtmlLink":"Revert ugly change to check_stack_ptr"}},{"before":"d0e5fd52c85d334a738cc6f7ad5d773338ec5ffe","after":"448c54ce7b6f409b786863e3cd576ce5f784eeea","ref":"refs/heads/subarray_unknown_index3","pushedAt":"2024-09-19T12:41:49.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"eponier","name":"Jean-Christophe Léchenet","path":"/eponier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7601522?s=80&v=4"},"commit":{"message":"more tests (dirty)","shortMessageHtmlLink":"more tests (dirty)"}},{"before":"f4ffe48293267000606f3a9622c158042555f17c","after":"d4656fcfa55210ae5f61036290a0655e7f0a56b5","ref":"refs/heads/release-2024.07","pushedAt":"2024-09-19T08:39:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"x86-lowering: do not introduce dummy instr info\n\nSimilarly to what is done with if statements, the instructions\ncorresponding to the lowering of the condition inherit the instr-info\nfrom the complete statement.\n\n(cherry picked from commit 67f87aaaf1ae9c6390b16faa61ba13cab7ec9378)","shortMessageHtmlLink":"x86-lowering: do not introduce dummy instr info"}},{"before":"86223207156fe6aa8ed09b600f50afd480b0f161","after":null,"ref":"refs/heads/no-dummy-loc-in-errors","pushedAt":"2024-09-19T06:56:25.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"bgregoir","name":null,"path":"/bgregoir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/661996?s=80&v=4"}},{"before":"67f87aaaf1ae9c6390b16faa61ba13cab7ec9378","after":"ac57159133058234583177bcc439fd728daed6fd","ref":"refs/heads/main","pushedAt":"2024-09-19T06:56:23.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"bgregoir","name":null,"path":"/bgregoir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/661996?s=80&v=4"},"commit":{"message":"Remove dummy locations from errors before printing them\n\nBest would be to avoid these dummy locations in the first place.\nMeanwhile, this is an attempt at saving the user from seeing scary\nlocations.","shortMessageHtmlLink":"Remove dummy locations from errors before printing them"}},{"before":"9efa2fbdbd3ef77c53d3da07cafed34be80e9eba","after":null,"ref":"refs/heads/x86-lowering-while-dummy-instr","pushedAt":"2024-09-19T06:52:07.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"bgregoir","name":null,"path":"/bgregoir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/661996?s=80&v=4"}},{"before":"8e8afa5de382576509b97a7febf57eb3256e90e7","after":"67f87aaaf1ae9c6390b16faa61ba13cab7ec9378","ref":"refs/heads/main","pushedAt":"2024-09-19T06:52:05.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"bgregoir","name":null,"path":"/bgregoir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/661996?s=80&v=4"},"commit":{"message":"x86-lowering: do not introduce dummy instr info\n\nSimilarly to what is done with if statements, the instructions\ncorresponding to the lowering of the condition inherit the instr-info\nfrom the complete statement.","shortMessageHtmlLink":"x86-lowering: do not introduce dummy instr info"}},{"before":"35760608462b78578ce7c7a6264ada1ac5d2ba87","after":"47e98d183f5f9827a06e92e8cab866df6c90de57","ref":"refs/heads/feature-abstract_types","pushedAt":"2024-09-19T04:10:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bgregoir","name":null,"path":"/bgregoir","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/661996?s=80&v=4"},"commit":{"message":"fix + proof","shortMessageHtmlLink":"fix + proof"}},{"before":"c2819cb17dc3f92fff8918b61fcf13f62c78284a","after":"f4ffe48293267000606f3a9622c158042555f17c","ref":"refs/heads/release-2024.07","pushedAt":"2024-09-18T16:55:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Mark gvar OCaml type as covariant\n\nThis allows polymorphic constant values of type 'a gvar.\n\n(cherry picked from commit 8e8afa5de382576509b97a7febf57eb3256e90e7)","shortMessageHtmlLink":"Mark gvar OCaml type as covariant"}},{"before":"2e23eead2c2ecf20cba23bb92e152b07e0329ae3","after":null,"ref":"refs/heads/covariant-gvar","pushedAt":"2024-09-18T14:25:53.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"eponier","name":"Jean-Christophe Léchenet","path":"/eponier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7601522?s=80&v=4"}},{"before":"14799a9a13922d3768107f63bfb0ba43008373e8","after":"8e8afa5de382576509b97a7febf57eb3256e90e7","ref":"refs/heads/main","pushedAt":"2024-09-18T14:25:50.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"eponier","name":"Jean-Christophe Léchenet","path":"/eponier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7601522?s=80&v=4"},"commit":{"message":"Mark gvar OCaml type as covariant\n\nThis allows polymorphic constant values of type 'a gvar.","shortMessageHtmlLink":"Mark gvar OCaml type as covariant"}},{"before":"0427ff6cfbbb63c5fed140b03db209d49bdb6249","after":"d0e5fd52c85d334a738cc6f7ad5d773338ec5ffe","ref":"refs/heads/subarray_unknown_index3","pushedAt":"2024-09-18T14:00:50.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"eponier","name":"Jean-Christophe Léchenet","path":"/eponier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7601522?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":null,"after":"2e23eead2c2ecf20cba23bb92e152b07e0329ae3","ref":"refs/heads/covariant-gvar","pushedAt":"2024-09-18T13:15:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Mark gvar OCaml type as covariant\n\nThis allows polymorphic constant values of type 'a gvar.","shortMessageHtmlLink":"Mark gvar OCaml type as covariant"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNFQwNToxOTo1OS4wMDAwMDBazwAAAAS-tlam","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNFQwNToxOTo1OS4wMDAwMDBazwAAAAS-tlam","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOFQxMzoxNTo0Ny4wMDAwMDBazwAAAAS5teon"}},"title":"Activity · jasmin-lang/jasmin"}