Skip to content

Actions: ZippeyKeys12/cerberus

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
24 workflow run results
24 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix formatting CI #24: Commit 0cd00b1 pushed by ZippeyKeys12
October 8, 2024 19:47 23m 15s master
master
October 8, 2024 19:47 23m 15s
[CN-Exec] Ensure bool is converted to cn_bool CI #23: Commit 9a9df64 pushed by ZippeyKeys12
October 8, 2024 02:22 23m 33s master
master
October 8, 2024 02:22 23m 33s
[CN-exec] Fixes for INI demo (#609) CI #22: Commit 75c6ec6 pushed by ZippeyKeys12
October 4, 2024 15:53 23m 56s master
master
October 4, 2024 15:53 23m 56s
[CN-Exec] Add free_all for bump allocator (#591) CI #21: Commit 9dc7bc5 pushed by ZippeyKeys12
October 2, 2024 16:57 23m 25s master
master
October 2, 2024 16:57 23m 25s
put VIP typing check under the vip switch CI #20: Commit 5d94a72 pushed by ZippeyKeys12
September 30, 2024 11:35 15m 54s master
master
September 30, 2024 11:35 15m 54s
CN VIP: Constrain global allocations CI #19: Commit 68b0b09 pushed by ZippeyKeys12
September 26, 2024 19:08 16m 14s master
master
September 26, 2024 19:08 16m 14s
CN VIP: Add live and bounds check to copy_alloc_id CI #18: Commit 95575f0 pushed by ZippeyKeys12
September 24, 2024 18:23 16m 37s master
master
September 24, 2024 18:23 16m 37s
CHERI: fixing last Admit with new lemmas from coq-cheri-capabilies … CI #17: Commit a09536a pushed by ZippeyKeys12
September 17, 2024 18:35 14m 47s master
master
September 17, 2024 18:35 14m 47s
new UB: CHERI_UB_ZeroLength. flagged in cheri_bounds_set intrinsic CI #16: Commit 7c826ac pushed by ZippeyKeys12
September 16, 2024 20:08 14m 11s master
master
September 16, 2024 20:08 14m 11s
fix formatting CI #15: Commit cf6d760 pushed by ZippeyKeys12
September 11, 2024 18:26 6m 7s master
master
September 11, 2024 18:26 6m 7s
[CN] Flip WellTyped.use_ity default CI #14: Commit 5151a4f pushed by ZippeyKeys12
September 6, 2024 05:44 18m 23s master
master
September 6, 2024 05:44 18m 23s
[CN-exec] Add instrument subcommand (#552) CI #13: Commit 2c23781 pushed by ZippeyKeys12
September 4, 2024 17:19 19m 13s master
master
September 4, 2024 17:19 19m 13s
[CN] Add LAT.free_vars CI #12: Commit 9dcd80b pushed by ZippeyKeys12
August 29, 2024 05:23 55m 6s master
master
August 29, 2024 05:23 55m 6s
Avoid rebuilding hash table CI #11: Commit 4d52b48 pushed by ZippeyKeys12
August 19, 2024 23:15 17m 3s master
master
August 19, 2024 23:15 17m 3s
Complete some address arithmetic proofs; reorganize sections in Proof… CI #10: Commit c5c1da0 pushed by ZippeyKeys12
August 12, 2024 20:00 53m 33s master
master
August 12, 2024 20:00 53m 33s
Minor tweaks to fix concurent job execution (#434) CI #9: Commit 74f5b37 pushed by ZippeyKeys12
July 26, 2024 01:53 17m 44s master
master
July 26, 2024 01:53 17m 44s
CN: Add support for bitwise complement in spec CI #8: Commit 673ab10 pushed by ZippeyKeys12
July 23, 2024 17:55 20m 40s master
master
July 23, 2024 17:55 20m 40s
[CN-Test-Gen] Add extern "C" to C++ output CI #7: Commit d293033 pushed by ZippeyKeys12
July 23, 2024 07:47 17m 40s master
master
July 23, 2024 07:47 17m 40s
[CN] Make include_subdirs qualified CI #6: Commit 5fed098 pushed by ZippeyKeys12
July 22, 2024 17:03 17m 55s master
master
July 22, 2024 17:03 17m 55s
CN VIP: Rm (now redundant) constraints from test CI #5: Commit 7b785f1 pushed by ZippeyKeys12
July 22, 2024 17:03 1m 13s master
master
July 22, 2024 17:03 1m 13s
CN: Remove bad doc comment and add tests CI #4: Commit 6e1f8c8 pushed by ZippeyKeys12
July 19, 2024 18:15 16m 38s master
master
July 19, 2024 18:15 16m 38s
[CN-Test-Gen] Fix typo in C expression generation CI #3: Commit 773f537 pushed by ZippeyKeys12
July 17, 2024 21:24 17m 5s master
master
July 17, 2024 21:24 17m 5s
[CN-Test-Gen] Fix typo CI #2: Commit 8e08124 pushed by ZippeyKeys12
July 17, 2024 17:26 53m 50s master
master
July 17, 2024 17:26 53m 50s
CN: Add forgotten tests for disj nonnull and free CI #1: Commit 612fbd5 pushed by ZippeyKeys12
July 17, 2024 17:25 1m 27s master
master
July 17, 2024 17:25 1m 27s