Skip to content

Actions: rems-project/cerberus

Actions

CN Proof

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-cn.yml
247 workflow runs
247 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check countermodels CN Proof #247: Pull request #829 synchronize by cassiatorczon
January 14, 2025 18:15 14m 7s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
January 14, 2025 18:15 14m 7s
Check countermodels CN Proof #246: Pull request #829 synchronize by cassiatorczon
January 14, 2025 17:55 3m 15s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
January 14, 2025 17:55 3m 15s
Check countermodels CN Proof #245: Pull request #829 synchronize by cassiatorczon
January 14, 2025 17:40 3m 33s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
January 14, 2025 17:40 3m 33s
Check countermodels CN Proof #244: Pull request #829 synchronize by cassiatorczon
January 14, 2025 17:22 3m 16s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
January 14, 2025 17:22 3m 16s
Check countermodels CN Proof #243: Pull request #829 synchronize by cassiatorczon
January 14, 2025 17:07 3m 7s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
January 14, 2025 17:07 3m 7s
add opam version (#817) CN Proof #242: Commit 3567800 pushed by cp526
January 14, 2025 14:26 13m 29s master
master
January 14, 2025 14:26 13m 29s
Add opam-versions because dune developer preview needs it CN Proof #241: Pull request #817 synchronize by cp526
January 14, 2025 14:07 12m 55s giltho:master
giltho:master
January 14, 2025 14:07 12m 55s
Change translation to work around CVC5 limitation. (#826) CN Proof #240: Commit f1782db pushed by cp526
January 14, 2025 12:09 12m 52s master
master
January 14, 2025 12:09 12m 52s
Check countermodels CN Proof #239: Pull request #829 synchronize by cassiatorczon
January 14, 2025 08:00 3m 19s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
January 14, 2025 08:00 3m 19s
Check countermodels CN Proof #238: Pull request #829 opened by cassiatorczon
January 14, 2025 07:47 3m 21s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
January 14, 2025 07:47 3m 21s
Change translation to work around CVC5 limitation. CN Proof #237: Pull request #826 synchronize by yav
January 10, 2025 22:50 13m 2s issue#795-const-map-default-as-default
issue#795-const-map-default-as-default
January 10, 2025 22:50 13m 2s
Change translation to work around CVC5 limitation. CN Proof #236: Pull request #826 opened by yav
January 10, 2025 22:50 57s issue#795-const-map-default-as-default
issue#795-const-map-default-as-default
January 10, 2025 22:50 57s
Add missing bits for supporting default in executable specs. (#814) CN Proof #235: Commit f662db6 pushed by yav
January 10, 2025 22:42 12m 47s master
master
January 10, 2025 22:42 12m 47s
Add missing bits for supporting default in executable specs. CN Proof #234: Pull request #814 synchronize by yav
January 10, 2025 22:02 12m 47s issue#813-support-default-in-executable-specs
issue#813-support-default-in-executable-specs
January 10, 2025 22:02 12m 47s
[CN-Exec] Add UBSan (w/o alignment) to CI (#825) CN Proof #233: Commit 8b22b2b pushed by ZippeyKeys12
January 9, 2025 17:41 13m 13s master
master
January 9, 2025 17:41 13m 13s
[CN-Exec] Add UBSan (w/o alignment) to CI CN Proof #232: Pull request #825 opened by ZippeyKeys12
January 9, 2025 11:17 13m 3s ZippeyKeys12:cn-test-gen-sanitize-ci
ZippeyKeys12:cn-test-gen-sanitize-ci
January 9, 2025 11:17 13m 3s
[CN-Test-Gen] Add sanitize-trap CN Proof #231: Pull request #824 synchronize by ZippeyKeys12
January 9, 2025 08:43 13m 5s ZippeyKeys12:cn-test-gen-sanitize-trap
ZippeyKeys12:cn-test-gen-sanitize-trap
January 9, 2025 08:43 13m 5s
[CN-Test-Gen] Add sanitize-trap CN Proof #230: Pull request #824 opened by ZippeyKeys12
January 9, 2025 08:18 13m 24s ZippeyKeys12:cn-test-gen-sanitize-trap
ZippeyKeys12:cn-test-gen-sanitize-trap
January 9, 2025 08:18 13m 24s
[CN-Test-Gen] CLI args for using sanitizers (#822) CN Proof #229: Commit 6c3ad3f pushed by ZippeyKeys12
January 8, 2025 20:05 13m 37s master
master
January 8, 2025 20:05 13m 37s
[CN-Test-Gen] Allow passing sanitizers CN Proof #228: Pull request #822 synchronize by ZippeyKeys12
January 8, 2025 19:50 13m 30s ZippeyKeys12:cn-test-gen-sanitizers
ZippeyKeys12:cn-test-gen-sanitizers
January 8, 2025 19:50 13m 30s
[CN-Test-Gen] Allow passing sanitizers CN Proof #227: Pull request #822 synchronize by ZippeyKeys12
January 8, 2025 19:00 13m 26s ZippeyKeys12:cn-test-gen-sanitizers
ZippeyKeys12:cn-test-gen-sanitizers
January 8, 2025 19:00 13m 26s
[CN-Test-Gen] Allow passing sanitizers CN Proof #226: Pull request #822 opened by ZippeyKeys12
January 8, 2025 18:48 12m 38s ZippeyKeys12:cn-test-gen-sanitizers
ZippeyKeys12:cn-test-gen-sanitizers
January 8, 2025 18:48 12m 38s
Predicate and function order (#819) CN Proof #225: Commit a356435 pushed by cp526
January 8, 2025 18:45 13m 6s master
master
January 8, 2025 18:45 13m 6s
[CN-Exec] Add UBSan to CN-Exec CI CN Proof #224: Pull request #820 opened by ZippeyKeys12
January 8, 2025 18:35 13m 11s ZippeyKeys12:cn-exec-ubsan
ZippeyKeys12:cn-exec-ubsan
January 8, 2025 18:35 13m 11s
Predicate and function order CN Proof #223: Pull request #819 opened by cp526
January 8, 2025 18:32 13m 11s cp526:predicate-and-function-order
cp526:predicate-and-function-order
January 8, 2025 18:32 13m 11s