Skip to content

Actions: goblint/analyzer

Actions

docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
1,929 workflow runs
1,929 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 docs #1943: Pull request #1612 synchronize by karoliineh
November 5, 2024 10:47 4m 46s svcomp-auto-malloc
svcomp-auto-malloc
November 5, 2024 10:47 4m 46s
Detect mallocs in loops instead of detecting mallocs outside of loops docs #1942: Commit 4e7bfae pushed by karoliineh
November 5, 2024 10:47 4m 41s svcomp-auto-malloc
svcomp-auto-malloc
November 5, 2024 10:47 4m 41s
Handle cases when nr of unrolls is greater than actual loop iterations docs #1941: Commit c1070c6 pushed by karoliineh
November 4, 2024 15:00 4m 52s dynamic-unrolling
dynamic-unrolling
November 4, 2024 15:00 4m 52s
Improve logging messages docs #1940: Commit b58fc95 pushed by karoliineh
November 4, 2024 13:37 4m 29s dynamic-unrolling
dynamic-unrolling
November 4, 2024 13:37 4m 29s
Add logic for detecting loop heads for dynamic loop unrolling docs #1939: Commit 7ca9bad pushed by karoliineh
November 4, 2024 09:59 4m 23s dynamic-unrolling
dynamic-unrolling
November 4, 2024 09:59 4m 23s
Fix thread for non-unique spawns docs #1938: Pull request #1617 synchronize by michael-schwarz
November 4, 2024 09:39 4m 39s issue_1615
issue_1615
November 4, 2024 09:39 4m 39s
Move tests docs #1937: Commit eb149f9 pushed by michael-schwarz
November 4, 2024 09:39 4m 21s issue_1615
issue_1615
November 4, 2024 09:39 4m 21s
Fix thread for non-unique spawns docs #1936: Pull request #1617 synchronize by michael-schwarz
November 4, 2024 09:38 4m 34s issue_1615
issue_1615
November 4, 2024 09:38 4m 34s
Use multiple also in bot case docs #1935: Commit 1bb50df pushed by michael-schwarz
November 4, 2024 09:38 4m 53s issue_1615
issue_1615
November 4, 2024 09:38 4m 53s
Print innermost backtrace mark for uncaught exception even with backtrace printing off docs #1934: Pull request #1619 opened by sim642
November 4, 2024 09:15 4m 42s issue-1616
issue-1616
November 4, 2024 09:15 4m 42s
Print innermost backtrace mark for uncaught exception even with backt… docs #1933: Commit f7184c0 pushed by sim642
November 4, 2024 09:08 4m 26s issue-1616
issue-1616
November 4, 2024 09:08 4m 26s
Use HM.exists instead of HM.fold in td3 (closes #1618) docs #1932: Commit 39d0a8a pushed by sim642
November 4, 2024 08:30 4m 55s master
master
November 4, 2024 08:30 4m 55s
Fix thread for non-unique spawns docs #1931: Pull request #1617 opened by michael-schwarz
November 3, 2024 16:28 4m 24s issue_1615
issue_1615
November 3, 2024 16:28 4m 24s
Fix thread for non-unique spawns docs #1930: Commit c0d51c3 pushed by michael-schwarz
November 3, 2024 16:25 5m 20s issue_1615
issue_1615
November 3, 2024 16:25 5m 20s
Merge pull request #1614 from goblint/semgrep-fold docs #1929: Commit 750f1ee pushed by sim642
November 1, 2024 18:12 4m 44s master
master
November 1, 2024 18:12 4m 44s
Replace some folds with exists or for_all docs #1928: Pull request #1614 opened by sim642
November 1, 2024 10:59 4m 37s semgrep-fold
semgrep-fold
November 1, 2024 10:59 4m 37s
Extend semgrep tracing rule for abbreviated module name docs #1927: Commit 62cb655 pushed by sim642
November 1, 2024 10:56 4m 56s master
master
November 1, 2024 10:56 4m 56s
Fix or suppress semgrep fold-exists/for_all warnings docs #1926: Commit 513662c pushed by sim642
November 1, 2024 10:55 4m 21s semgrep-fold
semgrep-fold
November 1, 2024 10:55 4m 21s
mine-W privatization undermines Miné, lock is less precise than mine/protection docs #1925: Pull request #1613 synchronize by sim642
November 1, 2024 10:36 4m 30s mine-W-part-by-S
mine-W-part-by-S
November 1, 2024 10:36 4m 30s
Try to fix lock privatization precision with a may-V map docs #1924: Commit ba7ff17 pushed by sim642
November 1, 2024 10:36 4m 40s mine-W-part-by-S
mine-W-part-by-S
November 1, 2024 10:36 4m 40s
mine-W privatization undermines Miné, lock is less precise than mine/protection docs #1923: Pull request #1613 opened by sim642
November 1, 2024 09:48 4m 29s mine-W-part-by-S
mine-W-part-by-S
November 1, 2024 09:48 4m 29s
Add test to show that our Miné with W should partition it by lockset docs #1922: Commit e6277f8 pushed by sim642
November 1, 2024 09:43 4m 41s mine-W-part-by-S
mine-W-part-by-S
November 1, 2024 09:43 4m 41s
Autotune for ana.malloc.unique_address_count for NoOverflows in SV-Comp docs #1921: Pull request #1612 opened by karoliineh
October 31, 2024 18:29 4m 45s svcomp-auto-malloc
svcomp-auto-malloc
October 31, 2024 18:29 4m 45s
Refactor: generalize repetitive function definition docs #1920: Commit 2508f1a pushed by karoliineh
October 31, 2024 18:21 4m 25s svcomp-auto-malloc
svcomp-auto-malloc
October 31, 2024 18:21 4m 25s
Introduce a simplified version of td3 with warrowing docs #1919: Pull request #1611 opened by arkocal
October 31, 2024 12:12 16s arkocal:td_simplified
arkocal:td_simplified
October 31, 2024 12:12 16s