Proof PR

Lemmas for simplifying masking and thread states #3135

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (AARCH64)	2h 32m 20s
All (ARM)	3h 2m 37s
All (ARM_HYP)	2h 36m 43s
All (RISCV64)	2h 46m 25s
All (X64)	2h 34m 48s
	13h 32m 53s