Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
205 workflow run results
205 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove unused [@@deriving ord] on SV-COMP spec locked #8768: Commit f147d9b pushed by sim642
November 2, 2023 08:05 35m 59s sv-comp-multiproperty
sv-comp-multiproperty
November 2, 2023 08:05 35m 59s
Merge pull request #1226 from goblint/sv-comp-yaml locked #8767: Commit 8aaa9d0 pushed by sim642
November 2, 2023 08:02 31m 52s master
master
November 2, 2023 08:02 31m 52s
locked locked #8766: Scheduled
November 2, 2023 02:01 2h 20m 4s master
master
November 2, 2023 02:01 2h 20m 4s
Add unknown thread ID locked #8765: Pull request #1224 synchronize by karoliineh
November 1, 2023 18:31 36m 1s issue-392
issue-392
November 1, 2023 18:31 36m 1s
Fix indentation locked #8764: Commit 0f13898 pushed by karoliineh
November 1, 2023 18:31 29m 34s issue-392
issue-392
November 1, 2023 18:31 29m 34s
TUM Practical Course Summer 2023: Termination Analyses locked #8763: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:59 30m 2s serenita:master
serenita:master
November 1, 2023 17:59 30m 2s
TUM Practical Course Summer 2023: Termination Analyses locked #8762: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:56 27m 54s serenita:master
serenita:master
November 1, 2023 17:56 27m 54s
TUM Practical Course Summer 2023: Termination Analyses locked #8761: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:37 26m 52s serenita:master
serenita:master
November 1, 2023 17:37 26m 52s
TUM Practical Course Summer 2023: Termination Analyses locked #8760: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:36 22m 52s serenita:master
serenita:master
November 1, 2023 17:36 22m 52s
TUM Practical Course Summer 2023: Termination Analyses locked #8759: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:28 23m 20s serenita:master
serenita:master
November 1, 2023 17:28 23m 20s
TUM Practical Course Summer 2023: Termination Analyses locked #8758: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:19 33m 50s serenita:master
serenita:master
November 1, 2023 17:19 33m 50s
Merge branch 'master' into issue_843 locked #8757: Commit 809e5a0 pushed by michael-schwarz
November 1, 2023 16:48 27m 5s issue_843
issue_843
November 1, 2023 16:48 27m 5s
Spawn threads created from unknown functions as non-unique locked #8756: Pull request #1187 synchronize by michael-schwarz
November 1, 2023 16:48 28m 46s issue_843
issue_843
November 1, 2023 16:48 28m 46s
threadAnalysis: Only add to set of must-joined threads if argument to pthread_join evaluates to a singleton locked #8755: Pull request #1230 opened by michael-schwarz
November 1, 2023 16:03 40m 2s issue_1223
issue_1223
November 1, 2023 16:03 40m 2s
threadAnalysis: Only add definite tids to set of mustJoined thread locked #8754: Commit 1d55756 pushed by michael-schwarz
November 1, 2023 15:59 39m 40s issue_1223
issue_1223
November 1, 2023 15:59 39m 40s
Fix Apron license for unpinned package for SV-COMP locked #8753: Commit 6bad00c pushed by sim642
November 1, 2023 11:22 31m 13s svcomp24-dev
svcomp24-dev
November 1, 2023 11:22 31m 13s
Update sv-comp/archive.sh for 2024 locked #8752: Commit ce917e6 pushed by sim642
November 1, 2023 11:14 33m 46s svcomp24-dev
svcomp24-dev
November 1, 2023 11:14 33m 46s
Add YAML witness validation to svcomp24-validate conf locked #8751: Commit 95ee32e pushed by sim642
November 1, 2023 11:09 29m 58s svcomp24-dev
svcomp24-dev
November 1, 2023 11:09 29m 58s
Merge branch 'sv-comp-multiproperty' into svcomp24-dev locked #8750: Commit 4910a51 pushed by sim642
November 1, 2023 10:18 28m 37s svcomp24-dev
svcomp24-dev
November 1, 2023 10:18 28m 37s
Improve SV-COMP conf for no-data-race locked #8749: Pull request #1207 synchronize by sim642
November 1, 2023 10:11 26m 31s svcomp24-conf
svcomp24-conf
November 1, 2023 10:11 26m 31s
Merge branch 'master' into svcomp24-conf locked #8748: Commit ebc8cf8 pushed by sim642
November 1, 2023 10:11 33m 55s svcomp24-conf
svcomp24-conf
November 1, 2023 10:11 33m 55s
Use threadflag path-sensitivity instead of threadid in svcomp conf locked #8747: Commit 35f9323 pushed by sim642
November 1, 2023 10:11 33m 23s svcomp24-conf
svcomp24-conf
November 1, 2023 10:11 33m 23s
locked locked #8746: Scheduled
November 1, 2023 02:05 2h 0m 24s master
master
November 1, 2023 02:05 2h 0m 24s
Support multi-property SV-COMP specifications locked #8745: Pull request #1228 synchronize by sim642
October 31, 2023 17:13 33m 42s sv-comp-multiproperty
sv-comp-multiproperty
October 31, 2023 17:13 33m 42s
Deduplicate Svcomp.is_error_function locked #8744: Commit bb163a5 pushed by sim642
October 31, 2023 17:13 31m 57s sv-comp-multiproperty
sv-comp-multiproperty
October 31, 2023 17:13 31m 57s