Proofs for SGI API #2760
GitHub Actions / File annotations for theory linter
succeeded
Mar 14, 2024 in 0s
File annotations for theory linter
Annotations
Check failure on line 405 in proof/crefine/AARCH64/Interrupt_C.thy
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.
Check failure on line 406 in proof/crefine/AARCH64/Interrupt_C.thy
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.
Loading