Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
931 workflow run results
931 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Support multi-property SV-COMP specifications locked #8743: Pull request #1228 opened by sim642
October 31, 2023 17:00 32m 41s sv-comp-multiproperty
sv-comp-multiproperty
October 31, 2023 17:00 32m 41s
Fix witness determine_result for memsafety locked #8742: Commit 5093b5d pushed by sim642
October 31, 2023 15:25 29m 43s sv-comp-multiproperty
sv-comp-multiproperty
October 31, 2023 15:25 29m 43s
Separate memsafetySpecification autotuner and enable in svcomp conf locked #8741: Commit 6131273 pushed by sim642
October 31, 2023 14:10 31m 49s master
master
October 31, 2023 14:10 31m 49s
locked locked #8740: Scheduled
October 31, 2023 02:01 2h 16m 5s master
master
October 31, 2023 02:01 2h 16m 5s
Refactor GraphML witness options locked #8739: Pull request #1226 opened by sim642
October 30, 2023 15:46 34m 30s sv-comp-yaml
sv-comp-yaml
October 30, 2023 15:46 34m 30s
Update witness timings locked #8738: Commit 6cd62e5 pushed by sim642
October 30, 2023 15:39 35m 27s sv-comp-yaml
sv-comp-yaml
October 30, 2023 15:39 35m 27s
Disable witness.invariant.accessed by default locked #8737: Commit e01cacc pushed by sim642
October 30, 2023 15:31 24m 46s sv-comp-yaml
sv-comp-yaml
October 30, 2023 15:31 24m 46s
Don't output trivial congruence invariant (closes #1218) locked #8736: Commit a2a4fa2 pushed by sim642
October 30, 2023 15:11 32m 39s master
master
October 30, 2023 15:11 32m 39s
Move GraphML witness options into witness.graphml (issue #1217) locked #8735: Commit 7ad1224 pushed by sim642
October 30, 2023 14:52 32m 11s sv-comp-yaml
sv-comp-yaml
October 30, 2023 14:52 32m 11s
locked locked #8734: Scheduled
October 30, 2023 02:02 2h 1m 26s master
master
October 30, 2023 02:02 2h 1m 26s
Add unknown thread ID locked #8733: Pull request #1224 synchronize by karoliineh
October 29, 2023 19:20 30m 27s issue-392
issue-392
October 29, 2023 19:20 30m 27s
Handle top thread when handling thread joins in base locked #8732: Commit 894e618 pushed by karoliineh
October 29, 2023 19:20 26m 32s issue-392
issue-392
October 29, 2023 19:20 26m 32s
Add unknown thread ID locked #8731: Pull request #1224 synchronize by karoliineh
October 29, 2023 18:20 27m 59s issue-392
issue-392
October 29, 2023 18:20 27m 59s
Implement widen for threads with int and address similarly to the Add… locked #8730: Commit ae7a406 pushed by karoliineh
October 29, 2023 18:20 28m 38s issue-392
issue-392
October 29, 2023 18:20 28m 38s
Add unknown thread ID locked #8729: Pull request #1224 synchronize by karoliineh
October 29, 2023 18:16 30m 16s issue-392
issue-392
October 29, 2023 18:16 30m 16s
Join threads with top when joining with int or address locked #8728: Commit 4cb8c97 pushed by karoliineh
October 29, 2023 18:15 32m 59s issue-392
issue-392
October 29, 2023 18:15 32m 59s
Fix accident in 20 10 test locked #8727: Commit 2c0a08f pushed by karoliineh
October 29, 2023 18:14 24m 49s master
master
October 29, 2023 18:14 24m 49s
locked locked #8726: Scheduled
October 29, 2023 02:03 2h 13m 7s master
master
October 29, 2023 02:03 2h 13m 7s
locked locked #8725: Scheduled
October 28, 2023 01:57 2h 2m 55s master
master
October 28, 2023 01:57 2h 2m 55s
Add unknown thread ID locked #8724: Pull request #1224 synchronize by karoliineh
October 27, 2023 21:19 19m 20s issue-392
issue-392
October 27, 2023 21:19 19m 20s
Merge branch 'master' into issue-392 locked #8723: Commit 05d6d0e pushed by karoliineh
October 27, 2023 21:19 31m 25s issue-392
issue-392
October 27, 2023 21:19 31m 25s
ProTip! You can narrow down the results and go further in time using created:<2023-10-27 or the other filters available.