Upgrade to latest z3 (4.8.14) - #161

Draft

kostis wants to merge 11 commits into

Commits on Sep 24, 2022

Upgrade to latest z3 (4.8.10)
kostis
committed
d75f11e
Upgrade to latest z3 (4.8.12)
kostis
committed
1abfd02
Revert change until a better one is found
kostis
committed
5b5294d
Upgrade to latest z3 (4.8.14)
kostis
committed
0499870
Correct URL
kostis
committed
db9b727
Test - delete me
kostis
committed
94163f4
Test, part 2 - delete me
kostis
committed
843ded9
An attempt to force ubuntu-latest
kostis
committed
8d43cdb
Test, part 3 - delete me
kostis
committed
9c22efd
Fix typo
kostis
committed
75fa074
Fix platform entry of matrix
kostis
committed
02ab36c