{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":184594300,"defaultBranch":"master","name":"sail-cheri-riscv","ownerLogin":"CTSRD-CHERI","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-05-02T14:19:15.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/810768?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1725558798.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"31258f912d467efd25d91eddc761d3c03067128d","ref":"refs/heads/ibex","pushedAt":"2024-09-05T17:53:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"PeterRugg","name":null,"path":"/PeterRugg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20480318?s=80&v=4"},"commit":{"message":"Track ibex branch of sail-riscv","shortMessageHtmlLink":"Track ibex branch of sail-riscv"}},{"before":"1f7b0e471fe9eae0e0f60dcde9113e298644ac2f","after":"c690afa684ba9fe167b2033538f80eff0d021f58","ref":"refs/heads/faf28_tid","pushedAt":"2024-05-09T08:58:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"francislaus","name":"Franz Fuchs","path":"/francislaus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19853788?s=80&v=4"},"commit":{"message":"Added missing mappings for xTIDC registers","shortMessageHtmlLink":"Added missing mappings for xTIDC registers"}},{"before":"af2586b90234ea34cb66a494795881b1e4720ce6","after":"1f7b0e471fe9eae0e0f60dcde9113e298644ac2f","ref":"refs/heads/faf28_tid","pushedAt":"2024-05-08T08:07:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"francislaus","name":"Franz Fuchs","path":"/francislaus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19853788?s=80&v=4"},"commit":{"message":"Added updated support for xTIDC registers","shortMessageHtmlLink":"Added updated support for xTIDC registers"}},{"before":"80b32836ec2069e537685a6d3dfced7d3afd42ab","after":"af2586b90234ea34cb66a494795881b1e4720ce6","ref":"refs/heads/faf28_tid","pushedAt":"2024-04-29T13:07:05.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"francislaus","name":"Franz Fuchs","path":"/francislaus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19853788?s=80&v=4"},"commit":{"message":"Added TIDC registers","shortMessageHtmlLink":"Added TIDC registers"}},{"before":"48cd2c0ca69d6ec5e86b59cfb4c1e6aba66c6ac8","after":"c93d5eff4132fd52ddad32020cedae93573bfa29","ref":"refs/heads/master","pushedAt":"2024-04-29T12:18:53.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"PeterRugg","name":null,"path":"/PeterRugg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20480318?s=80&v=4"},"commit":{"message":"Corrected mapping for S mode SCRs in cheri_scr_map.sail","shortMessageHtmlLink":"Corrected mapping for S mode SCRs in cheri_scr_map.sail"}},{"before":"dc98a6ccaa14bcf520db50b4f7446198418874d1","after":"48cd2c0ca69d6ec5e86b59cfb4c1e6aba66c6ac8","ref":"refs/heads/master","pushedAt":"2024-04-27T13:50:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PeterRugg","name":null,"path":"/PeterRugg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20480318?s=80&v=4"},"commit":{"message":"C fixes in c_emulator_fix","shortMessageHtmlLink":"C fixes in c_emulator_fix"}},{"before":"6e3613a2c46fb809e526b55c5c72acb041194ab8","after":"dc98a6ccaa14bcf520db50b4f7446198418874d1","ref":"refs/heads/master","pushedAt":"2024-04-26T09:51:51.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"PeterRugg","name":null,"path":"/PeterRugg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20480318?s=80&v=4"},"commit":{"message":"Fix C emulator and test script for OCaml emulator\n\nThe generated C emulator misses z_set_Misa_C. Supply a dummy\nimplementation. Fix the test script to supply dtc to OCaml\nemulator for non-Linux machine.","shortMessageHtmlLink":"Fix C emulator and test script for OCaml emulator"}},{"before":null,"after":"9c7a81ba2ac54a9568504a4753adb37aba5bfc8c","ref":"refs/heads/faf28_fix_scr_mapping","pushedAt":"2024-04-19T08:00:04.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"francislaus","name":"Franz Fuchs","path":"/francislaus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19853788?s=80&v=4"},"commit":{"message":"Corrected mapping for S mode SCRs in cheri_scr_map.sail","shortMessageHtmlLink":"Corrected mapping for S mode SCRs in cheri_scr_map.sail"}},{"before":null,"after":"80b32836ec2069e537685a6d3dfced7d3afd42ab","ref":"refs/heads/faf28_tid","pushedAt":"2024-04-19T07:54:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"francislaus","name":"Franz Fuchs","path":"/francislaus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19853788?s=80&v=4"},"commit":{"message":"Added TIDC registers","shortMessageHtmlLink":"Added TIDC registers"}},{"before":null,"after":"2f1664d9406b5e1ba9ef7b7ed49a04ee750aa208","ref":"refs/heads/wip_bump_sail-riscv","pushedAt":"2024-04-18T16:45:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"francislaus","name":"Franz Fuchs","path":"/francislaus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19853788?s=80&v=4"},"commit":{"message":"Bumped sail-riscv and started working around things, but this does not work yet","shortMessageHtmlLink":"Bumped sail-riscv and started working around things, but this does no…"}},{"before":"1ac81700aac9ccaf76620b6939948bfaf9dde9e8","after":null,"ref":"refs/heads/sentries","pushedAt":"2024-04-12T21:19:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"nwf","name":"Nathaniel Wesley Filardo","path":"/nwf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/156882?s=80&v=4"}},{"before":"20392d3969104a01a7d54d7d7ada475cd511c440","after":"6e3613a2c46fb809e526b55c5c72acb041194ab8","ref":"refs/heads/master","pushedAt":"2024-03-26T12:20:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"marnovandermaas","name":"Marno van der Maas","path":"/marnovandermaas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/34654485?s=80&v=4"},"commit":{"message":"Include the Zb* extension\n\nThese are part of the mandatory RVA22 profile, so it makes sense to include\nthem here. Future changes could be changing the semantics of Zba to return\ncapabilities instead of integers, but the instructions can also be useful\nas defined right now.","shortMessageHtmlLink":"Include the Zb* extension"}},{"before":"6e3613a2c46fb809e526b55c5c72acb041194ab8","after":"20392d3969104a01a7d54d7d7ada475cd511c440","ref":"refs/heads/master","pushedAt":"2024-03-26T12:03:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marnovandermaas","name":"Marno van der Maas","path":"/marnovandermaas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/34654485?s=80&v=4"},"commit":{"message":"Bump Sail RISC-V","shortMessageHtmlLink":"Bump Sail RISC-V"}},{"before":null,"after":"ddff17c445289a3b42914b931e1f5187c2124efb","ref":"refs/heads/auipcc-representable-fix","pushedAt":"2024-02-28T20:16:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"PeterRugg","name":null,"path":"/PeterRugg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20480318?s=80&v=4"},"commit":{"message":"Make representable bound precisely a quarter below bottom","shortMessageHtmlLink":"Make representable bound precisely a quarter below bottom"}},{"before":"f6788e9e9885cdf8d4087792e232fda262be1fb4","after":null,"ref":"refs/heads/zb-extension","pushedAt":"2023-08-17T16:40:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"arichardson","name":"Alexander Richardson","path":"/arichardson","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4019307?s=80&v=4"}},{"before":"182dc52ef468884f31c0e002118a8c75df0a69fb","after":"6e3613a2c46fb809e526b55c5c72acb041194ab8","ref":"refs/heads/master","pushedAt":"2023-08-17T16:39:58.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"arichardson","name":"Alexander Richardson","path":"/arichardson","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4019307?s=80&v=4"},"commit":{"message":"Include the Zb* extension\n\nThese are part of the mandatory RVA22 profile, so it makes sense to include\nthem here. Future changes could be changing the semantics of Zba to return\ncapabilities instead of integers, but the instructions can also be useful\nas defined right now.","shortMessageHtmlLink":"Include the Zb* extension"}},{"before":null,"after":"f6788e9e9885cdf8d4087792e232fda262be1fb4","ref":"refs/heads/zb-extension","pushedAt":"2023-08-11T23:04:39.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"arichardson","name":"Alexander Richardson","path":"/arichardson","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4019307?s=80&v=4"},"commit":{"message":"Include the Zb* extension\n\nThese are part of the mandatory RVA22 profile, so it makes sense to include\nthem here. Future changes could be changing the semantics of Zba to return\ncapabilities instead of integers, but the instructions can also be useful\nas defined right now.","shortMessageHtmlLink":"Include the Zb* extension"}},{"before":"77e647e6319d142e0bf101f908b4ba0b954fada9","after":"182dc52ef468884f31c0e002118a8c75df0a69fb","ref":"refs/heads/master","pushedAt":"2023-08-09T17:32:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arichardson","name":"Alexander Richardson","path":"/arichardson","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4019307?s=80&v=4"},"commit":{"message":"Catch up with upstream EXTZ/EXTS rename","shortMessageHtmlLink":"Catch up with upstream EXTZ/EXTS rename"}},{"before":"0b7720d3120199c57db83ea9243b3e13d5fa89b8","after":null,"ref":"refs/heads/latex-doc-comment","pushedAt":"2023-08-07T18:54:21.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"bsdjhb","name":"John Baldwin","path":"/bsdjhb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8976613?s=80&v=4"}},{"before":"a5c6502f113ddb932fc2debc46f2251211b1b114","after":"77e647e6319d142e0bf101f908b4ba0b954fada9","ref":"refs/heads/master","pushedAt":"2023-08-07T18:54:16.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"bsdjhb","name":"John Baldwin","path":"/bsdjhb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8976613?s=80&v=4"},"commit":{"message":"Fix LaTeX documentation for ddc_and_result_addr\n\n\r\nIt needs to be on the `val`, adding it to the `function` prevents it from being visible in the CHERI specification.","shortMessageHtmlLink":"Fix LaTeX documentation for ddc_and_result_addr"}},{"before":"a0de02a6e48a8ec2427a704f1919aabd733f6486","after":"0b7720d3120199c57db83ea9243b3e13d5fa89b8","ref":"refs/heads/latex-doc-comment","pushedAt":"2023-08-07T17:55:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arichardson","name":"Alexander Richardson","path":"/arichardson","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4019307?s=80&v=4"},"commit":{"message":"Update cheri_addr_checks.sail","shortMessageHtmlLink":"Update cheri_addr_checks.sail"}},{"before":null,"after":"a0de02a6e48a8ec2427a704f1919aabd733f6486","ref":"refs/heads/latex-doc-comment","pushedAt":"2023-08-07T14:41:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"arichardson","name":"Alexander Richardson","path":"/arichardson","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4019307?s=80&v=4"},"commit":{"message":"Fix LaTeX documentation for ddc_and_result_addr\n\nIt needs to be on the `val`, adding it to the `function` prevents it from being visible in the CHERI specification.","shortMessageHtmlLink":"Fix LaTeX documentation for ddc_and_result_addr"}},{"before":"2ba006768712e6618868539edd0d7c4fe3be5481","after":null,"ref":"refs/heads/license_update","pushedAt":"2023-08-04T22:59:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"bsdjhb","name":"John Baldwin","path":"/bsdjhb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8976613?s=80&v=4"}},{"before":"03e8a2a0195258b43399182c952ea4d7e06deb1f","after":"a5c6502f113ddb932fc2debc46f2251211b1b114","ref":"refs/heads/master","pushedAt":"2023-08-04T22:59:34.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"bsdjhb","name":"John Baldwin","path":"/bsdjhb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8976613?s=80&v=4"},"commit":{"message":"LICENCE: Extend copyright range to 2023.\n\nAdd Google for Alex's contributions after joining Google.","shortMessageHtmlLink":"LICENCE: Extend copyright range to 2023."}},{"before":null,"after":"2ba006768712e6618868539edd0d7c4fe3be5481","ref":"refs/heads/license_update","pushedAt":"2023-08-04T18:48:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"bsdjhb","name":"John Baldwin","path":"/bsdjhb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8976613?s=80&v=4"},"commit":{"message":"LICENCE: Extend copyright range to 2023.\n\nAdd Google for Alex's contributions after joining Google.","shortMessageHtmlLink":"LICENCE: Extend copyright range to 2023."}},{"before":"38791ef5423ee2a39c7fa38c537774eb08559494","after":null,"ref":"refs/heads/remove-pcc-relocation","pushedAt":"2023-08-03T23:31:45.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"arichardson","name":"Alexander Richardson","path":"/arichardson","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4019307?s=80&v=4"}},{"before":"a4d78d9036133ea6a5f49be7bdb9b1166205775b","after":"03e8a2a0195258b43399182c952ea4d7e06deb1f","ref":"refs/heads/master","pushedAt":"2023-08-03T23:31:42.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"arichardson","name":"Alexander Richardson","path":"/arichardson","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4019307?s=80&v=4"},"commit":{"message":"Use a single feature flag for DDC/PCC relocation\n\nThis was suggested while updating the specification for the recent xCCSR\nchanges: https://github.com/CTSRD-CHERI/cheri-specification/pull/74","shortMessageHtmlLink":"Use a single feature flag for DDC/PCC relocation"}},{"before":"b1cb8e87cdf130fdeb2582f306853acff2c819d1","after":null,"ref":"refs/heads/print-scr-updates","pushedAt":"2023-08-01T03:11:34.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"arichardson","name":"Alexander Richardson","path":"/arichardson","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4019307?s=80&v=4"}},{"before":"2272c2d35d5dc29d2bece66bbc73e93d39384f69","after":"a4d78d9036133ea6a5f49be7bdb9b1166205775b","ref":"refs/heads/master","pushedAt":"2023-08-01T03:11:31.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"arichardson","name":"Alexander Richardson","path":"/arichardson","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4019307?s=80&v=4"},"commit":{"message":"Print CHERI SCR updates in traces\n\nThis updates CSpecialRW to include the new value that was written to\nthe CSR which helps when scanning traces for the latest value.","shortMessageHtmlLink":"Print CHERI SCR updates in traces"}},{"before":null,"after":"b1cb8e87cdf130fdeb2582f306853acff2c819d1","ref":"refs/heads/print-scr-updates","pushedAt":"2023-07-31T20:27:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"arichardson","name":"Alexander Richardson","path":"/arichardson","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4019307?s=80&v=4"},"commit":{"message":"Print CHERI SCR updates in traces\n\nThis updates CSpecialRW to include the new value that was written to\nthe CSR which helps when scanning traces for the latest value.","shortMessageHtmlLink":"Print CHERI SCR updates in traces"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEriVDzgA","startCursor":null,"endCursor":null}},"title":"Activity · CTSRD-CHERI/sail-cheri-riscv"}