Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
637 workflow run results
637 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for YAML witness entry type invariant_set locked #8833: Pull request #1240 synchronize by sim642
November 9, 2023 11:09 23m 33s yaml-witness-2.0
yaml-witness-2.0
November 9, 2023 11:09 23m 33s
Fix invariant_set loop_invariant option check locked #8832: Commit a933266 pushed by sim642
November 9, 2023 11:09 25m 42s yaml-witness-2.0
yaml-witness-2.0
November 9, 2023 11:09 25m 42s
Add support for YAML witness entry type invariant_set locked #8831: Pull request #1240 synchronize by sim642
November 9, 2023 10:43 45m 43s yaml-witness-2.0
yaml-witness-2.0
November 9, 2023 10:43 45m 43s
Add option witness.yaml.format-version locked #8830: Commit d884744 pushed by sim642
November 9, 2023 10:43 38m 22s yaml-witness-2.0
yaml-witness-2.0
November 9, 2023 10:43 38m 22s
Improve SV-COMP conf for no-data-race locked #8829: Pull request #1207 synchronize by sim642
November 9, 2023 10:33 30m 9s svcomp24-conf
svcomp24-conf
November 9, 2023 10:33 30m 9s
Merge branch 'master' into svcomp24-conf locked #8828: Commit 6aed24f pushed by sim642
November 9, 2023 10:33 34m 4s svcomp24-conf
svcomp24-conf
November 9, 2023 10:33 34m 4s
Merge pull request #1234 from goblint/path_sens_memleak locked #8827: Commit 03e17b6 pushed by michael-schwarz
November 9, 2023 10:21 35m 3s master
master
November 9, 2023 10:21 35m 3s
Merge pull request #1242 from goblint/issue_1239 locked #8826: Commit d47e429 pushed by michael-schwarz
November 9, 2023 10:20 35m 35s master
master
November 9, 2023 10:20 35m 35s
Improve SV-COMP conf for no-data-race locked #8825: Pull request #1207 synchronize by sim642
November 9, 2023 09:59 33m 59s svcomp24-conf
svcomp24-conf
November 9, 2023 09:59 33m 59s
Merge branch 'master' into svcomp24-conf locked #8824: Commit afdf566 pushed by sim642
November 9, 2023 09:59 34m 39s svcomp24-conf
svcomp24-conf
November 9, 2023 09:59 34m 39s
Add some library functions from SV-COMP locked #8823: Pull request #1242 synchronize by michael-schwarz
November 9, 2023 09:18 32m 55s issue_1239
issue_1239
November 9, 2023 09:18 32m 55s
Move fread_unlocked to glibc locked #8822: Commit 39a9427 pushed by michael-schwarz
November 9, 2023 09:18 39m 59s issue_1239
issue_1239
November 9, 2023 09:18 39m 59s
Add some library functions from SV-COMP locked #8821: Pull request #1242 synchronize by michael-schwarz
November 9, 2023 09:16 28m 45s issue_1239
issue_1239
November 9, 2023 09:16 28m 45s
Move _exit back locked #8820: Commit dd3de9e pushed by michael-schwarz
November 9, 2023 09:16 31m 24s issue_1239
issue_1239
November 9, 2023 09:16 31m 24s
locked locked #8819: Scheduled
November 9, 2023 02:02 2h 4m 15s master
master
November 9, 2023 02:02 2h 4m 15s
Account for allocated heap memory which is unreachable from globals locked #8818: Pull request #1241 synchronize by mrstanb
November 8, 2023 21:52 34m 35s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 21:52 34m 35s
Account for allocated heap memory which is unreachable from globals locked #8817: Pull request #1241 synchronize by mrstanb
November 8, 2023 19:53 33m 37s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 19:53 33m 37s
Account for allocated heap memory which is unreachable from globals locked #8816: Pull request #1241 synchronize by mrstanb
November 8, 2023 19:52 41m 38s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 19:52 41m 38s
Account for allocated heap memory which is unreachable from globals locked #8815: Pull request #1241 synchronize by mrstanb
November 8, 2023 19:51 35m 34s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 19:51 35m 34s
Add some library functions from SV-COMP locked #8814: Pull request #1242 synchronize by michael-schwarz
November 8, 2023 13:15 30m 45s issue_1239
issue_1239
November 8, 2023 13:15 30m 45s
Move _exit to C, as C usually takes precedence over posix for us locked #8813: Commit c4353f9 pushed by michael-schwarz
November 8, 2023 13:15 34m 25s issue_1239
issue_1239
November 8, 2023 13:15 34m 25s
Add some library functions from SV-COMP locked #8812: Pull request #1242 synchronize by michael-schwarz
November 8, 2023 13:12 18m 41s issue_1239
issue_1239
November 8, 2023 13:12 18m 41s
__assert locked #8811: Commit 2fc6220 pushed by michael-schwarz
November 8, 2023 13:12 18m 26s issue_1239
issue_1239
November 8, 2023 13:12 18m 26s
Add some library functions from SV-COMP locked #8810: Pull request #1242 synchronize by michael-schwarz
November 8, 2023 13:01 14m 37s issue_1239
issue_1239
November 8, 2023 13:01 14m 37s
_Exit / _exit locked #8809: Commit b3ef062 pushed by michael-schwarz
November 8, 2023 13:01 14m 1s issue_1239
issue_1239
November 8, 2023 13:01 14m 1s