Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
3,562 workflow runs
3,562 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' into affineeq-refine options #9645: Commit 18effef pushed by DrMichaelPetter
December 17, 2024 09:58 6m 2s affineeq-refine
affineeq-refine
December 17, 2024 09:58 6m 2s
Linear Two Variable Equality Domain Refining Value Domain options #9644: Pull request #1635 synchronize by DrMichaelPetter
December 17, 2024 09:58 3m 25s affineeq-refine
affineeq-refine
December 17, 2024 09:58 3m 25s
Linear Two Variable Equality Domain Refining Value Domain options #9643: Pull request #1635 synchronize by DrMichaelPetter
December 17, 2024 09:56 1m 3s affineeq-refine
affineeq-refine
December 17, 2024 09:56 1m 3s
emit only non-negative refinementconstraints options #9642: Commit 6bd7861 pushed by DrMichaelPetter
December 17, 2024 09:56 18s affineeq-refine
affineeq-refine
December 17, 2024 09:56 18s
Fixes for Self-Validation Issues options #9641: Pull request #1641 synchronize by michael-schwarz
December 17, 2024 09:56 17s witness_val_fail_cherrypick
witness_val_fail_cherrypick
December 17, 2024 09:56 17s
Enable deterministic warnings options #9640: Commit ced9396 pushed by michael-schwarz
December 17, 2024 09:56 18s witness_val_fail_cherrypick
witness_val_fail_cherrypick
December 17, 2024 09:56 18s
More useful stats output by privPrecCompare options #9639: Pull request #1642 opened by michael-schwarz
December 17, 2024 09:44 23s priv_prec_compare_stats
priv_prec_compare_stats
December 17, 2024 09:44 23s
Output more sophisticated stats options #9638: Commit 09eaee2 pushed by michael-schwarz
December 17, 2024 09:41 18s priv_prec_compare_stats
priv_prec_compare_stats
December 17, 2024 09:41 18s
Fixes for Self-Validation Issues options #9637: Pull request #1641 synchronize by michael-schwarz
December 17, 2024 09:28 19s witness_val_fail_cherrypick
witness_val_fail_cherrypick
December 17, 2024 09:28 19s
Enable warn.deterministic options #9636: Commit 2fd5321 pushed by michael-schwarz
December 17, 2024 09:28 20s witness_val_fail_cherrypick
witness_val_fail_cherrypick
December 17, 2024 09:28 20s
Fix ThreadIdDomain comments from review options #9635: Commit 205d2b9 pushed by sim642
December 17, 2024 08:53 18s threadid-history-may_create
threadid-history-may_create
December 17, 2024 08:53 18s
Fixes for Self-Validation Issues options #9634: Pull request #1641 opened by michael-schwarz
December 17, 2024 08:50 21s witness_val_fail_cherrypick
witness_val_fail_cherrypick
December 17, 2024 08:50 21s
Update tests options #9633: Commit 267f25e pushed by michael-schwarz
December 17, 2024 08:46 26s witness_val_fail_cherrypick
witness_val_fail_cherrypick
December 17, 2024 08:46 26s
Make meet in AddressDomain more precise options #9632: Pull request #1468 synchronize by michael-schwarz
December 16, 2024 16:18 25s issue_1467
issue_1467
December 16, 2024 16:18 25s
For elements in the same bucket, perform meet options #9631: Commit 8af2e49 pushed by michael-schwarz
December 16, 2024 16:18 22s issue_1467
issue_1467
December 16, 2024 16:18 22s
Fix mine-W-noinit not resetting W in threadenter options #9630: Pull request #1640 opened by sim642
December 16, 2024 15:48 25s mine-W-noinit-threadenter
mine-W-noinit-threadenter
December 16, 2024 15:48 25s
Fix mine-W-noinit threadenter to reset W options #9629: Commit be4d3de pushed by sim642
December 16, 2024 15:44 20s mine-W-noinit-threadenter
mine-W-noinit-threadenter
December 16, 2024 15:44 20s
Merge branch 'master' into issue_1467 options #9628: Commit 3fcb562 pushed by michael-schwarz
December 16, 2024 15:21 18s issue_1467
issue_1467
December 16, 2024 15:21 18s
Make meet in AddressDomain more precise options #9627: Pull request #1468 synchronize by michael-schwarz
December 16, 2024 15:21 43s issue_1467
issue_1467
December 16, 2024 15:21 43s
Merge pull request #1605 from goblint/topdown_term options #9626: Commit b68df11 pushed by sim642
December 16, 2024 11:01 21s master
master
December 16, 2024 11:01 21s
Add ex-10 from traces options #9625: Commit 48ba6af pushed by sim642
December 16, 2024 10:09 19s simmo-phd-thesis-ex-10
simmo-phd-thesis-ex-10
December 16, 2024 10:09 19s
Merge pull request #1619 from goblint/issue-1616 options #9624: Commit b7747c9 pushed by sim642
December 16, 2024 09:10 17s master
master
December 16, 2024 09:10 17s
Merge pull request #1606 from goblint/intdomain-split options #9623: Commit d2f6584 pushed by sim642
December 16, 2024 09:10 22s master
master
December 16, 2024 09:10 22s
Sanity test all solvers and fix topdown_term & slr3 options #9622: Pull request #1605 synchronize by sim642
December 16, 2024 09:00 22s topdown_term
topdown_term
December 16, 2024 09:00 22s
Disable broken two solver options #9621: Commit b0243f9 pushed by sim642
December 16, 2024 09:00 19s topdown_term
topdown_term
December 16, 2024 09:00 19s