Labels

• 16-bit

  16-bit

• aarch64

  aarch64

• API-BREAK

  API-BREAK

• benchmark

  benchmark

  this PR should be benchmarked in CI

• bug

  bug

  Something isn't working

• build

  build

• CBMC

  CBMC

• ci

  ci

• compatibility

  compatibility

• dependencies

  dependencies

  Pull requests that update a dependency file

• discussion

  discussion

• DO-NOT-MERGE

  DO-NOT-MERGE

• documentation

  documentation

  Improvements or additions to documentation

• enhancement

  enhancement

  New feature or request

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• help-welcome

  help-welcome

• hol-light

  hol-light

• integration

  integration

• legacy-compiler-tests

  legacy-compiler-tests

  Triggers legacy compiler tests in CI

• MVE

  MVE

  Relating to Armv8.1-M+MVE architecture

• needs-mldsa-native-port

  needs-mldsa-native-port

• needs-work

  needs-work

• nix

  nix

• ppc64le

  ppc64le

• priority-high

  priority-high

• question

  question

  Further information is requested

• RV32

  RV32

• RV64

  RV64

• slothy

  slothy

• soundness

  soundness