Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
360 workflow run results
360 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SV-COMP "Memory Safety" benchmark additions semgrep #8047: Pull request #1201 synchronize by michael-schwarz
October 12, 2023 12:32 50s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 12, 2023 12:32 50s
Merge pull request #1206 from goblint/goblint-dune-libs semgrep #8046: Commit 75b3883 pushed by sim642
October 12, 2023 12:20 54s master
master
October 12, 2023 12:20 54s
Organize some general modules into dune libraries semgrep #8045: Pull request #1206 synchronize by sim642
October 12, 2023 12:18 58s goblint-dune-libs
goblint-dune-libs
October 12, 2023 12:18 58s
Merge branch 'master' into goblint-dune-libs semgrep #8044: Commit 51b15c2 pushed by sim642
October 12, 2023 12:18 45s goblint-dune-libs
goblint-dune-libs
October 12, 2023 12:18 45s
Improve GobView build semgrep #8043: Pull request #1215 opened by stilscher
October 12, 2023 11:30 53s improve-gobview-build
improve-gobview-build
October 12, 2023 11:30 53s
update gobview submodule semgrep #8042: Commit 292262a pushed by stilscher
October 12, 2023 11:24 52s improve-gobview-build
improve-gobview-build
October 12, 2023 11:24 52s
Add hacky atomic protection privatization semgrep #8041: Commit 1d05f0f pushed by sim642
October 12, 2023 10:01 50s priv-atomic
priv-atomic
October 12, 2023 10:01 50s
Top indices in mutex analysis semgrep #8040: Commit a00ee57 pushed by sim642
October 12, 2023 09:11 52s mutex-top-indices
mutex-top-indices
October 12, 2023 09:11 52s
Use goblint library documentation page in Readthedocs semgrep #8039: Commit 47cce4f pushed by sim642
October 12, 2023 08:41 40s goblint-dune-libs
goblint-dune-libs
October 12, 2023 08:41 40s
Use batteries.unthreaded everywhere to avoid Gobview exception semgrep #8038: Commit 59462c3 pushed by sim642
October 12, 2023 07:52 50s goblint-dune-libs
goblint-dune-libs
October 12, 2023 07:52 50s
ProTip! You can narrow down the results and go further in time using created:<2023-10-12 or the other filters available.