Skip to content

Actions: Z3Prover/z3

Actions

MSVC Static Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
msvc-static-build.yml
1,848 workflow runs
1,848 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove the fresh definition when removing its column MSVC Static Build #3902: Commit 470ea5e pushed by levnach
February 7, 2025 02:50 27m 39s reb_dio
reb_dio
February 7, 2025 02:50 27m 39s
comment change MSVC Static Build #3901: Commit 67318e2 pushed by levnach
February 6, 2025 23:41 27m 56s reb_dio
reb_dio
February 6, 2025 23:41 27m 56s
stricter is_in_sync paying attenion to m_row2fresh_defs MSVC Static Build #3900: Commit df88e3a pushed by levnach
February 6, 2025 23:17 30m 15s reb_dio
reb_dio
February 6, 2025 23:17 30m 15s
throttle the branching in dio MSVC Static Build #3899: Commit 28cc740 pushed by levnach
February 6, 2025 22:28 28m 35s reb_dio
reb_dio
February 6, 2025 22:28 28m 35s
ignore large changed_columns MSVC Static Build #3898: Commit f64edb6 pushed by levnach
February 6, 2025 15:46 29m 15s reb_dio
reb_dio
February 6, 2025 15:46 29m 15s
fix assert MSVC Static Build #3897: Commit 78fea66 pushed by levnach
February 6, 2025 04:24 28m 29s reb_dio
reb_dio
February 6, 2025 04:24 28m 29s
avoid usisg indexed_vector for term operations MSVC Static Build #3896: Commit 46a7ad6 pushed by levnach
February 6, 2025 03:55 28m 17s reb_dio
reb_dio
February 6, 2025 03:55 28m 17s
Fix complete_partial_func for finite domains (#7547) MSVC Static Build #3895: Commit af270da pushed by NikolajBjorner
February 6, 2025 00:14 29m 19s master
master
February 6, 2025 00:14 29m 19s
disallow duplicates in a queue MSVC Static Build #3894: Commit 30064d4 pushed by levnach
February 5, 2025 23:41 28m 16s reb_dio
reb_dio
February 5, 2025 23:41 28m 16s
add stats on m_dio_branching_conflicts MSVC Static Build #3892: Commit e419e58 pushed by levnach
February 5, 2025 20:48 28m 28s reb_dio
reb_dio
February 5, 2025 20:48 28m 28s
call normalize_e_by_gcd() only when moving an entry from F to S MSVC Static Build #3891: Commit f5150ec pushed by levnach
February 4, 2025 22:39 28m 53s reb_dio
reb_dio
February 4, 2025 22:39 28m 53s
Fixed bug in UP (#7545) MSVC Static Build #3890: Commit 0919844 pushed by NikolajBjorner
February 4, 2025 16:41 27m 58s master
master
February 4, 2025 16:41 27m 58s
Fixed bug in UP MSVC Static Build #3889: Pull request #7545 opened by CEisenhofer
February 4, 2025 14:53 27m 41s CEisenhofer:eis-bugfix
CEisenhofer:eis-bugfix
February 4, 2025 14:53 27m 41s
rebase with master MSVC Static Build #3888: Commit 4a953eb pushed by levnach
February 4, 2025 05:26 29m 9s reb_dio
reb_dio
February 4, 2025 05:26 29m 9s
parameters, local search, arithmetic propagation MSVC Static Build #3887: Commit edc3e0b pushed by NikolajBjorner
February 4, 2025 04:28 28m 13s conflict-throttle
conflict-throttle
February 4, 2025 04:28 28m 13s
remove a warning MSVC Static Build #3886: Commit c0a5247 pushed by levnach
February 4, 2025 02:48 15m 17s dio
dio
February 4, 2025 02:48 15m 17s
fix is_in_sync MSVC Static Build #3885: Commit 6388542 pushed by levnach
February 4, 2025 02:45 15m 45s dio
dio
February 4, 2025 02:45 15m 45s
make dio less aggressive, allow other cuts MSVC Static Build #3884: Commit 0c35457 pushed by levnach
February 3, 2025 23:13 16m 0s dio
dio
February 3, 2025 23:13 16m 0s
with theory propagation MSVC Static Build #3883: Commit 3456af4 pushed by NikolajBjorner
February 3, 2025 22:08 27m 56s conflict-throttle
conflict-throttle
February 3, 2025 22:08 27m 56s
with theory lemma relevant MSVC Static Build #3882: Commit 7808be0 pushed by NikolajBjorner
February 3, 2025 21:44 27m 52s conflict-throttle
conflict-throttle
February 3, 2025 21:44 27m 52s
use learned vs relevant distinction for theory lemmas MSVC Static Build #3881: Commit ef7893c pushed by NikolajBjorner
February 3, 2025 21:40 27m 52s conflict-throttle
conflict-throttle
February 3, 2025 21:40 27m 52s
register m_added_terms in m_changed_terms MSVC Static Build #3880: Commit 3590a6b pushed by levnach
February 3, 2025 17:50 15m 29s dio
dio
February 3, 2025 17:50 15m 29s
out of bounds fixes MSVC Static Build #3879: Commit db84d6c pushed by levnach
February 3, 2025 17:12 15m 17s dio
dio
February 3, 2025 17:12 15m 17s
use m_chandedNterms to tighten terms MSVC Static Build #3878: Commit f3624af pushed by levnach
February 3, 2025 17:03 15m 35s dio
dio
February 3, 2025 17:03 15m 35s
remove struct entry MSVC Static Build #3877: Commit 8edf3c8 pushed by levnach
February 3, 2025 16:30 16m 4s dio
dio
February 3, 2025 16:30 16m 4s