Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
756 workflow run results
756 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
Add unknown thread ID options #6429: Pull request #1224 synchronize by karoliineh
October 29, 2023 19:20 22s issue-392
issue-392
October 29, 2023 19:20 22s
Handle top thread when handling thread joins in base options #6428: Commit 894e618 pushed by karoliineh
October 29, 2023 19:20 18s issue-392
issue-392
October 29, 2023 19:20 18s
Add unknown thread ID options #6427: Pull request #1224 synchronize by karoliineh
October 29, 2023 18:20 2m 32s issue-392
issue-392
October 29, 2023 18:20 2m 32s
Implement widen for threads with int and address similarly to the Add… options #6426: Commit ae7a406 pushed by karoliineh
October 29, 2023 18:20 19s issue-392
issue-392
October 29, 2023 18:20 19s
Add unknown thread ID options #6425: Pull request #1224 synchronize by karoliineh
October 29, 2023 18:16 21s issue-392
issue-392
October 29, 2023 18:16 21s
Join threads with top when joining with int or address options #6424: Commit 4cb8c97 pushed by karoliineh
October 29, 2023 18:15 19s issue-392
issue-392
October 29, 2023 18:15 19s
Fix accident in 20 10 test options #6423: Commit 2c0a08f pushed by karoliineh
October 29, 2023 18:14 25s master
master
October 29, 2023 18:14 25s
Add unknown thread ID options #6422: Pull request #1224 synchronize by karoliineh
October 27, 2023 21:19 17s issue-392
issue-392
October 27, 2023 21:19 17s
Merge branch 'master' into issue-392 options #6421: Commit 05d6d0e pushed by karoliineh
October 27, 2023 21:19 17s issue-392
issue-392
October 27, 2023 21:19 17s
Add --enable ana.sv-comp.functions to 20-race-2_1-container_of.c options #6420: Commit 6899d44 pushed by karoliineh
October 27, 2023 12:14 17s master
master
October 27, 2023 12:14 17s
Add unknown thread ID options #6419: Pull request #1224 opened by karoliineh
October 27, 2023 11:49 24s issue-392
issue-392
October 27, 2023 11:49 24s
Fix unsoundness on unknown function call with tid as argument options #6418: Commit 2df7882 pushed by karoliineh
October 27, 2023 09:04 22s issue-392
issue-392
October 27, 2023 09:04 22s
Use set instead of toppedSet for ThreadSet options #6417: Commit 192108b pushed by karoliineh
October 26, 2023 18:09 26s issue-392
issue-392
October 26, 2023 18:09 26s
ProTip! You can narrow down the results and go further in time using created:<2023-10-26 or the other filters available.