4 Pull requests merged by 1 person

• [asl] Update signatures of UInt and SInt

  #1294 merged May 2, 2025

• [asl] Add IsAligned{Size,P2} to stdlib

  #1283 merged May 2, 2025

• [asl] Typecheck discarded impdef subprograms

  #1280 merged May 2, 2025

• [asl] Allow mixing of x and parentheses in mask literals

  #1277 merged May 2, 2025

4 Pull requests opened by 4 people

• [ASL] Add ACL2 ASL interpreter and stdlib correctness proofs

  #1291 opened May 1, 2025

• fix(lib): wait for process before calling channel functions

  #1292 opened May 2, 2025

• [AArch64,catalogue] Rewritten tests to avoid loops

  #1293 opened May 2, 2025

• [asl] Update syntax for empty records and elided parameters

  #1295 opened May 2, 2025

9 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• [asl+herd] Remove ASL experimental mode

  #1261 commented on May 2, 2025 • 4 new comments

• [herd] Semantics for address translation instruction with system registers as a new constant

  #1287 commented on May 2, 2025 • 3 new comments

• [asl] new subsumption test

  #1286 commented on May 2, 2025 • 2 new comments

• [all] Add CTERM{EQ,NE} instructions

  #1238 commented on May 2, 2025 • 1 new comment

• [diy][draft] Add label to the instruction that might fault in MTE.

  #1254 commented on May 2, 2025 • 0 new comments

• [diy][draft] Code improve: fold the Pte into value type.

  #1266 commented on May 2, 2025 • 0 new comments

• [test] Disable looping test

  #1272 commented on May 2, 2025 • 0 new comments

• ASL-716 accessibility enhancements phase 18: examples and fixes

  #1288 commented on May 1, 2025 • 0 new comments

• [asl] Update accessor syntax

  #1290 commented on May 2, 2025 • 0 new comments