Skip to content

Actions: SMT-LIB/benchmark-submission

Actions

Check Pull Request

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-pull-request.yml
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Certora QF_UFBV benchmarks Check Pull Request #56: Pull request #21 opened by aehyvari
November 13, 2024 15:43 5m 20s aehyvari:antti/certora-qf_ufbv-benchmarks-2024
aehyvari:antti/certora-qf_ufbv-benchmarks-2024
November 13, 2024 15:43 5m 20s
Adding SMT2 queries from hevm symbolic execution framework running on the eth-sc-comp set Check Pull Request #55: Pull request #7 synchronize by hansjoergschurr
June 20, 2024 15:08 53s msooseth:msoos-new2
msooseth:msoos-new2
June 20, 2024 15:08 53s
Adopt dolmen10 Check Pull Request #53: Pull request #20 synchronize by rod-chapman
June 17, 2024 15:44 1m 18s rod-chapman:adopt_dolmen10
rod-chapman:adopt_dolmen10
June 17, 2024 15:44 1m 18s
Adding SMT2 queries from hevm symbolic execution framework running on the eth-sc-comp set Check Pull Request #50: Pull request #7 synchronize by hansjoergschurr
April 23, 2024 18:36 2m 55s msooseth:msoos-new2
msooseth:msoos-new2
April 23, 2024 18:36 2m 55s
Adding 20240414-funcprobs problems. Check Pull Request #49: Pull request #15 synchronize by MikolasJanota
April 18, 2024 11:02 1m 52s MikolasJanota:main
MikolasJanota:main
April 18, 2024 11:02 1m 52s
MAPF_R SMT-COMP 2024 submission Check Pull Request #47: Pull request #14 synchronize by hansjoergschurr
April 17, 2024 21:08 4m 26s Tomaqa:main
Tomaqa:main
April 17, 2024 21:08 4m 26s
Add new benchmarks from Ultimate Automizer's loop acceleration Check Pull Request #46: Pull request #16 synchronize by hansjoergschurr
April 17, 2024 20:29 41s Heizmann:main
Heizmann:main
April 17, 2024 20:29 41s
MAPF_R SMT-COMP 2024 submission Check Pull Request #45: Pull request #14 synchronize by Tomaqa
April 14, 2024 22:02 4m 30s Tomaqa:main
Tomaqa:main
April 14, 2024 22:02 4m 30s
Add new benchmarks from Ultimate Automizer's loop acceleration Check Pull Request #44: Pull request #16 synchronize by Heizmann
April 14, 2024 20:57 41s Heizmann:main
Heizmann:main
April 14, 2024 20:57 41s
Benchmarks for redos attack detections Check Pull Request #43: Pull request #9 synchronize by SimpleXiaohu
April 14, 2024 18:36 3m 12s SimpleXiaohu:main
SimpleXiaohu:main
April 14, 2024 18:36 3m 12s
Benchmarks for redos attack detections Check Pull Request #42: Pull request #9 synchronize by SimpleXiaohu
April 14, 2024 13:14 3m 32s SimpleXiaohu:main
SimpleXiaohu:main
April 14, 2024 13:14 3m 32s
Add new benchmarks from Ultimate Automizer's loop acceleration Check Pull Request #41: Pull request #16 opened by Heizmann
April 14, 2024 11:48 20s Heizmann:main
Heizmann:main
April 14, 2024 11:48 20s
MAPF_R SMT-COMP 2024 submission Check Pull Request #40: Pull request #14 synchronize by Tomaqa
April 14, 2024 11:40 1m 37s Tomaqa:main
Tomaqa:main
April 14, 2024 11:40 1m 37s
Adding 20240414-funcprobs problems. Check Pull Request #38: Pull request #15 opened by MikolasJanota
April 14, 2024 07:05 49s MikolasJanota:main
MikolasJanota:main
April 14, 2024 07:05 49s
Benchmarks for redos attack detections Check Pull Request #37: Pull request #9 synchronize by hansjoergschurr
April 13, 2024 19:35 3m 22s SimpleXiaohu:main
SimpleXiaohu:main
April 13, 2024 19:35 3m 22s
Benchmarks for redos attack detections Check Pull Request #36: Pull request #9 synchronize by hansjoergschurr
April 13, 2024 19:31 17s SimpleXiaohu:main
SimpleXiaohu:main
April 13, 2024 19:31 17s
MAPF_R SMT-COMP 2024 submission Check Pull Request #35: Pull request #14 opened by Tomaqa
April 13, 2024 17:15 25s Tomaqa:main
Tomaqa:main
April 13, 2024 17:15 25s
Added QF_LIA Benchmarks Check Pull Request #34: Pull request #13 opened by aronspang
April 13, 2024 15:17 57s aronspang:main
aronspang:main
April 13, 2024 15:17 57s
Benchmarks about pPDA termination Check Pull Request #33: Pull request #11 opened by michiari
April 12, 2024 11:49 30s michiari:main
michiari:main
April 12, 2024 11:49 30s
Benchmarks for redos attack detections Check Pull Request #32: Pull request #9 synchronize by SimpleXiaohu
April 12, 2024 00:34 17s SimpleXiaohu:main
SimpleXiaohu:main
April 12, 2024 00:34 17s
Cyclic Word Equations with Regular Constraints Check Pull Request #31: Pull request #6 synchronize by hansjoergschurr
April 11, 2024 18:21 28s OliverMa1:main
OliverMa1:main
April 11, 2024 18:21 28s
Benchmarks for redos attack detections Check Pull Request #30: Pull request #9 synchronize by SimpleXiaohu
April 10, 2024 16:28 15s SimpleXiaohu:main
SimpleXiaohu:main
April 10, 2024 16:28 15s
Certora benchmark submission 2024 Check Pull Request #28: Pull request #10 synchronize by aehyvari
April 10, 2024 15:37 59s aehyvari:certora-2024
aehyvari:certora-2024
April 10, 2024 15:37 59s
Certora benchmark submission 2024 Check Pull Request #27: Pull request #10 synchronize by aehyvari
April 10, 2024 14:53 48s aehyvari:certora-2024
aehyvari:certora-2024
April 10, 2024 14:53 48s
Certora benchmark submission 2024 Check Pull Request #25: Pull request #10 opened by aehyvari
April 10, 2024 13:26 17s aehyvari:certora-2024
aehyvari:certora-2024
April 10, 2024 13:26 17s