Skip to content

Actions: Fikoko/Canon-C

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
795 workflow runs
795 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Clarify comments on WP prover behavior and expectations Canon-C CI #795: Commit debb202 pushed by Fikoko
26m 49s master
master
26m 49s
Canon-C CI Canon-C CI #794: by Fikoko
50m 16s master
master
50m 16s
Improve cvc5 registration error handling Canon-C CI #793: Commit 82bcf6c pushed by Fikoko
3m 55s master
master
3m 55s
Improve comments and update CVC5 baseline counts Canon-C CI #792: Commit d0ba265 pushed by Fikoko
8m 15s master
master
8m 15s
Update system dependencies in CMake workflow Canon-C CI #791: Commit 524c5e2 pushed by Fikoko
1h 10m 52s master
master
1h 10m 52s
Integrate CVC5 prover into CI workflow Canon-C CI #790: Commit 21a0724 pushed by Fikoko
20m 45s master
master
20m 45s
Refactor contract_default_handler for clarity Canon-C CI #789: Commit 8e71178 pushed by Fikoko
1m 2s master
master
1m 2s
Add test for pointers before region start Canon-C CI #788: Commit f6226eb pushed by Fikoko
23m 22s master
master
23m 22s
Clarify stdio handling and verification in Frama-C Canon-C CI #787: Commit c2afe78 pushed by Fikoko
41s master
master
41s
Fix formatting and comments in ptr.h Canon-C CI #786: Commit 1b8d9b0 pushed by Fikoko
22m 12s master
master
22m 12s
Refactor ensures clauses and update documentation Canon-C CI #785: Commit fb295a3 pushed by Fikoko
1m 37s master
master
1m 37s
Enhance contract_default_handler documentation Canon-C CI #784: Commit 8fcb380 pushed by Fikoko
8m 44s master
master
8m 44s
Revise ptr.h documentation in CI workflow Canon-C CI #783: Commit c4de123 pushed by Fikoko
44m 11s master
master
44m 11s
Fix formatting and alignment in ptr.h documentation Canon-C CI #782: Commit 33ffba6 pushed by Fikoko
3m 32s master
master
3m 32s
Update ptr.h with ACSL contracts and matching Doxygen documentation Canon-C CI #781: Commit 9bae0bd pushed by Fikoko
2m 7s master
master
2m 7s
Initialize buffers in pointer tests to prevent warnings Canon-C CI #780: Commit 4d86754 pushed by Fikoko
4m 43s master
master
4m 43s
Refactor pointer tests for readability and consistency Canon-C CI #779: Commit a24b0f4 pushed by Fikoko
1m 42s master
master
1m 42s
Clarify NULL handling in ptr.h documentation Canon-C CI #778: Commit 3d78247 pushed by Fikoko
27s master
master
27s
Fix formatting and wording in README rules section Canon-C CI #777: Commit 691cab0 pushed by Fikoko
5m 7s master
master
5m 7s
Add tests for try_push and push_unchecked functions Canon-C CI #776: Commit ef07475 pushed by Fikoko
19m 40s master
master
19m 40s
Enhance documentation for stack push API Canon-C CI #775: Commit 1a7795f pushed by Fikoko
2m 16s master
master
2m 16s
Enhance queue tests for try_enqueue and enqueue_unchecked Canon-C CI #774: Commit ff069f2 pushed by Fikoko
19m 40s master
master
19m 40s
Enhance queue.h documentation for enqueue API Canon-C CI #773: Commit 71568ec pushed by Fikoko
19s master
master
19s
Clean up comments in queue_test.c Canon-C CI #772: Commit 933771c pushed by Fikoko
19m 7s master
master
19m 7s
Implement tests for try_push and push_unchecked Canon-C CI #771: Commit f83e1b5 pushed by Fikoko
59s master
master
59s