Skip to content

Actions: AbsInt/CompCert

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
109 workflow runs
109 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check that preprocessed source do not contain backslash-newline Build #59: Commit 96e86f2 pushed by xavierleroy
October 7, 2024 09:33 10m 12s master
master
October 7, 2024 09:33 10m 12s
Add minimal syntactic support for type _Float16 Build #58: Pull request #525 synchronize by xavierleroy
October 4, 2024 13:54 10m 10s FloatN
FloatN
October 4, 2024 13:54 10m 10s
Add minimal syntactic support for type _Float16 Build #57: Pull request #525 opened by xavierleroy
October 4, 2024 13:37 6m 58s FloatN
FloatN
October 4, 2024 13:37 6m 58s
Adapt to https://github.com/coq/coq/pull/19530 (#524) Build #56: Commit 5f90f91 pushed by xavierleroy
October 3, 2024 16:58 10m 45s master
master
October 3, 2024 16:58 10m 45s
Enable testing Thumb-2 mode on ARMv7 Build #55: Commit 1eb3496 pushed by xavierleroy
October 1, 2024 13:11 10m 12s master
master
October 1, 2024 13:11 10m 12s
Adapt to https://github.com/coq/coq/pull/19530 Build #54: Pull request #524 opened by proux01
September 17, 2024 06:07 10m 14s proux01:stdlib_repo
proux01:stdlib_repo
September 17, 2024 06:07 10m 14s
Coq 8.20.0 is supported Build #53: Commit 20a5b48 pushed by xavierleroy
September 11, 2024 08:30 10m 19s master
master
September 11, 2024 08:30 10m 19s
runtime: finish preprocessing for PowerPC assembly files Build #52: Commit 9129970 pushed by xavierleroy
September 10, 2024 15:14 10m 22s master
master
September 10, 2024 15:14 10m 22s
Add missing temp_env parameter to documentation of Clight.eval_expr (… Build #51: Commit 7bd609f pushed by xavierleroy
September 9, 2024 12:12 10m 14s master
master
September 9, 2024 12:12 10m 14s
Add missing temp_env parameter to documentation of Clight.eval_expr (… Build #50: Commit 32dba07 pushed by xavierleroy
September 8, 2024 16:31 10m 10s master
master
September 8, 2024 16:31 10m 10s
Add missing temp_env parameter to Clight.eval_expr's documentation Build #49: Pull request #523 opened by ebresafegaga
September 6, 2024 19:20 10m 10s patch-1
patch-1
September 6, 2024 19:20 10m 10s
Return Btop for undefined pointer comparisons in non-strict mode Build #48: Commit fd48dc8 pushed by xavierleroy
September 4, 2024 17:07 10m 41s master
master
September 4, 2024 17:07 10m 41s
Value analysis: reduce Uns p 0 to IU Int.zero Build #47: Commit 18ecb24 pushed by xavierleroy
September 2, 2024 15:21 10m 11s master
master
September 2, 2024 15:21 10m 11s
Mark stack as non-executable in binaries produced by ccomp Build #46: Commit 82ef885 pushed by xavierleroy
September 2, 2024 07:34 10m 5s master
master
September 2, 2024 07:34 10m 5s
Support Coq 8.19.2 Build #45: Commit facbe11 pushed by xavierleroy
August 30, 2024 14:20 10m 21s master
master
August 30, 2024 14:20 10m 21s
CombineOp: optimize (x ^ n) != 0 into x != n Build #44: Commit bd3813f pushed by xavierleroy
August 26, 2024 14:18 10m 15s master
master
August 26, 2024 14:18 10m 15s
Merge pull request #521 from ebresafegaga/patch-1 Build #43: Commit 7c87292 pushed by m-schmidt
August 25, 2024 07:47 14m 41s master
master
August 25, 2024 07:47 14m 41s
Fix typo in the documentation of the Stacking pass Build #42: Pull request #521 reopened by m-schmidt
August 25, 2024 07:46 10m 2s patch-1
patch-1
August 25, 2024 07:46 10m 2s
Fix typo in the documentation of the Stacking pass Build #41: Pull request #521 opened by ebresafegaga
August 24, 2024 04:00 10m 21s patch-1
patch-1
August 24, 2024 04:00 10m 21s
Build Build #40: Manually run by xavierleroy
August 22, 2024 09:38 7m 31s xor-cmp
xor-cmp
August 22, 2024 09:38 7m 31s
Merge pull request #520 from AbsInt/value-analysis-IU Build #39: Commit d351f4b pushed by xavierleroy
August 22, 2024 08:01 10m 49s master
master
August 22, 2024 08:01 10m 49s
Selection: refined heuristic for if-conversion Build #38: Commit af83e9a pushed by xavierleroy
August 22, 2024 07:54 14m 12s master
master
August 22, 2024 07:54 14m 12s
Bound the recursion depth of size_stmt (#519) Build #37: Commit 8ce7997 pushed by xavierleroy
August 22, 2024 07:51 10m 6s master
master
August 22, 2024 07:51 10m 6s
More precise value analysis for "known integer or Vundef" results Build #36: Pull request #520 opened by xavierleroy
August 21, 2024 07:38 10m 13s value-analysis-IU
value-analysis-IU
August 21, 2024 07:38 10m 13s
GHA CI: use qemu-user from backports Build #35: Commit 0ffc516 pushed by xavierleroy
August 20, 2024 17:01 10m 11s master
master
August 20, 2024 17:01 10m 11s