Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
447 workflow run results
447 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump actions/setup-node from 3 to 4 options #6411: Pull request #1222 opened by dependabot bot
October 23, 2023 20:19 27s dependabot/github_actions/actions/setup-node-4
dependabot/github_actions/actions/setup-node-4
October 23, 2023 20:19 27s
Bump actions/setup-node from 3 to 4 options #6410: Commit af904ac pushed by dependabot bot
October 23, 2023 20:19 26s dependabot/github_actions/actions/setup-node-4
dependabot/github_actions/actions/setup-node-4
October 23, 2023 20:19 26s
Add some hacky atomic privatizations options #6409: Pull request #1216 synchronize by sim642
October 20, 2023 15:18 22s priv-atomic
priv-atomic
October 20, 2023 15:18 22s
Use relational unprotected invariant for mutex-meet-tid options #6408: Commit bd533c0 pushed by sim642
October 20, 2023 15:18 20s priv-atomic
priv-atomic
October 20, 2023 15:18 20s
Improve names of some global constraint variables options #6407: Commit 32be7d5 pushed by sim642
October 20, 2023 10:39 25s master
master
October 20, 2023 10:39 25s
Add some hacky atomic privatizations options #6406: Pull request #1216 synchronize by sim642
October 20, 2023 09:07 27s priv-atomic
priv-atomic
October 20, 2023 09:07 27s
Use threshold widening in Freiburg nondet_inc_with_ghosts options #6405: Commit e1e0813 pushed by sim642
October 20, 2023 09:07 22s priv-atomic
priv-atomic
October 20, 2023 09:07 22s
Add some hacky atomic privatizations options #6404: Pull request #1216 synchronize by sim642
October 20, 2023 08:57 19s priv-atomic
priv-atomic
October 20, 2023 08:57 19s
Add Freiburg nondet_inc_with_ghosts examples options #6403: Commit 4c54140 pushed by sim642
October 20, 2023 08:57 22s priv-atomic
priv-atomic
October 20, 2023 08:57 22s
Add some hacky atomic privatizations options #6402: Pull request #1216 synchronize by sim642
October 20, 2023 08:47 27s priv-atomic
priv-atomic
October 20, 2023 08:47 27s
Add simpler case_distinction tests options #6401: Commit 4e7312b pushed by sim642
October 20, 2023 08:47 23s priv-atomic
priv-atomic
October 20, 2023 08:47 23s
Add some hacky atomic privatizations options #6400: Pull request #1216 synchronize by sim642
October 20, 2023 08:39 22s priv-atomic
priv-atomic
October 20, 2023 08:39 22s
Fix relational mutex-meet atomic unlock options #6399: Commit cca87be pushed by sim642
October 20, 2023 08:39 25s priv-atomic
priv-atomic
October 20, 2023 08:39 25s
Fix relational mutex-meet atomic unlock options #6398: Commit cca87be pushed by sim642
October 20, 2023 08:37 26s priv-atomic-mutex
priv-atomic-mutex
October 20, 2023 08:37 26s
Merge pull request #1186 from goblint/issue_1005 options #6397: Commit 53858f2 pushed by michael-schwarz
October 18, 2023 05:43 24s master
master
October 18, 2023 05:43 24s
Merge branch 'master' into issue_1005 options #6396: Commit eeb1df0 pushed by michael-schwarz
October 18, 2023 05:43 23s issue_1005
issue_1005
October 18, 2023 05:43 23s
No shortcut for narrow and meet in HConsed when int refinement is active options #6395: Pull request #1186 synchronize by michael-schwarz
October 18, 2023 05:43 27s issue_1005
issue_1005
October 18, 2023 05:43 27s
Merge pull request #1210 from goblint/longjmp-top options #6394: Commit 2125370 pushed by sim642
October 16, 2023 14:44 21s master
master
October 16, 2023 14:44 21s
Fix longjmp crash on Uninitialized options #6393: Pull request #1210 synchronize by sim642
October 16, 2023 14:37 23s longjmp-top
longjmp-top
October 16, 2023 14:37 23s
Mark longjmp-top reachability test as TODO options #6392: Commit 5948ca4 pushed by sim642
October 16, 2023 14:37 24s longjmp-top
longjmp-top
October 16, 2023 14:37 24s
Add AnalysisStateUtil to goblint_lib.ml (#1201) options #6391: Commit fe36915 pushed by michael-schwarz
October 14, 2023 09:04 21s master
master
October 14, 2023 09:04 21s
Merge pull request #1201 from mrstanb/svcomp-memsafety-benchmarks options #6390: Commit ca6fcba pushed by michael-schwarz
October 14, 2023 07:44 22s master
master
October 14, 2023 07:44 22s
Add Freiburg case_distinction_with_ghosts example options #6389: Commit b49bd3e pushed by sim642
October 13, 2023 14:29 28s priv-atomic-disjunctive
priv-atomic-disjunctive
October 13, 2023 14:29 28s
TUM Practical Course Summer 2023: Termination Analyses options #6388: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 15:05 23s serenita:master
serenita:master
October 12, 2023 15:05 23s
TUM Practical Course Summer 2023: Termination Analyses options #6387: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 14:55 24s serenita:master
serenita:master
October 12, 2023 14:55 24s