Skip to content

Actions: RipplB/theta

Actions

macOS build and test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mac-build-test.yml
217 workflow runs
217 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Try with prime foldin macOS build and test #55: Commit 2cdce3f pushed by RipplB
October 27, 2023 14:50 11m 46s tdk
tdk
October 27, 2023 14:50 11m 46s
Log failed unfold macOS build and test #54: Commit f7de6eb pushed by RipplB
October 27, 2023 14:22 10m 38s tdk
tdk
October 27, 2023 14:22 10m 38s
fix benchmark printings macOS build and test #53: Commit 186aab4 pushed by RipplB
October 27, 2023 13:34 10m 26s tdk
tdk
October 27, 2023 13:34 10m 26s
Temporarily removed waitlist test macOS build and test #52: Commit cbaf437 pushed by mondokm
October 27, 2023 12:18 12m 38s tdk
tdk
October 27, 2023 12:18 12m 38s
Replaced --ltl switch with algorithm switch macOS build and test #51: Commit b90a989 pushed by mondokm
October 27, 2023 11:59 9m 55s tdk
tdk
October 27, 2023 11:59 9m 55s
ready for benchmark macOS build and test #50: Commit 093e5e3 pushed by RipplB
October 26, 2023 21:38 9m 18s tdk
tdk
October 26, 2023 21:38 9m 18s
enum things macOS build and test #49: Commit c1c0d8e pushed by RipplB
October 26, 2023 17:49 9m 15s tdk
tdk
October 26, 2023 17:49 9m 15s
ton of changes macOS build and test #48: Commit 5ae2e10 pushed by RipplB
October 24, 2023 15:07 11m 29s tdk
tdk
October 24, 2023 15:07 11m 29s
Correct domain size macOS build and test #47: Commit 34b7f87 pushed by RipplB
October 12, 2023 19:00 11m 25s enumtype
enumtype
October 12, 2023 19:00 11m 25s
Fix negative check disallowed infinity creation macOS build and test #46: Commit d69d52b pushed by RipplB
October 8, 2023 17:16 8m 10s enumtype
enumtype
October 8, 2023 17:16 8m 10s
Make z3 use unified enum literal name transformation macOS build and test #45: Commit 0aa36d3 pushed by RipplB
October 5, 2023 19:34 9m 20s enumtype
enumtype
October 5, 2023 19:34 9m 20s
Fix domain size calculations macOS build and test #44: Commit a315e11 pushed by RipplB
October 5, 2023 16:39 8m 35s enumtype
enumtype
October 5, 2023 16:39 8m 35s
Remove xsts type layer from above native types macOS build and test #43: Commit 5dec907 pushed by RipplB
October 2, 2023 14:42 9m 32s enumtype
enumtype
October 2, 2023 14:42 9m 32s
Adjust tests to enums macOS build and test #42: Commit e757a60 pushed by RipplB
October 1, 2023 18:14 8m 26s enumtype
enumtype
October 1, 2023 18:14 8m 26s
Introduce EnumType, have Z3 support and XSTS use it - copyright headers macOS build and test #41: Commit cea0e29 pushed by RipplB
October 1, 2023 13:19 8m 15s enumtype
enumtype
October 1, 2023 13:19 8m 15s
Introduce EnumType, have Z3 support and XSTS use it macOS build and test #40: Commit 032857a pushed by RipplB
October 1, 2023 13:13 8m 4s enumtype
enumtype
October 1, 2023 13:13 8m 4s
Introduce EnumType, have Z3 support and XSTS use it macOS build and test #39: Commit 617a03f pushed by RipplB
October 1, 2023 13:03 9m 47s enumtype
enumtype
October 1, 2023 13:03 9m 47s