Skip to content

Actions: goblint/analyzer

Actions

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
indentation.yml
3,639 workflow runs
3,639 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Autotune for ana.malloc.unique_address_count for NoOverflows in SV-Comp indentation #11363: Pull request #1612 synchronize by karoliineh
November 5, 2024 10:47 1m 51s svcomp-auto-malloc
svcomp-auto-malloc
November 5, 2024 10:47 1m 51s
Detect mallocs in loops instead of detecting mallocs outside of loops indentation #11362: Commit 4e7bfae pushed by karoliineh
November 5, 2024 10:47 1m 40s svcomp-auto-malloc
svcomp-auto-malloc
November 5, 2024 10:47 1m 40s
Handle cases when nr of unrolls is greater than actual loop iterations indentation #11361: Commit c1070c6 pushed by karoliineh
November 4, 2024 15:00 1m 42s dynamic-unrolling
dynamic-unrolling
November 4, 2024 15:00 1m 42s
Improve logging messages indentation #11360: Commit b58fc95 pushed by karoliineh
November 4, 2024 13:37 1m 56s dynamic-unrolling
dynamic-unrolling
November 4, 2024 13:37 1m 56s
Add logic for detecting loop heads for dynamic loop unrolling indentation #11359: Commit 7ca9bad pushed by karoliineh
November 4, 2024 09:59 3s dynamic-unrolling
dynamic-unrolling
November 4, 2024 09:59 3s
Fix thread for non-unique spawns indentation #11358: Pull request #1617 synchronize by michael-schwarz
November 4, 2024 09:39 1m 48s issue_1615
issue_1615
November 4, 2024 09:39 1m 48s
Move tests indentation #11357: Commit eb149f9 pushed by michael-schwarz
November 4, 2024 09:39 2m 4s issue_1615
issue_1615
November 4, 2024 09:39 2m 4s
Fix thread for non-unique spawns indentation #11356: Pull request #1617 synchronize by michael-schwarz
November 4, 2024 09:38 1m 40s issue_1615
issue_1615
November 4, 2024 09:38 1m 40s
Use multiple also in bot case indentation #11355: Commit 1bb50df pushed by michael-schwarz
November 4, 2024 09:38 1m 54s issue_1615
issue_1615
November 4, 2024 09:38 1m 54s
Print innermost backtrace mark for uncaught exception even with backtrace printing off indentation #11354: Pull request #1619 opened by sim642
November 4, 2024 09:15 3s issue-1616
issue-1616
November 4, 2024 09:15 3s
Print innermost backtrace mark for uncaught exception even with backt… indentation #11353: Commit f7184c0 pushed by sim642
November 4, 2024 09:08 2s issue-1616
issue-1616
November 4, 2024 09:08 2s
Use HM.exists instead of HM.fold in td3 (closes #1618) indentation #11352: Commit 39d0a8a pushed by sim642
November 4, 2024 08:30 2m 10s master
master
November 4, 2024 08:30 2m 10s
Fix thread for non-unique spawns indentation #11351: Pull request #1617 opened by michael-schwarz
November 3, 2024 16:28 2s issue_1615
issue_1615
November 3, 2024 16:28 2s
Fix thread for non-unique spawns indentation #11350: Commit c0d51c3 pushed by michael-schwarz
November 3, 2024 16:25 2s issue_1615
issue_1615
November 3, 2024 16:25 2s
Merge pull request #1614 from goblint/semgrep-fold indentation #11349: Commit 750f1ee pushed by sim642
November 1, 2024 18:12 1m 49s master
master
November 1, 2024 18:12 1m 49s
Replace some folds with exists or for_all indentation #11348: Pull request #1614 opened by sim642
November 1, 2024 10:59 3s semgrep-fold
semgrep-fold
November 1, 2024 10:59 3s
Extend semgrep tracing rule for abbreviated module name indentation #11347: Commit 62cb655 pushed by sim642
November 1, 2024 10:56 1m 48s master
master
November 1, 2024 10:56 1m 48s
Fix or suppress semgrep fold-exists/for_all warnings indentation #11346: Commit 513662c pushed by sim642
November 1, 2024 10:55 2s semgrep-fold
semgrep-fold
November 1, 2024 10:55 2s
mine-W privatization undermines Miné, lock is less precise than mine/protection indentation #11345: Pull request #1613 synchronize by sim642
November 1, 2024 10:36 1m 51s mine-W-part-by-S
mine-W-part-by-S
November 1, 2024 10:36 1m 51s
Try to fix lock privatization precision with a may-V map indentation #11344: Commit ba7ff17 pushed by sim642
November 1, 2024 10:36 1m 53s mine-W-part-by-S
mine-W-part-by-S
November 1, 2024 10:36 1m 53s
mine-W privatization undermines Miné, lock is less precise than mine/protection indentation #11343: Pull request #1613 opened by sim642
November 1, 2024 09:48 4s mine-W-part-by-S
mine-W-part-by-S
November 1, 2024 09:48 4s
Add test to show that our Miné with W should partition it by lockset indentation #11342: Commit e6277f8 pushed by sim642
November 1, 2024 09:43 3s mine-W-part-by-S
mine-W-part-by-S
November 1, 2024 09:43 3s
Autotune for ana.malloc.unique_address_count for NoOverflows in SV-Comp indentation #11341: Pull request #1612 opened by karoliineh
October 31, 2024 18:29 2s svcomp-auto-malloc
svcomp-auto-malloc
October 31, 2024 18:29 2s
Refactor: generalize repetitive function definition indentation #11340: Commit 2508f1a pushed by karoliineh
October 31, 2024 18:21 3s svcomp-auto-malloc
svcomp-auto-malloc
October 31, 2024 18:21 3s
Introduce a simplified version of td3 with warrowing indentation #11339: Pull request #1611 opened by arkocal
October 31, 2024 12:12 3s arkocal:td_simplified
arkocal:td_simplified
October 31, 2024 12:12 3s