Skip to content

Actions: AliveToolkit/alive2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,268 workflow runs
1,268 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

asm mode: allow removal of 'store undef' in tgt Code Scanning - Action #1110: Commit 58adb88 pushed by nunoplopes
December 14, 2023 11:47 3m 59s master
master
December 14, 2023 11:47 3m 59s
asm mode: allow removal of 'store undef' in tgt Build #977: Commit 58adb88 pushed by nunoplopes
December 14, 2023 11:47 8m 52s master
master
December 14, 2023 11:47 8m 52s
Avoid spurious tgt sink errors if src query times out Build #976: Commit 800c8c9 pushed by nunoplopes
December 14, 2023 10:50 8m 32s master
master
December 14, 2023 10:50 8m 32s
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
asm mode: remove calls to llvm.sideeffect in src since asm doesn't ha… Build #975: Commit 2c53cb3 pushed by nunoplopes
December 14, 2023 09:38 8m 6s master
master
December 14, 2023 09:38 8m 6s
fix LLVM's !dereferenceable metadata semantics Build #974: Commit 65e98d2 pushed by nunoplopes
December 14, 2023 08:33 8m 13s master
master
December 14, 2023 08:33 8m 13s
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 Build #973: Commit 030007d pushed by nunoplopes
December 13, 2023 21:51 7m 48s master
master
December 13, 2023 21:51 7m 48s
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
add support for !dereferenceable metadata in load/store instructions Build #972: Commit 0670157 pushed by nunoplopes
December 13, 2023 21:24 8m 27s master
master
December 13, 2023 21:24 8m 27s
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
nicer init memory idx output Build #971: Commit 81969b5 pushed by nunoplopes
December 12, 2023 17:02 12m 19s master
master
December 12, 2023 17:02 12m 19s
fix false positives with infinite loops and fn calls Build #970: Commit d819881 pushed by nunoplopes
December 12, 2023 11:03 8m 27s master
master
December 12, 2023 11:03 8m 27s
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 … Build #969: Commit 479cbc5 pushed by nunoplopes
December 11, 2023 16:50 11m 39s master
master
December 11, 2023 16:50 11m 39s
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
ProTip! You can narrow down the results and go further in time using created:<2023-12-11 or the other filters available.