Skip to content

Actions: bitwuzla/bitwuzla

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
476 workflow runs
476 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Refactor using libs from main and update to current main. CI #1256: Commit c127e95 pushed by aniemetz
April 25, 2024 02:47 1m 40s dev-bzla-libs
dev-bzla-libs
April 25, 2024 02:47 1m 40s
preprocess: normalize: Require rewrite level 2 for pass. CI #1255: Commit 653bed3 pushed by mpreiner
April 18, 2024 18:12 13m 40s main
main
April 18, 2024 18:12 13m 40s
array: Use deque instead of vector. CI #1254: Commit 954bcfb pushed by mpreiner
April 8, 2024 23:13 19m 16s main
main
April 8, 2024 23:13 19m 16s
ci: Enable ASAN for debug builds. CI #1253: Commit b0e0f5b pushed by mpreiner
April 8, 2024 22:35 13m 40s ci-debug-asan
ci-debug-asan
April 8, 2024 22:35 13m 40s
ci: Enable ASAN for debug builds. CI #1252: Commit baa7cb4 pushed by mpreiner
April 8, 2024 22:28 1m 28s ci-debug-asan
ci-debug-asan
April 8, 2024 22:28 1m 28s
array: Use deque instead of vector. CI #1251: Commit 954bcfb pushed by mpreiner
April 8, 2024 18:46 12m 49s refactor-node-data
refactor-node-data
April 8, 2024 18:46 12m 49s
smt2 parser: Clean up memory handling of let var bindings. CI #1250: Commit 18bc7db pushed by aniemetz
April 6, 2024 03:34 13m 2s main
main
April 6, 2024 03:34 13m 2s
smt2 parser: Clean up memory handling of let var bindings. CI #1249: Commit 18bc7db pushed by aniemetz
April 6, 2024 02:43 12m 52s parser
parser
April 6, 2024 02:43 12m 52s
ci: Use Python virtual environment. CI #1248: Commit d9be5a3 pushed by mpreiner
April 5, 2024 18:06 19m 12s main
main
April 5, 2024 18:06 19m 12s
ci: Use Python virtual environment. CI #1247: Commit 04bfd9b pushed by mpreiner
April 5, 2024 17:59 3m 4s main
main
April 5, 2024 17:59 3m 4s
preprocess: Add node statistics to verbose output. CI #1246: Commit b7eec5f pushed by mpreiner
April 5, 2024 17:59 32s main
main
April 5, 2024 17:59 32s
ci: Use Python virtual environment. CI #1245: Commit f40e29d pushed by mpreiner
April 5, 2024 17:41 22m 30s ci-use-venv
ci-use-venv
April 5, 2024 17:41 22m 30s
smt2 lexer: Disable correct but too strict assertion. CI #1244: Commit 77327f9 pushed by aniemetz
April 4, 2024 01:02 35s main
main
April 4, 2024 01:02 35s
ls: Make log output prettier/easier to read. CI #1243: Commit 72cad5f pushed by aniemetz
March 21, 2024 23:53 13m 12s main
main
March 21, 2024 23:53 13m 12s
util: Merge util/set_*.* to util/printer.*. CI #1242: Commit 209dc4d pushed by aniemetz
March 21, 2024 23:04 12m 47s main
main
March 21, 2024 23:04 12m 47s
array: Use deque instead of vector. CI #1241: Commit d2bf6f3 pushed by mpreiner
March 21, 2024 18:05 17m 25s refactor-node-data
refactor-node-data
March 21, 2024 18:05 17m 25s
util: Merge util/set_*.* to util/printer.*. CI #1240: Commit 209dc4d pushed by aniemetz
March 21, 2024 00:05 13m 29s refactor-prop
refactor-prop
March 21, 2024 00:05 13m 29s
Simplify config of verbosity in smt2 parser, delete obsolete function… CI #1239: Commit 896f409 pushed by aniemetz
March 20, 2024 23:18 14m 7s refactor-prop
refactor-prop
March 20, 2024 23:18 14m 7s
ls: bv: Refactor log/verbosity level configuration. CI #1238: Commit 6bfa78c pushed by aniemetz
March 20, 2024 23:11 13m 11s refactor-prop
refactor-prop
March 20, 2024 23:11 13m 11s
Refactor logger and move configuration of stream attributes to util. CI #1237: Commit 594b318 pushed by aniemetz
March 20, 2024 22:01 13m 40s refactor-prop
refactor-prop
March 20, 2024 22:01 13m 40s
node: node_manager: Remove obsolete d_node_data vector. CI #1236: Commit b7775a0 pushed by mpreiner
March 20, 2024 21:56 8m 49s refactor-node-data
refactor-node-data
March 20, 2024 21:56 8m 49s
node: node_data: NodeData is now 40 bytes (instead of 56). CI #1235: Commit 4149d0e pushed by mpreiner
March 20, 2024 20:09 12m 53s refactor-node-data
refactor-node-data
March 20, 2024 20:09 12m 53s
node: node_data: NodeData is now 40 bytes (instead of 56). CI #1234: Commit 0a00d67 pushed by mpreiner
March 20, 2024 20:03 12m 48s refactor-node-data
refactor-node-data
March 20, 2024 20:03 12m 48s
node: node_data: NodeData is now 40 bytes (instead of 56). CI #1233: Commit 59d7216 pushed by mpreiner
March 20, 2024 19:57 13m 23s refactor-node-data
refactor-node-data
March 20, 2024 19:57 13m 23s
node: node_data: NodeData is now 40 bytes (instead of 56). CI #1232: Commit cf57e78 pushed by mpreiner
March 20, 2024 19:23 12m 46s refactor-node-data
refactor-node-data
March 20, 2024 19:23 12m 46s