{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":614431883,"defaultBranch":"main","name":"cerise-interpreter","ownerLogin":"logsem","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-03-15T15:14:22.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/22809445?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726494257.0","currentOid":""},"activityList":{"items":[{"before":"42a4aff61693a10233cf941d4b616457b6cbc8c6","after":null,"ref":"refs/heads/bastien/compiler","pushedAt":"2024-09-16T13:44:17.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":"42a4aff61693a10233cf941d4b616457b6cbc8c6","ref":"refs/heads/bastien/compiler","pushedAt":"2024-09-16T13:44:08.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":"Support DDC cerise linkable format + bump compiler","shortMessageHtmlLink":"Support DDC cerise linkable format + bump compiler"}},{"before":null,"after":"42a4aff61693a10233cf941d4b616457b6cbc8c6","ref":"refs/heads/june/compiler","pushedAt":"2024-09-16T13:41:50.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":"Support DDC cerise linkable format + bump compiler","shortMessageHtmlLink":"Support DDC cerise linkable format + bump compiler"}},{"before":"09f1d62f0a2652e3d0dc414f889e7054ad168b6f","after":"667ab3d80d42dc1bc1b461a57b1948f4a77ae917","ref":"refs/heads/griotte","pushedAt":"2024-06-20T12:37:12.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":"Better registers mutually distrustful example","shortMessageHtmlLink":"Better registers mutually distrustful example"}},{"before":"3957ed06a2d813cfb07be9ceda5741e7e3404c6f","after":"09f1d62f0a2652e3d0dc414f889e7054ad168b6f","ref":"refs/heads/griotte","pushedAt":"2024-06-14T13:18:53.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":"Add tests system access register MTDC","shortMessageHtmlLink":"Add tests system access register MTDC"}},{"before":"45bce7cf88412d7e6c0c4d40609a4d3b2e9005f5","after":"3957ed06a2d813cfb07be9ceda5741e7e3404c6f","ref":"refs/heads/griotte","pushedAt":"2024-06-14T13:06:16.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":"Add tests system access register MTDC","shortMessageHtmlLink":"Add tests system access register MTDC"}},{"before":"b3f914f7643740da98a7829904c7d27d3550f9af","after":"45bce7cf88412d7e6c0c4d40609a4d3b2e9005f5","ref":"refs/heads/griotte","pushedAt":"2024-06-14T13:01:51.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":"Fix mutually distrustful example","shortMessageHtmlLink":"Fix mutually distrustful example"}},{"before":"ac8a5592bad8184df064636ef145075ada4e2530","after":"b3f914f7643740da98a7829904c7d27d3550f9af","ref":"refs/heads/griotte","pushedAt":"2024-06-14T12:49:41.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":"Fix mutually distrustful example","shortMessageHtmlLink":"Fix mutually distrustful example"}},{"before":"de4466e10990289e68c5697092682add05c17e27","after":"ac8a5592bad8184df064636ef145075ada4e2530","ref":"refs/heads/griotte","pushedAt":"2024-06-13T15:50:12.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":"Add case study: mutually distrustful example","shortMessageHtmlLink":"Add case study: mutually distrustful example"}},{"before":"7a84d722e06f54353bececd7771b53c041af52fb","after":"de4466e10990289e68c5697092682add05c17e27","ref":"refs/heads/griotte","pushedAt":"2024-06-13T15:30:32.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"JuneRousseau","name":"June Rousseau","path":"/JuneRousseau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49273142?s=80&v=4"},"commit":{"message":"Add case study: mutually distrustful example","shortMessageHtmlLink":"Add case study: mutually distrustful example"}},{"before":"96e6e2fc50cad45723bf5df4cf291cfffd9025e7","after":"7a84d722e06f54353bececd7771b53c041af52fb","ref":"refs/heads/griotte","pushedAt":"2024-06-06T14:30:53.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: formatting","shortMessageHtmlLink":"chore: formatting"}},{"before":"939a61e16b99eb0fd6176f3d0a70cdc53d7c1480","after":"96e6e2fc50cad45723bf5df4cf291cfffd9025e7","ref":"refs/heads/griotte","pushedAt":"2024-06-06T14:28:09.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: implementation example with switcher","shortMessageHtmlLink":"WIP: implementation example with switcher"}},{"before":"7786a0bfe4a49eab3dbeacc5815b4ddd26a014d0","after":"939a61e16b99eb0fd6176f3d0a70cdc53d7c1480","ref":"refs/heads/griotte","pushedAt":"2024-06-06T14:26:12.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":"Fix movsr: only if PCC has SR register","shortMessageHtmlLink":"Fix movsr: only if PCC has SR register"}},{"before":"23dec3206b974148baa20e8d93424e2b4855e043","after":"7786a0bfe4a49eab3dbeacc5815b4ddd26a014d0","ref":"refs/heads/griotte","pushedAt":"2024-06-06T08:36:24.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"JuneRousseau","name":"June Rousseau","path":"/JuneRousseau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49273142?s=80&v=4"},"commit":{"message":"add sanity check initial machine configuration","shortMessageHtmlLink":"add sanity check initial machine configuration"}},{"before":"61379e0d973f4a504b42e510b6322044a0e42b3b","after":"23dec3206b974148baa20e8d93424e2b4855e043","ref":"refs/heads/griotte","pushedAt":"2024-06-04T14:29: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":"New permissions; instructions Jalr+Jmp+Jnz+MoveSR ; new parser/lexer/pp ; adapt tests","shortMessageHtmlLink":"New permissions; instructions Jalr+Jmp+Jnz+MoveSR ; new parser/lexer/…"}},{"before":"4311c88376dcfaacbbc70673123ec9d2818089ab","after":"61379e0d973f4a504b42e510b6322044a0e42b3b","ref":"refs/heads/griotte","pushedAt":"2024-06-04T14:16:42.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":"New permissions; instructions Jalr+Jmp+Jnz+MoveSR ; new parser/lexer/pp ; adapt tests","shortMessageHtmlLink":"New permissions; instructions Jalr+Jmp+Jnz+MoveSR ; new parser/lexer/…"}},{"before":null,"after":"4311c88376dcfaacbbc70673123ec9d2818089ab","ref":"refs/heads/griotte","pushedAt":"2024-06-03T13:26:39.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 add new permissions","shortMessageHtmlLink":"WIP add new permissions"}},{"before":"187d24746ffb6c6b5bb49d1feb5bc1f40f16ff02","after":null,"ref":"refs/heads/CI","pushedAt":"2024-06-03T08:31:20.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":"e9e80d5890ffc5cc3a53425caa001fdb4f1e6807","after":"9068671036ff8404c4021b99afbc8e8ea7da6ce3","ref":"refs/heads/main","pushedAt":"2024-06-03T08:31:14.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"JuneRousseau","name":"June Rousseau","path":"/JuneRousseau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49273142?s=80&v=4"},"commit":{"message":"CI (#6)\n\n* feat(nix): package + devShell\r\n\r\n* feat(CI): Change build workflow to nix\r\n\r\n* chore(fmt): Apply ocamlformat\r\n\r\n* feat(CI): Add format check\r\n\r\n---------\r\n\r\nCo-authored-by: Vincent Lafeychine <vincent.lafeychine@proton.me>","shortMessageHtmlLink":"CI (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2330512333\" data-permission-text=\"Title is private\" data-url=\"https://github.com/logsem/cerise-interpreter/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/logsem/cerise-interpreter/pull/6/hovercard\" href=\"https://github.com/logsem/cerise-interpreter/pull/6\">#6</a>)"}},{"before":"fe0d1753c8524eb517fedc7bcc63648d66f4df4f","after":"187d24746ffb6c6b5bb49d1feb5bc1f40f16ff02","ref":"refs/heads/CI","pushedAt":"2024-01-19T23:45:13.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":"feat(CI): Add format check","shortMessageHtmlLink":"feat(CI): Add format check"}},{"before":"8a003f7aa1f1c8189709bb6bac88fe7cd0cd7b5e","after":"fe0d1753c8524eb517fedc7bcc63648d66f4df4f","ref":"refs/heads/CI","pushedAt":"2024-01-19T23:40:01.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":"feat(CI): Add format check","shortMessageHtmlLink":"feat(CI): Add format check"}},{"before":"ccda79ad57ec1d493d64236c2a62ba70b0977170","after":"8a003f7aa1f1c8189709bb6bac88fe7cd0cd7b5e","ref":"refs/heads/CI","pushedAt":"2024-01-19T23:36:41.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":"feat(CI): Add format check","shortMessageHtmlLink":"feat(CI): Add format check"}},{"before":"adb6da5908971efc817197321c21853f80303e2a","after":"ccda79ad57ec1d493d64236c2a62ba70b0977170","ref":"refs/heads/CI","pushedAt":"2024-01-19T23:05:16.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":"feat(CI): Add format check","shortMessageHtmlLink":"feat(CI): Add format check"}},{"before":"f7fc2cff1febbd5b265d35230a00750170fd691b","after":"adb6da5908971efc817197321c21853f80303e2a","ref":"refs/heads/CI","pushedAt":"2024-01-19T22:24:05.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":"feat(CI): Change build workflow to nix","shortMessageHtmlLink":"feat(CI): Change build workflow to nix"}},{"before":null,"after":"f7fc2cff1febbd5b265d35230a00750170fd691b","ref":"refs/heads/CI","pushedAt":"2024-01-19T22:08:32.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(nix): package + devShell","shortMessageHtmlLink":"feat(nix): package + devShell"}},{"before":"d92743ca8fb428dcc33d6ad6188694ef7792f5ba","after":"42a4aff61693a10233cf941d4b616457b6cbc8c6","ref":"refs/heads/bastien/compiler","pushedAt":"2023-09-28T08:12:23.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":"Support DDC cerise linkable format + bump compiler","shortMessageHtmlLink":"Support DDC cerise linkable format + bump compiler"}},{"before":"2dfc957d083444b35d1f99c14f26a0a1a8fd61e8","after":"e9e80d5890ffc5cc3a53425caa001fdb4f1e6807","ref":"refs/heads/main","pushedAt":"2023-09-28T08:12:04.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":"Fix default initialization stk","shortMessageHtmlLink":"Fix default initialization stk"}},{"before":"269f8c78a61a7930303ac96528659c2df590a5c8","after":"2dfc957d083444b35d1f99c14f26a0a1a8fd61e8","ref":"refs/heads/main","pushedAt":"2023-09-27T15:00:30.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"JuneRousseau","name":"June Rousseau","path":"/JuneRousseau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49273142?s=80&v=4"},"commit":{"message":"Add support parser for DDC","shortMessageHtmlLink":"Add support parser for DDC"}},{"before":"5aef6d217ea026a1548f06a169814179edf254d9","after":"d92743ca8fb428dcc33d6ad6188694ef7792f5ba","ref":"refs/heads/bastien/compiler","pushedAt":"2023-09-27T15:00:22.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":"Support DDC cerise linkable format + bump compiler","shortMessageHtmlLink":"Support DDC cerise linkable format + bump compiler"}},{"before":"d3b56cc6e6634feda66dd5168385adf33c0582c0","after":"5aef6d217ea026a1548f06a169814179edf254d9","ref":"refs/heads/bastien/compiler","pushedAt":"2023-09-12T14:02:41.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) typed linking interface","shortMessageHtmlLink":"(WIP) typed linking interface"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEt3rbiAA","startCursor":null,"endCursor":null}},"title":"Activity · logsem/cerise-interpreter"}