Skip to content

Actions: AliveToolkit/alive2

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix crash with fn calls with read-only memory attr Build #1339: Commit 583b733 pushed by nunoplopes
October 7, 2024 13:54 8m 50s master
master
October 7, 2024 13:54 8m 50s
Code Scanning - Action Code Scanning - Action #1514: Scheduled
October 6, 2024 02:37 3m 36s master
master
October 6, 2024 02:37 3m 36s
Refine tail call conditions for tail and musttail markers Code Scanning - Action #1513: Pull request #1094 synchronize by antoniofrighetto
October 5, 2024 13:42 3m 33s antoniofrighetto:feature/refine-tail-calls
antoniofrighetto:feature/refine-tail-calls
October 5, 2024 13:42 3m 33s
Refine tail call conditions for tail and musttail markers Build #1338: Pull request #1094 synchronize by antoniofrighetto
October 5, 2024 13:42 8m 33s antoniofrighetto:feature/refine-tail-calls
antoniofrighetto:feature/refine-tail-calls
October 5, 2024 13:42 8m 33s
Refine tail call conditions for tail and musttail markers Code Scanning - Action #1512: Pull request #1094 synchronize by antoniofrighetto
October 5, 2024 07:56 3m 30s antoniofrighetto:feature/refine-tail-calls
antoniofrighetto:feature/refine-tail-calls
October 5, 2024 07:56 3m 30s
Refine tail call conditions for tail and musttail markers Build #1337: Pull request #1094 synchronize by antoniofrighetto
October 5, 2024 07:56 8m 29s antoniofrighetto:feature/refine-tail-calls
antoniofrighetto:feature/refine-tail-calls
October 5, 2024 07:56 8m 29s
Refine tail call conditions for tail and musttail markers Build #1336: Pull request #1094 synchronize by antoniofrighetto
October 5, 2024 07:48 8m 21s antoniofrighetto:feature/refine-tail-calls
antoniofrighetto:feature/refine-tail-calls
October 5, 2024 07:48 8m 21s
Refine tail call conditions for tail and musttail markers Code Scanning - Action #1511: Pull request #1094 synchronize by antoniofrighetto
October 5, 2024 07:48 3m 23s antoniofrighetto:feature/refine-tail-calls
antoniofrighetto:feature/refine-tail-calls
October 5, 2024 07:48 3m 23s
Refine tail call conditions for tail and musttail markers Code Scanning - Action #1510: Pull request #1094 opened by antoniofrighetto
October 5, 2024 07:41 3m 30s antoniofrighetto:feature/refine-tail-calls
antoniofrighetto:feature/refine-tail-calls
October 5, 2024 07:41 3m 30s
Refine tail call conditions for tail and musttail markers Build #1335: Pull request #1094 opened by antoniofrighetto
October 5, 2024 07:41 8m 20s antoniofrighetto:feature/refine-tail-calls
antoniofrighetto:feature/refine-tail-calls
October 5, 2024 07:41 8m 20s
Add support for tail calls (#1090) Build #1334: Commit 05f674c pushed by nunoplopes
October 4, 2024 09:47 8m 38s master
master
October 4, 2024 09:47 8m 38s
Add support for tail calls (#1090) Code Scanning - Action #1509: Commit 05f674c pushed by nunoplopes
October 4, 2024 09:47 5m 32s master
master
October 4, 2024 09:47 5m 32s
Add support for tail calls Code Scanning - Action #1508: Pull request #1090 synchronize by antoniofrighetto
October 4, 2024 09:19 3m 25s antoniofrighetto:feature/handle-tail-calls
antoniofrighetto:feature/handle-tail-calls
October 4, 2024 09:19 3m 25s
Add support for tail calls Build #1333: Pull request #1090 synchronize by antoniofrighetto
October 4, 2024 09:19 9m 8s antoniofrighetto:feature/handle-tail-calls
antoniofrighetto:feature/handle-tail-calls
October 4, 2024 09:19 9m 8s
CI: switch to MacOS 15 Build #1332: Commit 85b7ba5 pushed by nunoplopes
October 4, 2024 06:48 9m 28s master
master
October 4, 2024 06:48 9m 28s
CI: switch to MacOS 15 Code Scanning - Action #1507: Commit 85b7ba5 pushed by nunoplopes
October 4, 2024 06:48 5m 41s master
master
October 4, 2024 06:48 5m 41s
Add support for tail calls Build #1331: Pull request #1090 synchronize by antoniofrighetto
October 2, 2024 17:46 8m 11s antoniofrighetto:feature/handle-tail-calls
antoniofrighetto:feature/handle-tail-calls
October 2, 2024 17:46 8m 11s
Add support for tail calls Code Scanning - Action #1506: Pull request #1090 synchronize by antoniofrighetto
October 2, 2024 17:46 3m 22s antoniofrighetto:feature/handle-tail-calls
antoniofrighetto:feature/handle-tail-calls
October 2, 2024 17:46 3m 22s
Add support for tail calls Build #1330: Pull request #1090 synchronize by nunoplopes
September 29, 2024 09:17 8m 24s antoniofrighetto:feature/handle-tail-calls
antoniofrighetto:feature/handle-tail-calls
September 29, 2024 09:17 8m 24s
Add support for tail calls Code Scanning - Action #1505: Pull request #1090 synchronize by nunoplopes
September 29, 2024 09:17 3m 8s antoniofrighetto:feature/handle-tail-calls
antoniofrighetto:feature/handle-tail-calls
September 29, 2024 09:17 3m 8s
Code Scanning - Action Code Scanning - Action #1504: Scheduled
September 29, 2024 02:37 3m 21s master
master
September 29, 2024 02:37 3m 21s
llvm2alive: fix ordering issue with UB-triggering metadata Build #1329: Commit 507e594 pushed by nunoplopes
September 24, 2024 18:40 8m 23s master
master
September 24, 2024 18:40 8m 23s
llvm2alive: fix ordering issue with UB-triggering metadata Code Scanning - Action #1503: Commit 507e594 pushed by nunoplopes
September 24, 2024 18:40 5m 46s master
master
September 24, 2024 18:40 5m 46s
Add Phi::setValue and Phi::setSource (#1092) Code Scanning - Action #1502: Commit b4b59bc pushed by nunoplopes
September 24, 2024 14:43 6m 20s master
master
September 24, 2024 14:43 6m 20s
Add Phi::setValue and Phi::setSource (#1092) Build #1328: Commit b4b59bc pushed by nunoplopes
September 24, 2024 14:43 8m 23s master
master
September 24, 2024 14:43 8m 23s