Skip to content

Actions: AbsInt/CompCert

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
227 workflow runs
227 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

GHA CI: skip PPC testing temporarily Oldest #15: Commit 0ba5f6a pushed by xavierleroy
August 19, 2024 07:28 4m 14s master
master
August 19, 2024 07:28 4m 14s
Merge pull request #518 from AbsInt/cse-alias Latest #14: Commit 9e47293 pushed by xavierleroy
August 19, 2024 07:23 6m 47s master
master
August 19, 2024 07:23 6m 47s
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
Merge pull request #518 from AbsInt/cse-alias Oldest #14: Commit 9e47293 pushed by xavierleroy
August 19, 2024 07:23 4m 15s master
master
August 19, 2024 07:23 4m 15s
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
Merge pull request #516 from AbsInt/value-analysis-pointer-comparison Oldest #13: Commit 62251c7 pushed by xavierleroy
July 26, 2024 10:02 5m 24s master
master
July 26, 2024 10:02 5m 24s
Merge pull request #516 from AbsInt/value-analysis-pointer-comparison Latest #13: Commit 62251c7 pushed by xavierleroy
July 26, 2024 10:02 6m 4s master
master
July 26, 2024 10:02 6m 4s
"oldest" CI test: use the oldest supported Menhir version Latest #12: Commit a15470e pushed by xavierleroy
July 24, 2024 13:41 6m 6s master
master
July 24, 2024 13:41 6m 6s
"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 Oldest #12: Commit a15470e pushed by xavierleroy
July 24, 2024 13:41 5m 31s master
master
July 24, 2024 13:41 5m 31s
"oldest" CI test: use the oldest supported Menhir version Latest #11: Commit e9f4e15 pushed by xavierleroy
July 24, 2024 13:31 6m 3s master
master
July 24, 2024 13:31 6m 3s
"oldest" CI test: use the oldest supported Menhir version Oldest #11: Commit e9f4e15 pushed by xavierleroy
July 24, 2024 13:31 5m 22s master
master
July 24, 2024 13:31 5m 22s
"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
Simplify the configuration of menhirLib Oldest #10: Commit 179d2a1 pushed by xavierleroy
July 24, 2024 12:44 6m 43s master
master
July 24, 2024 12:44 6m 43s
Simplify the configuration of menhirLib Latest #10: Commit 179d2a1 pushed by xavierleroy
July 24, 2024 12:44 8m 17s master
master
July 24, 2024 12:44 8m 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 Oldest #9: Commit f92facf pushed by xavierleroy
July 23, 2024 12:52 5m 29s master
master
July 23, 2024 12:52 5m 29s
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
Fix proof in ValueDomain that did not work for RISC-V Latest #9: Commit f92facf pushed by xavierleroy
July 23, 2024 12:52 6m 16s master
master
July 23, 2024 12:52 6m 16s
More precise value analysis of neg, add, sub Latest #8: Commit 9876946 pushed by xavierleroy
July 23, 2024 12:05 3m 45s master
master
July 23, 2024 12:05 3m 45s