Skip to content

Actions: Z3Prover/z3

Actions

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Windows.yml
860 workflow runs
860 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

don't unfold recursive defs if there is an uninterpreted subterm, #7671 Windows #1262: Commit 175625f pushed by NikolajBjorner
1h 9m 42s master
master
1h 9m 42s
disable preprocessing only after formulas are internalized Windows #1261: Commit c7f6cea pushed by NikolajBjorner
1h 6m 41s master
master
1h 6m 41s
allow parsing declared arrays without requiring explicit select Windows #1260: Commit 20d1357 pushed by NikolajBjorner
1h 5m 58s master
master
1h 5m 58s
fix the build Windows #1259: Commit 52949f2 pushed by levnach
58m 37s master
master
58m 37s
Disable C++98 compatibility warnings for Clang builds (#8060) Windows #1258: Commit 5955136 pushed by NikolajBjorner
58m 26s master
master
58m 26s
remove unused *_signed_project() methods Windows #1257: Commit 7de648f pushed by levnach
1h 0m 37s master
master
1h 0m 37s
fix #8054 Windows #1256: Commit a5488cf pushed by NikolajBjorner
1h 3m 45s master
master
1h 3m 45s
remove deprecated set_has_size Windows #1255: Commit ab227c8 pushed by NikolajBjorner
1h 7m 39s master
master
1h 7m 39s
remove deprecated set_has_size Windows #1254: Commit 8ba77df pushed by NikolajBjorner
1h 2m 15s master
master
1h 2m 15s
remove deprecated set_has_size Windows #1253: Commit 682865d pushed by NikolajBjorner
1h 3m 26s master
master
1h 3m 26s
remove deprecated set_has_size Windows #1252: Commit 449ce1a pushed by NikolajBjorner
55m 46s master
master
55m 46s
Fix _in vs _out def_API param for Z3_solver_get_levels (#8050) Windows #1251: Commit aecf10b pushed by NikolajBjorner
1h 2m 57s master
master
1h 2m 57s
refine givup conditions Windows #1250: Commit f98fd2a pushed by NikolajBjorner
1h 3m 8s master
master
1h 3m 8s
insert theory only once Windows #1249: Commit 482fa7d pushed by NikolajBjorner
58m 39s master
master
58m 39s
remove set cardinality operators from array theory. Make final-check … Windows #1248: Commit 62b3668 pushed by NikolajBjorner
54m 51s master
master
54m 51s
fix second byref to bool Windows #1247: Commit 28dc71c pushed by NikolajBjorner
56m 8s master
master
56m 8s
use c_bool instead of c_int for sign Windows #1246: Commit fab414a pushed by NikolajBjorner
1h 3m 49s master
master
1h 3m 49s
fix build warnings Windows #1245: Commit 2331849 pushed by NikolajBjorner
1h 2m 59s master
master
1h 2m 59s
python type fixes Windows #1244: Commit 8298302 pushed by NikolajBjorner
1h 3m 49s master
master
1h 3m 49s
fix dotnet build errors Windows #1243: Commit 55fc9cb pushed by NikolajBjorner
1h 2m 52s master
master
1h 2m 52s
fix warnings in nla_pp Windows #1242: Commit d1272de pushed by NikolajBjorner
1h 2m 21s master
master
1h 2m 21s
fix warnings in nra_solver Windows #1241: Commit 324fb21 pushed by NikolajBjorner
1h 8m 32s master
master
1h 8m 32s
port dotnet to use bool sorts from API Windows #1240: Commit 1c3fb49 pushed by NikolajBjorner
56m 7s master
master
56m 7s
fix type for BoolPtr Windows #1239: Commit 15274cd pushed by NikolajBjorner
1h 3m 35s master
master
1h 3m 35s
port to BoolPtr Windows #1238: Commit eecd052 pushed by NikolajBjorner
1h 2m 43s master
master
1h 2m 43s