19 Pull requests merged by 4 people

• [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

• [asl] Display error context

  #1284 merged May 1, 2025

• [asl][reference] extend slice_equal to untyped AST

  #1285 merged May 1, 2025

• [asl] Base values for bit vectors

  #1276 merged Apr 30, 2025

• [asl] Forbid storage declarations that discard all names

  #1275 merged Apr 30, 2025

• [asl] Binary operator for string concatenation

  #1282 merged Apr 30, 2025

• [asl] Forbid expression-level elsif

  #1279 merged Apr 29, 2025

• [asl][reference] Add collection keyword to reserved list

  #1278 merged Apr 29, 2025

• [asl][reference] parameter elision discussion

  #1271 merged Apr 29, 2025

• [asl][reference] clarification on semantics & time

  #1274 merged Apr 29, 2025

• [herd,aarch64] Split NZCV into 4 1bit registers

  #1258 merged Apr 28, 2025

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

  #1256 merged Apr 28, 2025

• [asl][reference] make names with underscore PDF-searchable

  #1268 merged Apr 28, 2025

• [asl][reference] impose proper formatting for Lexical Structure

  #1267 merged Apr 28, 2025

• [asl] removed keywords reserved for future use

  #1263 merged Apr 28, 2025

• [herd] Complete tracking of the NZCV "register"

  #1265 merged Apr 28, 2025

13 Pull requests opened by 8 people

• [gen] Bye-bye Joker

  #1270 opened Apr 28, 2025

• [test] Disable looping test

  #1272 opened Apr 29, 2025

• [herd,aarch64] Move SM and ZA pseudo registers under PSTATE

  #1273 opened Apr 29, 2025

• Fix typos in post conditions of few MTE tests

  #1281 opened Apr 29, 2025

• [asl] new subsumption test

  #1286 opened Apr 30, 2025

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

  #1287 opened May 1, 2025

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

  #1288 opened May 1, 2025

• Fix more MTE tests

  #1289 opened May 1, 2025

• [asl] Update accessor syntax

  #1290 opened May 1, 2025

• [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

10 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

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

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

• [herd, aarch64]: Introduce support for FEAT_MTE_STORE_ONLY

  #1162 commented on Apr 30, 2025 • 2 new comments

• Basic MTE support in litmus

  #1042 commented on Apr 29, 2025 • 0 new comments

• [all] Improve the implementation of memory attributes for AArch64

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

• [gen] Introduce instruction label for memory access and generate (PTE) fault check to labels.

  #1180 commented on Apr 29, 2025 • 0 new comments

• PAC with collisions

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

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

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

• [draft] [diy] Minor change on `RMW` and register allocation

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

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

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