Skip to content

Actions: goblint/analyzer

Actions

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1656 from goblint/traces-vojdani-invariant indentation #11820: Commit f214ec5 pushed by sim642
January 15, 2025 09:08 1m 52s master
master
January 15, 2025 09:08 1m 52s
Merge pull request #1654 from goblint/issue-1591 indentation #11819: Commit 2955c1f pushed by sim642
January 15, 2025 09:06 1m 44s master
master
January 15, 2025 09:06 1m 44s
Bitfield Domain indentation #11818: Pull request #1623 synchronize by ManuelLerchner
January 14, 2025 20:30 4m 0s ManuelLerchner:master
ManuelLerchner:master
January 14, 2025 20:30 4m 0s
Sparsification of Affine Equality Matrix indentation #11817: Pull request #1625 synchronize by charlotte-brandt
January 14, 2025 14:53 1m 59s CopperCableIsolator:master
CopperCableIsolator:master
January 14, 2025 14:53 1m 59s
Sparsification of Affine Equality Matrix indentation #11816: Pull request #1625 synchronize by charlotte-brandt
January 14, 2025 14:44 Action required CopperCableIsolator:master
CopperCableIsolator:master
January 14, 2025 14:44 Action required
Sparsification of Affine Equality Matrix indentation #11815: Pull request #1625 synchronize by GollokG
January 14, 2025 14:32 1m 40s CopperCableIsolator:master
CopperCableIsolator:master
January 14, 2025 14:32 1m 40s
Simplify relational witness invariants indentation #11814: Pull request #1630 synchronize by sim642
January 14, 2025 12:05 2m 18s apron-invariant-simplify
apron-invariant-simplify
January 14, 2025 12:05 2m 18s
Merge branch 'master' into apron-invariant-simplify indentation #11813: Commit 3132ee4 pushed by sim642
January 14, 2025 12:05 2m 20s apron-invariant-simplify
apron-invariant-simplify
January 14, 2025 12:05 2m 20s
Simplify relational witness invariants indentation #11812: Pull request #1630 synchronize by sim642
January 14, 2025 11:04 2m 5s apron-invariant-simplify
apron-invariant-simplify
January 14, 2025 11:04 2m 5s
Document new GobApron functions indentation #11811: Commit b2a98c3 pushed by sim642
January 14, 2025 11:04 1m 39s apron-invariant-simplify
apron-invariant-simplify
January 14, 2025 11:04 1m 39s
Simplify relational witness invariants indentation #11810: Pull request #1630 synchronize by sim642
January 14, 2025 10:54 2m 20s apron-invariant-simplify
apron-invariant-simplify
January 14, 2025 10:54 2m 20s
Restrict invariant simplification to octagon domain indentation #11809: Commit 78d8bce pushed by sim642
January 14, 2025 10:54 1m 38s apron-invariant-simplify
apron-invariant-simplify
January 14, 2025 10:54 1m 38s
Merge pull request #1643 from goblint/lmust_cluster indentation #11808: Commit db4413b pushed by michael-schwarz
January 14, 2025 10:39 1m 55s master
master
January 14, 2025 10:39 1m 55s
Sparsification of Affine Equality Matrix indentation #11807: Pull request #1625 synchronize by CopperCableIsolator
January 13, 2025 20:14 Action required CopperCableIsolator:master
CopperCableIsolator:master
January 13, 2025 20:14 Action required
Fix Vojdani privatization invariant_global indentation #11806: Pull request #1656 opened by sim642
January 13, 2025 16:02 3s traces-vojdani-invariant
traces-vojdani-invariant
January 13, 2025 16:02 3s
Fix vojdani privatization unprotected invariant unsoundness on 56-wit… indentation #11805: Commit 457bf48 pushed by sim642
January 13, 2025 15:53 3s traces-vojdani-invariant
traces-vojdani-invariant
January 13, 2025 15:53 3s
Sparsification of Affine Equality Matrix indentation #11804: Pull request #1625 synchronize by GollokG
January 13, 2025 15:41 1m 53s CopperCableIsolator:master
CopperCableIsolator:master
January 13, 2025 15:41 1m 53s
Sparsification of Affine Equality Matrix indentation #11803: Pull request #1625 synchronize by CopperCableIsolator
January 13, 2025 15:05 Action required CopperCableIsolator:master
CopperCableIsolator:master
January 13, 2025 15:05 Action required
Sparsification of Affine Equality Matrix indentation #11802: Pull request #1625 synchronize by CopperCableIsolator
January 13, 2025 14:59 Action required CopperCableIsolator:master
CopperCableIsolator:master
January 13, 2025 14:59 Action required
Use sets for widening thresholds instead of lists indentation #11801: Pull request #1654 synchronize by karoliineh
January 13, 2025 11:22 1m 46s issue-1591
issue-1591
January 13, 2025 11:22 1m 46s
Use non-monotonic function within filter indentation #11800: Commit e7088e3 pushed by karoliineh
January 13, 2025 11:22 1m 36s issue-1591
issue-1591
January 13, 2025 11:22 1m 36s
Merge pull request #1655 from goblint/cil-dynlink indentation #11799: Commit d982753 pushed by sim642
January 13, 2025 10:58 1m 43s master
master
January 13, 2025 10:58 1m 43s
Update CIL pin to exclude dynlink and reduce executable size indentation #11798: Pull request #1655 opened by sim642
January 13, 2025 09:42 3s cil-dynlink
cil-dynlink
January 13, 2025 09:42 3s
Update CIL pin to exclude dynlink indentation #11797: Commit fa6970f pushed by sim642
January 13, 2025 09:37 2s cil-dynlink
cil-dynlink
January 13, 2025 09:37 2s
Remove two unused opens indentation #11796: Commit 919731d pushed by sim642
January 13, 2025 09:30 2m 37s master
master
January 13, 2025 09:30 2m 37s