Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
335 workflow run results
335 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Don't output trivial congruence invariant (closes #1218) options #6431: Commit a2a4fa2 pushed by sim642
October 30, 2023 15:11 34s master
master
October 30, 2023 15:11 34s
Move GraphML witness options into witness.graphml (issue #1217) options #6430: Commit 7ad1224 pushed by sim642
October 30, 2023 14:52 21s sv-comp-yaml
sv-comp-yaml
October 30, 2023 14:52 21s
ProTip! You can narrow down the results and go further in time using created:<2023-10-30 or the other filters available.