Skip to content

Actions: AliveToolkit/alive2

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
refinment: further reduce peak memory and duplicate unrolling queries Build #968: Commit 2fb4354 pushed by nunoplopes
December 11, 2023 12:07 8m 6s master
master
December 11, 2023 12:07 8m 6s
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 Build #967: Commit fa7614f pushed by nunoplopes
December 8, 2023 14:56 7m 53s master
master
December 8, 2023 14:56 7m 53s
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
code simpl Build #966: Commit 7a337a1 pushed by nunoplopes
December 8, 2023 14:50 7m 42s master
master
December 8, 2023 14:50 7m 42s
reduce peak memory usage for refinement queries Build #965: Commit b8ad3d2 pushed by nunoplopes
December 8, 2023 14:16 8m 6s master
master
December 8, 2023 14:16 8m 6s
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
asm mode: allow refinement of a memory byte with a ptr with an integer Build #964: Commit 1352eaa pushed by nunoplopes
December 5, 2023 17:26 15m 7s master
master
December 5, 2023 17:26 15m 7s
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
fix false positive with noread fn calls with local block passed as input Build #963: Commit 3e1e364 pushed by nunoplopes
December 4, 2023 17:00 19m 4s master
master
December 4, 2023 17:00 19m 4s
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
add LLVM bug Build #962: Commit 68ff734 pushed by nunoplopes
December 4, 2023 14:53 12m 31s master
master
December 4, 2023 14:53 12m 31s
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
smt expr peepholes Build #961: Commit ca6eca3 pushed by nunoplopes
December 4, 2023 10:47 11m 3s master
master
December 4, 2023 10:47 11m 3s
ProTip! You can narrow down the results and go further in time using created:<2023-12-04 or the other filters available.