1 Pull request merged by 1 person

• Fix empty PVL enums causing verification failure

  #1248 merged Oct 9, 2024

2 Pull requests opened by 2 people

• Fix mill for Windows

  #1258 opened Oct 9, 2024

• VeyMont: support both inline & wrapped stratified permissions

  #1259 opened Oct 11, 2024

1 Issue opened by 1 person

• "unfold" in pure method is silently dropped

  #1257 opened Oct 9, 2024

1 Unresolved conversation

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.

• Update VCLLVM (now Pallas) to LLVM 17, update to newest VerCors version, and convert more instructions to COL

  #1159 commented on Oct 11, 2024 • 54 new comments