3 Pull requests merged by 3 people

• config_set wrap and GICv3 support for ARM and ARM_HYP

  #875 merged Mar 27, 2025

• Prove cancelIPC_ccorres1

  #831 merged Mar 25, 2025

• Prove sendSignal_ccorres

  #874 merged Mar 24, 2025

1 Pull request opened by 1 person

• access+infoflow: relax conditions

  #876 opened Mar 25, 2025

3 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.

• github: update to central workflows

  #868 commented on Mar 28, 2025 • 2 new comments

• MCS replies from kernel need a thorough review

  #342 commented on Mar 26, 2025 • 0 new comments

• Update AARCH64 Refine and CRefine for explicit FPU changes

  #873 commented on Mar 28, 2025 • 0 new comments