Skip to content

Actions: ultimate-pa/benchexec

Actions

REUSE Compliance Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
reuse.yml
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add support for different "modes" in table definitions: first match a… REUSE Compliance Check #36: Commit 62b2c8b pushed by maul-esel
January 8, 2025 20:49 18s memory_assignment
memory_assignment
January 8, 2025 20:49 18s
Merge pull request #1141 from Po-Chun-Chien/ric3-tool-info REUSE Compliance Check #35: Commit ff38f87 pushed by maul-esel
January 8, 2025 20:48 22s main
main
January 8, 2025 20:48 22s
add support for task-defined options to ULTIMATE tool info module REUSE Compliance Check #34: Commit 3762d43 pushed by maul-esel
December 19, 2024 16:07 23s ultimate-task-options
ultimate-task-options
December 19, 2024 16:07 23s
add support for task-defined options to ULTIMATE tool info module REUSE Compliance Check #33: Commit 8220845 pushed by maul-esel
December 19, 2024 16:05 19s ultimate-task-options
ultimate-task-options
December 19, 2024 16:05 19s
add support for task-defined options to ULTIMATE tool info module REUSE Compliance Check #32: Commit 7c2f132 pushed by maul-esel
December 19, 2024 16:03 19s ultimate-task-options
ultimate-task-options
December 19, 2024 16:03 19s
add support for task-defined options to ULTIMATE tool info module REUSE Compliance Check #31: Commit 88208a9 pushed by maul-esel
December 19, 2024 16:01 18s ultimate-task-options
ultimate-task-options
December 19, 2024 16:01 18s
add support for task-defined options to ULTIMATE tool info module REUSE Compliance Check #30: Commit 221b7a7 pushed by maul-esel
December 19, 2024 15:58 20s ultimate-task-options
ultimate-task-options
December 19, 2024 15:58 20s
add support for task-defined options to ULTIMATE tool info module REUSE Compliance Check #29: Commit f809a0b pushed by maul-esel
December 19, 2024 15:32 22s ultimate-task-options
ultimate-task-options
December 19, 2024 15:32 22s
add support for different "modes" in table definitions: first match a… REUSE Compliance Check #28: Commit 2514de7 pushed by maul-esel
December 19, 2024 14:51 17s memory_assignment
memory_assignment
December 19, 2024 14:51 17s
Merge pull request #1138 from sosy-lab/update-spf-ti REUSE Compliance Check #27: Commit b2cb946 pushed by maul-esel
December 19, 2024 14:50 20s main
main
December 19, 2024 14:50 20s
add support for different "modes" in table definitions: first match a… REUSE Compliance Check #26: Commit 7c7a8e1 pushed by maul-esel
November 15, 2024 20:13 19s memory_assignment
memory_assignment
November 15, 2024 20:13 19s
Modify the project_url in aise.py (#1104) REUSE Compliance Check #25: Commit 86252f4 pushed by maul-esel
November 14, 2024 00:00 18s main
main
November 14, 2024 00:00 18s
add support for different "modes" in table definitions: first match a… REUSE Compliance Check #24: Commit e5efee5 pushed by maul-esel
November 13, 2024 23:58 21s memory_assignment
memory_assignment
November 13, 2024 23:58 21s
use result.RESULT_FALSE_DATARACE for data race violations REUSE Compliance Check #23: Commit 5bd103a pushed by maul-esel
November 13, 2024 12:44 19s ultimate-dataraces
ultimate-dataraces
November 13, 2024 12:44 19s
use result.RESULT_FALSE_DATARACE for data race violations REUSE Compliance Check #22: Commit bbcdf65 pushed by maul-esel
November 13, 2024 09:27 21s ultimate-dataraces
ultimate-dataraces
November 13, 2024 09:27 21s
Merge pull request #1106 from hernanponcedeleon/no-data-race REUSE Compliance Check #21: Commit d8b67f1 pushed by maul-esel
November 13, 2024 09:22 22s main
main
November 13, 2024 09:22 22s
add support for different "modes" in table definitions: first match a… REUSE Compliance Check #20: Commit 5025280 pushed by danieldietsch
November 7, 2024 17:03 17s memory_assignment
memory_assignment
November 7, 2024 17:03 17s
Apply flake8 suggestion to make any() lazy REUSE Compliance Check #19: Commit 6b427e5 pushed by danieldietsch
November 7, 2024 17:02 23s main
main
November 7, 2024 17:02 23s
Merge pull request #1102 from ultimate-pa/update-ultimate-jdk21 REUSE Compliance Check #18: Commit 2ca9b4a pushed by maul-esel
November 7, 2024 14:57 18s main
main
November 7, 2024 14:57 18s
do not look for Ultimate binary to verify Ultimate dir, look for one … REUSE Compliance Check #17: Commit e292b96 pushed by maul-esel
November 7, 2024 14:29 17s update-ultimate-jdk21
update-ultimate-jdk21
November 7, 2024 14:29 17s
do not look for Ultimate binary to verify Ultimate dir, look for one … REUSE Compliance Check #16: Commit 9017b59 pushed by maul-esel
November 7, 2024 14:24 24s update-ultimate-jdk21
update-ultimate-jdk21
November 7, 2024 14:24 24s
Fix Korn toolinfo module, include data_model (#1101) REUSE Compliance Check #15: Commit f7d8955 pushed by maul-esel
November 7, 2024 14:20 20s main
main
November 7, 2024 14:20 20s
do not look for Ultimate binary to verify Ultimate dir, look for one … REUSE Compliance Check #14: Commit a25517e pushed by maul-esel
November 6, 2024 19:15 23s update-ultimate-jdk21
update-ultimate-jdk21
November 6, 2024 19:15 23s
do not look for Ultimate binary to verify Ultimate dir, look for one … REUSE Compliance Check #13: Commit 888a0ad pushed by danieldietsch
November 6, 2024 19:00 18s update-ultimate-jdk21
update-ultimate-jdk21
November 6, 2024 19:00 18s
do not look for Ultimate binary to verify Ultimate dir, look for one … REUSE Compliance Check #12: Commit e0883cb pushed by danieldietsch
November 6, 2024 18:59 22s update-ultimate-jdk21
update-ultimate-jdk21
November 6, 2024 18:59 22s