8000 Oldest · Workflow runs · AbsInt/CompCert · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: AbsInt/CompCert

Actions

Oldest

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
oldest.yml
67 workflow runs
67 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Require Znumtheory before using it (#548) Oldest #67: Commit 1670ae7 pushed by xavierleroy
May 5, 2025 13:02 5m 9s master
master
May 5, 2025 13:02 5m 9s
Merge pull request #547 from AbsInt/coq-9.0 Oldest #66: Commit b41d5c1 pushed by xavierleroy
May 5, 2025 12:45 4m 54s master
master
May 5, 2025 12:45 4m 54s
Remove duplicated definition/lemma. Oldest #65: Commit 2d97cc4 pushed by xavierleroy
April 25, 2025 13:46 5m 50s master
master
April 25, 2025 13:46 5m 50s
Remove duplicated definition/lemma. Oldest #64: Commit 9fec54a pushed by xavierleroy
April 25, 2025 13:40 2m 55s master
master
April 25, 2025 13:40 2m 55s
Introduce select_long Oldest #63: Commit 1854670 pushed by xavierleroy
April 25, 2025 11:35 5m 38s master
master
April 25, 2025 11:35 5m 38s
Less aggressive CSE across calls to known runtime functions Oldest #62: Commit d1812c3 pushed by xavierleroy
March 21, 2025 13:53 5m 28s master
master
March 21, 2025 13:53 5m 28s
Oldest Oldest #61: Manually run by xavierleroy
March 21, 2025 12:55 5m 12s builtin-optims
builtin-optims
March 21, 2025 12:55 5m 12s
More precise value analysis of != comparisons Oldest #60: Commit ccee155 pushed by xavierleroy
March 14, 2025 08:34 5m 10s master
master
March 14, 2025 08:34 5m 10s
More precise neededness analysis of 64-bit integer operations Oldest #59: Commit 4f638e8 pushed by xavierleroy
February 4, 2025 09:27 5m 22s master
master
February 4, 2025 09:27 5m 22s
Use OCaml warning names instead of warning numbers Oldest #58: Commit 3da76f5 pushed by xavierleroy
February 3, 2025 09:42 5m 32s master
master
February 3, 2025 09:42 5m 32s
Oldest Oldest #57: Manually run by xavierleroy
February 3, 2025 09:25 5m 22s Makefile.extr
Makefile.extr
February 3, 2025 09:25 5m 22s
Perform basic checks over [static expr] array declarators Oldest #56: Commit 8a89973 pushed by xavierleroy
January 17, 2025 15:49 5m 26s master
master
January 17, 2025 15:49 5m 26s
Coq 8.20.1 is supported (#545) Oldest #55: Commit 88c56d0 pushed by xavierleroy
January 17, 2025 15:23 5m 21s master
master
January 17, 2025 15:23 5m 21s
Use the --print-version command to robustly get the Coq / Rocq versio… Oldest #54: Commit 54341fe pushed by xavierleroy
January 16, 2025 08:39 5m 29s master
master
January 16, 2025 08:39 5m 29s
Adapt to https://github.com/coq/coq/pull/20027 (#543) Oldest #53: Commit 54d2e47 pushed by xavierleroy
January 14, 2025 08:35 5m 23s master
master
January 14, 2025 08:35 5m 23s
Adapt to https://github.com/coq/coq/pull/19801 (#535) Oldest #52: Commit 3bc43fc pushed by xavierleroy
January 9, 2025 12:45 5m 26s master
master
January 9, 2025 12:45 5m 26s
Stricter treatment of '$' in identifiers. Oldest 105B1 #51: Commit 6088018 pushed by xavierleroy
December 23, 2024 14:39 5m 22s master
master
December 23, 2024 14:39 5m 22s
Updates for release 3.15 Oldest #50: Commit a9872d6 pushed by xavierleroy
December 13, 2024 10:15 5m 20s master
master
December 13, 2024 10:15 5m 20s
Fix elaboration of function definitions with nested function types Oldest #49: Commit ec033c3 pushed by xavierleroy
December 13, 2024 09:13 5m 30s master
master
December 13, 2024 09:13 5m 30s
Update Changelog Oldest #48: Commit 3f217e3 pushed by xavierleroy
December 10, 2024 09:25 5m 29s master
master
December 10, 2024 09:25 5m 29s
More updates in preparation for release 3.15 Oldest #47: Commit 9597352 pushed by xavierleroy
December 6, 2024 14:49 5m 19s master
master
December 6, 2024 14:49 5m 19s
Merge pull request #541 from AbsInt/dollar-ident Oldest #46: Commit d4c6a8c pushed by xavierleroy
December 6, 2024 14:19 5m 36s master
master
December 6, 2024 14:19 5m 36s
Work around broken Homebrew binary package for Menhir Oldest #45: Commit 3710994 pushed by xavierleroy
December 3, 2024 13:58 5m 23s master
master
December 3, 2024 13:58 5m 23s
Support C99 array declarator syntax involving static and * (#539) Oldest #44: Commit 8408602 pushed by xavierleroy
December 2, 2024 13:46 5m 32s master
master
December 2, 2024 13:46 5m 32s
Updates in preparation for release 3.15 Oldest #43: Commit 5e445cd pushed by xavierleroy
November 27, 2024 15:21 5m 32s master
master
November 27, 2024 15:21 5m 32s
0