Skip to content

Actions: rems-project/cerberus

Actions

Cerberus

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,721 workflow runs
1,721 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

extract_unspec_spec Cerberus #349: Commit 25b1ca4 pushed by vzaliva
March 6, 2024 00:14 8m 40s master
master
March 6, 2024 00:14 8m 40s
fetch_and_decode_cap_success (with some admitted lemmas) Cerberus #348: Commit 194879a pushed by vzaliva
March 5, 2024 23:56 8m 52s master
master
March 5, 2024 23:56 8m 52s
turn user-facing CN warning about bitvector type inference into debug… Cerberus #347: Commit 9b77044 pushed by cp526
March 5, 2024 19:07 9m 11s master
master
March 5, 2024 19:07 9m 11s
fix last NIA checks in WellTyped Cerberus #346: Commit b9460b9 pushed by cp526
March 5, 2024 18:57 9m 27s master
master
March 5, 2024 18:57 9m 27s
don't use Simplify.Eval in WellTyped.WIT any longer, and fix some of … Cerberus #345: Commit bf4ff17 pushed by cp526
March 5, 2024 17:32 8m 43s master
master
March 5, 2024 17:32 8m 43s
List.rev strikes back Cerberus #344: Commit b9a4f84 pushed by vzaliva
March 5, 2024 03:14 9m 7s master
master
March 5, 2024 03:14 9m 7s
more revocation proofs Cerberus #343: Commit b096499 pushed by vzaliva
March 5, 2024 00:53 8m 51s master
master
March 5, 2024 00:53 8m 51s
remove_revoked_allocation_preserves wip Cerberus #342: Commit cfbce2e pushed by vzaliva
March 1, 2024 23:20 8m 38s master
master
March 1, 2024 23:20 8m 38s
CN: bugfix is saving slow problems Cerberus #341: Commit ebac85b pushed by talsewell
March 1, 2024 14:40 55m 51s master
master
March 1, 2024 14:40 55m 51s
one more version of [bind_PreservesInvariant]. Progress on [kill_pres… Cerberus #340: Commit 99c19e2 pushed by vzaliva
March 1, 2024 05:29 8m 48s master
master
March 1, 2024 05:29 8m 48s
find_live_allocation lemmas Cerberus #339: Commit 6913755 pushed by vzaliva
February 29, 2024 01:26 8m 49s master
master
February 29, 2024 01:26 8m 49s
CN: fix CN-to-Z3 datatype mapping using the topological sort Cerberus #338: Commit 47db877 pushed by cp526
February 28, 2024 21:04 9m 39s master
master
February 28, 2024 21:04 9m 39s
zmap_mapi lemmas formulated. some proven. Cerberus #337: Commit 3158820 pushed by vzaliva
February 28, 2024 19:36 9m 20s master
master
February 28, 2024 19:36 9m 20s
Revert "CN: don't use solver.compact" Cerberus #336: Commit 39abf3c pushed by cp526
February 28, 2024 16:09 8m 46s master
master
February 28, 2024 16:09 8m 46s
CN: strengthen WellTyped's datatype recursion check, which breaks Cerberus #335: Commit ddd2338 pushed by cp526
February 28, 2024 10:48 8m 43s master
master
February 28, 2024 10:48 8m 43s
CN: record datatype order and strongly-connected components in global… Cerberus #334: Commit a980ebb pushed by cp526
February 28, 2024 09:29 8m 31s master
master
February 28, 2024 09:29 8m 31s
wip on revoke_pointers_preserves Cerberus #333: Commit 03a9a7c pushed by vzaliva
February 28, 2024 03:06 8m 59s master
master
February 28, 2024 03:06 8m 59s
(hopefully) fix build error due to SymSet.to_list Cerberus #332: Commit 230de87 pushed by cp526
February 27, 2024 21:34 8m 55s master
master
February 27, 2024 21:34 8m 55s
CN: Z3 does not permit datatype definitions with (mutual) recursion Cerberus #331: Commit 3acea74 pushed by cp526
February 27, 2024 21:05 2m 52s master
master
February 27, 2024 21:05 2m 52s
CN: add a (currently disabled) model sanity-check Cerberus #330: Commit 7b0b45c pushed by talsewell
February 27, 2024 18:17 10m 29s master
master
February 27, 2024 18:17 10m 29s
CN: tweak previous hex-print Cerberus #329: Commit 98c1cba pushed by talsewell
February 27, 2024 15:57 8m 34s master
master
February 27, 2024 15:57 8m 34s
CN: don't use solver.compact Cerberus #328: Commit fe55b52 pushed by cp526
February 27, 2024 13:27 8m 50s master
master
February 27, 2024 13:27 8m 50s
remove uneeded ppx_tools CN dependency Cerberus #327: Commit 7fdf294 pushed by cp526
February 27, 2024 13:19 8m 30s master
master
February 27, 2024 13:19 8m 30s
Update LICENSE with Neel Cerberus #326: Commit ebea592 pushed by cp526
February 26, 2024 20:33 1m 51s master
master
February 26, 2024 20:33 1m 51s
fix for unix and str lib warnings with OCaml 5 Cerberus #325: Commit ced2ef5 pushed by kmemarian
February 24, 2024 12:02 8m 38s master
master
February 24, 2024 12:02 8m 38s
ProTip! You can narrow down the results and go further in time using created:<2024-02-24 or the other filters available.