Skip to content

Actions: goblint/analyzer

Actions

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
indentation.yml
2,899 workflow runs
2,899 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Sparsification of Affine Equality Matrix indentation #12139: Pull request #1625 synchronize by sim642
February 24, 2025 17:40 1m 31s CopperCableIsolator:master
CopperCableIsolator:master
February 24, 2025 17:40 1m 31s
Merge pull request #1688 from goblint/issue_1536 indentation #12138: Commit 2c36291 pushed by michael-schwarz
February 24, 2025 17:25 1m 44s master
master
February 24, 2025 17:25 1m 44s
Extract generic Spec domain and context lifters indentation #12137: Pull request #1692 synchronize by sim642
February 24, 2025 17:09 1m 38s generic-spec-lifters
generic-spec-lifters
February 24, 2025 17:09 1m 38s
Make generic Spec domain and context lifter name configurable indentation #12136: Commit 4fe5985 pushed by sim642
February 24, 2025 17:09 1m 58s generic-spec-lifters
generic-spec-lifters
February 24, 2025 17:09 1m 58s
Add missing type unrollings indentation #12135: Pull request #1677 synchronize by sim642
February 24, 2025 16:49 3m 28s unrolltype
unrolltype
February 24, 2025 16:49 3m 28s
Fix ValueDomain indentation indentation #12134: Commit 6101935 pushed by sim642
February 24, 2025 16:49 1m 26s unrolltype
unrolltype
February 24, 2025 16:49 1m 26s
Add missing type unrollings indentation #12133: Pull request #1677 synchronize by sim642
February 24, 2025 16:46 1m 32s unrolltype
unrolltype
February 24, 2025 16:46 1m 32s
Remove unrollType TODOs related to CIL visitors indentation #12132: Commit c477445 pushed by sim642
February 24, 2025 16:46 1m 38s unrolltype
unrolltype
February 24, 2025 16:46 1m 38s
Unsound congruence domain arithmetic indentation #12131: Pull request #1587 synchronize by jerhard
February 24, 2025 16:19 4m 14s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
February 24, 2025 16:19 4m 14s
Congruencedomain.sub: Check also for upper bound overflow for signed indentation #12130: Commit a1963da pushed by jerhard
February 24, 2025 16:19 1m 44s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
February 24, 2025 16:19 1m 44s
Unsound congruence domain arithmetic indentation #12129: Pull request #1587 synchronize by jerhard
February 24, 2025 16:19 2m 28s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
February 24, 2025 16:19 2m 28s
Congruences: Add testing for overflow in subtraction where result it … indentation #12128: Commit 3c27e68 pushed by jerhard
February 24, 2025 16:19 1m 46s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
February 24, 2025 16:19 1m 46s
Unsound congruence domain arithmetic indentation #12127: Pull request #1587 synchronize by jerhard
February 24, 2025 16:09 1m 45s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
February 24, 2025 16:09 1m 45s
Add comment to test that assert was required to expose fixpoint error. indentation #12126: Commit 7a3d072 pushed by jerhard
February 24, 2025 16:09 1m 30s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
February 24, 2025 16:09 1m 30s
Unsound congruence domain arithmetic indentation #12125: Pull request #1587 synchronize by jerhard
February 24, 2025 16:00 4m 43s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
February 24, 2025 16:00 4m 43s
CongruenceDomain.sub: Handle case precisely where two signed numbers … indentation #12124: Commit b84844b pushed by jerhard
February 24, 2025 16:00 1m 31s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
February 24, 2025 16:00 1m 31s
Unsound congruence domain arithmetic indentation #12123: Pull request #1587 synchronize by jerhard
February 24, 2025 15:58 1m 57s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
February 24, 2025 15:58 1m 57s
Add test for sub operation for congruence. indentation #12122: Commit 958b827 pushed by jerhard
February 24, 2025 15:58 1m 27s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
February 24, 2025 15:58 1m 27s
Unit tests: Remove usages of polymorphic equality indentation #12121: Pull request #1695 opened by michael-schwarz
February 24, 2025 15:47 4s issue_1686
issue_1686
February 24, 2025 15:47 4s
Add test case for unreached fixpoint due to bug in congruences showin… indentation #12120: Commit 96bb532 pushed by jerhard
February 24, 2025 15:45 1m 40s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
February 24, 2025 15:45 1m 40s
Unsound congruence domain arithmetic indentation #12119: Pull request #1587 synchronize by jerhard
February 24, 2025 15:45 1m 36s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
February 24, 2025 15:45 1m 36s
Unit tests: Remove usages of polymorphic equality, move test into mod… indentation #12118: Commit 548a8fe pushed by michael-schwarz
February 24, 2025 15:45 3s issue_1686
issue_1686
February 24, 2025 15:45 3s
DefExc apply_range: Remove spurious match (Closes #1687) indentation #12117: Commit 85aaec9 pushed by michael-schwarz
February 24, 2025 15:21 1m 36s master
master
February 24, 2025 15:21 1m 36s
Unsound congruence domain arithmetic indentation #12116: Pull request #1587 synchronize by jerhard
February 24, 2025 13:52 1m 32s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
February 24, 2025 13:52 1m 32s
CongruenceDomain: Implement sub idependently of add. indentation #12115: Commit 829b2bd pushed by jerhard
February 24, 2025 13:52 1m 40s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
February 24, 2025 13:52 1m 40s