Skip to content

Actions: AbsInt/CompCert

Actions

Latest

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
latest.yml
88 workflow runs
88 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
Makefile: improve setup-build action Latest #172: Commit e276a3f pushed by xavierleroy
6m 40s master
master
6m 40s
Update test/ submodule Latest #171: Commit 2bd5135 pushed by xavierleroy
6m 39s master
master
6m 39s
AArch64: wrong size estimate for Ploadsymbol Latest #170: Commit 997d17b pushed by xavierleroy
6m 50s master
master
6m 50s
configure: bump minimal OCaml version to 4.07 Latest #169: Commit 4245db1 pushed by xavierleroy
6m 49s master
master
6m 49s
Delete test file Latest #168: Commit 7e98079 pushed by m-schmidt
13m 7s master
master
13m 7s
Fixes Issue #606 Latest #167: Commit 864bfc1 pushed by m-schmidt
6m 22s master
master
6m 22s
Avoid linear AST expansion for local array initializers Latest #166: Pull request #603 opened by admkopec
-1s admkopec:fix/local-array-initializer-expansion
admkopec:fix/local-array-initializer-expansion
-1s
cparser/Env: testing whether two Env.t define the same types Latest #165: Commit 6721d7e pushed by xavierleroy
6m 21s master
master
6m 21s
Merge pull request #598 from AbsInt/signed-switch Latest #164: Commit 66a9fd0 pushed by xavierleroy
10m 31s master
master
10m 31s
Ignore unknown pragmas during lexing (#597) Latest #163: Commit 1eac8e8 pushed by xavierleroy
6m 51s master
master
6m 51s
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