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

respect range attributes on the return value of an intrinsic call Code Scanning - Action #1527: Pull request #1097 opened by dtcxzyw
October 11, 2024 05:51 4m 1s dtcxzyw:fix-range-attr-intrinsic
dtcxzyw:fix-range-attr-intrinsic
October 11, 2024 05:51 4m 1s
respect range attributes on the return value of an intrinsic call Build #1351: Pull request #1097 opened by dtcxzyw
October 11, 2024 05:51 8m 2s dtcxzyw:fix-range-attr-intrinsic
dtcxzyw:fix-range-attr-intrinsic
October 11, 2024 05:51 8m 2s
Refine tail call conditions for tail and musttail markers Code Scanning - Action #1526: Pull request #1094 synchronize by antoniofrighetto
October 10, 2024 11:49 3m 40s antoniofrighetto:feature/refine-tail-calls
antoniofrighetto:feature/refine-tail-calls
October 10, 2024 11:49 3m 40s
Refine tail call conditions for tail and musttail markers Build #1350: Pull request #1094 synchronize by antoniofrighetto
October 10, 2024 11:49 8m 16s antoniofrighetto:feature/refine-tail-calls
antoniofrighetto:feature/refine-tail-calls
October 10, 2024 11:49 8m 16s
Refine tail call conditions for tail and musttail markers Code Scanning - Action #1525: Pull request #1094 synchronize by antoniofrighetto
October 10, 2024 11:44 3m 59s antoniofrighetto:feature/refine-tail-calls
antoniofrighetto:feature/refine-tail-calls
October 10, 2024 11:44 3m 59s
Refine tail call conditions for tail and musttail markers Build #1349: Pull request #1094 synchronize by antoniofrighetto
October 10, 2024 11:44 8m 38s antoniofrighetto:feature/refine-tail-calls
antoniofrighetto:feature/refine-tail-calls
October 10, 2024 11:44 8m 38s
Encode floating point operations as uninterpreted functions Code Scanning - Action #1524: Pull request #1095 synchronize by can-leh-emmtrix
October 9, 2024 16:02 3m 52s emmtrix:uf-float-2
emmtrix:uf-float-2
October 9, 2024 16:02 3m 52s
Encode floating point operations as uninterpreted functions Build #1348: Pull request #1095 synchronize by can-leh-emmtrix
October 9, 2024 16:02 11m 33s emmtrix:uf-float-2
emmtrix:uf-float-2
October 9, 2024 16:02 11m 33s
Encode floating point operations as uninterpreted functions Code Scanning - Action #1523: Pull request #1095 opened by can-leh-emmtrix
October 9, 2024 16:00 3m 52s emmtrix:uf-float-2
emmtrix:uf-float-2
October 9, 2024 16:00 3m 52s
Encode floating point operations as uninterpreted functions Build #1347: Pull request #1095 opened by can-leh-emmtrix
October 9, 2024 16:00 8m 16s emmtrix:uf-float-2
emmtrix:uf-float-2
October 9, 2024 16:00 8m 16s
Refine tail call conditions for tail and musttail markers Build #1346: Pull request #1094 synchronize by antoniofrighetto
October 8, 2024 13:51 8m 33s antoniofrighetto:feature/refine-tail-calls
antoniofrighetto:feature/refine-tail-calls
October 8, 2024 13:51 8m 33s
Refine tail call conditions for tail and musttail markers Code Scanning - Action #1522: Pull request #1094 synchronize by antoniofrighetto
October 8, 2024 13:51 3m 46s antoniofrighetto:feature/refine-tail-calls
antoniofrighetto:feature/refine-tail-calls
October 8, 2024 13:51 3m 46s
Refine tail call conditions for tail and musttail markers Code Scanning - Action #1521: Pull request #1094 synchronize by antoniofrighetto
October 8, 2024 13:43 3m 49s antoniofrighetto:feature/refine-tail-calls
antoniofrighetto:feature/refine-tail-calls
October 8, 2024 13:43 3m 49s
Refine tail call conditions for tail and musttail markers Build #1345: Pull request #1094 synchronize by antoniofrighetto
October 8, 2024 13:43 8m 23s antoniofrighetto:feature/refine-tail-calls
antoniofrighetto:feature/refine-tail-calls
October 8, 2024 13:43 8m 23s
Refine tail call conditions for tail and musttail markers Code Scanning - Action #1520: Pull request #1094 synchronize by antoniofrighetto
October 8, 2024 10:48 3m 54s antoniofrighetto:feature/refine-tail-calls
antoniofrighetto:feature/refine-tail-calls
October 8, 2024 10:48 3m 54s
Refine tail call conditions for tail and musttail markers Build #1344: Pull request #1094 synchronize by antoniofrighetto
October 8, 2024 10:48 12m 50s antoniofrighetto:feature/refine-tail-calls
antoniofrighetto:feature/refine-tail-calls
October 8, 2024 10:48 12m 50s
Refine tail call conditions for tail and musttail markers Code Scanning - Action #1519: Pull request #1094 synchronize by antoniofrighetto
October 8, 2024 10:47 3m 50s antoniofrighetto:feature/refine-tail-calls
antoniofrighetto:feature/refine-tail-calls
October 8, 2024 10:47 3m 50s
Refine tail call conditions for tail and musttail markers Build #1343: Pull request #1094 synchronize by antoniofrighetto
October 8, 2024 10:47 8m 15s antoniofrighetto:feature/refine-tail-calls
antoniofrighetto:feature/refine-tail-calls
October 8, 2024 10:47 8m 15s
fn calls: track which blocks are freed Build #1342: Commit 338f681 pushed by nunoplopes
October 7, 2024 16:40 8m 15s master
master
October 7, 2024 16:40 8m 15s
fn calls: track which blocks are freed Code Scanning - Action #1518: Commit 338f681 pushed by nunoplopes
October 7, 2024 16:40 5m 40s master
master
October 7, 2024 16:40 5m 40s
llvm2alive: create unique !range regs Code Scanning - Action #1517: Commit 1b7531c pushed by nunoplopes
October 7, 2024 15:52 5m 49s master
master
October 7, 2024 15:52 5m 49s
llvm2alive: create unique !range regs Build #1341: Commit 1b7531c pushed by nunoplopes
October 7, 2024 15:52 8m 10s master
master
October 7, 2024 15:52 8m 10s
fn calls: allow removal of memory attrs Code Scanning - Action #1516: Commit 528a5c0 pushed by nunoplopes
October 7, 2024 15:24 5m 39s master
master
October 7, 2024 15:24 5m 39s
fn calls: allow removal of memory attrs Build #1340: Commit 528a5c0 pushed by nunoplopes
October 7, 2024 15:24 8m 45s master
master
October 7, 2024 15:24 8m 45s
fix crash with fn calls with read-only memory attr Code Scanning - Action #1515: Commit 583b733 pushed by nunoplopes
October 7, 2024 13:54 5m 48s master
master
October 7, 2024 13:54 5m 48s