Skip to content

Actions: AbsInt/CompCert

Actions

Oldest

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
oldest.yml
87 workflow runs
87 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 Oldest #167: Commit e276a3f pushed by xavierleroy
5m 13s master
master
5m 13s
Update test/ submodule Oldest #166: Commit 2bd5135 pushed by xavierleroy
4m 2s master
master
4m 2s
AArch64: wrong size estimate for Ploadsymbol Oldest #165: Commit 997d17b pushed by xavierleroy
7m 0s master
master
7m 0s
configure: bump minimal OCaml version to 4.07 Oldest #164: Commit 4245db1 pushed by xavierleroy
5m 57s master
master
5m 57s
Delete test file Oldest #163: Commit 7e98079 pushed by m-schmidt
12m 45s master
master
12m 45s
Fixes Issue #606 Oldest #162: Commit 864bfc1 pushed by m-schmidt
8m 7s master
master
8m 7s
Avoid linear AST expansion for local array initializers Oldest #161: Pull request #603 opened by admkopec
Action required admkopec:fix/local-array-initializer-expansion
admkopec:fix/local-array-initializer-expansion
Action required
cparser/Env: testing whether two Env.t define the same types Oldest #160: Commit 6721d7e pushed by xavierleroy
8m 2s master
master
8m 2s
Merge pull request #598 from AbsInt/signed-switch Oldest #159: Commit 66a9fd0 pushed by xavierleroy
7m 44s master
master
7m 44s
Ignore unknown pragmas during lexing (#597) Oldest #158: Commit 1eac8e8 pushed by xavierleroy
6m 51s master
master
6m 51s
Keep Events.meminj_preserve_globals for backward compatibility Oldest #157: Commit 74cbdbf pushed by xavierleroy
6m 47s master
master
6m 47s
Oldest Oldest #156: Manually run by xavierleroy
6m 37s meminj_preserves_globals
meminj_preserves_globals
6m 37s
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