Skip to content

Actions: ZippeyKeys12/cerberus

Actions

CHERI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-cheri.yml
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[CN-Exec] Add UBSan (w/o alignment) to CI (#825) CHERI #25: Commit 8b22b2b pushed by ZippeyKeys12
January 9, 2025 18:26 2m 41s master
master
January 9, 2025 18:26 2m 41s
[CN-Test-Gen] CLI args for using sanitizers (#822) CHERI #24: Commit 6c3ad3f pushed by ZippeyKeys12
January 8, 2025 20:09 3m 12s master
master
January 8, 2025 20:09 3m 12s
Predicate and function order (#819) CHERI #23: Commit a356435 pushed by ZippeyKeys12
January 8, 2025 19:17 2m 53s master
master
January 8, 2025 19:17 2m 53s
[CN-Test-Gen] Enum hints for --with-static-hack (#812) CHERI #22: Commit 6316f8f pushed by ZippeyKeys12
January 3, 2025 06:56 3m 23s master
master
January 3, 2025 06:56 3m 23s
[CN-Test-Gen] Expose static hack via CLI flag (#808) CHERI #21: Commit 6d4b486 pushed by ZippeyKeys12
January 3, 2025 00:39 3m 31s master
master
January 3, 2025 00:39 3m 31s
[CN-Test-Gen] Organize top-level test generation (#806) CHERI #20: Commit 6fc4ec4 pushed by ZippeyKeys12
January 2, 2025 20:59 2m 48s master
master
January 2, 2025 20:59 2m 48s
[CN-Test-Gen] Fix #802 CHERI #19: Commit c601ccf pushed by ZippeyKeys12
December 30, 2024 21:58 2m 38s master
master
December 30, 2024 21:58 2m 38s
CN: Separate well-typed and consistency checks CHERI #18: Commit 2ac0695 pushed by ZippeyKeys12
December 28, 2024 08:29 2m 39s master
master
December 28, 2024 08:29 2m 39s
increase maximum CN tuple arity, as needed by pgtable (#782) CHERI #17: Commit 695380a pushed by ZippeyKeys12
December 23, 2024 04:42 2m 58s master
master
December 23, 2024 04:42 2m 58s
[CN-Exec] Give more info for Predicate not found (#775) CHERI #16: Commit 6791a6c pushed by ZippeyKeys12
December 19, 2024 23:32 2m 43s master
master
December 19, 2024 23:32 2m 43s
[CN-Exec] Error names which function is uninterpreted (#772) CHERI #15: Commit cc888bf pushed by ZippeyKeys12
December 19, 2024 21:50 3m 1s master
master
December 19, 2024 21:50 3m 1s
Rename diff-prog args to opts CHERI #14: Commit 2ee75d6 pushed by ZippeyKeys12
December 19, 2024 18:18 32s master
master
December 19, 2024 18:18 32s
CN VIP: Clarify pointer equality tests CHERI #13: Commit a429a40 pushed by ZippeyKeys12
December 11, 2024 19:00 2m 54s master
master
December 11, 2024 19:00 2m 54s
[CN-Test-Gen] Allow controlling progress output (#751) CHERI #12: Commit cc1bd05 pushed by ZippeyKeys12
December 10, 2024 17:55 2m 55s master
master
December 10, 2024 17:55 2m 55s
[CN-Test-Gen] Add input discard timeout (#747) CHERI #11: Commit d5c47f3 pushed by ZippeyKeys12
December 10, 2024 15:11 2m 55s master
master
December 10, 2024 15:11 2m 55s
[CN-Test-Gen] Note if error comes from cn-exec (#734) CHERI #10: Commit 3618709 pushed by ZippeyKeys12
December 10, 2024 15:11 41s master
master
December 10, 2024 15:11 41s
tentatively tweak z3 solver parameter, as suggested by Can C (#744) CHERI #9: Commit fe99f7d pushed by ZippeyKeys12
December 9, 2024 20:33 3m 15s master
master
December 9, 2024 20:33 3m 15s
fixed Coq version (it does not compile with 8.19) CHERI #8: Commit 9805673 pushed by ZippeyKeys12
December 9, 2024 20:31 1m 50s master
master
December 9, 2024 20:31 1m 50s
CHERI CI dependency fix (#737) CHERI #7: Commit 6059ddd pushed by ZippeyKeys12
December 4, 2024 20:08 32s master
master
December 4, 2024 20:08 32s
Fix run-cn.sh (#726) CHERI #6: Commit ede24dc pushed by ZippeyKeys12
November 25, 2024 19:39 25s master
master
November 25, 2024 19:39 25s
[CN-Test-Gen] More pointer specialization CHERI #5: Commit 2ea7a65 pushed by ZippeyKeys12
November 19, 2024 08:50 27s master
master
November 19, 2024 08:50 27s
check in mergesort_alt, on the way to a more C-like version CHERI #4: Commit baa187f pushed by ZippeyKeys12
November 12, 2024 05:44 1m 57s master
master
November 12, 2024 05:44 1m 57s
[CN-Test-Gen] Add more failing CI tests CHERI #3: Commit cee11e0 pushed by ZippeyKeys12
November 12, 2024 05:44 22s master
master
November 12, 2024 05:44 22s
[CN-exec] Add a readme for Fulminate (#693) CHERI #2: Commit 326dd98 pushed by ZippeyKeys12
November 11, 2024 02:37 2m 7s master
master
November 11, 2024 02:37 2m 7s
CN VIP: Add support for memcpy & proxy CHERI #1: Commit bddba22 pushed by ZippeyKeys12
November 7, 2024 07:09 2m 9s master
master
November 7, 2024 07:09 2m 9s