Skip to content

Actions: goblint/analyzer

Actions

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
indentation.yml
749 workflow run results
749 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add unknown thread ID indentation #8439: Pull request #1224 synchronize by karoliineh
November 1, 2023 18:31 5m 55s issue-392
issue-392
November 1, 2023 18:31 5m 55s
Fix indentation indentation #8438: Commit 0f13898 pushed by karoliineh
November 1, 2023 18:31 5m 51s issue-392
issue-392
November 1, 2023 18:31 5m 51s
TUM Practical Course Summer 2023: Termination Analyses indentation #8437: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:59 6m 43s serenita:master
serenita:master
November 1, 2023 17:59 6m 43s
TUM Practical Course Summer 2023: Termination Analyses indentation #8436: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:56 7m 12s serenita:master
serenita:master
November 1, 2023 17:56 7m 12s
TUM Practical Course Summer 2023: Termination Analyses indentation #8435: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:37 6m 40s serenita:master
serenita:master
November 1, 2023 17:37 6m 40s
TUM Practical Course Summer 2023: Termination Analyses indentation #8434: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:36 5m 43s serenita:master
serenita:master
November 1, 2023 17:36 5m 43s
TUM Practical Course Summer 2023: Termination Analyses indentation #8433: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:28 6m 41s serenita:master
serenita:master
November 1, 2023 17:28 6m 41s
TUM Practical Course Summer 2023: Termination Analyses indentation #8432: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:19 6m 26s serenita:master
serenita:master
November 1, 2023 17:19 6m 26s
Merge branch 'master' into issue_843 indentation #8431: Commit 809e5a0 pushed by michael-schwarz
November 1, 2023 16:48 6m 58s issue_843
issue_843
November 1, 2023 16:48 6m 58s
Spawn threads created from unknown functions as non-unique indentation #8430: Pull request #1187 synchronize by michael-schwarz
November 1, 2023 16:48 6m 23s issue_843
issue_843
November 1, 2023 16:48 6m 23s
threadAnalysis: Only add to set of must-joined threads if argument to pthread_join evaluates to a singleton indentation #8429: Pull request #1230 opened by michael-schwarz
November 1, 2023 16:03 2s issue_1223
issue_1223
November 1, 2023 16:03 2s
threadAnalysis: Only add definite tids to set of mustJoined thread indentation #8428: Commit 1d55756 pushed by michael-schwarz
November 1, 2023 15:59 3s issue_1223
issue_1223
November 1, 2023 15:59 3s
Fix Apron license for unpinned package for SV-COMP indentation #8427: Commit 6bad00c pushed by sim642
November 1, 2023 11:22 6m 42s svcomp24-dev
svcomp24-dev
November 1, 2023 11:22 6m 42s
Update sv-comp/archive.sh for 2024 indentation #8426: Commit ce917e6 pushed by sim642
November 1, 2023 11:14 6m 36s svcomp24-dev
svcomp24-dev
November 1, 2023 11:14 6m 36s
Add YAML witness validation to svcomp24-validate conf indentation #8425: Commit 95ee32e pushed by sim642
November 1, 2023 11:09 7m 0s svcomp24-dev
svcomp24-dev
November 1, 2023 11:09 7m 0s
Merge branch 'sv-comp-multiproperty' into svcomp24-dev indentation #8424: Commit 4910a51 pushed by sim642
November 1, 2023 10:18 2s svcomp24-dev
svcomp24-dev
November 1, 2023 10:18 2s
Improve SV-COMP conf for no-data-race indentation #8423: Pull request #1207 synchronize by sim642
November 1, 2023 10:11 6m 11s svcomp24-conf
svcomp24-conf
November 1, 2023 10:11 6m 11s
Merge branch 'master' into svcomp24-conf indentation #8422: Commit ebc8cf8 pushed by sim642
November 1, 2023 10:11 6m 6s svcomp24-conf
svcomp24-conf
November 1, 2023 10:11 6m 6s
Use threadflag path-sensitivity instead of threadid in svcomp conf indentation #8421: Commit 35f9323 pushed by sim642
November 1, 2023 10:11 5m 55s svcomp24-conf
svcomp24-conf
November 1, 2023 10:11 5m 55s
Support multi-property SV-COMP specifications indentation #8420: Pull request #1228 synchronize by sim642
October 31, 2023 17:13 5m 58s sv-comp-multiproperty
sv-comp-multiproperty
October 31, 2023 17:13 5m 58s
Deduplicate Svcomp.is_error_function indentation #8419: Commit bb163a5 pushed by sim642
October 31, 2023 17:13 6m 2s sv-comp-multiproperty
sv-comp-multiproperty
October 31, 2023 17:13 6m 2s
Support multi-property SV-COMP specifications indentation #8418: Pull request #1228 opened by sim642
October 31, 2023 17:00 4s sv-comp-multiproperty
sv-comp-multiproperty
October 31, 2023 17:00 4s
Fix witness determine_result for memsafety indentation #8417: Commit 5093b5d pushed by sim642
October 31, 2023 15:25 3s sv-comp-multiproperty
sv-comp-multiproperty
October 31, 2023 15:25 3s
Separate memsafetySpecification autotuner and enable in svcomp conf indentation #8416: Commit 6131273 pushed by sim642
October 31, 2023 14:10 6m 32s master
master
October 31, 2023 14:10 6m 32s
ProTip! You can narrow down the results and go further in time using created:<2023-10-31 or the other filters available.