Skip to content

Actions: AliveToolkit/alive2

Actions

Code Scanning - Action

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
112 workflow run results
112 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Avoid spurious tgt sink errors if src query times out Code Scanning - Action #1109: Commit 800c8c9 pushed by nunoplopes
December 14, 2023 10:50 4m 19s master
master
December 14, 2023 10:50 4m 19s
asm mode: remove calls to llvm.sideeffect in src since asm doesn't ha… Code Scanning - Action #1108: Commit 2c53cb3 pushed by nunoplopes
December 14, 2023 09:38 3m 56s master
master
December 14, 2023 09:38 3m 56s
fix LLVM's !dereferenceable metadata semantics Code Scanning - Action #1107: Commit 65e98d2 pushed by nunoplopes
December 14, 2023 08:33 4m 8s master
master
December 14, 2023 08:33 4m 8s
asm mode: allow loads to be widened up to 'align' size Code Scanning - Action #1106: Commit 030007d pushed by nunoplopes
December 13, 2023 21:51 4m 12s master
master
December 13, 2023 21:51 4m 12s
add support for !dereferenceable metadata in load/store instructions Code Scanning - Action #1105: Commit 0670157 pushed by nunoplopes
December 13, 2023 21:24 4m 2s master
master
December 13, 2023 21:24 4m 2s
nicer init memory idx output Code Scanning - Action #1104: Commit 81969b5 pushed by nunoplopes
December 12, 2023 17:02 3m 48s master
master
December 12, 2023 17:02 3m 48s
fix false positives with infinite loops and fn calls Code Scanning - Action #1103: Commit d819881 pushed by nunoplopes
December 12, 2023 11:03 3m 32s master
master
December 12, 2023 11:03 3m 32s
asm mode: make local blocks initialized with nondet data rather than … Code Scanning - Action #1102: Commit 479cbc5 pushed by nunoplopes
December 11, 2023 16:50 3m 33s master
master
December 11, 2023 16:50 3m 33s
refinment: further reduce peak memory and duplicate unrolling queries Code Scanning - Action #1101: Commit 2fb4354 pushed by nunoplopes
December 11, 2023 12:07 3m 40s master
master
December 11, 2023 12:07 3m 40s
Code Scanning - Action Code Scanning - Action #1100: Scheduled
December 10, 2023 02:08 3m 33s master
master
December 10, 2023 02:08 3m 33s
fix clang build Code Scanning - Action #1099: Commit fa7614f pushed by nunoplopes
December 8, 2023 14:56 3m 56s master
master
December 8, 2023 14:56 3m 56s
code simpl Code Scanning - Action #1098: Commit 7a337a1 pushed by nunoplopes
December 8, 2023 14:50 3m 43s master
master
December 8, 2023 14:50 3m 43s
reduce peak memory usage for refinement queries Code Scanning - Action #1097: Commit b8ad3d2 pushed by nunoplopes
December 8, 2023 14:16 3m 40s master
master
December 8, 2023 14:16 3m 40s
asm mode: allow refinement of a memory byte with a ptr with an integer Code Scanning - Action #1096: Commit 1352eaa pushed by nunoplopes
December 5, 2023 17:26 3m 35s master
master
December 5, 2023 17:26 3m 35s
fix false positive with noread fn calls with local block passed as input Code Scanning - Action #1095: Commit 3e1e364 pushed by nunoplopes
December 4, 2023 17:00 3m 43s master
master
December 4, 2023 17:00 3m 43s
add LLVM bug Code Scanning - Action #1094: Commit 68ff734 pushed by nunoplopes
December 4, 2023 14:53 3m 47s master
master
December 4, 2023 14:53 3m 47s
smt expr peepholes Code Scanning - Action #1093: Commit ca6eca3 pushed by nunoplopes
December 4, 2023 10:47 3m 42s master
master
December 4, 2023 10:47 3m 42s
Code Scanning - Action Code Scanning - Action #1092: Scheduled
December 3, 2023 02:07 3m 48s master
master
December 3, 2023 02:07 3m 48s
fix #961: input ptrs cannot be stack allocated Code Scanning - Action #1091: Commit 7c2e288 pushed by nunoplopes
November 29, 2023 08:51 4m 2s master
master
November 29, 2023 08:51 4m 2s
simplify code Code Scanning - Action #1090: Commit 307de60 pushed by nunoplopes
November 29, 2023 06:04 3m 52s master
master
November 29, 2023 06:04 3m 52s
LLVM semantics: alignment can be a non-power-of-2 if ptr == null Code Scanning - Action #1089: Commit ff9d8e8 pushed by nunoplopes
November 29, 2023 05:55 3m 58s master
master
November 29, 2023 05:55 3m 58s
fix #980: UB executed with uitofp Code Scanning - Action #1088: Commit cdf792b pushed by nunoplopes
November 29, 2023 01:45 4m 7s master
master
November 29, 2023 01:45 4m 7s
smt expr: add sle peephole Code Scanning - Action #1087: Commit 6f95d8a pushed by nunoplopes
November 28, 2023 07:30 4m 0s master
master
November 28, 2023 07:30 4m 0s
Add support for or's disjoint flag (#978) Code Scanning - Action #1086: Commit 7ef46ad pushed by nunoplopes
November 27, 2023 11:15 4m 2s master
master
November 27, 2023 11:15 4m 2s
Add support for disjoint Code Scanning - Action #1085: Pull request #978 synchronize by nunoplopes
November 27, 2023 11:10 4m 1s dtcxzyw:disjoint-support
dtcxzyw:disjoint-support
November 27, 2023 11:10 4m 1s