Skip to content

Actions: AliveToolkit/alive2

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ReadMe, alive-tv --help: correct timeout, BUILD_SHARED_LIBS optional Code Scanning - Action #1146: Pull request #992 opened by FlashSheridan
December 23, 2023 00:29 3m 45s FlashSheridan:FlashSheridan-CPR-1455-Standalone-timeout
FlashSheridan:FlashSheridan-CPR-1455-Standalone-timeout
December 23, 2023 00:29 3m 45s
ReadMe, alive-tv --help: correct timeout, BUILD_SHARED_LIBS optional Build #1012: Pull request #992 opened by FlashSheridan
December 23, 2023 00:29 8m 23s FlashSheridan:FlashSheridan-CPR-1455-Standalone-timeout
FlashSheridan:FlashSheridan-CPR-1455-Standalone-timeout
December 23, 2023 00:29 8m 23s
smt: set Z3's smtlib2_compliant=true Build #1011: Commit 13266e9 pushed by nunoplopes
December 22, 2023 17:20 8m 13s master
master
December 22, 2023 17:20 8m 13s
smt: set Z3's smtlib2_compliant=true Code Scanning - Action #1145: Commit 13266e9 pushed by nunoplopes
December 22, 2023 17:20 3m 36s master
master
December 22, 2023 17:20 3m 36s
memory: don't unroll the (quadratic) disjointness constraint when the… Build #1010: Commit 06de006 pushed by nunoplopes
December 21, 2023 16:07 8m 12s master
master
December 21, 2023 16:07 8m 12s
memory: don't unroll the (quadratic) disjointness constraint when the… Code Scanning - Action #1144: Commit 06de006 pushed by nunoplopes
December 21, 2023 16:07 3m 46s master
master
December 21, 2023 16:07 3m 46s
add infrastructure for warnings Build #1009: Commit 381f9b2 pushed by nunoplopes
December 21, 2023 09:12 8m 5s master
master
December 21, 2023 09:12 8m 5s
add infrastructure for warnings Code Scanning - Action #1143: Commit 381f9b2 pushed by nunoplopes
December 21, 2023 09:12 4m 9s master
master
December 21, 2023 09:12 4m 9s
int2ptr support Code Scanning - Action #1142: Pull request #988 synchronize by nunoplopes
December 20, 2023 09:38 8m 46s int2ptr
int2ptr
December 20, 2023 09:38 8m 46s
int2ptr support Build #1008: Pull request #988 synchronize by nunoplopes
December 20, 2023 09:38 19m 19s int2ptr
int2ptr
December 20, 2023 09:38 19m 19s
deref check Build #1007: Commit a377de0 pushed by nunoplopes
December 20, 2023 09:38 12m 49s int2ptr
int2ptr
December 20, 2023 09:38 12m 49s
deref check Code Scanning - Action #1141: Commit a377de0 pushed by nunoplopes
December 20, 2023 09:38 3m 53s int2ptr
int2ptr
December 20, 2023 09:38 3m 53s
unconditionally check for source functions that are UB for all execut… Code Scanning - Action #1140: Commit 5a58bf8 pushed by nunoplopes
December 20, 2023 09:35 4m 31s master
master
December 20, 2023 09:35 4m 31s
unconditionally check for source functions that are UB for all execut… Build #1006: Commit 5a58bf8 pushed by nunoplopes
December 20, 2023 09:35 8m 24s master
master
December 20, 2023 09:35 8m 24s
unconditionally check for source functions that are UB for all executions, but don't error out Code Scanning - Action #1139: Pull request #991 opened by regehr
December 19, 2023 20:26 3m 47s regehr:always-check-for-src-ub
regehr:always-check-for-src-ub
December 19, 2023 20:26 3m 47s
unconditionally check for source functions that are UB for all executions, but don't error out Build #1005: Pull request #991 opened by regehr
December 19, 2023 20:26 8m 35s regehr:always-check-for-src-ub
regehr:always-check-for-src-ub
December 19, 2023 20:26 8m 35s
fix warning with LLVM's startswith() (#990) Build #1004: Commit 4d0308a pushed by nunoplopes
December 19, 2023 16:18 8m 4s master
master
December 19, 2023 16:18 8m 4s
fix warning with LLVM's startswith() (#990) Code Scanning - Action #1138: Commit 4d0308a pushed by nunoplopes
December 19, 2023 16:18 3m 54s master
master
December 19, 2023 16:18 3m 54s
startswith() now gives a warning on my machine due to being deprecated Build #1003: Pull request #990 opened by regehr
December 19, 2023 15:21 8m 12s regehr:startswith-fix
regehr:startswith-fix
December 19, 2023 15:21 8m 12s
startswith() now gives a warning on my machine due to being deprecated Code Scanning - Action #1137: Pull request #990 opened by regehr
December 19, 2023 15:21 3m 52s regehr:startswith-fix
regehr:startswith-fix
December 19, 2023 15:21 3m 52s
int2ptr support Code Scanning - Action #1136: Pull request #988 synchronize by nunoplopes
December 19, 2023 11:58 11m 9s int2ptr
int2ptr
December 19, 2023 11:58 11m 9s
int2ptr support Build #1002: Pull request #988 synchronize by nunoplopes
December 19, 2023 11:58 15m 5s int2ptr
int2ptr
December 19, 2023 11:58 15m 5s
deref check Build #1001: Commit 43be5d1 pushed by nunoplopes
December 19, 2023 11:58 7m 58s int2ptr
int2ptr
December 19, 2023 11:58 7m 58s
deref check Code Scanning - Action #1135: Commit 43be5d1 pushed by nunoplopes
December 19, 2023 11:58 4m 1s int2ptr
int2ptr
December 19, 2023 11:58 4m 1s
int2ptr support Build #1000: Pull request #988 synchronize by nunoplopes
December 18, 2023 15:50 14m 55s int2ptr
int2ptr
December 18, 2023 15:50 14m 55s
ProTip! You can narrow down the results and go further in time using created:<2023-12-18 or the other filters available.