Skip to content

Actions: Red-Panda64/goblint-analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
95 workflow runs
95 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

mini refactor options #95: Commit 5037570 pushed by Red-Panda64
December 3, 2024 14:43 22s feature/divide-and-narrow
feature/divide-and-narrow
December 3, 2024 14:43 22s
fix whitespace errors options #94: Commit 493732e pushed by Red-Panda64
December 3, 2024 13:19 23s widening-gas
widening-gas
December 3, 2024 13:19 23s
remove unnecessary orphan side effect handling options #93: Commit 58c107f pushed by Red-Panda64
December 3, 2024 13:07 26s feature/divide-and-narrow
feature/divide-and-narrow
December 3, 2024 13:07 26s
set meaningful default for narrow gas options #92: Commit 30df0e8 pushed by Red-Panda64
December 2, 2024 14:53 26s feature/divide-and-narrow
feature/divide-and-narrow
December 2, 2024 14:53 26s
rename test directory options #91: Commit d85ad23 pushed by Red-Panda64
December 2, 2024 14:22 22s feature/divide-and-narrow
feature/divide-and-narrow
December 2, 2024 14:22 22s
rename test directory options #90: Commit 165296f pushed by Red-Panda64
December 2, 2024 14:15 23s feature/divide-and-narrow
feature/divide-and-narrow
December 2, 2024 14:15 23s
Fix thread for non-unique spawns options #89: Commit c4c5b13 pushed by Red-Panda64
November 3, 2024 17:33 22s widening-gas-divide-and-narrow-apinis
widening-gas-divide-and-narrow-apinis
November 3, 2024 17:33 22s
comparison: filter only concurrency related globals options #88: Commit 3a17672 pushed by Red-Panda64
November 2, 2024 13:55 26s widening-gas-divide-and-narrow-apinis
widening-gas-divide-and-narrow-apinis
November 2, 2024 13:55 26s
implement simple apinis-esque update rule options #87: Commit 03ba603 pushed by Red-Panda64
October 8, 2024 11:31 22s widening-gas-divide-and-narrow-apinis
widening-gas-divide-and-narrow-apinis
October 8, 2024 11:31 22s
always output memory usage after solving options #86: Commit f7e04fb pushed by Red-Panda64
September 16, 2024 14:55 21s widening-gas-divide-and-narrow
widening-gas-divide-and-narrow
September 16, 2024 14:55 21s
emit additional info on contributions from/to dead unknowns options #85: Commit a6d93a7 pushed by Red-Panda64
September 3, 2024 17:06 22s widening-gas-divide-and-narrow-stats
widening-gas-divide-and-narrow-stats
September 3, 2024 17:06 22s
fix: counting of function entries for botification options #84: Commit b560b0e pushed by Red-Panda64
September 3, 2024 17:04 21s widening-gas-divide-and-narrow-stats
widening-gas-divide-and-narrow-stats
September 3, 2024 17:04 21s
fix narrow-gas for non-immediate growth options #83: Commit 4f72b2a pushed by Red-Panda64
August 16, 2024 08:43 18s divide-and-narrow
divide-and-narrow
August 16, 2024 08:43 18s
remove duplicate tests options #82: Commit 0ced21a pushed by Red-Panda64
July 15, 2024 14:17 20s divide-and-narrow-transfer-functions
divide-and-narrow-transfer-functions
July 15, 2024 14:17 20s
only store prev_sides when non-empty options #81: Commit 1708801 pushed by Red-Panda64
July 15, 2024 14:10 23s divide-and-narrow
divide-and-narrow
July 15, 2024 14:10 23s
remove duplicate tests options #80: Commit 23c4be0 pushed by Red-Panda64
July 11, 2024 16:42 23s divide-and-narrow-transfer-functions
divide-and-narrow-transfer-functions
July 11, 2024 16:42 23s
simplify divided side widening case options #79: Commit 03ea75d pushed by Red-Panda64
July 11, 2024 15:21 22s divide-and-narrow
divide-and-narrow
July 11, 2024 15:21 22s
simplify divided side widening case options #78: Commit 1ea35ef pushed by Red-Panda64
July 11, 2024 14:59 20s divide-and-narrow
divide-and-narrow
July 11, 2024 14:59 20s
fix: perform deep copy of divided_side_effects in copy_marshal options #77: Commit 1ad2915 pushed by Red-Panda64
July 11, 2024 14:24 26s divide-and-narrow
divide-and-narrow
July 11, 2024 14:24 26s
simplify divided side widening case options #76: Commit ebce73b pushed by Red-Panda64
July 11, 2024 11:48 26s divide-and-narrow
divide-and-narrow
July 11, 2024 11:48 26s
test narrowing of escape analysis side-effects options #75: Commit 5509fb1 pushed by Red-Panda64
July 11, 2024 10:50 19s divide-and-narrow
divide-and-narrow
July 11, 2024 10:50 19s
propagate bottom through narrowing operator of lifters options #74: Commit a23b728 pushed by Red-Panda64
July 11, 2024 09:30 23s bottom-propagation
bottom-propagation
July 11, 2024 09:30 23s
phase out remove_side options #73: Commit 7f2d5c4 pushed by Red-Panda64
July 9, 2024 11:40 21s divide-and-narrow
divide-and-narrow
July 9, 2024 11:40 21s
add another dead side-effect test options #72: Commit 5b64b4d pushed by Red-Panda64
July 9, 2024 09:48 25s divide-and-narrow
divide-and-narrow
July 9, 2024 09:48 25s
eliminate dead function side-effects options #71: Commit 6a196a9 pushed by Red-Panda64
July 4, 2024 15:04 22s divide-and-narrow
divide-and-narrow
July 4, 2024 15:04 22s