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

Add YAML invariant_set indices to widening tokens docs #1843: Pull request #1596 opened by sim642
October 9, 2024 07:40 4m 24s yaml-witness-invariant-set-widen-token
yaml-witness-invariant-set-widen-token
October 9, 2024 07:40 4m 24s
Improve widening token output docs #1842: Commit a281744 pushed by sim642
October 9, 2024 07:38 4m 17s yaml-witness-invariant-set-widen-token
yaml-witness-invariant-set-widen-token
October 9, 2024 07:38 4m 17s
Add invariant_set index to widening token docs #1841: Commit 21c000c pushed by sim642
October 9, 2024 07:29 4m 20s yaml-witness-invariant-set-widen-token
yaml-witness-invariant-set-widen-token
October 9, 2024 07:29 4m 20s
Add invariant_set index to widening token docs #1840: Commit ec9ccdb pushed by sim642
October 9, 2024 07:29 4m 50s yaml-witness-invariant-set-widen-token
yaml-witness-invariant-set-widen-token
October 9, 2024 07:29 4m 50s
Add invariant_set index to widening token docs #1839: Commit 9a80dde pushed by sim642
October 8, 2024 14:55 4m 23s yaml-witness-invariant-set-widen-token
yaml-witness-invariant-set-widen-token
October 8, 2024 14:55 4m 23s
Restrict unrolling to loops that are nested within less than 4 loops docs #1838: Pull request #1595 opened by karoliineh
October 8, 2024 10:51 4m 40s no-unrolling-resource
no-unrolling-resource
October 8, 2024 10:51 4m 40s
Test ID hash docs #1837: Commit 0cf1b2a pushed by sim642
October 7, 2024 13:14 4m 57s issue-1594
issue-1594
October 7, 2024 13:14 4m 57s
Merge pull request #1588 from goblint/booldomain docs #1836: Commit 0deedb9 pushed by sim642
October 7, 2024 13:13 5m 0s issue-1594
issue-1594
October 7, 2024 13:13 5m 0s
Merge pull request #1588 from goblint/booldomain docs #1835: Commit 0deedb9 pushed by sim642
October 5, 2024 12:55 4m 45s master
master
October 5, 2024 12:55 4m 45s
Merge pull request #1592 from goblint/svcomp25-no-mallocWrapper docs #1834: Commit 4acdae5 pushed by sim642
October 5, 2024 12:54 4m 32s master
master
October 5, 2024 12:54 4m 32s
Do not unroll loops with a nesting higher than 3 docs #1833: Commit 761282b pushed by karoliineh
October 4, 2024 10:19 4m 22s no-unrolling-resource
no-unrolling-resource
October 4, 2024 10:19 4m 22s
Remove witness exclude-vars from svcomp conf docs #1832: Pull request #1593 opened by sim642
October 4, 2024 08:07 4m 22s svcomp25-no-exclude-vars
svcomp25-no-exclude-vars
October 4, 2024 08:07 4m 22s
Remove witness exclude-vars from svcomp conf docs #1831: Commit 50b0bdd pushed by sim642
October 4, 2024 08:02 4m 23s svcomp25-no-exclude-vars
svcomp25-no-exclude-vars
October 4, 2024 08:02 4m 23s
Remove fixed malloc wrappers from svcomp conf docs #1830: Pull request #1592 opened by sim642
October 4, 2024 07:32 4m 15s svcomp25-no-mallocWrapper
svcomp25-no-mallocWrapper
October 4, 2024 07:32 4m 15s
Remove fixed malloc wrappers from svcomp conf docs #1829: Commit 30a2ace pushed by sim642
October 4, 2024 07:23 4m 21s svcomp25-no-mallocWrapper
svcomp25-no-mallocWrapper
October 4, 2024 07:23 4m 21s
Count maximum nesting of loops in a file docs #1828: Commit ea62e2c pushed by karoliineh
October 3, 2024 17:32 4m 18s improve-unroll-debug-msgs
improve-unroll-debug-msgs
October 3, 2024 17:32 4m 18s
Handle loop statement comparison between two variables in loop unrolling docs #1827: Pull request #1590 opened by karoliineh
October 2, 2024 19:30 4m 30s loopUnroll-loop-cond-vars
loopUnroll-loop-cond-vars
October 2, 2024 19:30 4m 30s
Handle loop statement comparison between two variables in loopUnrolling docs #1826: Commit c439f79 pushed by karoliineh
October 2, 2024 19:18 4m 23s loopUnroll-loop-cond-vars
loopUnroll-loop-cond-vars
October 2, 2024 19:18 4m 23s
Remove restriction that no loop unrolling is done when breaks are in the loop docs #1825: Pull request #1518 synchronize by karoliineh
October 2, 2024 19:03 4m 21s loop-unroll-ignore-breaks
loop-unroll-ignore-breaks
October 2, 2024 19:03 4m 21s
Remove unused checkNoBreak visitors docs #1824: Commit e656cc1 pushed by karoliineh
October 2, 2024 19:03 4m 34s loop-unroll-ignore-breaks
loop-unroll-ignore-breaks
October 2, 2024 19:03 4m 34s
Detect fixed loops with autotuner even if there is no assignment of const value to the loop variable before loop docs #1823: Pull request #1516 synchronize by karoliineh
October 2, 2024 18:53 4m 16s loop-unrolling-bound-in-if-cond
loop-unrolling-bound-in-if-cond
October 2, 2024 18:53 4m 16s
Bugfix: do not assume loop start to be 0 in case of decreasing values docs #1822: Commit 64b3baa pushed by karoliineh
October 2, 2024 18:53 4m 39s loop-unrolling-bound-in-if-cond
loop-unrolling-bound-in-if-cond
October 2, 2024 18:53 4m 39s
Merge pull request #1584 from goblint/loopUnroll-default docs #1821: Commit bb6f9aa pushed by sim642
October 2, 2024 15:04 5m 36s master
master
October 2, 2024 15:04 5m 36s
Exclude multithreaded main-main races by threadflag docs #1820: Pull request #1589 opened by sim642
October 2, 2024 15:03 4m 57s threadflag-access
threadflag-access
October 2, 2024 15:03 4m 57s
Exclude multithreaded main-main races by threadflag docs #1819: Commit 30e5ef1 pushed by sim642
October 2, 2024 14:57 5m 21s threadflag-access
threadflag-access
October 2, 2024 14:57 5m 21s