portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

github: add AARCH64 C proof session

Browse source 
CRefine is now available for AARCH64 in l4v.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2024-03-25 15:11:01 +01:00 committed by Indan Zupancic
parent 271f6cc903
commit 4079d4c8b4
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/proof.yml vendored
View file

@ -30,6 +30,8 @@ jobs:
session: CRefine SimplExportAndRefine
- arch: X64
session: CRefine
- arch: AARCH64
session: CRefine
- arch: RISCV64
features: MCS
session: CRefine