Skip to content

Actions: AbsInt/CompCert

Actions

Oldest

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
oldest.yml
47 workflow runs
47 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
AArch64 asm clobbers: recognize more register names (#576) Oldest #106: Commit 0493127 pushed by xavierleroy
10m 36s master
master
10m 36s
Basic support for building multiple target architectures in parallel Oldest #105: Commit cec2bd8 pushed by xavierleroy
4m 49s master
master
4m 49s
Clean up configure file Oldest #104: Commit 90cf0ed pushed by xavierleroy
4m 47s master
master
4m 47s
More prudent handling of static names for string literals (#579) Oldest #103: Commit 0737ca9 pushed by xavierleroy
5m 32s master
master
5m 32s
CI golf: rocq-prover:latest is currently unstable, use :9.1.1 instead Oldest #102: Commit d9377f6 pushed by xavierleroy
5m 0s master
master
5m 0s
Update to Flocq 4.2.2 Oldest #101: Commit 43320aa pushed by xavierleroy
4m 51s master
master
4m 51s
Branch relaxation: fix offset computation Oldest #100: Commit e119538 pushed by xavierleroy
4m 51s master
master
4m 51s
Rocq 9.1.1 is supported Oldest #99: Commit 1b71fec pushed by xavierleroy
4m 58s master
master
4m 58s
Compatibility with old OCaml versions Oldest #98: Commit ebe31b0 pushed by xavierleroy
4m 57s master
master
4m 57s
Merge pull request #575 from AbsInt/relaxation Oldest #97: Commit 14c0b59 pushed by xavierleroy
4m 15s master
master
4m 15s
Updates for release 3.17 Oldest #96: Commit 7b1f02b pushed by xavierleroy
4m 17s master
master
4m 17s
Rocq/Coq 9.1.0 is supported Oldest #95: Commit cb76888 pushed by xavierleroy
7m 59s master
master
7m 59s
Merge pull request #571 from AbsInt/extract-strings Oldest #94: Commit 859d59b pushed by xavierleroy
9m 15s master
master
9m 15s
Oldest Oldest #93: Manually run by xavierleroy
4m 54s extract-strings
extract-strings
4m 54s
Avoid using is as a variable name Oldest #92: Commit 4f8f2b1 pushed by xavierleroy
4m 55s master
master
4m 55s
AArch64 Asmexpand: use Asmgen.offset_representable in the expansion o… Oldest #91: Commit 821abd5 pushed by xavierleroy
4m 47s master
master
4m 47s
Ceval.binop: take bit width of integer type into account for shifts Oldest #90: Commit bf062de pushed by xavierleroy
11m 51s master
master
11m 51s
Ceval.binop: take bit width of integer type into account for shifts Oldest #89: Commit ea88f42 pushed by xavierleroy
4m 55s master
master
4m 55s
Pass type of controlling switch expression into ctx. Oldest #88: Commit f6a5780 pushed by xavierleroy
4m 51s master
master
4m 51s
cparser/ErrorReports.ml: remove the use of the deprecated library [Me… Oldest #87: Commit af865ad pushed by xavierleroy
5m 40s master
master
5m 40s
macOS ARM: silence the 'redefining builtin macro' preprocessor warning Oldest #86: Commit 2e1480a pushed by xavierleroy
4m 58s master
master
4m 58s
RISC-V: Favor the use of integer registers x10 to x15 Oldest #85: Commit 51a8450 pushed by xavierleroy
5m 56s master
master
5m 56s
RISC-V: add missing Osel case for PrintOp Oldest #84: Commit e671e45 pushed by xavierleroy
5m 2s master
master
5m 2s
Small fixes for unknown-warning-option. Oldest #83: Commit a771939 pushed by xavierleroy
5m 44s master
master
5m 44s
Updates for release 3.16 Oldest #82: Commit a4ad87b pushed by xavierleroy
4m 52s master
master
4m 52s