Skip to content

Actions: AbsInt/CompCert

Actions

Latest

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
latest.yml
86 workflow runs
86 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
Keep Events.meminj_preserve_globals for backward compatibility Latest #162: Commit 74cbdbf pushed by xavierleroy
6m 46s master
master
6m 46s
Latest Latest #161: Manually run by xavierleroy
7m 3s meminj_preserves_globals
meminj_preserves_globals
7m 3s
Recognize dense switch statements involving negative and positive cases. Latest #160: Pull request #598 opened by xavierleroy
6m 57s signed-switch
signed-switch
6m 57s
Ignore unknown pragmas during lexing Latest #159: Pull request #597 opened by xavierleroy
6m 47s remove-pragmas-early
remove-pragmas-early
6m 47s
Merge pull request #596 from AbsInt/big-memcpy-fixes Latest #158: Commit bd2b382 pushed by xavierleroy
9m 12s master
master
9m 12s
__builtin_memcpy_aligned for large blocks Latest #157: Pull request #596 opened by xavierleroy
7m 40s big-memcpy-fixes
big-memcpy-fixes
7m 40s
Introduce and use Senv.inject, Genv.inject, Val.inject_ptr_flat (#593) Latest #156: Commit 59b4733 pushed by xavierleroy
6m 52s master
master
6m 52s
Updates for release 3.18 Latest #155: Commit 1154e1f pushed by xavierleroy
6m 57s master
master
6m 57s
Update CompCert version to match latest release Latest #154: Commit 8135de0 pushed by m-schmidt
6m 31s master
master
6m 31s
Changelog rewording Latest #153: Commit 14d6160 pushed by xavierleroy
6m 57s master
master
6m 57s
RISC-V Pbtbl pseudoinstruction: use x6 as temporary Latest #152: Commit c373ea1 pushed by xavierleroy
7m 8s master
master
7m 8s
Rocq warnings: address the new warning names introduced by Rocq Stdli… Latest #151: Commit 77ef757 pushed by xavierleroy
11m 11s master
master
11m 11s
Merge pull request #592 from AbsInt/free-inject Latest #150: Commit 5074ecc pushed by xavierleroy
6m 51s master
master
6m 51s
Stricter formal semantics for free Latest #149: Pull request #592 synchronize by xavierleroy
7m 15s free-inject
free-inject
7m 15s
Merge pull request #595 from AbsInt/x86_64-jmptbl Latest #148: Commit ad4934a pushed by xavierleroy
7m 9s master
master
7m 9s
x86-64 Pjmptbl: normalize the argument before indexing into the jump table Latest #147: Pull request #595 synchronize by xavierleroy
8m 22s x86_64-jmptbl
x86_64-jmptbl
8m 22s
Changes updates for 3.18 Latest #146: Commit 11aa59a pushed by xavierleroy
7m 3s master
master
7m 3s
x86-64 Pjmptbl: normalize the argument before indexing into the jump table Latest #145: Pull request #595 synchronize by xavierleroy
6m 50s x86_64-jmptbl
x86_64-jmptbl
6m 50s
x86-64 Pjmptbl: normalize the argument before indexing into the jump table Latest #144: Pull request #595 synchronize by xavierleroy
7m 53s x86_64-jmptbl
x86_64-jmptbl
7m 53s
x86-64 Pjmptbl: normalize the argument before indexing into the jump table Latest #143: Pull request #595 opened by xavierleroy
6m 55s x86_64-jmptbl
x86_64-jmptbl
6m 55s
Register allocation: try aggressive coalescing first Latest #142: Pull request #594 opened by xavierleroy
8m 11s coalescing
coalescing
8m 11s
configure: add "rocq" synonyms for "coq" options Latest #141: Commit 5032fe8 pushed by xavierleroy
7m 9s master
master
7m 9s
CI golf: run latest and oldest on PRs; use latest Docker image … Latest #140: Commit e9cbaf6 pushed by xavierleroy
6m 43s master
master
6m 43s
Latest Latest #139: Manually run by xavierleroy
6m 47s globalenvs_inject
globalenvs_inject
6m 47s
Asmgenproof for PowerPC: ensure compatibility with old Coq versions Latest #138: Commit 1aa352b pushed by xavierleroy
6m 32s master
master
6m 32s