Skip to content

Actions: rems-project/cerberus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
99 workflow run results
99 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

more refactoring CI #184: Commit 8e624c4 pushed by vzaliva
November 7, 2023 23:47 8m 9s revocation-proofs
revocation-proofs
November 7, 2023 23:47 8m 9s
code reorg CI #183: Commit 60a25d9 pushed by vzaliva
November 7, 2023 23:34 4m 3s revocation-proofs
revocation-proofs
November 7, 2023 23:34 4m 3s
allocate_object_same proven CI #182: Commit d3c819d pushed by vzaliva
November 5, 2023 23:52 4m 23s revocation-proofs
revocation-proofs
November 5, 2023 23:52 4m 23s
generalized serr2memM_same CI #181: Commit aac17b4 pushed by vzaliva
November 5, 2023 05:34 8m 34s revocation-proofs
revocation-proofs
November 5, 2023 05:34 8m 34s
zmap_add_Proper proven CI #180: Commit d14d036 pushed by vzaliva
November 5, 2023 05:00 6m 59s revocation-proofs
revocation-proofs
November 5, 2023 05:00 6m 59s
more wip CI #179: Commit 074e75c pushed by vzaliva
November 3, 2023 23:17 9m 18s revocation-proofs
revocation-proofs
November 3, 2023 23:17 9m 18s
wip (down the road to setoid hell) CI #178: Commit f07650f pushed by vzaliva
November 3, 2023 20:46 6m 43s revocation-proofs
revocation-proofs
November 3, 2023 20:46 6m 43s
[allocate_object_same] proven under [repr_same] assumption CI #177: Commit 54d3129 pushed by vzaliva
November 3, 2023 00:44 4m 2s revocation-proofs
revocation-proofs
November 3, 2023 00:44 4m 2s
ret obligations CI #176: Commit fb2fd5a pushed by vzaliva
November 2, 2023 00:28 7m 20s revocation-proofs
revocation-proofs
November 2, 2023 00:28 7m 20s
moving tactics to separate .v CI #175: Commit 3c6f213 pushed by vzaliva
November 1, 2023 23:21 7m 35s revocation-proofs
revocation-proofs
November 1, 2023 23:21 7m 35s
CN VIP: Add provenance to pointer literals CI #174: Commit e6d7c9f pushed by dc-mak
November 1, 2023 12:59 9m 0s master
master
November 1, 2023 12:59 9m 0s
wip on allocate_object_proofs CI #173: Commit 31f7b08 pushed by vzaliva
November 1, 2023 00:16 7m 38s revocation-proofs
revocation-proofs
November 1, 2023 00:16 7m 38s
CN: Add temporary --vip option for CN backend CI #172: Commit 1ee5aa2 pushed by dc-mak
October 31, 2023 13:39 6m 41s master
master
October 31, 2023 13:39 6m 41s
sizeof proofs CI #171: Commit d1f6e59 pushed by vzaliva
October 30, 2023 23:02 6m 49s revocation-proofs
revocation-proofs
October 30, 2023 23:02 6m 49s
CN: missing bits of dtree rendering of cnprogs CI #170: Commit 5fbf167 pushed by talsewell
October 30, 2023 21:54 6m 31s master
master
October 30, 2023 21:54 6m 31s
cbn_hyp tactic added CI #169: Commit d5cf219 pushed by vzaliva
October 26, 2023 18:06 6m 46s revocation-proofs
revocation-proofs
October 26, 2023 18:06 6m 46s
corrected URL for coq-cheri-capabilities CI #168: Commit eb5fcca pushed by vzaliva
October 26, 2023 15:30 2h 4m 7s revocation-proofs
revocation-proofs
October 26, 2023 15:30 2h 4m 7s
CN VIP: Use a different type for CN lemma backend CI #167: Commit fda464a pushed by dc-mak
October 26, 2023 15:00 1h 49m 28s master
master
October 26, 2023 15:00 1h 49m 28s
classes CI #166: Commit ac3fe71 pushed by vzaliva
October 26, 2023 00:47 50m 11s revocation-proofs
revocation-proofs
October 26, 2023 00:47 50m 11s
fixed Qed slowness in allocate_region_same_state CI #165: Commit ac2938f pushed by vzaliva
October 25, 2023 00:33 7m 32s revocation-proofs
revocation-proofs
October 25, 2023 00:33 7m 32s
CN: lemmata generation updates/fixups CI #164: Commit a260a5e pushed by talsewell
October 24, 2023 17:01 7m 41s master
master
October 24, 2023 17:01 7m 41s
CN VIP: Add index term for CopyAllocId CI #163: Commit 4081026 pushed by dc-mak
October 24, 2023 12:13 9m 30s master
master
October 24, 2023 12:13 9m 30s
CN: shrink tag_defs array, warn on big arrays CI #162: Commit aa04470 pushed by talsewell
October 24, 2023 10:50 6m 43s master
master
October 24, 2023 10:50 6m 43s
CN: update examples with Coq proofs CI #161: Commit 876c1ab pushed by talsewell
October 23, 2023 18:20 8m 31s master
master
October 23, 2023 18:20 8m 31s
Mini_pipeline now ignore the previous Tags state, and restore it (i… CI #160: Commit 959f1bb pushed by kmemarian
October 23, 2023 11:54 6m 51s master
master
October 23, 2023 11:54 6m 51s