{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":98764161,"defaultBranch":"main","name":"rumur","ownerLogin":"Smattr","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-07-29T23:34:43.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/203893?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1716276843.0","currentOid":""},"activityList":{"items":[{"before":"c39e2089d2e509e3626e59413bc28bde43b6d4bc","after":"391cb95ad30026a0579fe04e1c8591413433ae2b","ref":"refs/heads/main","pushedAt":"2024-06-01T00:46:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"},"commit":{"message":"translation to SMV\n\nThis is based on `murphi2uclid`. But unlike Uclid5 translation, this is much\nmore rough. The semantics and structure of SMV are sufficiently different that\nan automatic translation would be more like a compiler than the AST-walking\nstrategy employed by the `murphi2*` tools. It does not seem worth undertaking\nsomething this ambitious until we get some experience in whether this\ntranslation is useful.\n\nThe translation gives up in numerous scenarios. But it should be more usable\nonce we implement the ability to ingest partial Murphi models.","shortMessageHtmlLink":"translation to SMV"}},{"before":null,"after":"62e19c249daa22fd81ac10bdb0b2681253d440ab","ref":"refs/heads/smattr/8db98942-12a9-45f8-b94b-2f6d2b02bd51","pushedAt":"2024-05-21T07:34:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"},"commit":{"message":"XXX beginnings of a translation to SMV\n\nThis is based on `murphi2uclid`. But unlike Uclid5 translation, this is much\nmore rough. The semantics and structure of SMV are sufficiently different that\nan automatic translation would be more like a compiler than the AST-walking\nstrategy employed by the `murphi2*` tools. It does not seem worth undertaking\nsomething this ambitious until we get some experience in whether this\ntranslation is useful.","shortMessageHtmlLink":"XXX beginnings of a translation to SMV"}},{"before":null,"after":"64e13045d8796e41bc634e85c16c2a1d7dafa46b","ref":"refs/heads/smattr/b0758bca-0cb2-40d6-8608-0e5f764ea7ff","pushedAt":"2024-05-21T07:13:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"},"commit":{"message":"murphi2uclid: fix ignoring of '-n' and other short options","shortMessageHtmlLink":"murphi2uclid: fix ignoring of '-n' and other short options"}},{"before":"b9309d6b6e8a159ec946b3b85c063cae5a9036f2","after":"c39e2089d2e509e3626e59413bc28bde43b6d4bc","ref":"refs/heads/main","pushedAt":"2024-05-19T04:56:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"},"commit":{"message":"remove qualification of “≥ 20.04” in Ubuntu installation instructions\n\nUbuntu 20.04 is now the oldest version of Ubuntu still within support.","shortMessageHtmlLink":"remove qualification of “≥ 20.04” in Ubuntu installation instructions"}},{"before":"575a6cb9610197d68e1f11b4807c6fad72300c04","after":"ea0e021cc1760febd98a5e166371ed35189ae053","ref":"refs/heads/packaging/debian","pushedAt":"2024-05-18T21:40:32.000Z","pushType":"push","commitsCount":35,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"},"commit":{"message":"fix: realign autopkgtest libatomic check with the verifier\n\nThe autopkgtest to check Rumur could generate a compilable model contains logic\nto decide whether linking against libatomic is needed, but this logic did not\ncorrespond to the actual verifier code closely enough. The __sync built-in it\ntests can be lowered to a single instruction on ≥ armv8.1-a, but the __atomic\nbuilt-ins used in the actual verifier cannot.\n\nChanges to the verifier itself should now allow it to be lock-free on ≥\narmv8.1-a. This change updates the logic used to check libatomic requirements to\nsomething that approximates the new verifier.\n\nDebian: fixes https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1018205\nReported-by: Tobias Frost <tobi@debian.org>\nThanks: Caroline Xu","shortMessageHtmlLink":"fix: realign autopkgtest libatomic check with the verifier"}},{"before":"8f2150c2252708371e3ac5c694fd7f769dc4e661","after":null,"ref":"refs/heads/smattr/6520b4cc-19e3-4330-995b-550693848321","pushedAt":"2024-05-09T10:11:33.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"}},{"before":"0257c8840e548850447050d76bd8f8fc26df5746","after":"b9309d6b6e8a159ec946b3b85c063cae5a9036f2","ref":"refs/heads/main","pushedAt":"2024-05-09T10:11:32.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"},"commit":{"message":"murphi2murphi: fix: use original token when testing for comment begin\n\na9de733aba646e1b0612269bbba6c8e21f485584,\n5dac72950d59457aba636cb58487e54120338c7f,\n10acb27984e0580e30e0d995cf89d2b50fba10bb, and\ncc345ea2b6beebe63951549b9d6616f533dd1d2e introduced handling of some unicode\ncharacters that map to ASCII characters involved in starting a comment. These\nwould incorrectly be considered as eligible aliases within comment tokens. E.g.\n`÷×` would be treated as validly starting a multi-line comment.\n\nThis problem seems somewhat latent in that most sequences that would be confused\nin this way are not valid Murphi substrings anyway. The only one I can come up\nwith is:\n\n  x := y −-- a comment\n   --    ▲▲\n   --    │└─ actual start of the comment\n   --    └─ unicode subtraction character\n   z; -- ◄── conclusion of the subtraction\n\nThis would be misinterpreted as the comment starting one character earlier. It\nis unclear whether this is an actual problem because the translation both before\nand after this change is identical; it is only the internal state of\n`murphi2murphi` that differs. Translation of something like this produces\ninvalid Murphi source, but it is unclear what the user would want to happen\nhere.","shortMessageHtmlLink":"murphi2murphi: fix: use original token when testing for comment begin"}},{"before":null,"after":"176713cec7aa2167e32700701c9b2959567dd57c","ref":"refs/heads/smattr/2aa30a85-430c-40dd-bb7d-576c2dfa4c36","pushedAt":"2024-05-09T08:58:04.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"},"commit":{"message":"CI: upgrade ARM job to GCC 14","shortMessageHtmlLink":"CI: upgrade ARM job to GCC 14"}},{"before":null,"after":"8f2150c2252708371e3ac5c694fd7f769dc4e661","ref":"refs/heads/smattr/6520b4cc-19e3-4330-995b-550693848321","pushedAt":"2024-05-09T08:55:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"},"commit":{"message":"murphi2murphi: fix: use original token when testing for comment begin\n\na9de733aba646e1b0612269bbba6c8e21f485584,\n5dac72950d59457aba636cb58487e54120338c7f,\n10acb27984e0580e30e0d995cf89d2b50fba10bb, and\ncc345ea2b6beebe63951549b9d6616f533dd1d2e introduced handling of some unicode\ncharacters that map to ASCII characters involved in starting a comment. These\nwould incorrectly be considered as eligible aliases within comment tokens. E.g.\n`÷×` would be treated as validly starting a multi-line comment.\n\nThis problem seems somewhat latent in that most sequences that would be confused\nin this way are not valid Murphi substrings anyway. The only one I can come up\nwith is:\n\n  x := y −-- a comment\n   --    ▲▲\n   --    │└─ actual start of the comment\n   --    └─ unicode subtraction character\n   z; -- ◄── conclusion of the subtraction\n\nThis would be misinterpreted as the comment starting one character earlier. It\nis unclear whether this is an actual problem because the translation both before\nand after this change is identical; it is only the internal state of\n`murphi2murphi` that differs. Translation of something like this produces\ninvalid Murphi source, but it is unclear what the user would want to happen\nhere.","shortMessageHtmlLink":"murphi2murphi: fix: use original token when testing for comment begin"}},{"before":"8ff07b30dbe03f9d8cf081ddc27575e8207848d7","after":null,"ref":"refs/heads/smattr/5952ecda-ff3e-44b2-b32d-a8d6085868a6","pushedAt":"2024-05-07T10:04:57.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"}},{"before":"9c5f9d1c776456c83e15db02f99fdd488e392f89","after":"0257c8840e548850447050d76bd8f8fc26df5746","ref":"refs/heads/main","pushedAt":"2024-05-07T10:04:56.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"},"commit":{"message":"release v2024.05.07","shortMessageHtmlLink":"release v2024.05.07"}},{"before":null,"after":"8ff07b30dbe03f9d8cf081ddc27575e8207848d7","ref":"refs/heads/smattr/5952ecda-ff3e-44b2-b32d-a8d6085868a6","pushedAt":"2024-05-07T08:32:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"},"commit":{"message":"release v2024.05.07","shortMessageHtmlLink":"release v2024.05.07"}},{"before":"62acf80fac14236c6a77dbaf29570ce282e751fe","after":null,"ref":"refs/heads/smattr/dc5b303c-762d-4536-aa5b-76ff84bb069a","pushedAt":"2024-05-07T07:07:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"}},{"before":"c69f84b3d3dd52ed1c030a51856e3eafd32c142b","after":"9c5f9d1c776456c83e15db02f99fdd488e392f89","ref":"refs/heads/main","pushedAt":"2024-05-07T07:07:48.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"},"commit":{"message":"Merge pull request #260 from Smattr/smattr/dc5b303c-762d-4536-aa5b-76ff84bb069a\n\nremove 'final' from AST, Indexer","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2280463848\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Smattr/rumur/issues/260\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Smattr/rumur/pull/260/hovercard\" href=\"https://github.com/Smattr/rumur/pull/260\">#260</a> from Smattr/smattr/dc5b303c-762d-4536-aa5b-76…"}},{"before":null,"after":"62acf80fac14236c6a77dbaf29570ce282e751fe","ref":"refs/heads/smattr/dc5b303c-762d-4536-aa5b-76ff84bb069a","pushedAt":"2024-05-06T09:42:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"},"commit":{"message":"Markdown backticks for code within comments\n\nDoxygen apparently understands this as an alternative to `\\p` and it allows\nwriting with less ambiguity.","shortMessageHtmlLink":"Markdown backticks for code within comments"}},{"before":"79265c3d8cd5d246f2c0e5903dd5a6ee8549d525","after":null,"ref":"refs/heads/smattr/4bc946d0-5199-4366-9631-98f617b4ee78","pushedAt":"2024-05-05T01:36:16.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"}},{"before":"826a9b0e9881e758b791f4dc37442abc6ffe327c","after":"c69f84b3d3dd52ed1c030a51856e3eafd32c142b","ref":"refs/heads/main","pushedAt":"2024-05-05T01:36:16.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"},"commit":{"message":"Merge pull request #252 from Smattr/smattr/4bc946d0-5199-4366-9631-98f617b4ee78\n\navoid linking libatomic if possible on ARM64","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2247083066\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Smattr/rumur/issues/252\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Smattr/rumur/pull/252/hovercard\" href=\"https://github.com/Smattr/rumur/pull/252\">#252</a> from Smattr/smattr/4bc946d0-5199-4366-9631-98…"}},{"before":"6bffdd2855a86af8bd115be8b1ff784b80b86d86","after":"79265c3d8cd5d246f2c0e5903dd5a6ee8549d525","ref":"refs/heads/smattr/4bc946d0-5199-4366-9631-98f617b4ee78","pushedAt":"2024-05-05T00:33:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"},"commit":{"message":"echo failing assembly when lock freedom test fails","shortMessageHtmlLink":"echo failing assembly when lock freedom test fails"}},{"before":"3dfc49fc3d5c7ccd4127e1f04b85083b92e9f036","after":"6bffdd2855a86af8bd115be8b1ff784b80b86d86","ref":"refs/heads/smattr/4bc946d0-5199-4366-9631-98f617b4ee78","pushedAt":"2024-05-04T23:56:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"},"commit":{"message":"XXX tweak","shortMessageHtmlLink":"XXX tweak"}},{"before":"5618ea8ab13560d795f3ede1374cdae69b6c9115","after":"3dfc49fc3d5c7ccd4127e1f04b85083b92e9f036","ref":"refs/heads/smattr/4bc946d0-5199-4366-9631-98f617b4ee78","pushedAt":"2024-05-04T23:38:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"},"commit":{"message":"XXX 9","shortMessageHtmlLink":"XXX 9"}},{"before":"bbd789717362dfdba6599926252229a3d985276e","after":"5618ea8ab13560d795f3ede1374cdae69b6c9115","ref":"refs/heads/smattr/4bc946d0-5199-4366-9631-98f617b4ee78","pushedAt":"2024-05-04T23:15:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"},"commit":{"message":"XXX 10","shortMessageHtmlLink":"XXX 10"}},{"before":"4b2e936c32cc605390d2e00132d54b9910d9856b","after":"bbd789717362dfdba6599926252229a3d985276e","ref":"refs/heads/smattr/4bc946d0-5199-4366-9631-98f617b4ee78","pushedAt":"2024-05-04T23:06:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"},"commit":{"message":"XXX 11","shortMessageHtmlLink":"XXX 11"}},{"before":"52a11cd74b0366e7ad5abdc0c4bf1906d8753356","after":"4b2e936c32cc605390d2e00132d54b9910d9856b","ref":"refs/heads/smattr/4bc946d0-5199-4366-9631-98f617b4ee78","pushedAt":"2024-05-04T23:00:34.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"},"commit":{"message":"XXX failfast","shortMessageHtmlLink":"XXX failfast"}},{"before":"e418007b04b65d05925ae606f6d7d93a34b7e32f","after":"52a11cd74b0366e7ad5abdc0c4bf1906d8753356","ref":"refs/heads/smattr/4bc946d0-5199-4366-9631-98f617b4ee78","pushedAt":"2024-05-04T09:40:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"},"commit":{"message":"XXX 12.3","shortMessageHtmlLink":"XXX 12.3"}},{"before":"4fd890293a0544dbbcadfb886e3c0e51152c6364","after":"e418007b04b65d05925ae606f6d7d93a34b7e32f","ref":"refs/heads/smattr/4bc946d0-5199-4366-9631-98f617b4ee78","pushedAt":"2024-05-04T02:02:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"},"commit":{"message":"XXX 13.1","shortMessageHtmlLink":"XXX 13.1"}},{"before":"c900e43592dd7dd9d01ee40377b129d1ba5a31b0","after":"4fd890293a0544dbbcadfb886e3c0e51152c6364","ref":"refs/heads/smattr/4bc946d0-5199-4366-9631-98f617b4ee78","pushedAt":"2024-05-02T08:33:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"},"commit":{"message":"avoid linking libatomic if possible on ARM64\n\nDouble-word atomics are used to implement lock-free reference-counted pointers.¹\nCompiler built-ins (the GCC __sync and __atomic built-ins) are used to access\nthis functionality. It is up to the compiler how to lower these built-ins, and\nit chooses between emitting inline instructions or calling into the libatomic\nruntime support library.² The implementations in libatomic are typically not\nlock-free – they work by using per-variable-instance mutexes – which negates the\nperformance benefits of the lock-free algorithm we are trying to implement. In\ntight code like our scenario, the function call overhead into libatomic is also\na noticeable factor.\n\nIt was observed that on ARM64 GCC lowers these __atomic built-ins into libatomic\ncalls. ARM64 has Load-Linked/Store-Conditional (LL/SC) instructions that can be\nused to implement these inline, but GCC has traditionally avoided using these to\nback the atomics.³ While compiler developers were debating the utility of these\ninstructions, ARM introduced “Large System Extensions,” adding a new CASP family\nof instructions that more efficiently implements compare-and-swap.\n\nSo our aim is to use the CASP instructions where possible. We have the following\nmatrix:\n\n  ┌──────┬───────────────────────┬───────────────────────┐\n  │      │       Clang           │         GCC           │\n  ├──────┼───────────────────────┼───────────────────────┤\n  │ load │     __atomic          │       __sync          │\n  │      │ <armv8.1-a: LL/SC     │ <armv8.1-a: libatomic │\n  │      │ ≥armv8.1-a: CASP      │ ≥armv8.1-a: CASP      │\n  ├──────┼───────────────────────┼───────────────────────┤\n  │ store│     __atomic          │       __sync          │\n  │      │ <armv8.1-a: LL/SC     │ <armv8.1-a: libatomic │\n  │      │ ≥armv8.1-a: CASP      │ ≥armv8.1-a: CASP      │\n  ├──────┼───────────────────────┼───────────────────────┤\n  │ CAS  │     __atomic          │       __sync          │\n  │      │ <armv8.1-a: libatomic │ <armv8.1-a: libatomic │\n  │      │ ≥armv8.1-a: CASP      │ ≥armv8.1-a: CASP      │\n  └──────┴───────────────────────┴───────────────────────┘\n\nThis seems to result in a near-optimal situation on ≥armv8.1-a. For <armv8.1-a,\nthe only way to avoid linking against libatomic seems to be resorting to inline\nassembly which is not worthwhile.\n\nReported-by: e69d5a347277e5e7cb23518d93266bdac89a4bad\n\n¹ Specifically “Hazard Pointers” as described in Maged Michael’s “Hazard\n  Pointers: Safe Memory Reclamation for Lock-Free Objects” in TPDS 15(8) 2004.\n² GCC 10.1 introduced a third option that does a runtime check, similar to GNU\n  indirect functions (IFUNCs),\n  https://community.arm.com/arm-community-blogs/b/tools-software-ides-blog/posts/making-the-most-of-the-arm-architecture-in-gcc-10.\n  However, this is not relevant to us.\n³ See https://gcc.gnu.org/pipermail/gcc-help/2017-June.txt for a lengthy debate\n  on this and https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80878 for the\n  underlying rationale for avoiding both LL/SC and cmpxchg for backing these\n  atomics. As one participant in the first linked discussion accurately\n  summarises, “I think what’s happened makes perfect sense at each step of the\n  way but has led to an outcome which is crazy.”","shortMessageHtmlLink":"avoid linking libatomic if possible on ARM64"}},{"before":"fd7df24b25c4eb96c9c79d50ef740a02650b1093","after":"fd80fe7263bfa062983b7689bafbe795f37d1e6c","ref":"refs/heads/smattr/b2bb02d0-52bd-43c9-a32b-caa6cab30128","pushedAt":"2024-05-02T07:45:54.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"},"commit":{"message":"add a test case for lock freedom on aarch64","shortMessageHtmlLink":"add a test case for lock freedom on aarch64"}},{"before":"74cd1dbb000fc956125acd09f0e0e124c8a70282","after":"fd7df24b25c4eb96c9c79d50ef740a02650b1093","ref":"refs/heads/smattr/b2bb02d0-52bd-43c9-a32b-caa6cab30128","pushedAt":"2024-05-02T07:05:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"},"commit":{"message":"add a test case for lock freedom on aarch64","shortMessageHtmlLink":"add a test case for lock freedom on aarch64"}},{"before":null,"after":"74cd1dbb000fc956125acd09f0e0e124c8a70282","ref":"refs/heads/smattr/b2bb02d0-52bd-43c9-a32b-caa6cab30128","pushedAt":"2024-04-30T04:15:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"},"commit":{"message":"apply '-march=native' when running the test suite\n\nThis is preparation for leveraging this to avoid linking against libatomic on\naarch64.","shortMessageHtmlLink":"apply '-march=native' when running the test suite"}},{"before":"f19b8336e1e9679f63647b65511abf20ebdd04b3","after":"826a9b0e9881e758b791f4dc37442abc6ffe327c","ref":"refs/heads/main","pushedAt":"2024-04-30T03:06:30.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"Smattr","name":"Matthew Fernandez","path":"/Smattr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/203893?s=80&v=4"},"commit":{"message":"Merge pull request #258 from Smattr/smattr/58ac71af-1387-4974-8388-d0b188274a5b\n\nPython modernisation","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2270242651\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Smattr/rumur/issues/258\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Smattr/rumur/pull/258/hovercard\" href=\"https://github.com/Smattr/rumur/pull/258\">#258</a> from Smattr/smattr/58ac71af-1387-4974-8388-d0…"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEWX2GRgA","startCursor":null,"endCursor":null}},"title":"Activity · Smattr/rumur"}