Skip to content

Actions: sosy-lab/benchexec

Actions

Check code format

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
black.yml
867 workflow runs
867 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update all validators to handle Validation tasks Check code format #869: Pull request #1093 synchronize by marian-lingsch
November 15, 2024 21:11 21s handle-validation-tasks-validators
handle-validation-tasks-validators
November 15, 2024 21:11 21s
Merge branch 'main' into handle-validation-tasks-validators Check code format #868: Commit 3ee97ae pushed by marian-lingsch
November 15, 2024 21:11 23s handle-validation-tasks-validators
handle-validation-tasks-validators
November 15, 2024 21:11 23s
Add link to description of the option for identifying a witness in SV… Check code format #867: Commit b550e76 pushed by marian-lingsch
November 15, 2024 21:08 27s handle-validation-tasks-validators
handle-validation-tasks-validators
November 15, 2024 21:08 27s
Merge pull request #1110 from sosy-lab/metaval++-fix-input-task Check code format #866: Commit 02675f6 pushed by PhilippWendler
November 15, 2024 10:22 28s main
main
November 15, 2024 10:22 28s
Update MetaVal++ to correctly pass the input file correctly in the command-line Check code format #865: Pull request #1110 opened by marian-lingsch
November 15, 2024 10:03 24s metaval++-fix-input-task
metaval++-fix-input-task
November 15, 2024 10:03 24s
Update MetaVal++ to correctly pass the input file in the command-line Check code format #864: Commit bda5a54 pushed by marian-lingsch
November 15, 2024 10:03 23s metaval++-fix-input-task
metaval++-fix-input-task
November 15, 2024 10:03 23s
Make links for version numbers work even for union tables Check code format #863: Commit 6009163 pushed by PhilippWendler
November 15, 2024 08:00 22s main
main
November 15, 2024 08:00 22s
Merge pull request #1108 from ricffb/add-benchcloud-containerImage-arg Check code format #862: Commit 78a58ca pushed by PhilippWendler
November 15, 2024 07:47 22s main
main
November 15, 2024 07:47 22s
Fix invalid escape codes Check code format #861: Commit cbc5784 pushed by PhilippWendler
November 15, 2024 07:33 19s main
main
November 15, 2024 07:33 19s
Merge pull request #1109 from leventeBajczi/patch-1 Check code format #860: Commit 6bfba59 pushed by PhilippWendler
November 15, 2024 07:16 22s main
main
November 15, 2024 07:16 22s
Adding (sub)property to violations, and implementing memory limit passing Check code format #859: Pull request #1109 synchronize by leventeBajczi
November 15, 2024 06:51 21s leventeBajczi:patch-1
leventeBajczi:patch-1
November 15, 2024 06:51 21s
Adding (sub)property to violations, and implementing memory limit passing Check code format #858: Pull request #1109 synchronize by leventeBajczi
November 14, 2024 21:46 24s leventeBajczi:patch-1
leventeBajczi:patch-1
November 14, 2024 21:46 24s
Adding (sub)property to violations, and implementing memory limit passing Check code format #857: Pull request #1109 synchronize by leventeBajczi
November 14, 2024 21:42 23s leventeBajczi:patch-1
leventeBajczi:patch-1
November 14, 2024 21:42 23s
Adding (sub)property to violations, and implementing memory limit passing Check code format #856: Pull request #1109 synchronize by leventeBajczi
November 14, 2024 21:39 22s leventeBajczi:patch-1
leventeBajczi:patch-1
November 14, 2024 21:39 22s
Adding (sub)property to violations, and implementing memory limit passing Check code format #855: Pull request #1109 opened by leventeBajczi
November 14, 2024 19:03 23s leventeBajczi:patch-1
leventeBajczi:patch-1
November 14, 2024 19:03 23s
Test-comp 2025: Update of script for Fizzer Check code format #854: Pull request #1088 synchronize by trtikm
November 14, 2024 18:00 25s trtikm:marek/fizzer
trtikm:marek/fizzer
November 14, 2024 18:00 25s
Add the containerImage CLI arg to the BenchCloud Executor Check code format #853: Pull request #1108 opened by ricffb
November 14, 2024 17:23 23s ricffb:add-benchcloud-containerImage-arg
ricffb:add-benchcloud-containerImage-arg
November 14, 2024 17:23 23s
Modify the project_url in aise.py (#1104) Check code format #852: Commit 86252f4 pushed by PhilippWendler
November 13, 2024 17:50 22s main
main
November 13, 2024 17:50 22s
Modify the project_url in aise.py Check code format #851: Pull request #1104 synchronize by liar1007
November 13, 2024 15:46 21s liar1007:main
liar1007:main
November 13, 2024 15:46 21s
Modify the project_url in aise.py Check code format #850: Pull request #1104 synchronize by liar1007
November 13, 2024 15:45 20s liar1007:main
liar1007:main
November 13, 2024 15:45 20s
Merge pull request #1107 from ultimate-pa/ultimate-dataraces Check code format #849: Commit fc8c83c pushed by PhilippWendler
November 13, 2024 13:03 20s main
main
November 13, 2024 13:03 20s
Ultimate: fix output for data race violations Check code format #848: Pull request #1107 opened by maul-esel
November 13, 2024 12:49 26s ultimate-pa:ultimate-dataraces
ultimate-pa:ultimate-dataraces
November 13, 2024 12:49 26s
Merge pull request #1106 from hernanponcedeleon/no-data-race Check code format #847: Commit d8b67f1 pushed by PhilippWendler
November 13, 2024 08:35 22s main
main
November 13, 2024 08:35 22s
Use result.RESULT_FALSE_DATARACE constant in dartagnan Check code format #846: Pull request #1106 opened by hernanponcedeleon
November 13, 2024 08:33 22s hernanponcedeleon:no-data-race
hernanponcedeleon:no-data-race
November 13, 2024 08:33 22s
Add constant for 'false(no-data-race)' Check code format #845: Commit 2b90220 pushed by PhilippWendler
November 13, 2024 06:17 25s add-false-no-data-race
add-false-no-data-race
November 13, 2024 06:17 25s