Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
941 workflow run results
941 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix chromedriver version to avoid url not found error locked #8671: Commit 2739567 pushed by stilscher
October 12, 2023 14:16 34m 10s improve-gobview-build
improve-gobview-build
October 12, 2023 14:16 34m 10s
Add some hacky atomic privatizations locked #8670: Pull request #1216 opened by sim642
October 12, 2023 14:13 41m 13s priv-atomic
priv-atomic
October 12, 2023 14:13 41m 13s
Add hacky atomic relation mutex-meet privatization locked #8669: Commit b60e836 pushed by sim642
October 12, 2023 13:48 34m 51s priv-atomic
priv-atomic
October 12, 2023 13:48 34m 51s
TUM Practical Course Summer 2023: Termination Analyses locked #8668: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 13:42 33m 8s serenita:master
serenita:master
October 12, 2023 13:42 33m 8s
TUM Practical Course Summer 2023: Termination Analyses locked #8667: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 13:37 29m 49s serenita:master
serenita:master
October 12, 2023 13:37 29m 49s
TUM Practical Course Summer 2023: Termination Analyses locked #8666: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 12:53 38m 2s serenita:master
serenita:master
October 12, 2023 12:53 38m 2s
SV-COMP "Memory Safety" benchmark additions locked #8665: Pull request #1201 synchronize by michael-schwarz
October 12, 2023 12:50 32m 43s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 12, 2023 12:50 32m 43s
Fix scripts/goblint-lib-modules.py locked #8664: Commit 7ebf97e pushed by sim642
October 12, 2023 12:39 34m 1s master
master
October 12, 2023 12:39 34m 1s
SV-COMP "Memory Safety" benchmark additions locked #8663: Pull request #1201 synchronize by michael-schwarz
October 12, 2023 12:32 30m 4s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 12, 2023 12:32 30m 4s
Merge pull request #1206 from goblint/goblint-dune-libs locked #8662: Commit 75b3883 pushed by sim642
October 12, 2023 12:20 40m 10s master
master
October 12, 2023 12:20 40m 10s
Organize some general modules into dune libraries locked #8661: Pull request #1206 synchronize by sim642
October 12, 2023 12:18 32m 1s goblint-dune-libs
goblint-dune-libs
October 12, 2023 12:18 32m 1s
Merge branch 'master' into goblint-dune-libs locked #8660: Commit 51b15c2 pushed by sim642
October 12, 2023 12:18 39m 33s goblint-dune-libs
goblint-dune-libs
October 12, 2023 12:18 39m 33s
Improve GobView build locked #8659: Pull request #1215 opened by stilscher
October 12, 2023 11:30 38m 44s improve-gobview-build
improve-gobview-build
October 12, 2023 11:30 38m 44s
update gobview submodule locked #8658: Commit 292262a pushed by stilscher
October 12, 2023 11:24 27m 0s improve-gobview-build
improve-gobview-build
October 12, 2023 11:24 27m 0s
Add hacky atomic protection privatization locked #8657: Commit 1d05f0f pushed by sim642
October 12, 2023 10:01 44m 13s priv-atomic
priv-atomic
October 12, 2023 10:01 44m 13s
Top indices in mutex analysis locked #8656: Commit a00ee57 pushed by sim642
October 12, 2023 09:11 34m 31s mutex-top-indices
mutex-top-indices
October 12, 2023 09:11 34m 31s
Use goblint library documentation page in Readthedocs locked #8655: Commit 47cce4f pushed by sim642
October 12, 2023 08:41 31m 8s goblint-dune-libs
goblint-dune-libs
October 12, 2023 08:41 31m 8s
Use batteries.unthreaded everywhere to avoid Gobview exception locked #8654: Commit 59462c3 pushed by sim642
October 12, 2023 07:52 39m 50s goblint-dune-libs
goblint-dune-libs
October 12, 2023 07:52 39m 50s
locked locked #8653: Scheduled
October 12, 2023 01:59 2h 24m 1s master
master
October 12, 2023 01:59 2h 24m 1s
Temporarily reintroduce old unqualified directory structure inside co… locked #8652: Commit 3281c74 pushed by sim642
October 11, 2023 14:55 35m 51s goblint-dune-libs
goblint-dune-libs
October 11, 2023 14:55 35m 51s
SV-COMP "Memory Safety" benchmark additions locked #8651: Pull request #1201 synchronize by mrstanb
October 11, 2023 14:52 28m 0s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 11, 2023 14:52 28m 0s
Add names to region analysis domains locked #8650: Commit d9afd55 pushed by sim642
October 11, 2023 12:09 39m 35s master
master
October 11, 2023 12:09 39m 35s
locked locked #8649: Scheduled
October 11, 2023 02:00 2h 26m 36s master
master
October 11, 2023 02:00 2h 26m 36s
Fix library function duplicate check indentation (PR #1213) locked #8648: Commit 5cc4811 pushed by sim642
October 10, 2023 14:47 1h 0m 15s master
master
October 10, 2023 14:47 1h 0m 15s
Add missing library functions for large Concrat benchmarks locked #8647: Pull request #1212 synchronize by sim642
October 10, 2023 14:45 41m 27s libfuns-concrat
libfuns-concrat
October 10, 2023 14:45 41m 27s
ProTip! You can narrow down the results and go further in time using created:<2023-10-10 or the other filters available.