Skip to content

Actions: Z3Prover/z3

Actions

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Windows.yml
752 workflow runs
752 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
fix #7372 Windows #308: Commit 99a9a4a pushed by NikolajBjorner
September 12, 2024 17:38 55m 21s master
master
September 12, 2024 17:38 55m 21s
remove default destructors & some default constructors Windows #307: Commit 8061765 pushed by nunoplopes
September 4, 2024 21:30 55m 25s master
master
September 4, 2024 21:30 55m 25s
Fix nightly (#7365) Windows #306: Commit 0837e3b pushed by NikolajBjorner
September 3, 2024 23:11 57m 53s master
master
September 3, 2024 23:11 57m 53s
Adjust memory reallocation to consider SIZE_T_ALIGN in memory_manager Windows #305: Commit 5237e7d pushed by NikolajBjorner
September 3, 2024 18:17 54m 54s master
master
September 3, 2024 18:17 54m 54s
Add reference URL to GenAI script file for auto Git commit guide Windows #304: Commit 6086a30 pushed by NikolajBjorner
September 3, 2024 00:15 56m 6s master
master
September 3, 2024 00:15 56m 6s
#6902 Windows #303: Commit db4176a pushed by NikolajBjorner
September 3, 2024 00:01 54m 10s master
master
September 3, 2024 00:01 54m 10s
replace a few old-school constructors for a 0.5% reduction in code size Windows #302: Commit ef58376 pushed by nunoplopes
September 2, 2024 15:14 55m 29s master
master
September 2, 2024 15:14 55m 29s
revert update to vector for testing #6902 Windows #301: Commit a3eb2ff pushed by NikolajBjorner
August 31, 2024 00:43 55m 28s master
master
August 31, 2024 00:43 55m 28s
fix build Windows #300: Commit a1bcf13 pushed by NikolajBjorner
August 31, 2024 00:35 3h 38m 4s master
master
August 31, 2024 00:35 3h 38m 4s
#7362 Windows #299: Commit 01a4195 pushed by NikolajBjorner
August 30, 2024 21:35 16m 35s master
master
August 30, 2024 21:35 16m 35s
#7362 Windows #298: Commit 9a87bb1 pushed by NikolajBjorner
August 30, 2024 21:30 53m 45s master
master
August 30, 2024 21:30 53m 45s
update gitignore to prepare for genaiscript Windows #297: Commit 46d602e pushed by NikolajBjorner
August 30, 2024 18:52 53m 54s master
master
August 30, 2024 18:52 53m 54s
Update nightly.yaml for Azure Pipelines Windows #296: Commit 84b2c21 pushed by NikolajBjorner
August 30, 2024 00:10 53m 22s master
master
August 30, 2024 00:10 53m 22s
wheelhouse Windows #295: Commit dcdb7c4 pushed by NikolajBjorner
August 29, 2024 18:34 55m 24s master
master
August 29, 2024 18:34 55m 24s
Update nightly.yaml Windows #294: Commit 96417d4 pushed by NikolajBjorner
August 29, 2024 17:43 55m 20s master
master
August 29, 2024 17:43 55m 20s
Update nightly.yaml Windows #293: Commit 59853d0 pushed by NikolajBjorner
August 29, 2024 17:41 54m 30s master
master
August 29, 2024 17:41 54m 30s
update nightly Windows #292: Commit c79477a pushed by NikolajBjorner
August 29, 2024 00:41 54m 0s master
master
August 29, 2024 00:41 54m 0s
Update azure-pipelines.yml Windows #291: Commit ea93f07 pushed by NikolajBjorner
August 28, 2024 22:41 54m 20s master
master
August 28, 2024 22:41 54m 20s
add back auditwheel Windows #290: Commit cd89867 pushed by NikolajBjorner
August 28, 2024 21:10 55m 42s master
master
August 28, 2024 21:10 55m 42s
ProTip! You can narrow down the results and go further in time using created:<2024-08-28 or the other filters available.