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,141 workflow runs
2,141 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix reporting on cancelation when based on cancel flag RISC V and PowerPC 64 #4418: Commit 1957b4d pushed by NikolajBjorner
November 2, 2024 19:48 21m 29s master
master
November 2, 2024 19:48 21m 29s
js: Add pseudo-boolean high-level functions (#7426) RISC V and PowerPC 64 #4417: Commit 604714b pushed by NikolajBjorner
November 2, 2024 19:34 21m 55s master
master
November 2, 2024 19:34 21m 55s
Sls (#7439) RISC V and PowerPC 64 #4416: Commit 91dc02d pushed by NikolajBjorner
November 2, 2024 19:32 21m 48s master
master
November 2, 2024 19:32 21m 48s
Sls RISC V and PowerPC 64 #4415: Pull request #7439 synchronize by NikolajBjorner
November 2, 2024 19:23 21m 35s sls
sls
November 2, 2024 19:23 21m 35s
use original gai RISC V and PowerPC 64 #4414: Commit 6559584 pushed by NikolajBjorner
November 2, 2024 19:23 21m 25s sls
sls
November 2, 2024 19:23 21m 25s
Sls RISC V and PowerPC 64 #4413: Pull request #7439 synchronize by NikolajBjorner
November 2, 2024 18:27 22m 34s sls
sls
November 2, 2024 18:27 22m 34s
fix build warning RISC V and PowerPC 64 #4412: Commit d702e68 pushed by NikolajBjorner
November 2, 2024 18:27 21m 55s sls
sls
November 2, 2024 18:27 21m 55s
Sls RISC V and PowerPC 64 #4411: Pull request #7439 synchronize by NikolajBjorner
November 2, 2024 18:13 22m 6s sls
sls
November 2, 2024 18:13 22m 6s
remove package and package lock RISC V and PowerPC 64 #4410: Commit 40b927f pushed by NikolajBjorner
November 2, 2024 18:12 8m 35s sls
sls
November 2, 2024 18:12 8m 35s
Sls RISC V and PowerPC 64 #4409: Pull request #7439 synchronize by NikolajBjorner
November 2, 2024 18:10 9m 49s sls
sls
November 2, 2024 18:10 9m 49s
Merge branch 'master' into sls RISC V and PowerPC 64 #4408: Commit 7875c95 pushed by NikolajBjorner
November 2, 2024 18:10 8m 44s sls
sls
November 2, 2024 18:10 8m 44s
implement explain() RISC V and PowerPC 64 #4407: Commit e93b954 pushed by levnach
November 2, 2024 01:48 17m 40s dio
dio
November 2, 2024 01:48 17m 40s
add missing explanations RISC V and PowerPC 64 #4406: Commit 16bf696 pushed by levnach
November 2, 2024 00:03 17m 41s dio
dio
November 2, 2024 00:03 17m 41s
fixes to model construction RISC V and PowerPC 64 #4405: Commit c7ec2af pushed by NikolajBjorner
November 1, 2024 22:38 21m 26s sls
sls
November 1, 2024 22:38 21m 26s
update model generation to fix model bug RISC V and PowerPC 64 #4404: Commit 040c29a pushed by NikolajBjorner
November 1, 2024 21:41 21m 50s sls
sls
November 1, 2024 21:41 21m 50s
use glue as computed without adjustment RISC V and PowerPC 64 #4403: Commit 55b64e1 pushed by NikolajBjorner
November 1, 2024 20:58 21m 33s sls
sls
November 1, 2024 20:58 21m 33s
fix the build RISC V and PowerPC 64 #4402: Commit b807289 pushed by levnach
November 1, 2024 19:52 18m 6s dio
dio
November 1, 2024 19:52 18m 6s
use fixed vars to explain tightening RISC V and PowerPC 64 #4401: Commit 499955d pushed by levnach
November 1, 2024 19:46 4m 26s dio
dio
November 1, 2024 19:46 4m 26s
test that pivoting is correct in dioph_eq.cpp RISC V and PowerPC 64 #4400: Commit 956229f pushed by levnach
October 30, 2024 22:10 4m 16s dio
dio
October 30, 2024 22:10 4m 16s
fix non-termination RISC V and PowerPC 64 #4399: Commit 289f836 pushed by NikolajBjorner
October 30, 2024 06:39 1h 28m 59s sls
sls
October 30, 2024 06:39 1h 28m 59s
rework elim_unconstrained RISC V and PowerPC 64 #4398: Commit 0a404f9 pushed by NikolajBjorner
October 30, 2024 05:31 21m 37s sls
sls
October 30, 2024 05:31 21m 37s
fix #7434 RISC V and PowerPC 64 #4397: Commit ecdfab8 pushed by NikolajBjorner
October 29, 2024 00:51 22m 20s master
master
October 29, 2024 00:51 22m 20s
add virtual destructor RISC V and PowerPC 64 #4396: Commit fbf3012 pushed by NikolajBjorner
October 28, 2024 05:24 21m 18s sls
sls
October 28, 2024 05:24 21m 18s
normalizing inequality RISC V and PowerPC 64 #4395: Commit 7e9d053 pushed by NikolajBjorner
October 28, 2024 05:23 21m 19s sls
sls
October 28, 2024 05:23 21m 19s
add missing operator handling for bitwise operators RISC V and PowerPC 64 #4394: Commit 9a5fa60 pushed by NikolajBjorner
October 28, 2024 04:51 21m 23s sls
sls
October 28, 2024 04:51 21m 23s