Skip to content

Actions: sosy-lab/benchexec

Actions

REUSE Compliance Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
reuse.yml
977 workflow runs
977 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a missing required path for CPV REUSE Compliance Check #143: Pull request #968 opened by Po-Chun-Chien
November 18, 2023 12:38 24s Po-Chun-Chien:cpv-tool-info
Po-Chun-Chien:cpv-tool-info
November 18, 2023 12:38 24s
Merge pull request #966 from MartinSpiessl/liv REUSE Compliance Check #142: Commit 339d781 pushed by dbeyer
November 17, 2023 20:41 23s main
main
November 17, 2023 20:41 23s
Add tool-info module for LIV REUSE Compliance Check #141: Pull request #966 synchronize by MartinSpiessl
November 17, 2023 20:12 20s MartinSpiessl:liv
MartinSpiessl:liv
November 17, 2023 20:12 20s
Add tool-info module for LIV REUSE Compliance Check #140: Pull request #966 synchronize by MartinSpiessl
November 17, 2023 19:54 19s MartinSpiessl:liv
MartinSpiessl:liv
November 17, 2023 19:54 19s
Metaval svcomp24 REUSE Compliance Check #139: Pull request #967 opened by marian-lingsch
November 16, 2023 13:41 25s metaval-svcomp24
metaval-svcomp24
November 16, 2023 13:41 25s
Property is python build in which was being overshadowed REUSE Compliance Check #138: Commit 0a0fbd0 pushed by marian-lingsch
November 16, 2023 12:49 20s metaval-svcomp24
metaval-svcomp24
November 16, 2023 12:49 20s
Add tool-info module for VerCors REUSE Compliance Check #137: Pull request #910 synchronize by PhilippWendler
November 16, 2023 12:43 20s MartinSpiessl:vercors
MartinSpiessl:vercors
November 16, 2023 12:43 20s
Add tool-info module for VeriFast REUSE Compliance Check #136: Pull request #909 synchronize by PhilippWendler
November 16, 2023 12:43 27s MartinSpiessl:verifast
MartinSpiessl:verifast
November 16, 2023 12:43 27s
Add algorithm selection dependent on the property. REUSE Compliance Check #135: Commit 2751363 pushed by marian-lingsch
November 16, 2023 12:39 23s metaval-svcomp24
metaval-svcomp24
November 16, 2023 12:39 23s
Test suite optimization: Migrate tests to pytest REUSE Compliance Check #134: Pull request #917 synchronize by Naman-Priyadarshi
November 16, 2023 11:42 24s migrate-test-to-pytest
migrate-test-to-pytest
November 16, 2023 11:42 24s
add comment explaining conftest.py REUSE Compliance Check #133: Commit 6d2b876 pushed by Naman-Priyadarshi
November 16, 2023 11:42 20s migrate-test-to-pytest
migrate-test-to-pytest
November 16, 2023 11:42 20s
Add tool-info module for LIV REUSE Compliance Check #132: Pull request #966 synchronize by MartinSpiessl
November 15, 2023 15:09 26s MartinSpiessl:liv
MartinSpiessl:liv
November 15, 2023 15:09 26s
Add tool-info module for LIV REUSE Compliance Check #131: Pull request #966 opened by MartinSpiessl
November 15, 2023 13:07 21s MartinSpiessl:liv
MartinSpiessl:liv
November 15, 2023 13:07 21s
Merge pull request #965 from Columpio/patch-1 REUSE Compliance Check #130: Commit 2cd705d pushed by PhilippWendler
November 14, 2023 09:22 19s main
main
November 14, 2023 09:22 19s
Fixed KLEEF binary name REUSE Compliance Check #129: Pull request #965 opened by Columpio
November 14, 2023 09:20 21s Columpio:patch-1
Columpio:patch-1
November 14, 2023 09:20 21s
Merge pull request #964 from adamstafa/main REUSE Compliance Check #128: Commit af1e328 pushed by PhilippWendler
November 13, 2023 14:27 28s main
main
November 13, 2023 14:27 28s
Update Rizzer tool info REUSE Compliance Check #127: Pull request #964 opened by adamstafa
November 13, 2023 14:25 25s adamstafa:main
adamstafa:main
November 13, 2023 14:25 25s
Merge pull request #963 from ArpitaDutta/main REUSE Compliance Check #126: Commit c5a3286 pushed by PhilippWendler
November 13, 2023 07:04 24s main
main
November 13, 2023 07:04 24s
Reverted name back to 'Tracer-X' from 'TracerX-Del' in tracerx.py REUSE Compliance Check #125: Pull request #963 opened by ArpitaDutta
November 11, 2023 16:16 41s ArpitaDutta:main
ArpitaDutta:main
November 11, 2023 16:16 41s
Merge pull request #962 from Po-Chun-Chien/cpv-tool-info REUSE Compliance Check #124: Commit 1c3136d pushed by PhilippWendler
November 10, 2023 10:54 30s main
main
November 10, 2023 10:54 30s
Adjust required path for CPV REUSE Compliance Check #123: Pull request #962 opened by Po-Chun-Chien
November 10, 2023 10:48 29s Po-Chun-Chien:cpv-tool-info
Po-Chun-Chien:cpv-tool-info
November 10, 2023 10:48 29s
Merge pull request #961 from sim642/goblint-url_for_version REUSE Compliance Check #122: Commit 7e09a24 pushed by PhilippWendler
November 10, 2023 06:42 27s main
main
November 10, 2023 06:42 27s
goblint: implement url_for_version REUSE Compliance Check #121: Pull request #961 opened by sim642
November 9, 2023 16:12 17s sim642:goblint-url_for_version
sim642:goblint-url_for_version
November 9, 2023 16:12 17s
Merge pull request #960 from Po-Chun-Chien/cpv-tool-info REUSE Compliance Check #120: Commit 76a7122 pushed by PhilippWendler
November 9, 2023 15:00 23s main
main
November 9, 2023 15:00 23s
Update CPV tool info REUSE Compliance Check #119: Pull request #960 opened by Po-Chun-Chien
November 9, 2023 14:58 27s Po-Chun-Chien:cpv-tool-info
Po-Chun-Chien:cpv-tool-info
November 9, 2023 14:58 27s
ProTip! You can narrow down the results and go further in time using created:<2023-11-09 or the other filters available.