Skip to content

Actions: UnitTestBot/ksmt

Actions

Build and run simple ksmt tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-and-run-tests.yml
125 workflow runs
125 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Upgrade Z3 to 4.13.0 && support Z3 on linux/arm Build and run simple ksmt tests #389: Pull request #161 opened by Saloed
July 1, 2024 13:17 9m 45s z3-arm
z3-arm
July 1, 2024 13:17 9m 45s
Fix Z3 assert and track (#159) Build and run simple ksmt tests #388: Commit af4a529 pushed by Saloed
April 22, 2024 21:14 8m 29s main
main
April 22, 2024 21:14 8m 29s
Fix Z3 assert and track Build and run simple ksmt tests #387: Pull request #159 opened by Saloed
April 22, 2024 21:02 8m 46s fix-z3-assert-and-track
fix-z3-assert-and-track
April 22, 2024 21:02 8m 46s
Upgrade cvc5 to 1.1.2 (#158) Build and run simple ksmt tests #386: Commit 81ec9b5 pushed by Saloed
April 15, 2024 13:39 9m 30s main
main
April 15, 2024 13:39 9m 30s
Upgrade cvc5 to 1.1.2 Build and run simple ksmt tests #385: Pull request #158 edited by Saloed
April 15, 2024 13:31 7m 50s cvc-upgrade
cvc-upgrade
April 15, 2024 13:31 7m 50s
Upgrade cvc5 to 1.1.2 Build and run simple ksmt tests #384: Pull request #158 edited by Saloed
April 13, 2024 16:11 9m 26s cvc-upgrade
cvc-upgrade
April 13, 2024 16:11 9m 26s
Upgrade cvc5 to 1.1.2 Build and run simple ksmt tests #383: Pull request #158 edited by Saloed
April 13, 2024 07:58 8m 0s cvc-upgrade
cvc-upgrade
April 13, 2024 07:58 8m 0s
Upgrade cvc5 to 1.1.2 Build and run simple ksmt tests #382: Pull request #158 opened by Saloed
April 12, 2024 23:44 9m 21s cvc-upgrade
cvc-upgrade
April 12, 2024 23:44 9m 21s
Open KContext to allow sort customization (#157) Build and run simple ksmt tests #381: Commit d941124 pushed by Saloed
April 10, 2024 17:20 9m 45s main
main
April 10, 2024 17:20 9m 45s
Open KContext to allow sort customization Build and run simple ksmt tests #380: Pull request #157 opened by Saloed
April 10, 2024 17:04 9m 43s ctx-open-sort
ctx-open-sort
April 10, 2024 17:04 9m 43s
Fixes Build and run simple ksmt tests #379: Pull request #155 opened by Bupaheh
February 29, 2024 09:18 23m 50s Bupaheh:fixes
Bupaheh:fixes
February 29, 2024 09:18 23m 50s
Rebuild yices with native deadlock fix (#154) Build and run simple ksmt tests #378: Commit b0cff63 pushed by Saloed
February 13, 2024 11:10 11m 47s main
main
February 13, 2024 11:10 11m 47s
Rebuild yices with native deadlock fix Build and run simple ksmt tests #377: Pull request #154 opened by Saloed
February 13, 2024 10:57 11m 13s yices-build-linux
yices-build-linux
February 13, 2024 10:57 11m 13s
Yices macos arm (#153) Build and run simple ksmt tests #376: Commit 5d2fb43 pushed by Saloed
February 12, 2024 16:26 12m 5s main
main
February 12, 2024 16:26 12m 5s
Yices macos arm Build and run simple ksmt tests #375: Pull request #153 opened by Saloed
February 12, 2024 09:40 11m 56s yices-build
yices-build
February 12, 2024 09:40 11m 56s
Faster bv creation (#152) Build and run simple ksmt tests #374: Commit fa2a997 pushed by Saloed
February 5, 2024 20:06 10m 51s main
main
February 5, 2024 20:06 10m 51s
Faster bv creation Build and run simple ksmt tests #373: Pull request #152 opened by Saloed
February 5, 2024 19:48 10m 38s faster-bv-creation
faster-bv-creation
February 5, 2024 19:48 10m 38s
Rework model detach (#151) Build and run simple ksmt tests #372: Commit 5a18458 pushed by Saloed
February 1, 2024 07:22 10m 42s main
main
February 1, 2024 07:22 10m 42s
Rework model detach Build and run simple ksmt tests #371: Pull request #151 edited by Saloed
February 1, 2024 07:05 8m 55s rework-model-detach
rework-model-detach
February 1, 2024 07:05 8m 55s
Rework model detach Build and run simple ksmt tests #370: Pull request #151 opened by Saloed
January 31, 2024 18:49 19m 56s rework-model-detach
rework-model-detach
January 31, 2024 18:49 19m 56s
Upgrade z3 version to 4.12.5 (#148) Build and run simple ksmt tests #369: Commit eaedb86 pushed by Saloed
January 30, 2024 09:31 12m 5s main
main
January 30, 2024 09:31 12m 5s
Upgrade z3 version to 4.12.5 Build and run simple ksmt tests #368: Pull request #148 edited by Saloed
January 30, 2024 09:11 13m 25s z3-4.12.4
z3-4.12.4
January 30, 2024 09:11 13m 25s
Upgrade z3 version to 4.12.5 Build and run simple ksmt tests #367: Pull request #148 edited by Saloed
January 30, 2024 06:51 11m 41s z3-4.12.4
z3-4.12.4
January 30, 2024 06:51 11m 41s
Upgrade z3 version to 4.12.5 Build and run simple ksmt tests #366: Pull request #148 edited by Saloed
January 29, 2024 22:33 8m 42s z3-4.12.4
z3-4.12.4
January 29, 2024 22:33 8m 42s
Yices: native bulk asserts (#150) Build and run simple ksmt tests #365: Commit c1335bb pushed by Saloed
January 29, 2024 19:30 9m 58s main
main
January 29, 2024 19:30 9m 58s