Skip to content

Actions: AbsInt/CompCert

Actions

Oldest

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
oldest.yml
67 workflow runs
67 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
x86-64 Pjmptbl: normalize the argument before indexing into the jump table Oldest #139: Pull request #595 synchronize by xavierleroy
8m 2s x86_64-jmptbl
x86_64-jmptbl
8m 2s
x86-64 Pjmptbl: normalize the argument before indexing into the jump table Oldest #138: Pull request #595 opened by xavierleroy
6m 49s x86_64-jmptbl
x86_64-jmptbl
6m 49s
Register allocation: try aggressive coalescing first Oldest #137: Pull request #594 opened by xavierleroy
8m 17s coalescing
coalescing
8m 17s
configure: add "rocq" synonyms for "coq" options Oldest #136: Commit 5032fe8 pushed by xavierleroy
6m 51s master
master
6m 51s
CI golf: run latest and oldest on PRs; use latest Docker image … Oldest #135: Commit e9cbaf6 pushed by xavierleroy
7m 7s master
master
7m 7s
Oldest Oldest #134: Manually run by xavierleroy
6m 47s globalenvs_inject
globalenvs_inject
6m 47s
Asmgenproof for PowerPC: ensure compatibility with old Coq versions Oldest #133: Commit 1aa352b pushed by xavierleroy
8m 17s master
master
8m 17s
Asmgenproof for PowerPC: remove important_preg Oldest #132: Commit af92568 pushed by xavierleroy
4m 6s master
master
4m 6s
Update the test suite (again) Oldest #131: Commit 8bb14cb pushed by xavierleroy
6m 20s master
master
6m 20s
Update the test suite Oldest #130: Commit 96e66b8 pushed by xavierleroy
7m 2s master
master
7m 2s
Update documentation on warnings Oldest #129: Commit d1321b5 pushed by xavierleroy
6m 48s master
master
6m 48s
extraction: use Set Extraction Prefix for compatibility with Rocq 9.4… Oldest #128: Commit 44026b3 pushed by xavierleroy
6m 24s master
master
6m 24s
Menhirlib: fix misplaced Proof commands Oldest #127: Commit b7b05fc pushed by xavierleroy
6m 19s master
master
6m 19s
Makefile: use an explicit path for extraction/extraction.v (#591) Oldest #126: Commit 0835de1 pushed by xavierleroy
6m 44s master
master
6m 44s
Merge pull request #587 from AbsInt/rocq-9.2 Oldest #125: Commit a354849 pushed by xavierleroy
8m 38s master
master
8m 38s
String literals in asm files: use asm escapes, not OCaml escapes (#588) Oldest #124: Commit eeeb0aa pushed by xavierleroy
4m 59s master
master
4m 59s
Asm printing: quote command-line arguments when needed, continued Oldest #123: Commit 55c6e6d pushed by xavierleroy
5m 0s master
master
5m 0s
Oldest Oldest #122: Manually run by xavierleroy
6m 58s rocq-9.2
rocq-9.2
6m 58s
Asm printing: quote command-line arguments when needed (#586) Oldest #121: Commit 5d00ef0 pushed by xavierleroy
10m 58s master
master
10m 58s
Merge pull request #585 from AbsInt/no-bitfield-align Oldest #120: Commit f53a6b2 pushed by xavierleroy
4m 56s master
master
4m 56s
Update test suite Oldest #119: Commit 02fc017 pushed by xavierleroy
9m 20s master
master
9m 20s
Add missing Proof. commands Oldest #118: Commit d00a466 pushed by xavierleroy
5m 35s master
master
5m 35s
x86 / Win64 ABI: fix inconsistency on callee-save XMM registers (#584) Oldest #117: Commit 38146e3 pushed by xavierleroy
5m 29s master
master
5m 29s
Aarch64: shorten function preludes by using pre-indexed store-pair in… Oldest #116: Commit 0ef26da pushed by xavierleroy
4m 50s master
master
4m 50s
Update test suite Oldest #115: Commit 812dce2 pushed by xavierleroy
5m 3s master
master
5m 3s