4896 Commits (dependabot/pip/z3-solver-gte-4.8.8.0-and-lte-4.13.3.0)

 

All Branches   

Search

Author	SHA1	Message	Date
dependabot[bot]	48ccc8def8	Update z3-solver requirement ... --- updated-dependencies: - dependency-name: z3-solver dependency-type: direct:production ... Signed-off-by: dependabot[bot] <support@github.com>	2 weeks ago
Nikhil Parasaram	8201bfd75f	Fix issues with statespace on solc 0.8.26 (#1863) ... * Fix issues with statespace on solc 0.8.26 * Sort the import	2 months ago
Nikhil Parasaram	ea60b14c99	Handle newer solc-x versions (#1880) ... * Handle newer solc-x versions * Support newer version in requirements	2 months ago
Daniel Bast	99bf452136	Fix svm-rs build (#1879)	2 months ago
Daniel Bast	0717111a55	Enable+apply isort via ruff/pre-commit (#1871) ... * Enable+apply isort via ruff/pre-commit * Fix cyclic imports --------- Co-authored-by: Nikhil Parasaram <nikhilparasaram@gmail.com>	2 months ago
Daniel Bast	9bbe7d607e	Add pre-commit hook definition + test (#1877) ... * Add pre-commit hook + test * Update README.md * Update README.md * update README.md Co-authored-by: Nikhil Parasaram <tommycjniko@gmail.com> --------- Co-authored-by: Nikhil Parasaram <nikhilparasaram@gmail.com> Co-authored-by: Nikhil Parasaram <tommycjniko@gmail.com>	2 months ago
Daniel Bast	e64be9d3a3	Manual pinning updates (#1878) ... `pip list --outdated`: * before ``` Package Version Latest Type ---------- ------- ------ ----- eth-bloom 1.0.4 3.0.1 wheel eth-hash 0.3.3 0.7.0 wheel eth-utils 2.3.1 5.0.0 wheel hexbytes 0.2.3 1.2.1 wheel MarkupSafe 2.0.1 2.1.5 wheel py-solc-x 1.1.1 2.0.3 wheel pyparsing 2.4.7 3.1.2 wheel rlp 3.0.0 4.0.1 wheel ``` * after: ``` Package Version Latest Type ---------- ------- ------ ----- py-solc-x 1.1.1 2.0.3 wheel ```	2 months ago
Daniel Bast	f39b050f3b	Enable dependabot (#1870)	2 months ago
Daniel Bast	1384ef55b5	Allow z3-solver<=4.13.0.0, streamline Dockerfile (#1867)	3 months ago
Daniel Bast	586588a3c3	Drop un-used dependencies from requirements.txt (#1869) ... * Drop un-used dependencies from requirements.txt * Remove added "pip list -o"	3 months ago
Shikah Alsunaidi	e6df063ff7	Update module-list.rst (#1868)	3 months ago
Daniel Bast	25de4e7cc3	Run black + ruff via pre-commit, fix findings to reduce requirements.txt (#1865) ... * Run black via pre-commit + Github Action workflow, update black * Apply black via pre-commit * Enable ruff + rulset "F" via pre-commit * Apply ruff via pre-commit * Manual lint fixes * Apply review comments --------- Co-authored-by: Nikhil Parasaram <nikhilparasaram@gmail.com>	3 months ago
highcloudwind	a710ca2898	chore: fix comment (#1866) ... Signed-off-by: highcloudwind <highcloud@aliyun.com.>	3 months ago
Daniel Bast	3759050cd2	Fully switch from mock to unittest.mock (#1864) ... mock became part of the Python stdlib in Python 3.3, see * https://docs.python.org/3/library/unittest.mock.html * https://mock.readthedocs.io/en/latest/ Some tests already use unittest.mock, this PR now changes all mock imports to unittest.mock and removes mock from the requirements.txt file.	3 months ago
Nikhil Parasaram	470144b7c0	Supports Python3.12 and fixes some bugs (#1860) ... * Add transient storage * Fix issues with transient storage * Remove obselete opcodes * Cleanup * Fix some issues and support python 3.12 * Refactor * Improve the test readability	3 months ago
Nikhil Parasaram	cfa8a1fa58	Add transient storage (#1854) ... * Add transient storage * Fix issues with transient storage * Remove obselete opcodes * Cleanup --------- Co-authored-by: psantos <122355282+psantos-consensys@users.noreply.github.com>	6 months ago
Nikhil Parasaram	f6a50aade7	Fix a typo in Readme (#1852) ... Co-authored-by: psantos <122355282+psantos-consensys@users.noreply.github.com>	6 months ago
alwayshang	a4f51d0af7	chore: fix some typos in comments (#1855) ... Signed-off-by: alwayshang <zhanghonghao@outlook.com>	6 months ago
Nikhil Parasaram	66eaa147d4	Update README.md	7 months ago
Nikhil Parasaram	9e9ee39a5c	Mythril v0.24.8	7 months ago
sellskin	ec71828ba6	chore: fix some comments (#1849) ... Signed-off-by: sellskin <mydesk@yeah.net>	7 months ago
Nikhil Parasaram	2bae84edad	Fix a bug due to issues with balance (#1848)	7 months ago
Snoppy	c5ac7cfff5	comment misspell (#1846)	8 months ago
suchsoon	2835595be4	chore: remove repetitive words (#1845) ... Signed-off-by: suchsoon <silverjadebeauty@gmail.com>	8 months ago
Nikhil Parasaram	9ef15763d5	Remove a partial feature (#1844) ... * Add improved state merging * Fix namespace * Remove the partial file * Remove the partial file	8 months ago
Nikhil Parasaram	70d234e4f1	Add improved state merging (#1843) ... * Add improved state merging * Fix namespace	8 months ago
Nikhil Parasaram	a4fe7b287e	Mythril v0.24.7	8 months ago
Nikhil Parasaram	b6151b6801	Update eth_abi	8 months ago
Nikhil Parasaram	e0ee41955d	Mythril v0.24.6	8 months ago
Nikhil Parasaram	2b5445fe11	Add new features (#1841)	8 months ago
Nikhil Parasaram	13969337fd	Add additional analysis modules (#1836) ... * Update z3 * Add analysis modules * Modify test	9 months ago
Nikhil Parasaram	57dbd0cfd6	Update z3 (#1835)	9 months ago
Nikhil Parasaram	016bc733f6	Remove parallelisation (#1833) ... * Refactor code * Edit tox * Modify tox * Modify tests * Reduce processes * Reduce processes * Remove parallel test * Remove test	9 months ago
Nikhil Parasaram	80c8f13a3b	Reduce number of processes (#1832) ... * Refactor code * Edit tox * Modify tox * Modify tests * Reduce processes * Reduce processes	9 months ago
Nikhil Parasaram	828b54f1b6	Refactor code (#1831) ... * Refactor code * Edit tox * Modify tox * Modify tests * Reduce processes	9 months ago
Nikhil Parasaram	b8ad3a9603	Mythril v0.24.5	10 months ago
Nikhil Parasaram	205d50a50f	Add summaries and additional bugfixes (#1830) ... * Add summaries and additional bugfixes * Update test w.r.t bugfixes * Update namespace * Disable sonar	10 months ago
anonymousdouble	f61c2d4515	Update cli.py (#1828) ... * Update cli.py refactor with chain assignment to make code more Pythonic, concise and efficient. * Reformat --------- Co-authored-by: Nikhil Parasaram <nikhilparasaram@gmail.com>	10 months ago
Nikhil Parasaram	373558c58a	Mythril v0.24.4	11 months ago
Nikhil Parasaram	2bf6a35327	Handle edge case when parsing (#1826) ... * Change configuration * Downgrade solcx * Handle edge case when parsing	11 months ago
Santala	460e9da50c	fix typos (#1824)	11 months ago
Nikhil Parasaram	960377f5cd	Mythril v0.24.3	12 months ago
Nikhil Parasaram	4085cf6427	Change configuration (#1823) ... * Change configuration * Downgrade solcx	12 months ago
Nikhil Parasaram	8396d6185a	Mythril v0.24.2 (#1821)	12 months ago
Nikhil Parasaram	c7255768b7	Fix an edge case (#1820)	12 months ago
Nikhil Parasaram	14d32a2b8c	Fix a bug related to feature extraction (#1817)	12 months ago
Erlangshen219	90e0dd7097	Update mythril_config.py - Remove TODO (#1814) ... * Update mythril_config.py - Remove TODO * Remove # type:ignore	12 months ago
Nikhil Parasaram	ecc79507ac	Update README.md	1 year ago
Nikhil Parasaram	4cdb28130c	Mythril v0.24.1	1 year ago
Nikhil Parasaram	93965debbf	Fix edge case w.r.t solc versions (#1812)	1 year ago