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

Expose context gas scope via option indentation #11152: Commit 33aee5a pushed by michael-schwarz
September 20, 2024 16:25 1m 39s issue_1569
issue_1569
September 20, 2024 16:25 1m 39s
Complete thread_gas indentation #11151: Commit 300a195 pushed by michael-schwarz
September 20, 2024 16:13 1m 37s issue_1569
issue_1569
September 20, 2024 16:13 1m 37s
Add PerFunctionGas module indentation #11150: Commit dc84b4a pushed by michael-schwarz
September 20, 2024 16:09 1m 33s issue_1569
issue_1569
September 20, 2024 16:09 1m 33s
Actually rely on lattice structure for gas indentation #11149: Commit 05520ec pushed by michael-schwarz
September 20, 2024 15:59 1m 39s issue_1569
issue_1569
September 20, 2024 15:59 1m 39s
Modularize out details of the current approach indentation #11148: Commit b148e20 pushed by michael-schwarz
September 20, 2024 15:11 3s issue_1569
issue_1569
September 20, 2024 15:11 3s
Merge branch 'master' into loop-unrolling-bound-in-if-cond indentation #11147: Commit ffc702a pushed by karoliineh
September 13, 2024 17:08 1m 50s loop-unrolling-bound-in-if-cond
loop-unrolling-bound-in-if-cond
September 13, 2024 17:08 1m 50s
Detect fixed loops with autotuner even if there is no assignment of const value to the loop variable before loop indentation #11146: Pull request #1516 synchronize by karoliineh
September 13, 2024 17:08 1m 42s loop-unrolling-bound-in-if-cond
loop-unrolling-bound-in-if-cond
September 13, 2024 17:08 1m 42s
Make write+lock privatization read_global more precise using semi-distributive property indentation #11145: Pull request #1568 opened by sim642
September 13, 2024 08:10 2s traces-write+lock-semi-distr
traces-write+lock-semi-distr
September 13, 2024 08:10 2s
Make write+lock privatization read_global more precise using semi-dis… indentation #11144: Commit e3a3045 pushed by sim642
September 13, 2024 08:05 2s traces-write+lock-semi-distr
traces-write+lock-semi-distr
September 13, 2024 08:05 2s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis indentation #11143: Pull request #1485 synchronize by reb-ddm
September 11, 2024 12:02 1m 44s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
September 11, 2024 12:02 1m 44s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis indentation #11142: Pull request #1485 synchronize by reb-ddm
September 10, 2024 11:00 16m 57s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
September 10, 2024 11:00 16m 57s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis indentation #11141: Pull request #1485 synchronize by reb-ddm
September 10, 2024 10:49 9m 49s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
September 10, 2024 10:49 9m 49s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis indentation #11140: Pull request #1485 synchronize by reb-ddm
September 10, 2024 10:37 1m 44s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
September 10, 2024 10:37 1m 44s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis indentation #11139: Pull request #1485 synchronize by reb-ddm
September 10, 2024 09:47 1m 38s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
September 10, 2024 09:47 1m 38s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis indentation #11138: Pull request #1485 synchronize by reb-ddm
September 10, 2024 09:26 1m 42s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
September 10, 2024 09:26 1m 42s
Merge pull request #1512 from goblint/yaml-witness-violation-reject indentation #11137: Commit 52817d6 pushed by sim642
September 10, 2024 08:16 1m 50s master
master
September 10, 2024 08:16 1m 50s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis indentation #11136: Pull request #1485 synchronize by reb-ddm
September 9, 2024 10:50 1m 42s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
September 9, 2024 10:50 1m 42s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis indentation #11135: Pull request #1485 synchronize by reb-ddm
September 9, 2024 10:43 1m 40s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
September 9, 2024 10:43 1m 40s
Merge pull request #1562 from goblint/base-invalidate-may indentation #11134: Commit 46f2fbd pushed by sim642
September 9, 2024 10:35 2m 8s master
master
September 9, 2024 10:35 2m 8s
Merge pull request #1560 from goblint/issue-1541 indentation #11133: Commit f03d729 pushed by sim642
September 9, 2024 10:33 2m 11s master
master
September 9, 2024 10:33 2m 11s
Merge pull request #1554 from goblint/ppx_blob-unvendor indentation #11132: Commit a881e9f pushed by sim642
September 9, 2024 10:32 1m 36s master
master
September 9, 2024 10:32 1m 36s
Unvendor ppx_blob indentation #11131: Pull request #1554 synchronize by sim642
September 9, 2024 10:30 1m 38s ppx_blob-unvendor
ppx_blob-unvendor
September 9, 2024 10:30 1m 38s
Merge branch 'master' into ppx_blob-unvendor indentation #11130: Commit ce29e39 pushed by sim642
September 9, 2024 10:30 1m 38s ppx_blob-unvendor
ppx_blob-unvendor
September 9, 2024 10:30 1m 38s
Merge pull request #1523 from goblint/stdlib-starts_with indentation #11129: Commit 2b17599 pushed by sim642
September 9, 2024 10:25 1m 37s master
master
September 9, 2024 10:25 1m 37s
Optimize none base privatization, add eager Vojdani privatization indentation #11128: Pull request #1552 synchronize by sim642
September 9, 2024 09:26 1m 37s traces-vojdani
traces-vojdani
September 9, 2024 09:26 1m 37s