Skip to content

Actions: Z3Prover/z3

Actions

RISC V and PowerPC 64

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cross-build.yml
2,144 workflow runs
2,144 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add missing new_value_eh when repaired up RISC V and PowerPC 64 #4519: Commit aed3279 pushed by NikolajBjorner
November 25, 2024 03:57 21m 45s master
master
November 25, 2024 03:57 21m 45s
add missing new_value_eh when repaired up RISC V and PowerPC 64 #4518: Commit 1e839e5 pushed by NikolajBjorner
November 25, 2024 03:42 21m 36s master
master
November 25, 2024 03:42 21m 36s
add comments RISC V and PowerPC 64 #4517: Commit 7ed185a pushed by NikolajBjorner
November 25, 2024 03:09 21m 55s master
master
November 25, 2024 03:09 21m 55s
add local search functionality to sls_seq_plugin RISC V and PowerPC 64 #4516: Commit 4559b23 pushed by NikolajBjorner
November 24, 2024 19:24 22m 32s master
master
November 24, 2024 19:24 22m 32s
add rewrites for hoisting constants from ite expressions RISC V and PowerPC 64 #4515: Pull request #7462 synchronize by NikolajBjorner
November 23, 2024 00:56 22m 3s rewrite-ite-arith
rewrite-ite-arith
November 23, 2024 00:56 22m 3s
resurrect rewriting of equality over ite RISC V and PowerPC 64 #4514: Commit 65bfcec pushed by NikolajBjorner
November 23, 2024 00:56 21m 57s rewrite-ite-arith
rewrite-ite-arith
November 23, 2024 00:56 21m 57s
add rewrites for hoisting constants from ite expressions RISC V and PowerPC 64 #4513: Pull request #7462 synchronize by NikolajBjorner
November 22, 2024 22:56 22m 3s rewrite-ite-arith
rewrite-ite-arith
November 22, 2024 22:56 22m 3s
fix bug in rewriter RISC V and PowerPC 64 #4512: Commit 0bf9369 pushed by NikolajBjorner
November 22, 2024 22:56 22m 44s rewrite-ite-arith
rewrite-ite-arith
November 22, 2024 22:56 22m 44s
add rewrites for hoisting constants from ite expressions RISC V and PowerPC 64 #4511: Pull request #7462 opened by NikolajBjorner
November 22, 2024 21:59 21m 53s rewrite-ite-arith
rewrite-ite-arith
November 22, 2024 21:59 21m 53s
add rewrites for hoisting constants from ite expressions RISC V and PowerPC 64 #4510: Commit 5025c3c pushed by NikolajBjorner
November 22, 2024 21:59 22m 25s rewrite-ite-arith
rewrite-ite-arith
November 22, 2024 21:59 22m 25s
adding plugin for local search strings RISC V and PowerPC 64 #4509: Commit b4e768c pushed by NikolajBjorner
November 22, 2024 21:57 22m 35s rewrite-ite-arith
rewrite-ite-arith
November 22, 2024 21:57 22m 35s
adding plugin for local search strings RISC V and PowerPC 64 #4508: Commit b4e768c pushed by NikolajBjorner
November 22, 2024 21:56 22m 29s master
master
November 22, 2024 21:56 22m 29s
change int_solver to call find_cube and hnf_cut, conditionally RISC V and PowerPC 64 #4507: Commit 7c46ce6 pushed by levnach
November 22, 2024 03:34 17m 38s dio
dio
November 22, 2024 03:34 17m 38s
fix typos POLING -> POLLING in setup.py and remove unused CFLAGS RISC V and PowerPC 64 #4506: Commit 3672575 pushed by NikolajBjorner
November 21, 2024 19:32 21m 45s master
master
November 21, 2024 19:32 21m 45s
#7418 - circumvent use of timer threads to make WASM integration of z… RISC V and PowerPC 64 #4505: Commit 71bad71 pushed by NikolajBjorner
November 21, 2024 19:20 21m 44s master
master
November 21, 2024 19:20 21m 44s
remove the use-pthread RISC V and PowerPC 64 #4504: Commit 94f0aff pushed by NikolajBjorner
November 20, 2024 03:55 22m 40s master
master
November 20, 2024 03:55 22m 40s
remove -pthread from options RISC V and PowerPC 64 #4503: Commit 76795a4 pushed by NikolajBjorner
November 20, 2024 03:50 21m 41s master
master
November 20, 2024 03:50 21m 41s
fix type in setup.py RISC V and PowerPC 64 #4502: Commit 8965123 pushed by NikolajBjorner
November 20, 2024 03:08 21m 37s master
master
November 20, 2024 03:08 21m 37s
adapt for pyodide built RISC V and PowerPC 64 #4501: Commit 10d9c81 pushed by NikolajBjorner
November 20, 2024 02:51 21m 37s master
master
November 20, 2024 02:51 21m 37s
more detailed tracing of where unmaterialized exceptions happen RISC V and PowerPC 64 #4500: Commit 012fc1b pushed by NikolajBjorner
November 20, 2024 02:15 22m 1s master
master
November 20, 2024 02:15 22m 1s
Update pyodide.yml RISC V and PowerPC 64 #4499: Commit 7de0c29 pushed by NikolajBjorner
November 19, 2024 20:58 22m 40s master
master
November 19, 2024 20:58 22m 40s
remove an assert RISC V and PowerPC 64 #4498: Commit 739c2ee pushed by levnach
November 19, 2024 19:58 18m 10s dio
dio
November 19, 2024 19:58 18m 10s
fix the build RISC V and PowerPC 64 #4497: Commit 0f93268 pushed by levnach
November 19, 2024 19:51 17m 51s dio
dio
November 19, 2024 19:51 17m 51s
fix the build RISC V and PowerPC 64 #4496: Commit f8b0b49 pushed by levnach
November 19, 2024 19:50 18m 2s dio
dio
November 19, 2024 19:50 18m 2s
fixes in dio branching RISC V and PowerPC 64 #4495: Commit 5769743 pushed by levnach
November 19, 2024 19:49 4m 17s dio
dio
November 19, 2024 19:49 4m 17s