Skip to content

Actions: goblint/analyzer

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
3,346 workflow runs
3,346 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixes for Self-Validation Issues
indentation #11618: Pull request #1641 synchronize by michael-schwarz
December 17, 2024 09:28 1m 37s witness_val_fail_cherrypick
December 17, 2024 09:28 1m 37s
Enable warn.deterministic
indentation #11617: Commit 2fd5321 pushed by michael-schwarz
December 17, 2024 09:28 1m 52s witness_val_fail_cherrypick
December 17, 2024 09:28 1m 52s
Fix ThreadIdDomain comments from review
indentation #11616: Commit 205d2b9 pushed by sim642
December 17, 2024 08:53 5m 45s threadid-history-may_create
December 17, 2024 08:53 5m 45s
Fixes for Self-Validation Issues
indentation #11615: Pull request #1641 opened by michael-schwarz
December 17, 2024 08:50 3s witness_val_fail_cherrypick
December 17, 2024 08:50 3s
Update tests
indentation #11614: Commit 267f25e pushed by michael-schwarz
December 17, 2024 08:46 4s witness_val_fail_cherrypick
December 17, 2024 08:46 4s
Make meet in AddressDomain more precise
indentation #11613: Pull request #1468 synchronize by michael-schwarz
December 16, 2024 16:18 1m 58s issue_1467
December 16, 2024 16:18 1m 58s
For elements in the same bucket, perform meet
indentation #11612: Commit 8af2e49 pushed by michael-schwarz
December 16, 2024 16:18 4m 3s issue_1467
December 16, 2024 16:18 4m 3s
Fix mine-W-noinit not resetting W in threadenter
indentation #11611: Pull request #1640 opened by sim642
December 16, 2024 15:48 3s mine-W-noinit-threadenter
December 16, 2024 15:48 3s
Fix mine-W-noinit threadenter to reset W
indentation #11610: Commit be4d3de pushed by sim642
December 16, 2024 15:44 3s mine-W-noinit-threadenter
December 16, 2024 15:44 3s
Merge branch 'master' into issue_1467
indentation #11609: Commit 3fcb562 pushed by michael-schwarz
December 16, 2024 15:21 2m 14s issue_1467
December 16, 2024 15:21 2m 14s
Make meet in AddressDomain more precise
indentation #11608: Pull request #1468 synchronize by michael-schwarz
December 16, 2024 15:21 2m 18s issue_1467
December 16, 2024 15:21 2m 18s
Merge pull request #1605 from goblint/topdown_term
indentation #11607: Commit b68df11 pushed by sim642
December 16, 2024 11:01 1m 58s master
December 16, 2024 11:01 1m 58s
Add ex-10 from traces
indentation #11606: Commit 48ba6af pushed by sim642
December 16, 2024 10:09 3s simmo-phd-thesis-ex-10
December 16, 2024 10:09 3s
Merge pull request #1619 from goblint/issue-1616
indentation #11605: Commit b7747c9 pushed by sim642
December 16, 2024 09:10 1m 51s master
December 16, 2024 09:10 1m 51s
Merge pull request #1606 from goblint/intdomain-split
indentation #11604: Commit d2f6584 pushed by sim642
December 16, 2024 09:10 1m 42s master
December 16, 2024 09:10 1m 42s
Sanity test all solvers and fix topdown_term & slr3
indentation #11603: Pull request #1605 synchronize by sim642
December 16, 2024 09:00 1m 54s topdown_term
December 16, 2024 09:00 1m 54s
Disable broken two solver
indentation #11602: Commit b0243f9 pushed by sim642
December 16, 2024 09:00 1m 53s topdown_term
December 16, 2024 09:00 1m 53s
Merge branch 'master' into intdomain-split
indentation #11601: Commit ff77a63 pushed by sim642
December 16, 2024 08:42 1m 43s intdomain-split
December 16, 2024 08:42 1m 43s
Split IntDomains into separate files
indentation #11600: Pull request #1606 synchronize by sim642
December 16, 2024 08:42 1m 57s intdomain-split
December 16, 2024 08:42 1m 57s
Merge pull request #1638 from goblint/vmcai25-docs
indentation #11599: Commit 38442a6 pushed by sim642
December 16, 2024 08:35 1m 40s master
December 16, 2024 08:35 1m 40s
Sparsification of Affine Equality Matrix
indentation #11598: Pull request #1625 synchronize by GollokG
December 14, 2024 16:18 1m 40s CopperCableIsolator:master
December 14, 2024 16:18 1m 40s
Sparsification of Affine Equality Matrix
indentation #11597: Pull request #1625 synchronize by charlotte-brandt
December 13, 2024 17:18 1m 41s CopperCableIsolator:master
December 13, 2024 17:18 1m 41s
Sparsification of Affine Equality Matrix
indentation #11596: Pull request #1625 synchronize by charlotte-brandt
December 13, 2024 17:13 Action required CopperCableIsolator:master
December 13, 2024 17:13 Action required
Sparsification of Affine Equality Matrix
indentation #11595: Pull request #1625 synchronize by CopperCableIsolator
December 12, 2024 14:16 Action required CopperCableIsolator:master
December 12, 2024 14:16 Action required
Sparsification of Affine Equality Matrix
indentation #11594: Pull request #1625 synchronize by GollokG
December 12, 2024 14:07 1m 40s CopperCableIsolator:master
December 12, 2024 14:07 1m 40s