Skip to content

Actions: Z3Prover/z3

Actions

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Windows.yml
408 workflow runs
408 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update OCaml jobs to use Ubuntu-latest in Azure Pipelines configuration Windows #333: Commit 95d2e00 pushed by NikolajBjorner
September 23, 2024 16:25 1h 10m 16s master
master
September 23, 2024 16:25 1h 10m 16s
Check if model_converter is non-null before initializing values in sa… Windows #332: Commit 0604d23 pushed by NikolajBjorner
September 23, 2024 12:50 1h 7m 55s master
master
September 23, 2024 12:50 1h 7m 55s
Override convert_initialize_value method in bit_blaster_model_convert… Windows #331: Commit 5a6dc18 pushed by NikolajBjorner
September 23, 2024 12:46 55m 57s master
master
September 23, 2024 12:46 55m 57s
Remove unnecessary const qualifiers from comparison operator overload… Windows #330: Commit 5c58329 pushed by NikolajBjorner
September 23, 2024 12:38 56m 30s master
master
September 23, 2024 12:38 56m 30s
remove junk Windows #329: Commit ee34773 pushed by NikolajBjorner
September 23, 2024 12:34 1h 0m 22s master
master
September 23, 2024 12:34 1h 0m 22s
remove unneeded iterator functions Windows #328: Commit 499ed5d pushed by nunoplopes
September 23, 2024 11:59 52m 32s master
master
September 23, 2024 11:59 52m 32s
Add const qualifiers to comparison operators and update iterator equa… Windows #327: Commit 4b4a282 pushed by NikolajBjorner
September 23, 2024 10:45 54m 24s master
master
September 23, 2024 10:45 54m 24s
remove a few default constructors Windows #326: Commit a62fede pushed by nunoplopes
September 23, 2024 07:18 54m 9s master
master
September 23, 2024 07:18 54m 9s
fix warning with iterators due to non-const comparator Windows #325: Commit 22d9bfa pushed by nunoplopes
September 23, 2024 07:12 53m 5s master
master
September 23, 2024 07:12 53m 5s
Standardize C++20 flag across different platforms in build script Windows #324: Commit 1121815 pushed by NikolajBjorner
September 22, 2024 20:45 53m 34s master
master
September 22, 2024 20:45 53m 34s
update to c++20, remove debug output Windows #323: Commit 1e580a7 pushed by NikolajBjorner
September 22, 2024 20:30 53m 11s master
master
September 22, 2024 20:30 53m 11s
#7391 Windows #322: Commit 96c1375 pushed by NikolajBjorner
September 22, 2024 18:35 42m 5s master
master
September 22, 2024 18:35 42m 5s
updated handling of value initialization for bit-vectors Windows #321: Commit a9f8ec1 pushed by NikolajBjorner
September 22, 2024 18:30 39m 15s master
master
September 22, 2024 18:30 39m 15s
Refactor bv_rewriter functions using unified variable assignment and … Windows #320: Commit fa7fc8e pushed by NikolajBjorner
September 22, 2024 10:04 42m 38s master
master
September 22, 2024 10:04 42m 38s
fix #7389 Windows #319: Commit d66609e pushed by NikolajBjorner
September 21, 2024 23:41 39m 44s master
master
September 21, 2024 23:41 39m 44s
Add support for initializing variable values in solver and optimize c… Windows #318: Commit 0c48a50 pushed by NikolajBjorner
September 20, 2024 15:28 55m 12s master
master
September 20, 2024 15:28 55m 12s
correctly process cancellation in gomory cuts Windows #317: Commit 342dccd pushed by levnach
September 19, 2024 21:11 55m 15s master
master
September 19, 2024 21:11 55m 15s
Add override specifiers to methods in set_initial_value_cmd class for… Windows #316: Commit b99c4a4 pushed by NikolajBjorner
September 19, 2024 12:12 56m 25s master
master
September 19, 2024 12:12 56m 25s
Add support for const array in all logics as per issue #7383 Windows #315: Commit 8349ee0 pushed by NikolajBjorner
September 19, 2024 08:44 55m 20s master
master
September 19, 2024 08:44 55m 20s
Add tracking of values size in scoped_state push method in opt_context Windows #314: Commit 4896edf pushed by NikolajBjorner
September 19, 2024 08:27 52m 45s master
master
September 19, 2024 08:27 52m 45s
Add command to set initial value hints for solver in various components Windows #313: Commit a3f35b6 pushed by NikolajBjorner
September 18, 2024 14:48 44m 19s master
master
September 18, 2024 14:48 44m 19s
remove output Windows #312: Commit 1c163db pushed by NikolajBjorner
September 18, 2024 13:41 42m 12s master
master
September 18, 2024 13:41 42m 12s
Add initial value setting API for solver and optimize contexts and up… Windows #311: Commit 0f89650 pushed by NikolajBjorner
September 18, 2024 13:18 45m 4s master
master
September 18, 2024 13:18 45m 4s
Add initial value setting for variables in Z3 API, solver, and optimi… Windows #310: Commit 48712b4 pushed by NikolajBjorner
September 18, 2024 13:13 44m 36s master
master
September 18, 2024 13:13 44m 36s
y Windows #309: Commit 0ba306e pushed by NikolajBjorner
September 17, 2024 09:27 55m 59s master
master
September 17, 2024 09:27 55m 59s