Skip to content

Actions: AbsInt/CompCert

Actions

Oldest

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
oldest.yml
83 workflow runs
83 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
Recognize dense switch statements involving negative and positive cases. Oldest #155: Pull request #598 opened by xavierleroy
9m 14s signed-switch
signed-switch
9m 14s
Ignore unknown pragmas during lexing Oldest #154: Pull request #597 opened by xavierleroy
7m 20s remove-pragmas-early
remove-pragmas-early
7m 20s
Merge pull request #596 from AbsInt/big-memcpy-fixes Oldest #153: Commit bd2b382 pushed by xavierleroy
6m 50s master
master
6m 50s
__builtin_memcpy_aligned for large blocks Oldest #152: Pull request #596 opened by xavierleroy
6m 46s big-memcpy-fixes
big-memcpy-fixes
6m 46s
Introduce and use Senv.inject, Genv.inject, Val.inject_ptr_flat (#593) Oldest #151: Commit 59b4733 pushed by xavierleroy
6m 40s master
master
6m 40s
Updates for release 3.18 Oldest #150: Commit 1154e1f pushed by xavierleroy
6m 57s master
master
6m 57s
Update CompCert version to match latest release Oldest #149: Commit 8135de0 pushed by m-schmidt
6m 39s master
master
6m 39s
Changelog rewording Oldest #148: Commit 14d6160 pushed by xavierleroy
6m 36s master
master
6m 36s
RISC-V Pbtbl pseudoinstruction: use x6 as temporary Oldest #147: Commit c373ea1 pushed by xavierleroy
9m 3s master
master
9m 3s
Rocq warnings: address the new warning names introduced by Rocq Stdli… Oldest #146: Commit 77ef757 pushed by xavierleroy
12m 9s master
master
12m 9s
Merge pull request #592 from AbsInt/free-inject Oldest #145: Commit 5074ecc pushed by xavierleroy
8m 11s master
master
8m 11s
Stricter formal semantics for free Oldest #144: Pull request #592 synchronize by xavierleroy
6m 45s free-inject
free-inject
6m 45s
Merge pull request #595 from AbsInt/x86_64-jmptbl Oldest #143: Commit ad4934a pushed by xavierleroy
5m 57s master
master
5m 57s
x86-64 Pjmptbl: normalize the argument before indexing into the jump table Oldest #142: Pull request #595 synchronize by xavierleroy
6m 32s x86_64-jmptbl
x86_64-jmptbl
6m 32s
Changes updates for 3.18 Oldest #141: Commit 11aa59a pushed by xavierleroy
7m 21s master
master
7m 21s
x86-64 Pjmptbl: normalize the argument before indexing into the jump table Oldest #140: Pull request #595 synchronize by xavierleroy
6m 58s x86_64-jmptbl
x86_64-jmptbl
6m 58s
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