Skip to content
Proof PR

verification for deferred cache flush in untyped reset #3004

Sign in to view logs

verification for deferred cache flush in untyped reset

verification for deferred cache flush in untyped reset #3004

GitHub Actions / File annotations for theory linter succeeded Aug 16, 2024 in 0s

File annotations for theory linter

Annotations

Check failure on line 5542 in proof/refine/AARCH64/Retype_R.thy

See this annotation in the file changed.

@github-actions github-actions / File annotations for theory linter

Interactive diagnostic command 

This command is usually used interactively only and should only be checked in for demonstration purposes.
View more details on GitHub Actions