Skip to content

Actions: goblint/analyzer

Actions

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
indentation.yml
673 workflow run results
673 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Refactor GraphML witness options indentation #8415: Pull request #1226 opened by sim642
October 30, 2023 15:46 3s sv-comp-yaml
sv-comp-yaml
October 30, 2023 15:46 3s
Update witness timings indentation #8414: Commit 6cd62e5 pushed by sim642
October 30, 2023 15:39 6m 1s sv-comp-yaml
sv-comp-yaml
October 30, 2023 15:39 6m 1s
Disable witness.invariant.accessed by default indentation #8413: Commit e01cacc pushed by sim642
October 30, 2023 15:31 6m 18s sv-comp-yaml
sv-comp-yaml
October 30, 2023 15:31 6m 18s
Don't output trivial congruence invariant (closes #1218) indentation #8412: Commit a2a4fa2 pushed by sim642
October 30, 2023 15:11 6m 37s master
master
October 30, 2023 15:11 6m 37s
Move GraphML witness options into witness.graphml (issue #1217) indentation #8411: Commit 7ad1224 pushed by sim642
October 30, 2023 14:52 3s sv-comp-yaml
sv-comp-yaml
October 30, 2023 14:52 3s
Add unknown thread ID indentation #8410: Pull request #1224 synchronize by karoliineh
October 29, 2023 19:20 6m 53s issue-392
issue-392
October 29, 2023 19:20 6m 53s
Handle top thread when handling thread joins in base indentation #8409: Commit 894e618 pushed by karoliineh
October 29, 2023 19:20 6m 36s issue-392
issue-392
October 29, 2023 19:20 6m 36s
Add unknown thread ID indentation #8408: Pull request #1224 synchronize by karoliineh
October 29, 2023 18:20 8m 23s issue-392
issue-392
October 29, 2023 18:20 8m 23s
Implement widen for threads with int and address similarly to the Add… indentation #8407: Commit ae7a406 pushed by karoliineh
October 29, 2023 18:20 5m 50s issue-392
issue-392
October 29, 2023 18:20 5m 50s
Add unknown thread ID indentation #8406: Pull request #1224 synchronize by karoliineh
October 29, 2023 18:16 6m 55s issue-392
issue-392
October 29, 2023 18:16 6m 55s
Join threads with top when joining with int or address indentation #8405: Commit 4cb8c97 pushed by karoliineh
October 29, 2023 18:15 7m 12s issue-392
issue-392
October 29, 2023 18:15 7m 12s
Fix accident in 20 10 test indentation #8404: Commit 2c0a08f pushed by karoliineh
October 29, 2023 18:14 5m 43s master
master
October 29, 2023 18:14 5m 43s
Add unknown thread ID indentation #8403: Pull request #1224 synchronize by karoliineh
October 27, 2023 21:19 4m 19s issue-392
issue-392
October 27, 2023 21:19 4m 19s
Merge branch 'master' into issue-392 indentation #8402: Commit 05d6d0e pushed by karoliineh
October 27, 2023 21:19 4m 14s issue-392
issue-392
October 27, 2023 21:19 4m 14s
Add --enable ana.sv-comp.functions to 20-race-2_1-container_of.c indentation #8401: Commit 6899d44 pushed by karoliineh
October 27, 2023 12:14 6m 31s master
master
October 27, 2023 12:14 6m 31s
Add unknown thread ID indentation #8400: Pull request #1224 opened by karoliineh
October 27, 2023 11:49 2s issue-392
issue-392
October 27, 2023 11:49 2s
ProTip! You can narrow down the results and go further in time using created:<2023-10-27 or the other filters available.