Skip to content

Actions: AbsInt/CompCert

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
304 workflow runs
304 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Recognize dense switch statements involving negative and positive cases. Build #274: Pull request #598 opened by xavierleroy
11m 16s signed-switch
signed-switch
11m 16s
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
Ignore unknown pragmas during lexing Oldest #154: Pull request #597 opened by xavierleroy
7m 20s remove-pragmas-early
remove-pragmas-early
7m 20s
Ignore unknown pragmas during lexing Build #273: Pull request #597 opened by xavierleroy
10m 21s remove-pragmas-early
remove-pragmas-early
10m 21s
Merge pull request #596 from AbsInt/big-memcpy-fixes Latest #158: Commit bd2b382 pushed by xavierleroy
9m 12s master
master
9m 12s
Merge pull request #596 from AbsInt/big-memcpy-fixes Oldest #153: Commit bd2b382 pushed by xavierleroy
6m 50s master
master
6m 50s
Merge pull request #596 from AbsInt/big-memcpy-fixes Build #272: Commit bd2b382 pushed by xavierleroy
10m 37s master
master
10m 37s
__builtin_memcpy_aligned for large blocks Oldest #152: Pull request #596 opened by xavierleroy
6m 46s big-memcpy-fixes
big-memcpy-fixes
6m 46s
__builtin_memcpy_aligned for large blocks Latest #157: Pull request #596 opened by xavierleroy
7m 40s big-memcpy-fixes
big-memcpy-fixes
7m 40s
__builtin_memcpy_aligned for large blocks Build #271: Pull request #596 opened by xavierleroy
10m 20s big-memcpy-fixes
big-memcpy-fixes
10m 20s
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
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
Introduce and use Senv.inject, Genv.inject, Val.inject_ptr_flat (#593) Build #270: Commit 59b4733 pushed by xavierleroy
10m 8s master
master
10m 8s
Updates for release 3.18 Latest #155: Commit 1154e1f pushed by xavierleroy
6m 57s master
master
6m 57s
Updates for release 3.18 Oldest #150: Commit 1154e1f pushed by xavierleroy
6m 57s master
master
6m 57s
Updates for release 3.18 Build #269: Commit 1154e1f pushed by xavierleroy
10m 39s master
master
10m 39s
Update CompCert version to match latest release Build #268: Commit 8135de0 pushed by m-schmidt
10m 18s master
master
10m 18s
Update CompCert version to match latest release Latest #154: Commit 8135de0 pushed by m-schmidt
6m 31s master
master
6m 31s
Update CompCert version to match latest release Oldest #149: Commit 8135de0 pushed by m-schmidt
6m 39s master
master
6m 39s
Changelog rewording Build #267: Commit 14d6160 pushed by xavierleroy
9m 58s master
master
9m 58s
Changelog rewording Latest #153: Commit 14d6160 pushed by xavierleroy
6m 57s master
master
6m 57s
Changelog rewording Oldest #148: Commit 14d6160 pushed by xavierleroy
6m 36s master
master
6m 36s
RISC-V Pbtbl pseudoinstruction: use x6 as temporary Latest #152: Commit c373ea1 pushed by xavierleroy
7m 8s master
master
7m 8s