Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
12 workflow run results
12 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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