Skip to content

Actions: goblint/analyzer

Actions

docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
2,452 workflow runs
2,452 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Sparsification of Affine Equality Matrix docs #2719: Pull request #1625 synchronize by sim642
February 24, 2025 17:40 4m 33s CopperCableIsolator:master
CopperCableIsolator:master
February 24, 2025 17:40 4m 33s
Merge pull request #1688 from goblint/issue_1536 docs #2718: Commit 2c36291 pushed by michael-schwarz
February 24, 2025 17:25 4m 52s master
master
February 24, 2025 17:25 4m 52s
Extract generic Spec domain and context lifters docs #2717: Pull request #1692 synchronize by sim642
February 24, 2025 17:09 4m 25s generic-spec-lifters
generic-spec-lifters
February 24, 2025 17:09 4m 25s
Make generic Spec domain and context lifter name configurable docs #2716: Commit 4fe5985 pushed by sim642
February 24, 2025 17:09 4m 34s generic-spec-lifters
generic-spec-lifters
February 24, 2025 17:09 4m 34s
Add missing type unrollings docs #2715: Pull request #1677 synchronize by sim642
February 24, 2025 16:49 4m 25s unrolltype
unrolltype
February 24, 2025 16:49 4m 25s
Fix ValueDomain indentation docs #2714: Commit 6101935 pushed by sim642
February 24, 2025 16:49 4m 40s unrolltype
unrolltype
February 24, 2025 16:49 4m 40s
Add missing type unrollings docs #2713: Pull request #1677 synchronize by sim642
February 24, 2025 16:46 4m 30s unrolltype
unrolltype
February 24, 2025 16:46 4m 30s
Remove unrollType TODOs related to CIL visitors docs #2712: Commit c477445 pushed by sim642
February 24, 2025 16:46 4m 54s unrolltype
unrolltype
February 24, 2025 16:46 4m 54s
Unsound congruence domain arithmetic docs #2711: Pull request #1587 synchronize by jerhard
February 24, 2025 16:19 6m 54s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
February 24, 2025 16:19 6m 54s
Congruencedomain.sub: Check also for upper bound overflow for signed docs #2710: Commit a1963da pushed by jerhard
February 24, 2025 16:19 4m 27s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
February 24, 2025 16:19 4m 27s
Unsound congruence domain arithmetic docs #2709: Pull request #1587 synchronize by jerhard
February 24, 2025 16:19 4m 33s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
February 24, 2025 16:19 4m 33s
Congruences: Add testing for overflow in subtraction where result it … docs #2708: Commit 3c27e68 pushed by jerhard
February 24, 2025 16:19 4m 23s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
February 24, 2025 16:19 4m 23s
Unsound congruence domain arithmetic docs #2707: Pull request #1587 synchronize by jerhard
February 24, 2025 16:09 4m 43s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
February 24, 2025 16:09 4m 43s
Add comment to test that assert was required to expose fixpoint error. docs #2706: Commit 7a3d072 pushed by jerhard
February 24, 2025 16:09 4m 30s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
February 24, 2025 16:09 4m 30s
Unsound congruence domain arithmetic docs #2705: Pull request #1587 synchronize by jerhard
February 24, 2025 16:00 5m 54s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
February 24, 2025 16:00 5m 54s
CongruenceDomain.sub: Handle case precisely where two signed numbers … docs #2704: Commit b84844b pushed by jerhard
February 24, 2025 16:00 4m 39s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
February 24, 2025 16:00 4m 39s
Unsound congruence domain arithmetic docs #2703: Pull request #1587 synchronize by jerhard
February 24, 2025 15:58 5m 6s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
February 24, 2025 15:58 5m 6s
Add test for sub operation for congruence. docs #2702: Commit 958b827 pushed by jerhard
February 24, 2025 15:58 4m 25s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
February 24, 2025 15:58 4m 25s
Unit tests: Remove usages of polymorphic equality docs #2701: Pull request #1695 opened by michael-schwarz
February 24, 2025 15:47 4m 50s issue_1686
issue_1686
February 24, 2025 15:47 4m 50s
Add test case for unreached fixpoint due to bug in congruences showin… docs #2700: Commit 96bb532 pushed by jerhard
February 24, 2025 15:45 4m 22s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
February 24, 2025 15:45 4m 22s
Unsound congruence domain arithmetic docs #2699: Pull request #1587 synchronize by jerhard
February 24, 2025 15:45 4m 38s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
February 24, 2025 15:45 4m 38s
Unit tests: Remove usages of polymorphic equality, move test into mod… docs #2698: Commit 548a8fe pushed by michael-schwarz
February 24, 2025 15:45 4m 58s issue_1686
issue_1686
February 24, 2025 15:45 4m 58s
DefExc apply_range: Remove spurious match (Closes #1687) docs #2697: Commit 85aaec9 pushed by michael-schwarz
February 24, 2025 15:21 4m 44s master
master
February 24, 2025 15:21 4m 44s
Unsound congruence domain arithmetic docs #2696: Pull request #1587 synchronize by jerhard
February 24, 2025 13:52 4m 43s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
February 24, 2025 13:52 4m 43s
CongruenceDomain: Implement sub idependently of add. docs #2695: Commit 829b2bd pushed by jerhard
February 24, 2025 13:52 4m 29s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
February 24, 2025 13:52 4m 29s