Skip to content

Commit

Permalink
Update patched CPython from 3.11.2 to 3.11.9 + fixed Windows release …
Browse files Browse the repository at this point in the history
…segfault (#211)

* update cpython

* increased cpython C stack size

* Update API.md
  • Loading branch information
tochilinak authored Sep 3, 2024
1 parent a94eb5b commit 94f2224
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion .gitmodules
Original file line number Diff line number Diff line change
@@ -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
2 changes: 1 addition & 1 deletion usvm-python/cpythonadapter/cpython
Submodule cpython updated 1428 files
4 changes: 2 additions & 2 deletions usvm-python/docs/API.md
Original file line number Diff line number Diff line change
@@ -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
Expand Down

0 comments on commit 94f2224

Please sign in to comment.