Skip to content

Actions: sosy-lab/benchexec

Actions

REUSE Compliance Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
reuse.yml
730 workflow runs
730 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

AProVE 2025 (#1083) REUSE Compliance Check #732: Commit ddd3986 pushed by PhilippWendler
October 22, 2024 14:15 22s main
main
October 22, 2024 14:15 22s
AProVE 2025 REUSE Compliance Check #731: Pull request #1083 synchronize by nilslommen
October 22, 2024 14:07 20s aprove-developers:main
aprove-developers:main
October 22, 2024 14:07 20s
Merge pull request #1090 from vesalvojdani/main REUSE Compliance Check #730: Commit a9ebc8e pushed by PhilippWendler
October 22, 2024 05:21 19s main
main
October 22, 2024 05:21 19s
Merge pull request #1084 from Lasagnenator/add-svf-tool-info REUSE Compliance Check #729: Commit 729afc0 pushed by PhilippWendler
October 21, 2024 14:09 20s main
main
October 21, 2024 14:09 20s
Add SVF tool info REUSE Compliance Check #728: Pull request #1084 synchronize by Lasagnenator
October 21, 2024 13:50 18s Lasagnenator:add-svf-tool-info
Lasagnenator:add-svf-tool-info
October 21, 2024 13:50 18s
Merge pull request #1089 from TDacik/main REUSE Compliance Check #727: Commit 7dfb191 pushed by PhilippWendler
October 21, 2024 13:40 21s main
main
October 21, 2024 13:40 21s
SV-COMP 25: Add tool info for RacerF REUSE Compliance Check #726: Pull request #1089 synchronize by TDacik
October 21, 2024 13:15 20s TDacik:main
TDacik:main
October 21, 2024 13:15 20s
Add SVF tool info REUSE Compliance Check #725: Pull request #1084 synchronize by Lasagnenator
October 21, 2024 08:48 17s Lasagnenator:add-svf-tool-info
Lasagnenator:add-svf-tool-info
October 21, 2024 08:48 17s
Add SVF tool info REUSE Compliance Check #724: Pull request #1084 synchronize by Lasagnenator
October 21, 2024 08:46 21s Lasagnenator:add-svf-tool-info
Lasagnenator:add-svf-tool-info
October 21, 2024 08:46 21s
Merge pull request #1091 from leventeBajczi/theta-update-2024 REUSE Compliance Check #723: Commit 68005e6 pushed by PhilippWendler
October 21, 2024 07:29 19s main
main
October 21, 2024 07:29 19s
Merge pull request #1085 from jankofron/hornix REUSE Compliance Check #722: Commit 33c0cd1 pushed by PhilippWendler
October 21, 2024 07:17 19s main
main
October 21, 2024 07:17 19s
SV-COMP 25 Hornix tool REUSE Compliance Check #721: Pull request #1085 synchronize by blishko
October 21, 2024 07:09 18s jankofron:hornix
jankofron:hornix
October 21, 2024 07:09 18s
Theta tool-info module update REUSE Compliance Check #720: Pull request #1091 opened by leventeBajczi
October 20, 2024 19:52 23s leventeBajczi:theta-update-2024
leventeBajczi:theta-update-2024
October 20, 2024 19:52 23s
Add toolinfo module for meta-verifier CoOpeRace REUSE Compliance Check #719: Pull request #1090 opened by vesalvojdani
October 20, 2024 17:47 19s vesalvojdani:main
vesalvojdani:main
October 20, 2024 17:47 19s
SV-COMP 25: Add tool info for RacerF REUSE Compliance Check #718: Pull request #1089 opened by TDacik
October 20, 2024 15:35 19s TDacik:main
TDacik:main
October 20, 2024 15:35 19s
Add SVF tool info REUSE Compliance Check #717: Pull request #1084 synchronize by Lasagnenator
October 20, 2024 00:37 21s Lasagnenator:add-svf-tool-info
Lasagnenator:add-svf-tool-info
October 20, 2024 00:37 21s
Add SVF tool info REUSE Compliance Check #716: Pull request #1084 synchronize by Lasagnenator
October 20, 2024 00:14 17s Lasagnenator:add-svf-tool-info
Lasagnenator:add-svf-tool-info
October 20, 2024 00:14 17s
Test-comp 2025: Update of script for Fizzer REUSE Compliance Check #715: Pull request #1088 opened by trtikm
October 19, 2024 18:09 18s trtikm:marek/fizzer
trtikm:marek/fizzer
October 19, 2024 18:09 18s
Added SV-COMP 2025 marker. REUSE Compliance Check #714: Pull request #1087 opened by rmetta
October 19, 2024 04:07 20s rmetta:main
rmetta:main
October 19, 2024 04:07 20s
Add SVF tool info REUSE Compliance Check #713: Pull request #1084 synchronize by Lasagnenator
October 18, 2024 23:57 24s Lasagnenator:add-svf-tool-info
Lasagnenator:add-svf-tool-info
October 18, 2024 23:57 24s
Add SVF tool info REUSE Compliance Check #712: Pull request #1084 synchronize by Lasagnenator
October 18, 2024 23:32 18s Lasagnenator:add-svf-tool-info
Lasagnenator:add-svf-tool-info
October 18, 2024 23:32 18s
SV-COMP 25 Hornix tool REUSE Compliance Check #711: Pull request #1085 synchronize by blishko
October 18, 2024 19:55 17s jankofron:hornix
jankofron:hornix
October 18, 2024 19:55 17s
SV-COMP 25 Hornix tool REUSE Compliance Check #710: Pull request #1085 synchronize by jankofron
October 18, 2024 16:59 30s jankofron:hornix
jankofron:hornix
October 18, 2024 16:59 30s
Add toolinfo module for MetaVal 2.0 REUSE Compliance Check #709: Pull request #1086 opened by marian-lingsch
October 18, 2024 11:23 17s metaval-2.0
metaval-2.0
October 18, 2024 11:23 17s
Add toolinfo module for MetaVal 2.0 REUSE Compliance Check #708: Commit 95da082 pushed by marian-lingsch
October 18, 2024 11:23 20s metaval-2.0
metaval-2.0
October 18, 2024 11:23 20s