Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Relational: Use same invalidation strategy as base options #9764: Pull request #1646 synchronize by michael-schwarz
December 30, 2024 16:04 17s issue_1535
issue_1535
December 30, 2024 16:04 17s
Update comment options #9763: Commit e03a6f7 pushed by michael-schwarz
December 30, 2024 16:04 16s issue_1535
issue_1535
December 30, 2024 16:04 16s
Fixes for Self-Validation Issues options #9762: Pull request #1641 synchronize by michael-schwarz
December 30, 2024 15:59 17s witness_val_fail_cherrypick
witness_val_fail_cherrypick
December 30, 2024 15:59 17s
Add SKIP to apron tests options #9761: Commit ef51516 pushed by michael-schwarz
December 30, 2024 15:59 18s witness_val_fail_cherrypick
witness_val_fail_cherrypick
December 30, 2024 15:59 18s
Merge pull request #1552 from goblint/traces-vojdani options #9760: Commit ab54be8 pushed by sim642
December 30, 2024 13:03 18s master
master
December 30, 2024 13:03 18s
Optimize none base privatization, add eager Vojdani privatization options #9759: Pull request #1552 synchronize by sim642
December 30, 2024 08:40 24s traces-vojdani
traces-vojdani
December 30, 2024 08:40 24s
Add vojdani privatization to 13-privatized/01-priv_nr cram test options #9758: Commit c6a2c9e pushed by sim642
December 30, 2024 08:40 17s traces-vojdani
traces-vojdani
December 30, 2024 08:40 17s
Sparsification of Affine Equality Matrix options #9757: Pull request #1625 synchronize by GollokG
December 28, 2024 13:06 18s CopperCableIsolator:master
CopperCableIsolator:master
December 28, 2024 13:06 18s
Sparsification of Affine Equality Matrix options #9756: Pull request #1625 synchronize by CopperCableIsolator
December 27, 2024 23:13 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 27, 2024 23:13 Action required
Sparsification of Affine Equality Matrix options #9755: Pull request #1625 synchronize by CopperCableIsolator
December 27, 2024 22:47 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 27, 2024 22:47 Action required
Analysis of pthread_barriers options #9754: Pull request #1652 synchronize by michael-schwarz
December 25, 2024 19:20 19s issue_1651
issue_1651
December 25, 2024 19:20 19s
Cleanup options #9753: Commit 1bfb985 pushed by michael-schwarz
December 25, 2024 19:20 17s issue_1651
issue_1651
December 25, 2024 19:20 17s
Analysis of pthread_barriers options #9752: Pull request #1652 synchronize by michael-schwarz
December 25, 2024 17:10 20s issue_1651
issue_1651
December 25, 2024 17:10 20s
Also consider locks options #9751: Commit 8fe2e16 pushed by michael-schwarz
December 25, 2024 17:10 18s issue_1651
issue_1651
December 25, 2024 17:10 18s
Analysis of pthread_barriers options #9750: Pull request #1652 synchronize by michael-schwarz
December 25, 2024 15:57 21s issue_1651
issue_1651
December 25, 2024 15:57 21s
Fix indentation options #9749: Commit 24d61c0 pushed by michael-schwarz
December 25, 2024 15:57 18s issue_1651
issue_1651
December 25, 2024 15:57 18s
Analysis of pthread_barriers options #9748: Pull request #1652 synchronize by michael-schwarz
December 25, 2024 15:53 18s issue_1651
issue_1651
December 25, 2024 15:53 18s
Make sound for multiprocess options #9747: Commit 27dd030 pushed by michael-schwarz
December 25, 2024 15:53 19s issue_1651
issue_1651
December 25, 2024 15:53 19s
Analysis of pthread_barriers options #9746: Pull request #1652 synchronize by michael-schwarz
December 25, 2024 15:09 20s issue_1651
issue_1651
December 25, 2024 15:09 20s
Remark that os gem is needed options #9745: Commit a990b5f pushed by michael-schwarz
December 25, 2024 15:09 19s issue_1651
issue_1651
December 25, 2024 15:09 19s
Analysis of pthread_barriers options #9744: Pull request #1652 synchronize by michael-schwarz
December 25, 2024 15:00 21s issue_1651
issue_1651
December 25, 2024 15:00 21s
Add NOMAC option options #9743: Commit 93b7f0c pushed by michael-schwarz
December 25, 2024 15:00 23s issue_1651
issue_1651
December 25, 2024 15:00 23s
Analysis of pthread_barriers options #9742: Pull request #1652 opened by michael-schwarz
December 24, 2024 20:55 17s issue_1651
issue_1651
December 24, 2024 20:55 17s
Document pthread barriers options #9741: Commit f418b00 pushed by michael-schwarz
December 24, 2024 20:35 18s issue_1651
issue_1651
December 24, 2024 20:35 18s
Rm spurious variable options #9740: Commit 8b2ede3 pushed by michael-schwarz
December 24, 2024 20:33 19s issue_1651
issue_1651
December 24, 2024 20:33 19s