Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
579 workflow run results
579 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

TUM Practical Course Summer 2023: Termination Analyses semgrep #8228: Pull request #1093 synchronize by jerhard
November 15, 2023 14:26 41s serenita:master
serenita:master
November 15, 2023 14:26 41s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8227: Pull request #1093 synchronize by jerhard
November 15, 2023 14:22 41s serenita:master
serenita:master
November 15, 2023 14:22 41s
Add termination to autotune for svcomp.json, but remove it from svcom… semgrep #8226: Commit cbe4ad0 pushed by jerhard
November 15, 2023 14:21 41s termination_dev
termination_dev
November 15, 2023 14:21 41s
Change wording from enabling to enabled for consistency. semgrep #8225: Commit 245b438 pushed by jerhard
November 15, 2023 14:19 42s termination_dev
termination_dev
November 15, 2023 14:19 42s
Indicate that termination analysis is activated. semgrep #8224: Commit d5662c5 pushed by jerhard
November 15, 2023 12:13 45s termination_dev
termination_dev
November 15, 2023 12:13 45s
Add newlines between functions. semgrep #8223: Commit a230618 pushed by jerhard
November 14, 2023 13:48 36s string-unit-domain
string-unit-domain
November 14, 2023 13:48 36s
Cache option ana.base.strings.domain, reset the cache in server. semgrep #8222: Commit e64558d pushed by jerhard
November 14, 2023 13:46 42s string-unit-domain
string-unit-domain
November 14, 2023 13:46 42s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8221: Pull request #1093 synchronize by jerhard
November 14, 2023 13:10 40s serenita:master
serenita:master
November 14, 2023 13:10 40s
Autotuner: Activate termination analysis in autotuner. semgrep #8220: Commit 8934a21 pushed by jerhard
November 14, 2023 13:10 45s termination_dev
termination_dev
November 14, 2023 13:10 45s
Termination: Update verdict to TODO for 78/35. semgrep #8219: Commit 2728c2a pushed by jerhard
November 14, 2023 09:23 42s termination_dev
termination_dev
November 14, 2023 09:23 42s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8218: Pull request #1093 synchronize by jerhard
November 14, 2023 09:20 38s serenita:master
serenita:master
November 14, 2023 09:20 38s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8217: Pull request #1093 synchronize by jerhard
November 13, 2023 22:15 38s serenita:master
serenita:master
November 13, 2023 22:15 38s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8216: Pull request #1093 synchronize by jerhard
November 13, 2023 17:01 48s serenita:master
serenita:master
November 13, 2023 17:01 48s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8215: Pull request #1093 synchronize by jerhard
November 13, 2023 17:00 55s serenita:master
serenita:master
November 13, 2023 17:00 55s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8214: Pull request #1093 synchronize by jerhard
November 13, 2023 15:34 37s serenita:master
serenita:master
November 13, 2023 15:34 37s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8213: Pull request #1093 synchronize by jerhard
November 13, 2023 14:34 1m 1s serenita:master
serenita:master
November 13, 2023 14:34 1m 1s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8212: Pull request #1093 synchronize by jerhard
November 13, 2023 14:33 52s serenita:master
serenita:master
November 13, 2023 14:33 52s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8211: Pull request #1093 synchronize by jerhard
November 13, 2023 13:39 42s serenita:master
serenita:master
November 13, 2023 13:39 42s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8210: Pull request #1093 synchronize by jerhard
November 13, 2023 12:51 49s serenita:master
serenita:master
November 13, 2023 12:51 49s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8209: Pull request #1093 synchronize by jerhard
November 13, 2023 12:26 35s serenita:master
serenita:master
November 13, 2023 12:26 35s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8208: Pull request #1093 synchronize by jerhard
November 13, 2023 10:51 40s serenita:master
serenita:master
November 13, 2023 10:51 40s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8207: Pull request #1093 synchronize by jerhard
November 13, 2023 10:50 50s serenita:master
serenita:master
November 13, 2023 10:50 50s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8206: Pull request #1093 synchronize by jerhard
November 13, 2023 10:48 54s serenita:master
serenita:master
November 13, 2023 10:48 54s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8205: Pull request #1093 synchronize by jerhard
November 13, 2023 10:42 52s serenita:master
serenita:master
November 13, 2023 10:42 52s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8204: Pull request #1093 synchronize by michael-schwarz
November 10, 2023 21:09 1m 1s serenita:master
serenita:master
November 10, 2023 21:09 1m 1s