Search results

Update z3-solver requirement from <=4.13.4.0,>=4.8.8.0 to >=4.8.8.0,<=4.15.1.0

dependenciesPull requests that update a dependency filePull requests that update a dependency file

pythonPull requests that update Python codePull requests that update Python code

Status: Open (in progress).

ConsenSysDiligence/mythrilnumber 1909

#1909 In ConsenSysDiligence/mythril;

· dependabot opened on Jun 9, 2025

Bump py-evm from 0.10.1b2 to 0.12.1b1

dependenciesPull requests that update a dependency filePull requests that update a dependency file

pythonPull requests that update Python codePull requests that update Python code

Status: Open (in progress).

ConsenSysDiligence/mythrilnumber 1907

#1907 In ConsenSysDiligence/mythril;

· dependabot opened on May 19, 2025

Bump mypy-extensions from 1.0.0 to 1.1.0

dependenciesPull requests that update a dependency filePull requests that update a dependency file

pythonPull requests that update Python codePull requests that update Python code

Status: Open (in progress).

ConsenSysDiligence/mythrilnumber 1903

#1903 In ConsenSysDiligence/mythril;

· dependabot opened on Apr 28, 2025