Skip to content

Actions: goblint/analyzer

Actions

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Unsound congruence domain arithmetic indentation #11227: Pull request #1587 opened by sim642
October 1, 2024 09:09 3s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
October 1, 2024 09:09 3s
Add reduced congruence both branches dead test indentation #11226: Commit 36525a9 pushed by sim642
October 1, 2024 08:52 3s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
October 1, 2024 08:52 3s
Adjust loop unrolling defaults indentation #11225: Pull request #1584 synchronize by karoliineh
September 30, 2024 14:22 2m 25s loopUnroll-default
loopUnroll-default
September 30, 2024 14:22 2m 25s
Do not turn on autotune loop unrolling when the only specification is… indentation #11224: Commit 42c3f5a pushed by karoliineh
September 30, 2024 14:21 1m 53s loopUnroll-default
loopUnroll-default
September 30, 2024 14:21 1m 53s
Adjust loop unrolling defaults indentation #11223: Pull request #1584 synchronize by karoliineh
September 30, 2024 13:31 2m 26s loopUnroll-default
loopUnroll-default
September 30, 2024 13:31 2m 26s
Merge branch 'master' into loopUnroll-default indentation #11222: Commit 4772960 pushed by karoliineh
September 30, 2024 13:31 2m 7s loopUnroll-default
loopUnroll-default
September 30, 2024 13:31 2m 7s
Merge pull request #1583 from goblint/loopUnroll-stubs indentation #11221: Commit 060004c pushed by karoliineh
September 30, 2024 13:27 1m 35s master
master
September 30, 2024 13:27 1m 35s
Merge pull request #1582 from goblint/refactor-loopUnroll indentation #11220: Commit 1f2bb69 pushed by karoliineh
September 30, 2024 13:27 1m 55s master
master
September 30, 2024 13:27 1m 55s
Refactor loopUnrolling autotuner indentation #11219: Pull request #1582 synchronize by karoliineh
September 30, 2024 12:34 1m 51s refactor-loopUnroll
refactor-loopUnroll
September 30, 2024 12:34 1m 51s
Merge branch 'master' into refactor-loopUnroll indentation #11218: Commit 3e9f3cd pushed by karoliineh
September 30, 2024 12:34 1m 48s refactor-loopUnroll
refactor-loopUnroll
September 30, 2024 12:34 1m 48s
Merge pull request #1579 from goblint/issue-1576 indentation #11217: Commit 815336e pushed by sim642
September 30, 2024 08:45 1m 41s master
master
September 30, 2024 08:45 1m 41s
Try to fix sv-benchmarks termination-restricted-15/IntPath Apron normalization indentation #11216: Pull request #1585 opened by sim642
September 30, 2024 08:36 2s issue-1576-reduce-int
issue-1576-reduce-int
September 30, 2024 08:36 2s
Try to fix sv-benchmarks termination-restricted-15/IntPath Apron norm… indentation #11215: Commit abdc80a pushed by sim642
September 30, 2024 08:31 3s issue-1576-reduce-int
issue-1576-reduce-int
September 30, 2024 08:31 3s
Merge remote-tracking branch 'origin/machdep-arch' into staging_machd… indentation #11214: Commit e93808e pushed by michael-schwarz
September 30, 2024 07:57 3s staging_machdep-arch
staging_machdep-arch
September 30, 2024 07:57 3s
Adjust loop unrolling defaults indentation #11213: Pull request #1584 opened by karoliineh
September 28, 2024 22:12 2s loopUnroll-default
loopUnroll-default
September 28, 2024 22:12 2s
Remove unused loopUnrollingCallVisitor indentation #11212: Commit e8f51dc pushed by karoliineh
September 28, 2024 21:25 2s loopUnroll-default
loopUnroll-default
September 28, 2024 21:25 2s
Remove unused loopUnrollingCallVisitor indentation #11211: Commit e8f51dc pushed by karoliineh
September 28, 2024 21:24 2s loopUntroll-default
loopUntroll-default
September 28, 2024 21:24 2s
Do not unroll loops in stub functions indentation #11210: Pull request #1583 opened by karoliineh
September 28, 2024 21:05 2s loopUnroll-stubs
loopUnroll-stubs
September 28, 2024 21:05 2s
Do not unroll loops in goblint stub functions indentation #11209: Commit 31c474c pushed by karoliineh
September 28, 2024 20:58 2s loopUnroll-stubs
loopUnroll-stubs
September 28, 2024 20:58 2s
Call findAssignmentConstDiff on loops body instead the loop itself indentation #11208: Commit da52931 pushed by karoliineh
September 28, 2024 20:26 1m 51s master
master
September 28, 2024 20:26 1m 51s
Refactor loopUnrolling autotuner indentation #11207: Pull request #1582 opened by karoliineh
September 27, 2024 19:24 2s refactor-loopUnroll
refactor-loopUnroll
September 27, 2024 19:24 2s
Use let* option monad syntax from GobOption.Syntax in LoopUnrolling indentation #11206: Commit ee7734d pushed by karoliineh
September 27, 2024 19:16 3s refactor-loopUnroll
refactor-loopUnroll
September 27, 2024 19:16 3s
Detect fixed loops with autotuner even if there is no assignment of const value to the loop variable before loop indentation #11205: Pull request #1516 synchronize by karoliineh
September 27, 2024 17:05 1m 40s loop-unrolling-bound-in-if-cond
loop-unrolling-bound-in-if-cond
September 27, 2024 17:05 1m 40s
Do not unroll loops in goblint stub functions indentation #11204: Commit b7f4cc8 pushed by karoliineh
September 27, 2024 17:05 1m 42s loop-unrolling-bound-in-if-cond
loop-unrolling-bound-in-if-cond
September 27, 2024 17:05 1m 42s
Detect fixed loops with autotuner even if there is no assignment of const value to the loop variable before loop indentation #11203: Pull request #1516 synchronize by karoliineh
September 27, 2024 13:06 1m 47s loop-unrolling-bound-in-if-cond
loop-unrolling-bound-in-if-cond
September 27, 2024 13:06 1m 47s