Skip to content

Actions: AliveToolkit/alive2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
758 workflow runs
758 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Extend state representation to track errno across control-flow Build #1764: Pull request #1284 opened by antoniofrighetto
16m 57s antoniofrighetto:feature/handle-errno-for-malloc
antoniofrighetto:feature/handle-errno-for-malloc
16m 57s
Extend state representation to track errno across control-flow Code Scanning - Action #2009: Pull request #1284 opened by antoniofrighetto
3m 57s antoniofrighetto:feature/handle-errno-for-malloc
antoniofrighetto:feature/handle-errno-for-malloc
3m 57s
fix #1283: crash with malformed alive input Build #1763: Commit 904f415 pushed by nunoplopes
12m 35s master
master
12m 35s
fix #1283: crash with malformed alive input Code Scanning - Action #2008: Commit 904f415 pushed by nunoplopes
3m 56s master
master
3m 56s
fix #1282: crash in alive with malformed aggregate Code Scanning - Action #2007: Commit a36e50d pushed by nunoplopes
4m 1s master
master
4m 1s
fix #1282: crash in alive with malformed aggregate Build #1762: Commit a36e50d pushed by nunoplopes
11m 34s master
master
11m 34s
github_actions in /. - Update #1230687725 Dependabot Updates #66: by dependabot bot
31s master
master
31s
Fix handling of allocation functions without allocsize attribute - #1238 Code Scanning - Action #2006: Pull request #1252 synchronize by IamYJLee
3m 42s IamYJLee:fix-1238
IamYJLee:fix-1238
3m 42s
Fix handling of allocation functions without allocsize attribute - #1238 Build #1761: Pull request #1252 synchronize by IamYJLee
13m 44s IamYJLee:fix-1238
IamYJLee:fix-1238
13m 44s
remove fill poison, which hasn't been used in a while Build #1760: Commit 495e6c2 pushed by nunoplopes
17m 34s master
master
17m 34s
remove fill poison, which hasn't been used in a while Code Scanning - Action #2005: Commit 495e6c2 pushed by nunoplopes
3m 50s master
master
3m 50s
Code Scanning - Action Code Scanning - Action #2004: Scheduled
3m 46s master
master
3m 46s
llvm2alive: skip functions with very large integer types Build #1759: Commit 2d6b78f pushed by nunoplopes
12m 7s master
master
12m 7s
llvm2alive: skip functions with very large integer types Code Scanning - Action #2003: Commit 2d6b78f pushed by nunoplopes
4m 0s master
master
4m 0s
Changes semantics of load to allow type punning (#1281) Code Scanning - Action #2002: Commit 21817c5 pushed by nunoplopes
3m 41s master
master
3m 41s
Changes semantics of load to allow type punning (#1281) Build #1758: Commit 21817c5 pushed by nunoplopes
20m 15s master
master
20m 15s
Changes semantics of load to allow type punning Code Scanning - Action #2001: Pull request #1281 opened by nunoplopes
3m 46s int_ptr_type_punning
int_ptr_type_punning
3m 46s
Changes semantics of load to allow type punning Build #1757: Pull request #1281 opened by nunoplopes
17m 25s int_ptr_type_punning
int_ptr_type_punning
17m 25s
crash Code Scanning - Action #2000: Commit 05ff7d8 pushed by nunoplopes
3m 47s int_ptr_type_punning
int_ptr_type_punning
3m 47s
crash Build #1756: Commit 05ff7d8 pushed by nunoplopes
18m 38s int_ptr_type_punning
int_ptr_type_punning
18m 38s
crash Build #1755: Commit 44aa6c1 pushed by nunoplopes
18m 2s int_ptr_type_punning
int_ptr_type_punning
18m 2s
crash Code Scanning - Action #1999: Commit 44aa6c1 pushed by nunoplopes
4m 44s int_ptr_type_punning
int_ptr_type_punning
4m 44s
crash Build #1754: Commit b165f37 pushed by nunoplopes
14m 36s int_ptr_type_punning
int_ptr_type_punning
14m 36s
crash Code Scanning - Action #1998: Commit b165f37 pushed by nunoplopes
3m 56s int_ptr_type_punning
int_ptr_type_punning
3m 56s
edits Build #1753: Commit 833db78 pushed by nunoplopes
14m 57s int_ptr_type_punning
int_ptr_type_punning
14m 57s