diff --git a/.gitmodules b/.gitmodules index fb7ef386d0..4bfeb4376e 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,4 +1,4 @@ [submodule "usvm-python/cpythonadapter/cpython"] path = usvm-python/cpythonadapter/cpython url = https://github.com/tochilinak/cpython.git - branch = wrapper-v2 + branch = wrapper-3.11.9 diff --git a/usvm-python/cpythonadapter/cpython b/usvm-python/cpythonadapter/cpython index bf05f18fe1..a7e852521f 160000 --- a/usvm-python/cpythonadapter/cpython +++ b/usvm-python/cpythonadapter/cpython @@ -1 +1 @@ -Subproject commit bf05f18fe114ec1f7edcf853d27a2da5e44f4b3b +Subproject commit a7e852521f9178ba155d4b1045b04cd0a713881a diff --git a/usvm-python/docs/API.md b/usvm-python/docs/API.md index 0b88c4d909..18a1903e75 100644 --- a/usvm-python/docs/API.md +++ b/usvm-python/docs/API.md @@ -1,12 +1,12 @@ # API between patched CPython and USVM -Current CPython patch: https://github.com/tochilinak/cpython/pull/3/files. +Current CPython patch: https://github.com/tochilinak/cpython/pull/4/files. ## SymbolicAdapter All interaction between CPython and USVM is done through structure `SymbolicAdapter`. -Header: [`symbolicadapter.h`](https://github.com/tochilinak/cpython/blob/wrapper-v2/Include/symbolicadapter.h). +Header: [`symbolicadapter.h`](https://github.com/tochilinak/cpython/blob/wrapper-3.11.9/Include/symbolicadapter.h). Creation of symbolic adapter: ```c