Skip to content

Actions: kth-step/HolBA

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
708 workflow runs
708 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add profiling of birs_exec_step_CONV CI Build #1087: Commit ba7ed41 pushed by andreaslindner
July 30, 2024 12:22 37m 48s riscv-symbexec-andreas
riscv-symbexec-andreas
July 30, 2024 12:22 37m 48s
Add pruning at conditional branches CI Build #1086: Commit ebe100b pushed by andreaslindner
July 30, 2024 10:31 37m 18s riscv-symbexec
riscv-symbexec
July 30, 2024 10:31 37m 18s
Add pruning at conditional branches CI Build #1085: Commit ebe100b pushed by andreaslindner
July 30, 2024 10:30 37m 22s riscv-symbexec-andreas
riscv-symbexec-andreas
July 30, 2024 10:30 37m 22s
Fix test CI Build #1084: Commit 41daf5f pushed by andreaslindner
July 30, 2024 08:57 37m 42s riscv-symbexec
riscv-symbexec
July 30, 2024 08:57 37m 42s
Fix test CI Build #1083: Commit 41daf5f pushed by andreaslindner
July 30, 2024 08:57 37m 31s riscv-symbexec-andreas
riscv-symbexec-andreas
July 30, 2024 08:57 37m 31s
Add output of bir expression sizes CI Build #1082: Commit 9caf9f6 pushed by andreaslindner
July 29, 2024 21:54 31m 47s riscv-symbexec
riscv-symbexec
July 29, 2024 21:54 31m 47s
Add output of bir expression sizes CI Build #1081: Commit 9caf9f6 pushed by andreaslindner
July 29, 2024 21:54 31m 28s riscv-symbexec-andreas
riscv-symbexec-andreas
July 29, 2024 21:54 31m 28s
Simplify generation of readable theorems (avoids METIS-madness) CI Build #1080: Commit 16721f4 pushed by andreaslindner
July 29, 2024 20:39 37m 34s riscv-symbexec
riscv-symbexec
July 29, 2024 20:39 37m 34s
Simplify generation of readable theorems (avoids METIS-madness) CI Build #1079: Commit 16721f4 pushed by andreaslindner
July 29, 2024 20:39 37m 33s riscv-symbexec-andreas
riscv-symbexec-andreas
July 29, 2024 20:39 37m 33s
Improve build/holheap for development focused on symbolic execution l… CI Build #1078: Commit f825618 pushed by andreaslindner
July 29, 2024 19:39 38m 26s riscv-symbexec-andreas
riscv-symbexec-andreas
July 29, 2024 19:39 38m 26s
Fix tests CI Build #1077: Commit 0fe1580 pushed by andreaslindner
July 29, 2024 16:39 39m 20s riscv-symbexec
riscv-symbexec
July 29, 2024 16:39 39m 20s
Fix tests CI Build #1076: Commit 0fe1580 pushed by andreaslindner
July 29, 2024 16:39 38m 57s riscv-symbexec-andreas
riscv-symbexec-andreas
July 29, 2024 16:39 38m 57s
Fix riscv test CI Build #1075: Commit 5ca4564 pushed by andreaslindner
July 29, 2024 14:49 33m 31s riscv-symbexec
riscv-symbexec
July 29, 2024 14:49 33m 31s
Fix riscv test CI Build #1074: Commit 5ca4564 pushed by andreaslindner
July 29, 2024 14:49 33m 44s riscv-symbexec-andreas
riscv-symbexec-andreas
July 29, 2024 14:49 33m 44s
Remove split that slows down CI Build #1073: Commit a98f126 pushed by andreaslindner
July 29, 2024 14:45 32m 42s riscv-symbexec
riscv-symbexec
July 29, 2024 14:45 32m 42s
Remove split that slows down CI Build #1072: Commit a98f126 pushed by andreaslindner
July 29, 2024 14:44 32m 23s riscv-symbexec-andreas
riscv-symbexec-andreas
July 29, 2024 14:44 32m 23s
Fix swap prop CI Build #1071: Commit e677195 pushed by andreaslindner
July 29, 2024 10:35 33m 12s riscv-symbexec
riscv-symbexec
July 29, 2024 10:35 33m 12s
Fix swap prop CI Build #1070: Commit e677195 pushed by andreaslindner
July 29, 2024 10:35 32m 15s riscv-symbexec-andreas
riscv-symbexec-andreas
July 29, 2024 10:35 32m 15s
Updates CI Build #1069: Commit 966ba73 pushed by andreaslindner
July 29, 2024 10:14 40m 5s riscv-symbexec
riscv-symbexec
July 29, 2024 10:14 40m 5s
Updates CI Build #1068: Commit 966ba73 pushed by andreaslindner
July 29, 2024 10:13 39m 16s riscv-symbexec-andreas
riscv-symbexec-andreas
July 29, 2024 10:13 39m 16s
CI Build CI Build #1067: Scheduled
July 28, 2024 03:15 45m 24s master
master
July 28, 2024 03:15 45m 24s
Spotted issue in a theorem CI Build #1066: Commit 4132928 pushed by andreaslindner
July 22, 2024 09:06 39m 13s riscv-symbexec-andreas
riscv-symbexec-andreas
July 22, 2024 09:06 39m 13s
Fixed experiment data collection script CI Build #1065: Commit d202118 pushed by andreaslindner
July 21, 2024 22:13 39m 20s riscv-symbexec
riscv-symbexec
July 21, 2024 22:13 39m 20s
Fixed experiment data collection script CI Build #1064: Commit d202118 pushed by andreaslindner
July 21, 2024 22:12 45m 16s riscv-symbexec-andreas
riscv-symbexec-andreas
July 21, 2024 22:12 45m 16s
CI Build CI Build #1063: Scheduled
July 21, 2024 03:15 45m 48s master
master
July 21, 2024 03:15 45m 48s
ProTip! You can narrow down the results and go further in time using created:<2024-07-21 or the other filters available.