Skip to content

Actions: logsem/clutch

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
718 workflow runs
718 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Change name from ARcoupl to Mcoupl CI #718: Commit 8cc4d99 pushed by hei411
November 22, 2024 10:15 32m 57s main
main
November 22, 2024 10:15 32m 57s
Multiplicative approximate lifting CI #717: Commit f95fb3c pushed by alejandroag
November 21, 2024 13:50 32m 41s main
main
November 21, 2024 13:50 32m 41s
state update wp CI #716: Commit 7009f0e pushed by hei411
November 19, 2024 13:48 33m 24s main
main
November 19, 2024 13:48 33m 24s
Change state update to take in two mask CI #715: Commit 7fca095 pushed by hei411
November 15, 2024 09:23 33m 16s main
main
November 15, 2024 09:23 33m 16s
add source of tactics CI #714: Commit 82ace8a pushed by hei411
November 14, 2024 12:22 33m 16s main
main
November 14, 2024 12:22 33m 16s
useful tactics CI #713: Commit bcb0896 pushed by hei411
November 14, 2024 12:21 33m 17s main
main
November 14, 2024 12:21 33m 17s
finish lazy [coneris] CI #712: Commit 906d366 pushed by hei411
November 11, 2024 11:51 33m 17s main
main
November 11, 2024 11:51 33m 17s
Lazy coin resolution CI #711: Commit 7d2cb21 pushed by alejandroag
November 11, 2024 10:30 31m 4s main
main
November 11, 2024 10:30 31m 4s
prove bound on side condition is unnecessary for con prob lang CI #710: Commit 1b8123b pushed by hei411
November 11, 2024 10:08 32m 53s main
main
November 11, 2024 10:08 32m 53s
useful lemma about prim step of con prob lang CI #709: Commit a5d8d69 pushed by hei411
November 11, 2024 09:48 33m 0s main
main
November 11, 2024 09:48 33m 0s
improve weakest pre by simplifying step preconditions CI #708: Commit 3ef70c3 pushed by hei411
November 8, 2024 12:10 32m 48s main
main
November 8, 2024 12:10 32m 48s
Coneris wp CI #707: Pull request #48 opened by hei411
November 8, 2024 10:12 37m 40s coneris_wp
coneris_wp
November 8, 2024 10:12 37m 40s
Change two die example with using one kind of RA CI #706: Commit d7b5bed pushed by hei411
November 4, 2024 14:25 33m 10s main
main
November 4, 2024 14:25 33m 10s
Complete Coneris safety CI #705: Commit a9a073b pushed by hei411
November 4, 2024 13:54 33m 7s main
main
November 4, 2024 13:54 33m 7s
Coneris adequacy CI #704: Pull request #47 opened by hei411
November 4, 2024 13:08 33m 14s coneris_adequacy
coneris_adequacy
November 4, 2024 13:08 33m 14s
nit CI #703: Commit 6ed68e0 pushed by hei411
November 1, 2024 15:40 33m 13s main
main
November 1, 2024 15:40 33m 13s
Need more lemmas on sch_pexec CI #702: Commit 9bbaa7b pushed by hei411
November 1, 2024 15:14 32m 37s main
main
November 1, 2024 15:14 32m 37s
Progrses with safety adequacy coneris CI #701: Commit dbeca68 pushed by hei411
November 1, 2024 14:39 33m 10s main
main
November 1, 2024 14:39 33m 10s
state_update_inv_acc CI #700: Commit 836b0fb pushed by hei411
October 31, 2024 14:48 33m 33s main
main
October 31, 2024 14:48 33m 33s
state update with inv and ghost resources CI #699: Commit 65c5d92 pushed by hei411
October 29, 2024 12:16 32m 39s main
main
October 29, 2024 12:16 32m 39s
Completed parallel_add_spec' CI #698: Commit 01ef87c pushed by hei411
October 24, 2024 13:48 32m 55s main
main
October 24, 2024 13:48 32m 55s
simple parallel_add_spec' CI #697: Commit 94a415f pushed by hei411
October 23, 2024 12:10 33m 5s main
main
October 23, 2024 12:10 33m 5s
improve spec of two die simple + adding RA for STS CI #696: Commit 8189f8e pushed by hei411
October 23, 2024 11:40 33m 26s main
main
October 23, 2024 11:40 33m 26s
complete two die CI #695: Commit fbac41c pushed by hei411
October 22, 2024 14:40 33m 59s main
main
October 22, 2024 14:40 33m 59s
two die example progress CI #694: Commit 4f867fa pushed by hei411
October 22, 2024 14:19 33m 9s main
main
October 22, 2024 14:19 33m 9s