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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix #7521 (#7531) RISC V and PowerPC 64 #4767: Commit f574950 pushed by NikolajBjorner
January 27, 2025 01:52 20m 25s master
master
January 27, 2025 01:52 20m 25s
fix model construction bug: ignore non-relevant expressions when buil… RISC V and PowerPC 64 #4766: Commit 5634dc5 pushed by NikolajBjorner
January 27, 2025 01:50 20m 13s master
master
January 27, 2025 01:50 20m 13s
throttle value smt -> sls RISC V and PowerPC 64 #4764: Commit d3bf25c pushed by NikolajBjorner
January 26, 2025 22:16 20m 24s master
master
January 26, 2025 22:16 20m 24s
set log level of revert repair down to 3 RISC V and PowerPC 64 #4761: Commit 04d0e94 pushed by NikolajBjorner
January 26, 2025 19:57 20m 45s master
master
January 26, 2025 19:57 20m 45s
relax out of range restrictions to handle large intervals RISC V and PowerPC 64 #4760: Commit 55fc57b pushed by NikolajBjorner
January 26, 2025 19:24 20m 19s master
master
January 26, 2025 19:24 20m 19s
increase log level for 'set value failed' RISC V and PowerPC 64 #4759: Commit 4f2272d pushed by NikolajBjorner
January 26, 2025 07:44 20m 35s master
master
January 26, 2025 07:44 20m 35s
don't store fresh definitions in m_e_matrix RISC V and PowerPC 64 #4758: Commit 7cd9096 pushed by levnach
January 26, 2025 07:04 16m 40s dio
dio
January 26, 2025 07:04 16m 40s
fix return value when in external mode bool-flip RISC V and PowerPC 64 #4757: Commit 7fb6497 pushed by NikolajBjorner
January 26, 2025 06:58 21m 16s master
master
January 26, 2025 06:58 21m 16s
add smt_params dependency to sls in cmakelists RISC V and PowerPC 64 #4756: Commit d4f2de7 pushed by NikolajBjorner
January 26, 2025 06:38 20m 20s master
master
January 26, 2025 06:38 20m 20s
consolidate functionality RISC V and PowerPC 64 #4755: Commit 12e8082 pushed by NikolajBjorner
January 26, 2025 06:35 20m 29s master
master
January 26, 2025 06:35 20m 29s
align use_list with number of variables during flatten, push clause a… RISC V and PowerPC 64 #4754: Commit a701057 pushed by NikolajBjorner
January 26, 2025 04:48 21m 19s master
master
January 26, 2025 04:48 21m 19s
add recursive updates to lookahead RISC V and PowerPC 64 #4753: Commit 7fc59b6 pushed by NikolajBjorner
January 26, 2025 00:10 20m 26s master
master
January 26, 2025 00:10 20m 26s
fix gcc build RISC V and PowerPC 64 #4752: Commit 57cb988 pushed by NikolajBjorner
January 25, 2025 23:52 20m 40s master
master
January 25, 2025 23:52 20m 40s
fix debug build RISC V and PowerPC 64 #4751: Commit 60fb53a pushed by NikolajBjorner
January 25, 2025 23:50 8m 58s master
master
January 25, 2025 23:50 8m 58s
fix trace build RISC V and PowerPC 64 #4750: Commit ecc302b pushed by NikolajBjorner
January 25, 2025 19:39 8m 47s master
master
January 25, 2025 19:39 8m 47s
create separate file for expression based lookahead solver RISC V and PowerPC 64 #4749: Commit d805322 pushed by NikolajBjorner
January 25, 2025 19:19 9m 7s master
master
January 25, 2025 19:19 9m 7s
Fix crash exposed in QF_UFNIA RISC V and PowerPC 64 #4748: Commit f6e7dcf pushed by NikolajBjorner
January 24, 2025 23:31 20m 14s master
master
January 24, 2025 23:31 20m 14s
disable lookahead on compound values (fixes bug reported by Clemens),… RISC V and PowerPC 64 #4747: Commit 9e8dd68 pushed by NikolajBjorner
January 24, 2025 19:01 20m 44s master
master
January 24, 2025 19:01 20m 44s
remove incorrect calls to VERIFY in array solver RISC V and PowerPC 64 #4746: Commit 053349c pushed by NikolajBjorner
January 24, 2025 17:54 21m 55s master
master
January 24, 2025 17:54 21m 55s
deal with compiler warnings and include value exchange prior to final… RISC V and PowerPC 64 #4745: Commit 0e8969c pushed by NikolajBjorner
January 24, 2025 17:40 20m 33s master
master
January 24, 2025 17:40 20m 33s
remove recalculated entries from S RISC V and PowerPC 64 #4744: Commit 5f292d6 pushed by levnach
January 24, 2025 16:45 17m 4s dio
dio
January 24, 2025 16:45 17m 4s
fix out of bounds bug RISC V and PowerPC 64 #4743: Commit a71263a pushed by levnach
January 24, 2025 02:12 16m 57s dio
dio
January 24, 2025 02:12 16m 57s
substitute variables with a queue on the recalculated entries RISC V and PowerPC 64 #4742: Commit 549b812 pushed by levnach
January 24, 2025 01:55 16m 59s dio
dio
January 24, 2025 01:55 16m 59s
avoid repeated clauses during scoring function RISC V and PowerPC 64 #4741: Commit ce615ee pushed by NikolajBjorner
January 23, 2025 18:51 21m 4s master
master
January 23, 2025 18:51 21m 4s
simplify dio handler by using bijection m_k2s RISC V and PowerPC 64 #4740: Commit 4efbd25 pushed by levnach
January 23, 2025 16:51 16m 43s dio
dio
January 23, 2025 16:51 16m 43s