Skip to content

Actions: AliveToolkit/alive2

Actions

Code Scanning - Action

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
311 workflow runs
311 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
feat: support for multiple vscales per run Code Scanning - Action #2175: Pull request #1362 opened by regehr
2m 39s regehr:regehr/vscale3
regehr:regehr/vscale3
2m 39s
fix: has_single_bit chang for latest clang (#1361) Code Scanning - Action #2174: Commit d1533ab pushed by nunoplopes
4m 36s master
master
4m 36s
fix: has_single_bit chang for latest clang Code Scanning - Action #2173: Pull request #1361 opened by regehr
3m 48s regehr:regehr/single-bit-fix
regehr:regehr/single-bit-fix
3m 48s
feat: LLVM support for scalable vectors (#1359) Code Scanning - Action #2172: Commit 7a2b81b pushed by nunoplopes
2m 56s master
master
2m 56s
feat: LLVM support for scalable vectors Code Scanning - Action #2171: Pull request #1359 synchronize by nunoplopes
4m 23s regehr:regehr/vscale2
regehr:regehr/vscale2
4m 23s
feat: LLVM support for scalable vectors Code Scanning - Action #2170: Pull request #1359 opened by regehr
4m 18s regehr:regehr/vscale2
regehr:regehr/vscale2
4m 18s
feat: first part of scalable vectors (#1358) Code Scanning - Action #2169: Commit 2e2a107 pushed by nunoplopes
3m 52s master
master
3m 52s
feat: first part of scalable vectors Code Scanning - Action #2168: Pull request #1358 opened by regehr
4m 13s regehr:regehr/vscale1
regehr:regehr/vscale1
4m 13s
fix: improve SMT error handling a bit for type checking (#1357) Code Scanning - Action #2167: Commit 6872d94 pushed by nunoplopes
4m 34s master
master
4m 34s
fix: improve SMT error handling a bit Code Scanning - Action #2166: Pull request #1357 opened by regehr
3m 44s regehr:regehr/typing-unknown
regehr:regehr/typing-unknown
3m 44s
fix: make sure that multiple CHECK-NOT lines are all checked (#1355) Code Scanning - Action #2165: Commit 88bc283 pushed by nunoplopes
4m 28s master
master
4m 28s
Bump github/codeql-action from 4.38.0 to 4.38.1 (#1356) Code Scanning - Action #2164: Commit ebc3478 pushed by nunoplopes
4m 36s master
master
4m 36s
Bump github/codeql-action from 4.38.0 to 4.38.1 Code Scanning - Action #2163: Pull request #1356 opened by dependabot Bot
3m 32s dependabot/github_actions/github/codeql-action-4.38.1
dependabot/github_actions/github/codeql-action-4.38.1
3m 32s
Bump github/codeql-action from 4.38.0 to 4.38.1 Code Scanning - Action #2162: Commit fc385a8 pushed by dependabot Bot
3m 40s dependabot/github_actions/github/codeql-action-4.38.1
dependabot/github_actions/github/codeql-action-4.38.1
3m 40s
fix: make sure that multiple CHECK-NOT lines are all checked Code Scanning - Action #2161: Pull request #1355 opened by regehr
3m 35s regehr:regehr/check-not-fix
regehr:regehr/check-not-fix
3m 35s
Code Scanning - Action Code Scanning - Action #2160: Scheduled
3m 43s master
master
3m 43s
Add support for [us]mulh (#1354) Code Scanning - Action #2159: Commit c79e3d5 pushed by nunoplopes
5m 38s master
master
5m 38s
fix: separate denormal modes for inputs and outputs (#1349) Code Scanning - Action #2158: Commit df3eee4 pushed by nunoplopes
13m 45s master
master
13m 45s
Fix build with latest LLVM: use RequiredPassInfoMixin (#1353) Code Scanning - Action #2157: Commit 627fc2d pushed by nunoplopes
10m 1s master
master
10m 1s
Add support for [us]mulh Code Scanning - Action #2156: Pull request #1354 opened by dtcxzyw
3m 29s dtcxzyw:usmulh
dtcxzyw:usmulh
3m 29s
Use RequiredPassInfoMixin Code Scanning - Action #2155: Pull request #1353 opened by dtcxzyw
3m 14s dtcxzyw:passinfo-fix
dtcxzyw:passinfo-fix
3m 14s
llvm2alive: skip string attributes in handleParamAttrs (#1352) Code Scanning - Action #2154: Commit 4338a63 pushed by nunoplopes
4m 23s master
master
4m 23s
llvm2alive: skip string attributes in handleParamAttrs Code Scanning - Action #2153: Pull request #1352 opened by aleksisch
4h 16m 37s aleksisch:fix-string-param-attrs
aleksisch:fix-string-param-attrs
4h 16m 37s
Avoid crashing when a struct has a scalable member (#1351) Code Scanning - Action #2152: Commit 5bb5e22 pushed by nunoplopes
4m 40s master
master
4m 40s
fix: avoid crashing when a struct has a scalable member Code Scanning - Action #2151: Pull request #1351 opened by regehr
3m 19s regehr:regehr/avoid-vscale-crash
regehr:regehr/avoid-vscale-crash
3m 19s