Skip to content

Enhanced z3 version check - now checking version used by smlp #136

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
mdmitry1 wants to merge 10 commits into
base: master
Choose a base branch
from
Open

Enhanced z3 version check - now checking version used by smlp #136

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
9d73c45
Enhanced z3 version check - now checking version used by smlp
mdmitry1 May 13, 2026
4e5c5db
Merge with master
mdmitry1 May 16, 2026
29a4bbb
Merge with master [2]
mdmitry1 May 16, 2026
8303b86
Moving to Z3 4.16.0
mdmitry1 May 17, 2026
de73ea1
Reverting back incorrect commit
mdmitry1 May 17, 2026
70d444c
Synch with master
mdmitry1 May 17, 2026
e67723f
Merge with master
mdmitry1 May 20, 2026
78fb4a8
Merge remote-tracking branch 'remotes/origin/master' into smlp_z3_ver…
mdmitry1 May 20, 2026
4d256d4
Merge with master
mdmitry1 Jun 1, 2026
267ba47
Merge remote-tracking branch 'remotes/origin/master' into smlp_z3_ver…
mdmitry1 Jun 1, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 3 additions & 5 deletions scripts/docker/Dockerfile.smlp-test-build-ubuntu_24.04-python311
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -78,12 +78,10 @@ RUN ./validate.sh
# 7. ─── Validate Z3 version ──────────────────────────────────────────────────────────────
ENV PATH=/home/${USERNAME}/.venv/bin:${PATH}
RUN printf '#!/usr/bin/env python3.11\n' > z3_version.py \
&& printf 'from glob import glob\n' >> z3_version.py \
&& printf 'from ctypes import cdll, c_char_p\n' >> z3_version.py \
&& printf 'from os.path import dirname\n' >> z3_version.py \
&& printf 'import smlp\n' >> z3_version.py \
&& printf 'libz3=cdll.LoadLibrary(glob(dirname(dirname(smlp.__file__)) + "/smlptech.libs/" + "libz3*so")[0])\n' >> z3_version.py \
&& printf 'z3_version=libz3.Z3_get_full_version\n' >> z3_version.py \
&& printf 'from smlp import core\n' >> z3_version.py \
&& printf 'libsmlp=cdll.LoadLibrary(core.libsmlp.__file__)\n' >> z3_version.py \
&& printf 'z3_version=libsmlp.Z3_get_full_version\n' >> z3_version.py \
&& printf 'z3_version.restype=c_char_p\n' >> z3_version.py \
&& printf 'print(z3_version().decode())\n' >> z3_version.py \
&& chmod +x z3_version.py && ./z3_version.py
Expand Down
6 changes: 2 additions & 4 deletions scripts/venv/Dockerfile.readme_system
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,12 +16,10 @@ WORKDIR /home/${USERNAME}
COPY README_system.sourceme .
RUN bash -c 'source README_system.sourceme'
RUN printf '#!/usr/bin/env python3.11\n' > z3_version.py \
&& printf 'from glob import glob\n' >> z3_version.py \
&& printf 'from ctypes import cdll, c_char_p\n' >> z3_version.py \
&& printf 'from os.path import dirname\n' >> z3_version.py \
&& printf 'from smlp import core\n' >> z3_version.py \
&& printf 'libz3=cdll.LoadLibrary(glob(dirname(dirname(dirname(core.__file__))) + "/smlptech.libs/" + "libz3*so")[0])\n' >> z3_version.py \
&& printf 'z3_version=libz3.Z3_get_full_version\n' >> z3_version.py \
&& printf 'libsmlp=cdll.LoadLibrary(core.libsmlp.__file__)\n' >> z3_version.py \
&& printf 'z3_version=libsmlp.Z3_get_full_version\n' >> z3_version.py \
&& printf 'z3_version.restype=c_char_p\n' >> z3_version.py \
&& printf 'print(z3_version().decode())\n' >> z3_version.py \
&& chmod +x z3_version.py
Expand Down
6 changes: 2 additions & 4 deletions scripts/venv/Dockerfile.readme_venv
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,12 +17,10 @@ COPY README_venv.sourceme .
RUN bash -c 'source README_venv.sourceme'
ENV PATH=/home/${USERNAME}/.venv/bin:${PATH}
RUN printf '#!/usr/bin/env python3.11\n' > z3_version.py \
&& printf 'from glob import glob\n' >> z3_version.py \
&& printf 'from ctypes import cdll, c_char_p\n' >> z3_version.py \
&& printf 'from os.path import dirname\n' >> z3_version.py \
&& printf 'from smlp import core\n' >> z3_version.py \
&& printf 'libz3=cdll.LoadLibrary(glob(dirname(dirname(dirname(core.__file__))) + "/smlptech.libs/" + "libz3*so")[0])\n' >> z3_version.py \
&& printf 'z3_version=libz3.Z3_get_full_version\n' >> z3_version.py \
&& printf 'libsmlp=cdll.LoadLibrary(core.libsmlp.__file__)\n' >> z3_version.py \
&& printf 'z3_version=libsmlp.Z3_get_full_version\n' >> z3_version.py \
&& printf 'z3_version.restype=c_char_p\n' >> z3_version.py \
&& printf 'print(z3_version().decode())\n' >> z3_version.py \
&& chmod +x z3_version.py
Expand Down