Skip to content

Actions: logsem/cerise

Actions

Test compilation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
243 workflow runs
243 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'attestation_wip_dfracs' into attestation Test compilation #538: Commit 36ed47b pushed by decrn
May 16, 2024 13:32 17m 53s attestation
attestation
May 16, 2024 13:32 17m 53s
Cleanup Test compilation #537: Commit d0f8e46 pushed by decrn
May 16, 2024 13:22 14m 57s attestation_wip_dfracs
attestation_wip_dfracs
May 16, 2024 13:22 14m 57s
More progress on mem update lemmas Test compilation #536: Commit 40a91f7 pushed by decrn
May 14, 2024 17:26 9m 58s attestation_wip_dfracs
attestation_wip_dfracs
May 14, 2024 17:26 9m 58s
Small progress on mem update lemmas Test compilation #535: Commit 741b3cb pushed by decrn
May 13, 2024 11:01 13m 3s attestation_wip_dfracs
attestation_wip_dfracs
May 13, 2024 11:01 13m 3s
Progress update_state_interp_transient_from_mem_mod Test compilation #534: Commit b14ef1f pushed by decrn
April 24, 2024 16:14 15m 26s attestation_wip_dfracs
attestation_wip_dfracs
April 24, 2024 16:14 15m 26s
Finish rules_Store Test compilation #533: Commit 49d1675 pushed by decrn
April 24, 2024 14:49 15m 4s attestation_wip_dfracs
attestation_wip_dfracs
April 24, 2024 14:49 15m 4s
Finish rules_Store Test compilation #532: Commit 38706b6 pushed by decrn
April 24, 2024 14:49 42s attestation_wip_dfracs
attestation_wip_dfracs
April 24, 2024 14:49 42s
Progress rules_Store Test compilation #531: Commit d643e2b pushed by decrn
April 24, 2024 14:33 10m 28s attestation_wip_dfracs
attestation_wip_dfracs
April 24, 2024 14:33 10m 28s
Progress rules_Store Test compilation #530: Commit e88c15f pushed by decrn
April 24, 2024 07:54 15m 11s attestation_wip_dfracs
attestation_wip_dfracs
April 24, 2024 07:54 15m 11s
Finish Load instruction Test compilation #529: Commit 211c461 pushed by decrn
April 22, 2024 15:24 14m 54s attestation_wip_dfracs
attestation_wip_dfracs
April 22, 2024 15:24 14m 54s
Progress wp_load Test compilation #528: Commit 78ecd53 pushed by decrn
April 19, 2024 18:10 16m 24s attestation_wip_dfracs
attestation_wip_dfracs
April 19, 2024 18:10 16m 24s
Progress wp_rules Load & Store Test compilation #527: Commit 4ad21e3 pushed by decrn
April 19, 2024 15:21 15m 5s attestation_wip_dfracs
attestation_wip_dfracs
April 19, 2024 15:21 15m 5s
Dfracless wp rules for Mov, AddSubLt Test compilation #526: Commit 3731299 pushed by decrn
April 18, 2024 06:15 12m 58s attestation_wip_dfracs
attestation_wip_dfracs
April 18, 2024 06:15 12m 58s
Progress proving wp rules with opaque dfracs Test compilation #525: Commit 52afca4 pushed by decrn
April 17, 2024 16:08 9m 55s attestation_wip_dfracs
attestation_wip_dfracs
April 17, 2024 16:08 9m 55s
Remove superfluous lemma arguments Test compilation #524: Commit e879a19 pushed by decrn
April 16, 2024 14:18 9m 46s attestation_wip_dfracs
attestation_wip_dfracs
April 16, 2024 14:18 9m 46s
Finish rules_base Test compilation #523: Commit bac7d67 pushed by decrn
April 16, 2024 13:03 10m 6s attestation_wip_dfracs
attestation_wip_dfracs
April 16, 2024 13:03 10m 6s
Use new state_interp_transient_intro_nodfracs lemma. Test compilation #522: Commit f04d8e2 pushed by dominiquedevriese
April 15, 2024 12:27 13m 29s attestation_wip_dfracs
attestation_wip_dfracs
April 15, 2024 12:27 13m 29s
Work in progress: no prod_merge for dfracs. Test compilation #521: Commit 98de21c pushed by dominiquedevriese
April 15, 2024 12:24 2m 47s attestation_wip_dfracs
attestation_wip_dfracs
April 15, 2024 12:24 2m 47s
Fix build Test compilation #520: Commit ab09149 pushed by decrn
April 15, 2024 11:29 15m 7s attestation
attestation
April 15, 2024 11:29 15m 7s
Fix update_state_interp_transient_from_mem_mod lemma statement. Test compilation #519: Commit 1a30fdc pushed by dominiquedevriese
April 15, 2024 11:21 8m 10s attestation
attestation
April 15, 2024 11:21 8m 10s
WIP wp_store with transactions Test compilation #518: Commit 37a020c pushed by decrn
April 15, 2024 11:05 13m 16s attestation
attestation
April 15, 2024 11:05 13m 16s
feat(jmpIEpcc): comment about LR Test compilation #517: Commit 7aabe73 pushed by JuneRousseau
April 12, 2024 11:18 19m 40s bastien/indirect-sentry
bastien/indirect-sentry
April 12, 2024 11:18 19m 40s
feat(jmpIEpcc): finishing implementation IEpcc Test compilation #516: Commit 6c584af pushed by JuneRousseau
April 11, 2024 19:06 19m 14s bastien/indirect-sentry
bastien/indirect-sentry
April 11, 2024 19:06 19m 14s
feat(jmpIEpcc): WIP implement IE point-to-PCC (opsem, generic wp-rule… Test compilation #515: Commit 03ec70c pushed by JuneRousseau
April 11, 2024 16:20 16m 8s bastien/indirect-sentry
bastien/indirect-sentry
April 11, 2024 16:20 16m 8s
rules_Store.v: WIP on WP rule for Store Test compilation #514: Commit 1744e74 pushed by decrn
March 29, 2024 17:55 14m 54s attestation
attestation
March 29, 2024 17:55 14m 54s