29 Commits (bug/invalid-loop-pruning)

Author	SHA1	Message	Date
Nikhil Parasaram	ae26b1462d	Refactor cli (#1033) ... * Refactor cli * enhance cli * Re-Refactor the cli structure for more flexibility * Add cli tests for error * Move the cmd_line_test to the previous directory * Add documentation * Add more tests and change docs * Add more tests for storage slots and execution * support a for analyze and add more tests * Improve cli interface * Fix previous errors * Refactor with black * Add help command * Add new tests, fix an edge case and improve code and help messages	5 years ago
Nikhil Parasaram	fd397ed232	Add new tests, fix an edge case and improve code and help messages	5 years ago
Nikhil Parasaram	70c036cc26	support a for analyze and add more tests	6 years ago
Nikhil Parasaram	46c1b29528	Add more tests for storage slots and execution	6 years ago
Nikhil Parasaram	cbe5a656f0	Add more tests and change docs	6 years ago
Nikhil Parasaram	ef55c1a0d5	Move the cmd_line_test to the previous directory	6 years ago
Nikhil Parasaram	2eb3d33b23	Add cli tests for error	6 years ago
Nikhil Parasaram	7611d2b01a	Re-Refactor the cli structure for more flexibility	6 years ago
Nikhil Parasaram	e02a2612d0	Refactor cli	6 years ago
Bernhard Mueller	a488f06457	Update tests	6 years ago
Dominik Muhs	55153a1469	Add basic docstrings to all classes and functions	6 years ago
Dominik Muhs	0e9e4bf0b1	SQLite Signature DB (#758) ... * Add first version of sqlite signature db * Adapt truffle module to new signature db * Fix tests * Remove old DB code * Apply black * Add sqlite dev dependency * Add sqlite dev dependency * Add more type hints * Apply black * Adapt old naming in manifest and gitignore * Add minor fixes to signature DB * Add repr to signature db * Apply black * Add mythril dir env var * Replace __del__ with SQLite context manager * Add SQLite context manager repr and fix test imports * Apply black * Fix nasty test path issue * Add reentrancy signature to db for tests * Call base setUp in evm contract tests * Remove redundant return	6 years ago
Dominik Muhs	c4127fd229	Add Ubuntu PPA support to solc installer, fix version to 0.5.0	6 years ago
Bernhard Mueller	d41b6e2676	Update tests	6 years ago
Nikhil Parasaram	035c63a167	Fix Home variable	6 years ago
Nikhil Parasaram	75c0f1ac16	Reformat code with black	6 years ago
Nikhil Parasaram	b1ef2953d7	Fix the tests by fixing solc version of them	6 years ago
Bernhard Mueller	4ba65c8a8e	Max transaction count a fixed parameter	6 years ago
Bernhard Mueller	2fdc2878e8	Refactor Ether Send Module (#696) ... * Refactor ether_send -> ether_thief and update tests * Commit file change missed previously * Remove unused import and fix formatting * Fix expected output in Truffle test	6 years ago
Nikhil Parasaram	2349f2d2d7	Fix truffle test command	6 years ago
Nikhil Parasaram	792952dd13	Add max transaction counts to tests and truffle	6 years ago
Dominik Muhs	524c10a8c8	Merge develop into dmuhs/type-hints	6 years ago
Dominik Muhs	9af7018235	Apply black	6 years ago
Nikhil Parasaram	dc09c2e94f	Change the issue description	6 years ago
JoranHonig	468551da53	Refactor ether send (#622) ... * Ether send module to work based on the newer version of laser * update tests * Change test to check for different string, as the description changed * fix double is able * black	6 years ago
Dominik Muhs	e0cd08a58b	Apply black style formatting	6 years ago
Bernhard Mueller	52ab65154c	Update unit test	7 years ago
Dr. Sergey Pogodin	8e94ea6952	F2F: Fix tests and build ... Submission #253416 by walker_ to the challenge https://www.topcoder.com/challenges/30064535	7 years ago
Dr. Sergey Pogodin	9f6caa50ff	F2F: Improve formatting of analysis reports ... Submission #253393 by diazz to the challenge https://www.topcoder.com/challenges/30064536	7 years ago
dat	148f4823ca	wrap all functions in back ticks #108	7 years ago
freewind	73096acfa2	make sure use same signatures.json in every test	7 years ago
freewind	01aef7783c	Fix some issues per viewers' advices	7 years ago
freewind	29c5ca6977	Fix tests	7 years ago
freewind	e55809647c	command line tests, including infuro-* and truffle tests	7 years ago