Skip to content

Actions: logsem/cerise

Actions

Test compilation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
269 workflow runs
269 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Some cleanup in wp_EInit. Test compilation #848: Commit 844b745 pushed by JuneRousseau
34m 18s archive/attestation
archive/attestation
34m 18s
Some more cleanup in wp_EInit. Test compilation #846: Commit 2ee3cc8 pushed by dominiquedevriese
34m 30s cerisier/main
cerisier/main
34m 30s
Some cleanup in wp_EInit. Test compilation #845: Commit 844b745 pushed by dominiquedevriese
32m 56s attestation
attestation
32m 56s
WP_EInit: Finish proof 🎉 Test compilation #844: Commit 9445f4a pushed by decrn
32m 44s attestation
attestation
32m 44s
Fix proof FTLR EInit fitting the new WP spec Test compilation #843: Commit ec367d2 pushed by JuneRousseau
30m 48s attestation
attestation
30m 48s
WP_EInit WIP: proof of valid_update_lmemory for data region Test compilation #842: Commit 7db71e3 pushed by decrn
11m 49s attestation
attestation
11m 49s
WP_EInit WIP: Fix Spec Test compilation #841: Commit 8ab074a pushed by decrn
12m 46s attestation
attestation
12m 46s
WIP WP EInit: progress wp rule einit Test compilation #840: Commit 383699c pushed by JuneRousseau
12m 38s attestation
attestation
12m 38s
WP_EInit WIP: Fix some more existentials Test compilation #839: Commit c5f7f4d pushed by decrn
10m 8s attestation
attestation
10m 8s
Fix ensures_is_zL and FTLR EInit Test compilation #838: Commit 2c7722c pushed by JuneRousseau
2m 55s attestation
attestation
2m 55s
WIP WP EInit: progress wp rule einit Test compilation #837: Commit 6826f21 pushed by JuneRousseau
33m 28s attestation
attestation
33m 28s
WIP WP EInit: instantiate lmem'' in last admits. Test compilation #836: Commit 7735e8f pushed by JuneRousseau
17m 50s attestation
attestation
17m 50s
WP_EInit WIP: Some more admits... Test compilation #835: Commit 3dc8b6b pushed by decrn
30m 45s attestation
attestation
30m 45s
WP_EInit WIP: split remaining goals correctly Test compilation #834: Commit cecb83e pushed by decrn
31m 12s attestation
attestation
31m 12s
More admit proven WP EInit Test compilation #833: Commit 39af646 pushed by JuneRousseau
9m 41s attestation
attestation
9m 41s
Simplify proof wp einit Test compilation #832: Commit e1ac51a pushed by JuneRousseau
14m 57s attestation
attestation
14m 57s
Proof more admits WP EInit Test compilation #831: Commit 75b2338 pushed by JuneRousseau
23m 59s attestation
attestation
23m 59s
Progress proof admits in WP EInit Test compilation #830: Commit 53cc1b4 pushed by JuneRousseau
33m 2s attestation
attestation
33m 2s
WP_EInit WIP: Prep proof success spec Test compilation #829: Commit 6ea20af pushed by decrn
33m 14s attestation
attestation
33m 14s
Minor addition. Test compilation #828: Commit 3444f9b pushed by dominiquedevriese
34m 41s attestation
attestation
34m 41s
Prove the last admit before success case WP EInit Test compilation #827: Commit c200fa3 pushed by JuneRousseau
32m 9s attestation
attestation
32m 9s
WIP admits from WP EInit Test compilation #826: Commit 92a3eb8 pushed by JuneRousseau
14m 10s attestation
attestation
14m 10s
WP_EInit WIP: ghost updates to EC, Hcur_tb and Hall_tb Test compilation #825: Commit 434a547 pushed by decrn
32m 13s attestation
attestation
32m 13s
WIP WP EInit: finish lemma sweep_implies_no_pc Test compilation #824: Commit 1b22929 pushed by JuneRousseau
31m 39s attestation
attestation
31m 39s
Minor cleanup in wp_IsUnique. Test compilation #823: Commit 085453a pushed by dominiquedevriese
32m 12s attestation
attestation
32m 12s