Skip to content

Actions: goblint/analyzer

Actions

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Sparsification of Affine Equality Matrix indentation #11716: Pull request #1625 synchronize by charlotte-brandt
December 21, 2024 18:08 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 21, 2024 18:08 Action required
Introduce a simplified version of td3 with warrowing (see PR 1611) indentation #11715: Pull request #1626 synchronize by FelixKrayer
December 21, 2024 17:20 2m 4s FelixKrayer:td_simplified
FelixKrayer:td_simplified
December 21, 2024 17:20 2m 4s
Sparsification of Affine Equality Matrix indentation #11714: Pull request #1625 synchronize by GollokG
December 21, 2024 17:12 2m 0s CopperCableIsolator:master
CopperCableIsolator:master
December 21, 2024 17:12 2m 0s
Sparsification of Affine Equality Matrix indentation #11713: Pull request #1625 synchronize by GollokG
December 21, 2024 09:04 2m 10s CopperCableIsolator:master
CopperCableIsolator:master
December 21, 2024 09:04 2m 10s
Linear Two Variable Equality Domain Refining Value Domain indentation #11712: Pull request #1635 synchronize by DrMichaelPetter
December 20, 2024 10:17 1m 59s affineeq-refine
affineeq-refine
December 20, 2024 10:17 1m 59s
duplicate regression test indentation #11711: Commit e9100c6 pushed by DrMichaelPetter
December 20, 2024 10:17 1m 41s affineeq-refine
affineeq-refine
December 20, 2024 10:17 1m 41s
Linear Two Variable Equality Domain Refining Value Domain indentation #11710: Pull request #1635 synchronize by DrMichaelPetter
December 20, 2024 10:08 1m 53s affineeq-refine
affineeq-refine
December 20, 2024 10:08 1m 53s
more regression indentation #11709: Commit 0a9f46d pushed by DrMichaelPetter
December 20, 2024 10:08 1m 55s affineeq-refine
affineeq-refine
December 20, 2024 10:08 1m 55s
Merge pull request #1580 from goblint/issue-1577 indentation #11708: Commit 91bbf20 pushed by sim642
December 20, 2024 09:44 4m 44s master
master
December 20, 2024 09:44 4m 44s
Bitfield Domain indentation #11707: Pull request #1623 synchronize by ManuelLerchner
December 20, 2024 09:43 3m 54s ManuelLerchner:master
ManuelLerchner:master
December 20, 2024 09:43 3m 54s
Bitfield Domain indentation #11706: Pull request #1623 synchronize by ManuelLerchner
December 20, 2024 09:42 2m 0s ManuelLerchner:master
ManuelLerchner:master
December 20, 2024 09:42 2m 0s
Rename a few missed ctx -> man renames indentation #11705: Commit fde89dd pushed by sim642
December 20, 2024 09:41 1m 53s master
master
December 20, 2024 09:41 1m 53s
Merge branch 'master' into traces-vojdani indentation #11704: Commit 040772c pushed by sim642
December 20, 2024 09:38 2m 42s traces-vojdani
traces-vojdani
December 20, 2024 09:38 2m 42s
Optimize none base privatization, add eager Vojdani privatization indentation #11703: Pull request #1552 synchronize by sim642
December 20, 2024 09:38 2m 6s traces-vojdani
traces-vojdani
December 20, 2024 09:38 2m 6s
Optimize none base privatization, add eager Vojdani privatization indentation #11702: Pull request #1552 synchronize by sim642
December 20, 2024 09:30 2m 16s traces-vojdani
traces-vojdani
December 20, 2024 09:30 2m 16s
Add exp.volatiles_are_top back to none privatization indentation #11701: Commit 51676de pushed by sim642
December 20, 2024 09:30 1m 53s traces-vojdani
traces-vojdani
December 20, 2024 09:30 1m 53s
Linear Two Variable Equality Domain Refining Value Domain indentation #11700: Pull request #1635 synchronize by DrMichaelPetter
December 20, 2024 09:22 3m 32s affineeq-refine
affineeq-refine
December 20, 2024 09:22 3m 32s
Merge branch 'master' into affineeq-refine indentation #11699: Commit cb92439 pushed by DrMichaelPetter
December 20, 2024 09:22 2m 23s affineeq-refine
affineeq-refine
December 20, 2024 09:22 2m 23s
Merge pull request #1649 from goblint/fix-apron-overflows indentation #11698: Commit 3068dcb pushed by DrMichaelPetter
December 20, 2024 09:20 1m 35s master
master
December 20, 2024 09:20 1m 35s
Optimize none base privatization, add eager Vojdani privatization indentation #11697: Pull request #1552 synchronize by sim642
December 20, 2024 09:19 2m 8s traces-vojdani
traces-vojdani
December 20, 2024 09:19 2m 8s
Add comment comma from review indentation #11696: Commit c14fdf3 pushed by sim642
December 20, 2024 09:18 1m 59s traces-vojdani
traces-vojdani
December 20, 2024 09:18 1m 59s
Implement delayed widening indentation #11695: Pull request #1483 synchronize by sim642
December 20, 2024 09:16 2m 6s RonaldJudin:delay-widening
RonaldJudin:delay-widening
December 20, 2024 09:16 2m 6s
Sparsification of Affine Equality Matrix indentation #11694: Pull request #1625 synchronize by GollokG
December 19, 2024 20:24 2m 23s CopperCableIsolator:master
CopperCableIsolator:master
December 19, 2024 20:24 2m 23s
Sparsification of Affine Equality Matrix indentation #11693: Pull request #1625 synchronize by GollokG
December 19, 2024 20:22 1m 59s CopperCableIsolator:master
CopperCableIsolator:master
December 19, 2024 20:22 1m 59s
Sparsification of Affine Equality Matrix indentation #11692: Pull request #1625 synchronize by CopperCableIsolator
December 19, 2024 16:01 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 19, 2024 16:01 Action required