Skip to content

Actions: dee-tree/ksmt

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
21 workflow runs
21 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Build and run long ksmt tests Build and run long ksmt tests #11: Manually run by dee-tree
October 30, 2023 10:59 6h 9m 51s bitwuzla-update-0_2_0
bitwuzla-update-0_2_0
October 30, 2023 10:59 6h 9m 51s
Fix release builds (#136) Build and run simple ksmt tests #39: Commit d110acf pushed by dee-tree
October 25, 2023 18:20 18m 32s main
main
October 25, 2023 18:20 18m 32s
Build and run long ksmt tests Build and run long ksmt tests #10: Manually run by dee-tree
October 24, 2023 21:03 52m 56s main
main
October 24, 2023 21:03 52m 56s
Bulk assert solver API (#134) Build and run simple ksmt tests #38: Commit edae365 pushed by dee-tree
October 24, 2023 19:40 13m 33s main
main
October 24, 2023 19:40 13m 33s
Build and run long ksmt tests Build and run long ksmt tests #9: Manually run by dee-tree
October 23, 2023 14:21 1h 18m 17s bitwuzla-update-0_2_0
bitwuzla-update-0_2_0
October 23, 2023 14:21 1h 18m 17s
Build and run long ksmt tests Build and run long ksmt tests #8: Manually run by dee-tree
October 23, 2023 14:01 6h 22m 21s bitwuzla-update-0_2_0
bitwuzla-update-0_2_0
October 23, 2023 14:01 6h 22m 21s
Upgrade Z3 version to 4.12.2 (#132) Build and run simple ksmt tests #37: Commit 3efd7a0 pushed by dee-tree
October 23, 2023 12:01 17m 59s main
main
October 23, 2023 12:01 17m 59s
Symfpu model fix (#128) Build and run simple ksmt tests #36: Commit 86fc1cf pushed by dee-tree
August 17, 2023 08:48 13m 6s main
main
August 17, 2023 08:48 13m 6s
Update symfpu release config (#126) Build and run simple ksmt tests #35: Commit 6803209 pushed by dee-tree
August 11, 2023 08:35 15m 31s main
main
August 11, 2023 08:35 15m 31s
Fix int division (#119) Build and run simple ksmt tests #34: Commit 856cbfe pushed by dee-tree
July 31, 2023 19:58 11m 28s main
main
July 31, 2023 19:58 11m 28s
Build and run long ksmt tests Build and run long ksmt tests #7: Manually run by dee-tree
July 29, 2023 20:11 34m 18s main
main
July 29, 2023 20:11 34m 18s
z3: Build and run simple ksmt tests #33: Commit 6c34eb8 pushed by dee-tree
July 29, 2023 19:21 14m 58s main
main
July 29, 2023 19:21 14m 58s
Fix int division (#119) Build and run simple ksmt tests #32: Commit 856cbfe pushed by dee-tree
July 21, 2023 13:01 12m 24s main
main
July 21, 2023 13:01 12m 24s
Z3: add conversion for idiv and bvcomp operations (#117) Build and run simple ksmt tests #31: Commit e1d18a8 pushed by dee-tree
June 15, 2023 11:10 15m 45s main
main
June 15, 2023 11:10 15m 45s
Build and run long ksmt tests Build and run long ksmt tests #6: Manually run by dee-tree
June 9, 2023 14:17 4h 54m 17s z3-close-fix
z3-close-fix
June 9, 2023 14:17 4h 54m 17s
z3 decref for uninterpretedSortValue Decls/Interpreters on context cl… Build and run simple ksmt tests #30: Commit 907864a pushed by dee-tree
June 9, 2023 12:47 12m 54s main
main
June 9, 2023 12:47 12m 54s
KContext docs (#113) Build and run simple ksmt tests #29: Commit e5e3bf3 pushed by dee-tree
June 9, 2023 12:47 20s main
main
June 9, 2023 12:47 20s
z3 decref for uninterpretedSortValue Decls/Interpreters on context cl… Build and run simple ksmt tests #28: Commit e1d42c6 pushed by dee-tree
June 9, 2023 12:39 8m 25s main
main
June 9, 2023 12:39 8m 25s
z3 decref for uninterpretedSortValue Decls/Interpreters on context cl… Build and run simple ksmt tests #27: Commit 43b56d5 pushed by dee-tree
June 9, 2023 12:36 5m 15s main
main
June 9, 2023 12:36 5m 15s
z3 decref for converterNativeObjects on context close fix Build and run simple ksmt tests #26: Commit 23a638f pushed by dee-tree
June 9, 2023 12:09 15m 31s main
main
June 9, 2023 12:09 15m 31s
Fix unsat core generation (#114) Build and run simple ksmt tests #25: Commit 025675a pushed by dee-tree
June 9, 2023 11:43 14m 26s main
main
June 9, 2023 11:43 14m 26s