{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":165217235,"defaultBranch":"master","name":"sail-arm","ownerLogin":"rems-project","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-01-11T09:31:50.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/35805581?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1718118985.0","currentOid":""},"activityList":{"items":[{"before":"19566bdb8615ae92ceea4b2a0e2bfbf59f5fbf0c","after":"182b43912e7d4abc413f4e14d9f16ce6a8956e4b","ref":"refs/heads/master","pushedAt":"2024-08-27T13:27:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bacam","name":"Brian Campbell","path":"/bacam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666370?s=80&v=4"},"commit":{"message":"Add a Makefile rule to extract types used in the concurrency interface","shortMessageHtmlLink":"Add a Makefile rule to extract types used in the concurrency interface"}},{"before":"5f14b05424a929ff3863599157dd007fb2214222","after":"00dd7f7d132a6697d2b67e370d621876f81db7dd","ref":"refs/heads/wip-rebase-v9.4","pushedAt":"2024-07-11T16:35:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Updates for exceptions","shortMessageHtmlLink":"Updates for exceptions"}},{"before":"02c06781c770050b845b0f370646e19ad723607b","after":"19566bdb8615ae92ceea4b2a0e2bfbf59f5fbf0c","ref":"refs/heads/master","pushedAt":"2024-06-14T16:06:49.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"bacam","name":"Brian Campbell","path":"/bacam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666370?s=80&v=4"},"commit":{"message":"Fix missing AArch64_CheckNVCondsIfCurrentEL function\n(could have resulted in corrupt results when reading system registers)","shortMessageHtmlLink":"Fix missing AArch64_CheckNVCondsIfCurrentEL function"}},{"before":null,"after":"5f14b05424a929ff3863599157dd007fb2214222","ref":"refs/heads/wip-rebase-v9.4","pushedAt":"2024-06-11T15:16:25.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"bensimner","name":"Ben Simner","path":"/bensimner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5352715?s=80&v=4"},"commit":{"message":"(armv9p4) don't reset gpr","shortMessageHtmlLink":"(armv9p4) don't reset gpr"}},{"before":"9982ffe67743cd6793448e0da6ef3eafce0a4a93","after":"02c06781c770050b845b0f370646e19ad723607b","ref":"refs/heads/master","pushedAt":"2024-05-27T17:23:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bacam","name":"Brian Campbell","path":"/bacam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666370?s=80&v=4"},"commit":{"message":"Allow USAT when saturate_to is zero\nFixes #20","shortMessageHtmlLink":"Allow USAT when saturate_to is zero"}},{"before":"a0cef1759caaa5ec237e467ce17054a712059d2b","after":"9982ffe67743cd6793448e0da6ef3eafce0a4a93","ref":"refs/heads/master","pushedAt":"2024-05-22T11:16:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bensimner","name":"Ben Simner","path":"/bensimner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5352715?s=80&v=4"},"commit":{"message":"(arm-v9.4-a/Makefile) add gen_irx target","shortMessageHtmlLink":"(arm-v9.4-a/Makefile) add gen_irx target"}},{"before":"99c412a917fbc3d1e4136783f6e9178c18f47231","after":"5634d0c1bf5818b02a3d3d0d57f535a4f253018a","ref":"refs/heads/wip-interface-v9p4","pushedAt":"2024-04-26T11:36:00.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"bensimner","name":"Ben Simner","path":"/bensimner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5352715?s=80&v=4"},"commit":{"message":"(armv9p4) fix: read of uninit","shortMessageHtmlLink":"(armv9p4) fix: read of uninit"}},{"before":"f58ca1e43c8351a9009b4ecb5705bc19fabc89f5","after":"99c412a917fbc3d1e4136783f6e9178c18f47231","ref":"refs/heads/wip-interface-v9p4","pushedAt":"2024-04-25T14:00:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bensimner","name":"Ben Simner","path":"/bensimner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5352715?s=80&v=4"},"commit":{"message":"(armv9p4) fix: check for FEAT_PMUv3 before reading PMCR_EL0","shortMessageHtmlLink":"(armv9p4) fix: check for FEAT_PMUv3 before reading PMCR_EL0"}},{"before":"192bf8a626340ca679d1751f3b40d94da6b87df3","after":"f58ca1e43c8351a9009b4ecb5705bc19fabc89f5","ref":"refs/heads/wip-interface-v9p4","pushedAt":"2024-04-11T16:22:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bensimner","name":"Ben Simner","path":"/bensimner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5352715?s=80&v=4"},"commit":{"message":"(armv9p4) fix: initialise ISR_EL1 to zero properly","shortMessageHtmlLink":"(armv9p4) fix: initialise ISR_EL1 to zero properly"}},{"before":"27bef98db5bb6013849d5df6dc357323ce997a71","after":"192bf8a626340ca679d1751f3b40d94da6b87df3","ref":"refs/heads/wip-interface-v9p4","pushedAt":"2024-04-11T14:06:34.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bensimner","name":"Ben Simner","path":"/bensimner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5352715?s=80&v=4"},"commit":{"message":"(armv9p4) add simple interrupt device that reads the ISR","shortMessageHtmlLink":"(armv9p4) add simple interrupt device that reads the ISR"}},{"before":"4922b7386ee9656db6bd432ec8eba99644eaec43","after":"27bef98db5bb6013849d5df6dc357323ce997a71","ref":"refs/heads/wip-interface-v9p4","pushedAt":"2024-04-09T14:12:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bensimner","name":"Ben Simner","path":"/bensimner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5352715?s=80&v=4"},"commit":{"message":"(armv9p4) allow store exclusive to fail, and ignore data dep","shortMessageHtmlLink":"(armv9p4) allow store exclusive to fail, and ignore data dep"}},{"before":"5ce6e4a9b20814da5cc3c998119dec321291f689","after":"4922b7386ee9656db6bd432ec8eba99644eaec43","ref":"refs/heads/wip-interface-v9p4","pushedAt":"2024-03-29T16:37:41.000Z","pushType":"push","commitsCount":14,"pusher":{"login":"bensimner","name":"Ben Simner","path":"/bensimner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5352715?s=80&v=4"},"commit":{"message":"(armv9p4) fix: ASL bug on uninit level on AlignmentFault\n\nc.f. d53d4cf4a4d9b55632cd5259ac180d70698dac1a","shortMessageHtmlLink":"(armv9p4) fix: ASL bug on uninit level on AlignmentFault"}},{"before":null,"after":"5ce6e4a9b20814da5cc3c998119dec321291f689","ref":"refs/heads/wip-interface-v9p4","pushedAt":"2024-03-20T11:40:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"bensimner","name":"Ben Simner","path":"/bensimner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5352715?s=80&v=4"},"commit":{"message":"(armv9p4) fix/wip: emulator termination opcode fix to 0x0\n\nIn reality I think this should be a set?","shortMessageHtmlLink":"(armv9p4) fix/wip: emulator termination opcode fix to 0x0"}},{"before":"18e9202900b45249885bbfbc4f942629eb07f60e","after":"a0cef1759caaa5ec237e467ce17054a712059d2b","ref":"refs/heads/master","pushedAt":"2024-03-11T15:26:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bacam","name":"Brian Campbell","path":"/bacam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666370?s=80&v=4"},"commit":{"message":"Splice in some alterations for Isla","shortMessageHtmlLink":"Splice in some alterations for Isla"}},{"before":"6d9a5f356969d46de519be76db7761f0fbdcf93d","after":"18e9202900b45249885bbfbc4f942629eb07f60e","ref":"refs/heads/master","pushedAt":"2024-03-08T17:40:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tperami","name":"Thibaut Pérami","path":"/tperami","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23172922?s=80&v=4"},"commit":{"message":"Add coq-sail-arm opam package","shortMessageHtmlLink":"Add coq-sail-arm opam package"}},{"before":"d43f3f4c021fad07564f6b1e5bc9bd7de33abe4f","after":"6d9a5f356969d46de519be76db7761f0fbdcf93d","ref":"refs/heads/master","pushedAt":"2024-03-08T15:16:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bacam","name":"Brian Campbell","path":"/bacam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666370?s=80&v=4"},"commit":{"message":"Hook up branch hint information","shortMessageHtmlLink":"Hook up branch hint information"}},{"before":"bb55d77cb6f58172fd7fb969b026148161e219ee","after":"d43f3f4c021fad07564f6b1e5bc9bd7de33abe4f","ref":"refs/heads/master","pushedAt":"2024-01-25T15:27:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bacam","name":"Brian Campbell","path":"/bacam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666370?s=80&v=4"},"commit":{"message":"Tweak 9.4 model for in-development version of Sail","shortMessageHtmlLink":"Tweak 9.4 model for in-development version of Sail"}},{"before":null,"after":"24c0d10aec2b040fc93f2cb76d5bf9ce53f0e460","ref":"refs/heads/pattern_match_failures","pushedAt":"2023-12-14T20:33:36.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"bauereiss","name":"Thomas Bauereiss","path":"/bauereiss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25056889?s=80&v=4"},"commit":{"message":"Change handling of incomplete pattern match statements\n\nRaise an error in case of a pattern match failure rather than allowing\nundefined behaviour.  This better reflects the intended ASL semantics.\n\nAlso remove a number of unnecessary fall-through cases that were\nintroduced due to bugs in asl_to_sail, as reported in issue #16.","shortMessageHtmlLink":"Change handling of incomplete pattern match statements"}},{"before":"01c8665d6e04d0cc47f8743c670a83e4cc73fdde","after":"bb55d77cb6f58172fd7fb969b026148161e219ee","ref":"refs/heads/master","pushedAt":"2023-12-14T20:33:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bauereiss","name":"Thomas Bauereiss","path":"/bauereiss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25056889?s=80&v=4"},"commit":{"message":"Add .gitignore","shortMessageHtmlLink":"Add .gitignore"}},{"before":"f7dedcf3564df71ef065e56b28ff8c9689272596","after":"01c8665d6e04d0cc47f8743c670a83e4cc73fdde","ref":"refs/heads/master","pushedAt":"2023-12-11T11:51:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bacam","name":"Brian Campbell","path":"/bacam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666370?s=80&v=4"},"commit":{"message":"Add example isla config","shortMessageHtmlLink":"Add example isla config"}},{"before":"c3ea1230c8401d45b29324829cc00ecc9fb726d3","after":"f7dedcf3564df71ef065e56b28ff8c9689272596","ref":"refs/heads/master","pushedAt":"2023-12-08T12:38:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Avoid overloading print, and give default values for GIC registers","shortMessageHtmlLink":"Avoid overloading print, and give default values for GIC registers"}},{"before":"248914ae2062a1807eea9aedbba987e79df1594e","after":"c3ea1230c8401d45b29324829cc00ecc9fb726d3","ref":"refs/heads/master","pushedAt":"2023-11-28T18:28:29.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"bauereiss","name":"Thomas Bauereiss","path":"/bauereiss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25056889?s=80&v=4"},"commit":{"message":"Add 9.4 Coq snapshot","shortMessageHtmlLink":"Add 9.4 Coq snapshot"}},{"before":"b1c97632f65375e47513c090bb60a0ebae5ab548","after":"c3ea1230c8401d45b29324829cc00ecc9fb726d3","ref":"refs/heads/arm-v9.4-a","pushedAt":"2023-11-28T18:22:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bacam","name":"Brian Campbell","path":"/bacam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666370?s=80&v=4"},"commit":{"message":"Add 9.4 Coq snapshot","shortMessageHtmlLink":"Add 9.4 Coq snapshot"}},{"before":"f7e11ae2622b099bfe5211aa7c37e38b9a653afb","after":"b1c97632f65375e47513c090bb60a0ebae5ab548","ref":"refs/heads/arm-v9.4-a","pushedAt":"2023-11-28T15:11:07.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bauereiss","name":"Thomas Bauereiss","path":"/bauereiss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25056889?s=80&v=4"},"commit":{"message":"Add C snapshot","shortMessageHtmlLink":"Add C snapshot"}},{"before":null,"after":"f7e11ae2622b099bfe5211aa7c37e38b9a653afb","ref":"refs/heads/arm-v9.4-a","pushedAt":"2023-11-28T14:28:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"bauereiss","name":"Thomas Bauereiss","path":"/bauereiss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25056889?s=80&v=4"},"commit":{"message":"Add Armv9.4-A model","shortMessageHtmlLink":"Add Armv9.4-A model"}},{"before":"871b86b203ef432d0cd728c9c25abbe69021a40b","after":"d53d4cf4a4d9b55632cd5259ac180d70698dac1a","ref":"refs/heads/interface-v9","pushedAt":"2023-07-26T16:13:08.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Fix some ASL bugs\n\nIn AlignmentFault fault.level is left uninitialized, but the ASL really depends on\nthe fact that it is zero (or at the very least that it is not -1\n\nThe fault.gpcf.gpf check in AArch64_Abort is also missing a HaveRME() guard. This\nis a similar issue, where the gpcf field is left uninitialized in the RME disabled\ncase, but the ASL is relying on the fact that the unitialized value just happens to\nbe GPCF_None due to its position in the enumeration. Isla currently catches this so\nwe add the guard back in.","shortMessageHtmlLink":"Fix some ASL bugs"}},{"before":"0f42c33520bb4a85a0afb92514ce580e548de208","after":"871b86b203ef432d0cd728c9c25abbe69021a40b","ref":"refs/heads/interface-v9","pushedAt":"2023-07-04T12:26:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bensimner","name":"Ben Simner","path":"/bensimner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5352715?s=80&v=4"},"commit":{"message":"(armv9-interface) add address announce to DC/IC-by-VA","shortMessageHtmlLink":"(armv9-interface) add address announce to DC/IC-by-VA"}},{"before":"26849759377c85887f21e1f2a89aa9c23f12e737","after":"0f42c33520bb4a85a0afb92514ce580e548de208","ref":"refs/heads/interface-v9","pushedAt":"2023-06-23T10:45:59.633Z","pushType":"push","commitsCount":2,"pusher":{"login":"bensimner","name":"Ben Simner","path":"/bensimner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5352715?s=80&v=4"},"commit":{"message":"fix underconstrained undefineds\n\n`undefined: bits('N)` where 'N < 0, does not type check,\nso add some type constraints and assertions to ensure N >= 0 always.","shortMessageHtmlLink":"fix underconstrained undefineds"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEpWfUEgA","startCursor":null,"endCursor":null}},"title":"Activity · rems-project/sail-arm"}