Skip to content

Actions: AbsInt/CompCert

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
54 workflow runs
54 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build Build #29: Manually run by xavierleroy
August 19, 2024 13:18 7m 42s xor-cmp
xor-cmp
August 19, 2024 13:18 7m 42s
GHA CI: also skip ARM testing temporarily Build #28: Commit 406ae8b pushed by xavierleroy
August 19, 2024 13:04 7m 38s master
master
August 19, 2024 13:04 7m 38s
Build Build #27: Manually run by xavierleroy
August 19, 2024 12:46 8m 7s ci-golf
ci-golf
August 19, 2024 12:46 8m 7s
Bound the recursion depth of heuristic size_stmt in RTLgen Build #26: Pull request #519 opened by xavierleroy
August 19, 2024 07:45 7m 12s size_stmt_heuristic
size_stmt_heuristic
August 19, 2024 07:45 7m 12s
Compatibility with older versions of Coq Build #25: Commit 90418d0 pushed by xavierleroy
August 19, 2024 07:37 6m 7s master
master
August 19, 2024 07:37 6m 7s
GHA CI: skip PPC testing temporarily Build #24: Commit 0ba5f6a pushed by xavierleroy
August 19, 2024 07:28 6m 51s master
master
August 19, 2024 07:28 6m 51s
Merge pull request #518 from AbsInt/cse-alias Build #23: Commit 9e47293 pushed by xavierleroy
August 19, 2024 07:23 6m 22s master
master
August 19, 2024 07:23 6m 22s
CSE: remember the abstract pointers in Load equations Build #22: Pull request #518 synchronize by xavierleroy
August 19, 2024 07:15 6m 19s cse-alias
cse-alias
August 19, 2024 07:15 6m 19s
CSE: remember the abstract pointers in Load equations Build #21: Pull request #518 synchronize by xavierleroy
August 19, 2024 07:14 6m 29s cse-alias
cse-alias
August 19, 2024 07:14 6m 29s
CSE: remember the abstract pointers in Load equations Build #20: Pull request #518 opened by xavierleroy
August 16, 2024 07:05 5m 42s cse-alias
cse-alias
August 16, 2024 07:05 5m 42s
Merge pull request #516 from AbsInt/value-analysis-pointer-comparison Build #19: Commit 62251c7 pushed by xavierleroy
July 26, 2024 10:02 9m 18s master
master
July 26, 2024 10:02 9m 18s
"oldest" CI test: use the oldest supported Menhir version Build #18: Commit a15470e pushed by xavierleroy
July 24, 2024 13:41 9m 11s master
master
July 24, 2024 13:41 9m 11s
"oldest" CI test: use the oldest supported Menhir version Build #17: Commit e9f4e15 pushed by xavierleroy
July 24, 2024 13:31 6m 29s master
master
July 24, 2024 13:31 6m 29s
Simplify the configuration of menhirLib Build #16: Commit 179d2a1 pushed by xavierleroy
July 24, 2024 12:44 10m 17s master
master
July 24, 2024 12:44 10m 17s
More conservative value analysis of pointer equality Build #15: Pull request #516 synchronize by xavierleroy
July 24, 2024 07:53 9m 19s value-analysis-pointer-comparison
value-analysis-pointer-comparison
July 24, 2024 07:53 9m 19s
More conservative value analysis of pointer equality Build #14: Pull request #516 opened by xavierleroy
July 23, 2024 15:13 18m 33s value-analysis-pointer-comparison
value-analysis-pointer-comparison
July 23, 2024 15:13 18m 33s
Fix proof in ValueDomain that did not work for RISC-V Build #13: Commit f92facf pushed by xavierleroy
July 23, 2024 12:52 9m 50s master
master
July 23, 2024 12:52 9m 50s
More precise value analysis of neg, add, sub Build #12: Commit 9876946 pushed by xavierleroy
July 23, 2024 12:05 6m 57s master
master
July 23, 2024 12:05 6m 57s
Update clightgen after the change on AST.signature Build #11: Commit 926c420 pushed by xavierleroy
July 15, 2024 12:03 9m 31s master
master
July 15, 2024 12:03 9m 31s
Build Build #10: Manually run by xavierleroy
July 15, 2024 11:39 9m 48s xtype
xtype
July 15, 2024 11:39 9m 48s
Make dependency on Extraction explicit (#515) Build #9: Commit 72c6a18 pushed by xavierleroy
July 15, 2024 11:04 9m 32s master
master
July 15, 2024 11:04 9m 32s
Adapt w.r.t. coq/coq#19343. Build #8: Pull request #515 opened by ppedrot
July 11, 2024 09:13 9m 17s ppedrot:rm-funind-msetavl
ppedrot:rm-funind-msetavl
July 11, 2024 09:13 9m 17s
Update test/ submodule Build #7: Commit f993018 pushed by xavierleroy
July 8, 2024 11:36 9m 15s master
master
July 8, 2024 11:36 9m 15s
Improve compatibility with OCaml 5 Build #6: Commit 891f2bd pushed by xavierleroy
July 5, 2024 15:57 10m 2s master
master
July 5, 2024 15:57 10m 2s
Build Build #5: Manually run by xavierleroy
July 5, 2024 15:48 9m 23s xtype
xtype
July 5, 2024 15:48 9m 23s