Skip to content

Actions: AbsInt/CompCert

Actions

Latest

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
latest.yml
56 workflow runs
56 workflow runs

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
Latest Latest #127: Manually run by xavierleroy
7m 2s rocq-9.2
rocq-9.2
7m 2s
Latest Latest #126: Manually run by xavierleroy
11s rocq-9.2
rocq-9.2
11s
Asm printing: quote command-line arguments when needed (#586) Latest #125: Commit 5d00ef0 pushed by xavierleroy
11m 39s master
master
11m 39s
Merge pull request #585 from AbsInt/no-bitfield-align Latest #124: Commit f53a6b2 pushed by xavierleroy
6m 1s master
master
6m 1s
Update test suite Latest #123: Commit 02fc017 pushed by xavierleroy
10m 29s master
master
10m 29s
Add missing Proof. commands Latest #122: Commit d00a466 pushed by xavierleroy
6m 10s master
master
6m 10s
x86 / Win64 ABI: fix inconsistency on callee-save XMM registers (#584) Latest #121: Commit 38146e3 pushed by xavierleroy
6m 5s master
master
6m 5s
Aarch64: shorten function preludes by using pre-indexed store-pair in… Latest #120: Commit 0ef26da pushed by xavierleroy
5m 54s master
master
5m 54s
Update test suite Latest #119: Commit 812dce2 pushed by xavierleroy
6m 4s master
master
6m 4s
Latest Latest #118: Manually run by xavierleroy
6m 10s align_chunk
align_chunk
6m 10s
Update README Latest #117: Commit 9a508b4 pushed by xavierleroy
6m 10s master
master
6m 10s
ValueDomain: use counted "for" loops instead of recursive Function Latest #116: Commit 618d523 pushed by xavierleroy
6m 12s master
master
6m 12s
Compiler: remove useless clear H Latest #115: Commit 2d1d75f pushed by xavierleroy
5m 50s master
master
5m 50s
Iteration: don't use axioms Latest #114: Commit 41c0065 pushed by xavierleroy
5m 44s master
master
5m 44s
Cshmgen: fixed the formatting of documentation comments Latest #113: Commit 2d626a8 pushed by xavierleroy
5m 57s master
master
5m 57s
Merge pull request #581 from AbsInt/global_alignment Latest #112: Commit 7120520 pushed by xavierleroy
5m 58s master
master
5m 58s
Github actions: update the checkout action Latest #111: Commit 508575c pushed by xavierleroy
5m 50s master
master
5m 50s
AArch64 asm clobbers: recognize more register names (#576) Latest #110: Commit 0493127 pushed by xavierleroy
9m 10s master
master
9m 10s
Basic support for building multiple target architectures in parallel Latest #109: Commit cec2bd8 pushed by xavierleroy
6m 6s master
master
6m 6s
Clean up configure file Latest #108: Commit 90cf0ed pushed by xavierleroy
6m 4s master
master
6m 4s
More prudent handling of static names for string literals (#579) Latest #107: Commit 0737ca9 pushed by xavierleroy
5m 59s master
master
5m 59s
CI golf: rocq-prover:latest is currently unstable, use :9.1.1 instead Latest #106: Commit d9377f6 pushed by xavierleroy
6m 6s master
master
6m 6s
Update to Flocq 4.2.2 Latest #105: Commit 43320aa pushed by xavierleroy
9m 1s master
master
9m 1s
Branch relaxation: fix offset computation Latest #104: Commit e119538 pushed by xavierleroy
6m 3s master
master
6m 3s
Rocq 9.1.1 is supported Latest #103: Commit 1b71fec pushed by xavierleroy
6m 4s master
master
6m 4s