Skip to content
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

Test Python 3.8 and 3.10 in CI #2398

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

Test Python 3.8 and 3.10 in CI #2398

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
6014ee5
Test Python 3.7 and 3.10
ekilmer Mar 4, 2021
d8a39f7
Testing wasm-tob forked wasm module
ekilmer Dec 30, 2022
48e6198
Only test size with Python 3.7
ekilmer Dec 30, 2022
7256cc8
Use master branch of wasm-tob
ekilmer Jan 3, 2023
780a1ef
Use release candidate wasm-tob dependency
ekilmer Jan 17, 2023
fec69d7
Constrain crytic-compile
ekilmer Jan 17, 2023
bcaf2e1
Use non-prerelease wasm-tob module
ekilmer Jan 19, 2023
43d35fd
Bump to Python 3.8 and Ubuntu 22.04
ekilmer Sep 15, 2023
4d8a184
Merge branch 'master' into test-multiple-pythons
ekilmer Sep 15, 2023
b4270f1
Revert to Ubuntu 20.04
ekilmer Sep 15, 2023
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
Prev Previous commit
Next Next commit
Testing wasm-tob forked wasm module
  • Loading branch information
@ekilmer
ekilmer committed Dec 30, 2022
commit d8a39f71fc3318aa37fa04e35b34d53f460b01de
4 changes: 2 additions & 2 deletions manticore/wasm/structure.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -49,8 +49,8 @@
from ..utils.event import Eventful
from ..utils import config

from wasm import decode_module, Section
from wasm.wasmtypes import (
from wasm_tob import decode_module, Section
from wasm_tob.wasmtypes import (
SEC_TYPE,
SEC_IMPORT,
SEC_FUNCTION,
Expand Down
2 changes: 1 addition & 1 deletion manticore/wasm/types.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
from dataclasses import dataclass
from ..core.smtlib import issymbolic, BitVec
from ctypes import *
import wasm
import wasm_tob as wasm
import struct
from ..core.state import Concretize

Expand Down
3 changes: 2 additions & 1 deletion setup.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -76,7 +76,8 @@ def rtd_dependent_deps():
"rlp",
"intervaltree",
"crytic-compile>=0.2.2",
"wasm",
# TODO: Change this when a release is published
"wasm-tob @ git+https://github.com/trail-of-forks/wasm-tob.git@ekilmer/init-fork#egg=wasm-tob",
"dataclasses; python_version < '3.7'",
"pyevmasm>=0.2.3",
]
Expand Down