Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
394 workflow run results
394 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

TUM Practical Course Summer 2023: Termination Analyses options #6456: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:59 51s serenita:master
serenita:master
November 1, 2023 17:59 51s
TUM Practical Course Summer 2023: Termination Analyses options #6455: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:56 23s serenita:master
serenita:master
November 1, 2023 17:56 23s
TUM Practical Course Summer 2023: Termination Analyses options #6454: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:37 22s serenita:master
serenita:master
November 1, 2023 17:37 22s
TUM Practical Course Summer 2023: Termination Analyses options #6453: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:36 18s serenita:master
serenita:master
November 1, 2023 17:36 18s
TUM Practical Course Summer 2023: Termination Analyses options #6452: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:28 26s serenita:master
serenita:master
November 1, 2023 17:28 26s
TUM Practical Course Summer 2023: Termination Analyses options #6451: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:19 22s serenita:master
serenita:master
November 1, 2023 17:19 22s
Merge branch 'master' into issue_843 options #6450: Commit 809e5a0 pushed by michael-schwarz
November 1, 2023 16:48 23s issue_843
issue_843
November 1, 2023 16:48 23s
Spawn threads created from unknown functions as non-unique options #6449: Pull request #1187 synchronize by michael-schwarz
November 1, 2023 16:48 27s issue_843
issue_843
November 1, 2023 16:48 27s
threadAnalysis: Only add to set of must-joined threads if argument to pthread_join evaluates to a singleton options #6448: Pull request #1230 opened by michael-schwarz
November 1, 2023 16:03 22s issue_1223
issue_1223
November 1, 2023 16:03 22s
threadAnalysis: Only add definite tids to set of mustJoined thread options #6447: Commit 1d55756 pushed by michael-schwarz
November 1, 2023 15:59 18s issue_1223
issue_1223
November 1, 2023 15:59 18s
Fix Apron license for unpinned package for SV-COMP options #6446: Commit 6bad00c pushed by sim642
November 1, 2023 11:22 26s svcomp24-dev
svcomp24-dev
November 1, 2023 11:22 26s
Update sv-comp/archive.sh for 2024 options #6445: Commit ce917e6 pushed by sim642
November 1, 2023 11:14 23s svcomp24-dev
svcomp24-dev
November 1, 2023 11:14 23s
Add YAML witness validation to svcomp24-validate conf options #6444: Commit 95ee32e pushed by sim642
November 1, 2023 11:09 23s svcomp24-dev
svcomp24-dev
November 1, 2023 11:09 23s
Merge branch 'sv-comp-multiproperty' into svcomp24-dev options #6443: Commit 4910a51 pushed by sim642
November 1, 2023 10:18 22s svcomp24-dev
svcomp24-dev
November 1, 2023 10:18 22s
Improve SV-COMP conf for no-data-race options #6442: Pull request #1207 synchronize by sim642
November 1, 2023 10:11 29s svcomp24-conf
svcomp24-conf
November 1, 2023 10:11 29s
Merge branch 'master' into svcomp24-conf options #6441: Commit ebc8cf8 pushed by sim642
November 1, 2023 10:11 27s svcomp24-conf
svcomp24-conf
November 1, 2023 10:11 27s
Use threadflag path-sensitivity instead of threadid in svcomp conf options #6440: Commit 35f9323 pushed by sim642
November 1, 2023 10:11 25s svcomp24-conf
svcomp24-conf
November 1, 2023 10:11 25s
Support multi-property SV-COMP specifications options #6439: Pull request #1228 synchronize by sim642
October 31, 2023 17:13 30s sv-comp-multiproperty
sv-comp-multiproperty
October 31, 2023 17:13 30s
Deduplicate Svcomp.is_error_function options #6438: Commit bb163a5 pushed by sim642
October 31, 2023 17:13 27s sv-comp-multiproperty
sv-comp-multiproperty
October 31, 2023 17:13 27s
Support multi-property SV-COMP specifications options #6437: Pull request #1228 opened by sim642
October 31, 2023 17:00 30s sv-comp-multiproperty
sv-comp-multiproperty
October 31, 2023 17:00 30s
Fix witness determine_result for memsafety options #6436: Commit 5093b5d pushed by sim642
October 31, 2023 15:25 27s sv-comp-multiproperty
sv-comp-multiproperty
October 31, 2023 15:25 27s
Separate memsafetySpecification autotuner and enable in svcomp conf options #6435: Commit 6131273 pushed by sim642
October 31, 2023 14:10 35s master
master
October 31, 2023 14:10 35s
Refactor GraphML witness options options #6434: Pull request #1226 opened by sim642
October 30, 2023 15:46 20s sv-comp-yaml
sv-comp-yaml
October 30, 2023 15:46 20s
Update witness timings options #6433: Commit 6cd62e5 pushed by sim642
October 30, 2023 15:39 25s sv-comp-yaml
sv-comp-yaml
October 30, 2023 15:39 25s
Disable witness.invariant.accessed by default options #6432: Commit e01cacc pushed by sim642
October 30, 2023 15:31 19s sv-comp-yaml
sv-comp-yaml
October 30, 2023 15:31 19s
ProTip! You can narrow down the results and go further in time using created:<2023-10-30 or the other filters available.