Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
440 workflow run results
440 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump actions/setup-node from 3 to 4 semgrep #8081: Pull request #1222 opened by dependabot bot
October 23, 2023 20:19 58s dependabot/github_actions/actions/setup-node-4
dependabot/github_actions/actions/setup-node-4
October 23, 2023 20:19 58s
Add some hacky atomic privatizations semgrep #8080: Pull request #1216 synchronize by sim642
October 20, 2023 15:18 48s priv-atomic
priv-atomic
October 20, 2023 15:18 48s
Use relational unprotected invariant for mutex-meet-tid semgrep #8079: Commit bd533c0 pushed by sim642
October 20, 2023 15:18 42s priv-atomic
priv-atomic
October 20, 2023 15:18 42s
Improve names of some global constraint variables semgrep #8078: Commit 32be7d5 pushed by sim642
October 20, 2023 10:39 45s master
master
October 20, 2023 10:39 45s
Add some hacky atomic privatizations semgrep #8077: Pull request #1216 synchronize by sim642
October 20, 2023 09:07 54s priv-atomic
priv-atomic
October 20, 2023 09:07 54s
Use threshold widening in Freiburg nondet_inc_with_ghosts semgrep #8076: Commit e1e0813 pushed by sim642
October 20, 2023 09:07 45s priv-atomic
priv-atomic
October 20, 2023 09:07 45s
Add some hacky atomic privatizations semgrep #8075: Pull request #1216 synchronize by sim642
October 20, 2023 08:57 1m 1s priv-atomic
priv-atomic
October 20, 2023 08:57 1m 1s
Add Freiburg nondet_inc_with_ghosts examples semgrep #8074: Commit 4c54140 pushed by sim642
October 20, 2023 08:57 45s priv-atomic
priv-atomic
October 20, 2023 08:57 45s
Add some hacky atomic privatizations semgrep #8073: Pull request #1216 synchronize by sim642
October 20, 2023 08:47 1m 16s priv-atomic
priv-atomic
October 20, 2023 08:47 1m 16s
Add simpler case_distinction tests semgrep #8072: Commit 4e7312b pushed by sim642
October 20, 2023 08:47 53s priv-atomic
priv-atomic
October 20, 2023 08:47 53s
Add some hacky atomic privatizations semgrep #8071: Pull request #1216 synchronize by sim642
October 20, 2023 08:39 51s priv-atomic
priv-atomic
October 20, 2023 08:39 51s
Fix relational mutex-meet atomic unlock semgrep #8070: Commit cca87be pushed by sim642
October 20, 2023 08:39 1m 6s priv-atomic
priv-atomic
October 20, 2023 08:39 1m 6s
Fix relational mutex-meet atomic unlock semgrep #8069: Commit cca87be pushed by sim642
October 20, 2023 08:37 48s priv-atomic-mutex
priv-atomic-mutex
October 20, 2023 08:37 48s
Merge pull request #1186 from goblint/issue_1005 semgrep #8068: Commit 53858f2 pushed by michael-schwarz
October 18, 2023 05:43 55s master
master
October 18, 2023 05:43 55s
Merge branch 'master' into issue_1005 semgrep #8067: Commit eeb1df0 pushed by michael-schwarz
October 18, 2023 05:43 41s issue_1005
issue_1005
October 18, 2023 05:43 41s
No shortcut for narrow and meet in HConsed when int refinement is active semgrep #8066: Pull request #1186 synchronize by michael-schwarz
October 18, 2023 05:43 53s issue_1005
issue_1005
October 18, 2023 05:43 53s
Merge pull request #1210 from goblint/longjmp-top semgrep #8065: Commit 2125370 pushed by sim642
October 16, 2023 14:44 1m 21s master
master
October 16, 2023 14:44 1m 21s
Fix longjmp crash on Uninitialized semgrep #8064: Pull request #1210 synchronize by sim642
October 16, 2023 14:37 1m 6s longjmp-top
longjmp-top
October 16, 2023 14:37 1m 6s
Mark longjmp-top reachability test as TODO semgrep #8063: Commit 5948ca4 pushed by sim642
October 16, 2023 14:37 59s longjmp-top
longjmp-top
October 16, 2023 14:37 59s
Add AnalysisStateUtil to goblint_lib.ml (#1201) semgrep #8062: Commit fe36915 pushed by michael-schwarz
October 14, 2023 09:04 41s master
master
October 14, 2023 09:04 41s
Merge pull request #1201 from mrstanb/svcomp-memsafety-benchmarks semgrep #8061: Commit ca6fcba pushed by michael-schwarz
October 14, 2023 07:44 54s master
master
October 14, 2023 07:44 54s
Add Freiburg case_distinction_with_ghosts example semgrep #8060: Commit b49bd3e pushed by sim642
October 13, 2023 14:29 1m 2s priv-atomic-disjunctive
priv-atomic-disjunctive
October 13, 2023 14:29 1m 2s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8059: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 15:05 55s serenita:master
serenita:master
October 12, 2023 15:05 55s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8058: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 14:55 59s serenita:master
serenita:master
October 12, 2023 14:55 59s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8057: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 14:42 1m 5s serenita:master
serenita:master
October 12, 2023 14:42 1m 5s