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
1,862 workflow runs
1,862 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump docker/build-push-action from 6.12.0 to 6.13.0 (#7535) RISC V and PowerPC 64 #4805: Commit 1d622a6 pushed by NikolajBjorner
January 31, 2025 17:26 20m 46s master
master
January 31, 2025 17:26 20m 46s
Minor (#7540) RISC V and PowerPC 64 #4804: Commit 9557e7c pushed by NikolajBjorner
January 31, 2025 16:22 22m 3s master
master
January 31, 2025 16:22 22m 3s
Minor seq-improvement RISC V and PowerPC 64 #4803: Pull request #7540 synchronize by CEisenhofer
January 31, 2025 14:17 21m 19s CEisenhofer:eis-sls9
CEisenhofer:eis-sls9
January 31, 2025 14:17 21m 19s
generalize logic detection to use sub-string matching RISC V and PowerPC 64 #4802: Commit 1ce6e66 pushed by NikolajBjorner
January 31, 2025 00:35 20m 33s master
master
January 31, 2025 00:35 20m 33s
Minor seq-improvement RISC V and PowerPC 64 #4801: Pull request #7540 opened by CEisenhofer
January 30, 2025 22:26 20m 45s CEisenhofer:eis-sls9
CEisenhofer:eis-sls9
January 30, 2025 22:26 20m 45s
use the trail to undo add_term RISC V and PowerPC 64 #4800: Commit 8a957e3 pushed by levnach
January 30, 2025 02:56 16m 49s dio
dio
January 30, 2025 02:56 16m 49s
fix the debug build RISC V and PowerPC 64 #4799: Commit 533c572 pushed by levnach
January 30, 2025 01:32 16m 40s dio
dio
January 30, 2025 01:32 16m 40s
fixes based on benchmarking UFDTLIA/NIA/BV RISC V and PowerPC 64 #4798: Commit e356628 pushed by NikolajBjorner
January 30, 2025 01:00 20m 43s master
master
January 30, 2025 01:00 20m 43s
fix several crashes exposed by QF_UFDTNIA benchmark sets RISC V and PowerPC 64 #4797: Commit f1e0950 pushed by NikolajBjorner
January 30, 2025 00:23 21m 3s master
master
January 30, 2025 00:23 21m 3s
optimise rewrite_eqs to avoid fresh variables RISC V and PowerPC 64 #4796: Commit 2475d66 pushed by levnach
January 29, 2025 23:37 16m 59s dio
dio
January 29, 2025 23:37 16m 59s
make rewrite_eq boolean, and relax an ASSERT RISC V and PowerPC 64 #4795: Commit a45225e pushed by levnach
January 29, 2025 22:19 16m 58s dio
dio
January 29, 2025 22:19 16m 58s
Add selective filter on Ackerman axioms RISC V and PowerPC 64 #4794: Commit 51357f6 pushed by NikolajBjorner
January 29, 2025 19:42 20m 43s master
master
January 29, 2025 19:42 20m 43s
Removed no progress case in seq-sls (#7537) RISC V and PowerPC 64 #4793: Commit c2a0919 pushed by NikolajBjorner
January 29, 2025 17:44 21m 24s master
master
January 29, 2025 17:44 21m 24s
clean up fresh definitions on a pop RISC V and PowerPC 64 #4792: Commit e96e0b2 pushed by levnach
January 29, 2025 17:19 16m 45s dio
dio
January 29, 2025 17:19 16m 45s
Removed minor divergence case for seq-sls RISC V and PowerPC 64 #4791: Pull request #7537 opened by CEisenhofer
January 29, 2025 15:08 20m 49s CEisenhofer:eis-sls8
CEisenhofer:eis-sls8
January 29, 2025 15:08 20m 49s
add eval1 functionality for replace_all RISC V and PowerPC 64 #4790: Commit 6d3cfb6 pushed by NikolajBjorner
January 29, 2025 12:37 20m 27s master
master
January 29, 2025 12:37 20m 27s
fix semantics of check-int64 div operation to align with smtlib seman… RISC V and PowerPC 64 #4789: Commit ab43d2d pushed by NikolajBjorner
January 29, 2025 12:29 20m 31s master
master
January 29, 2025 12:29 20m 31s
remove verbose output of overflow RISC V and PowerPC 64 #4788: Commit 30d72f7 pushed by NikolajBjorner
January 29, 2025 11:48 20m 37s master
master
January 29, 2025 11:48 20m 37s
add check for root literal assignment RISC V and PowerPC 64 #4787: Commit 3379155 pushed by NikolajBjorner
January 29, 2025 11:14 21m 8s master
master
January 29, 2025 11:14 21m 8s
handle exception internally, avoid passing rationals to integer opera… RISC V and PowerPC 64 #4786: Commit fe5d17d pushed by NikolajBjorner
January 29, 2025 04:10 20m 18s master
master
January 29, 2025 04:10 20m 18s
disable quadratic moves for non-integers as sqrt isn't currently defi… RISC V and PowerPC 64 #4785: Commit fe713eb pushed by NikolajBjorner
January 29, 2025 00:53 20m 52s master
master
January 29, 2025 00:53 20m 52s
fix crash reported by Nikhil on F* due to unhandled exception while u… RISC V and PowerPC 64 #4784: Commit fa60545 pushed by NikolajBjorner
January 29, 2025 00:27 20m 32s master
master
January 29, 2025 00:27 20m 32s
fix pickup of new constraints RISC V and PowerPC 64 #4783: Commit 5c2a9d9 pushed by NikolajBjorner
January 28, 2025 23:04 20m 58s master
master
January 28, 2025 23:04 20m 58s
reset kv map consistently with egraph RISC V and PowerPC 64 #4782: Commit a8279dd pushed by NikolajBjorner
January 28, 2025 01:09 20m 25s master
master
January 28, 2025 01:09 20m 25s
revert flat default RISC V and PowerPC 64 #4781: Commit 57a5474 pushed by NikolajBjorner
January 28, 2025 00:56 20m 32s master
master
January 28, 2025 00:56 20m 32s