4258 Commits (better_bounds)

 

All Branches   

Search

Author	SHA1	Message	Date
Bernhard Mueller	1f783792b2	Greater trace length and some black	5 years ago
Nikhil Parasaram	543300d424	Merge branch 'develop' into better_bounds	5 years ago
Nikhil Parasaram	83ef2c6024	Get annotations from Expr (#1332)	5 years ago
Nikhil Parasaram	4d2b331ac0	Add create and create2 test (#1308) ... * Add create tests * Use pytest raises Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>	5 years ago
Bernhard Mueller	49aa7462e5	Disable even more Infura-reliant tests	5 years ago
Bernhard Mueller	ab35dcd09b	Disable more Infura tests	5 years ago
Bernhard Mueller	de92272bf9	Disable Infura tests "temporarily"	5 years ago
Bernhard Mueller	fd3bb58294	Minor modification of checksum generation	5 years ago
Bernhard Mueller	299c6da5a3	Fix type annotation	5 years ago
Bernhard Mueller	577a4aec2f	Revert to debug log level	5 years ago
Bernhard Mueller	204e0c55b7	Good old black	5 years ago
Bernhard Mueller	faf0824c73	new algo for creating loop counter keys	5 years ago
Nikhil Parasaram	f39be97d66	Version 0.21.22	5 years ago
Nikhil Parasaram	db03af3dda	Save code to world state (#1314) ... * Save code * Refactor code with black * return the account as the function describes * use bytecode param * fix missing edge case in conditional * use world state helper function over custom code * back with black * Refactor test file with black * Align the type: ignore comment * Fix black again * Raise ValueError if dynamic loader is None Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>	5 years ago
Nikhil Parasaram	f3c45c153e	Support Istanbul fork (#1292) ... * Add new opcodes * Add new precompile * Add tests * Refactor the code * Run only on python 3.6 * Remove support of python3.5 from setup.py text * Change the TODO comment * Add a logging message * Fix py-evm version Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>	5 years ago
Nikhil Parasaram	3be2b4b4aa	Version update v0.21.21	5 years ago
Nikhil Parasaram	27ce7d19fb	Remove create tests (#1307)	5 years ago
Nikhil Parasaram	fff443f539	Fix Function signatures (#1289)	5 years ago
Nikhil Parasaram	d4e97fe7d1	Remove native tests (#1305)	5 years ago
Nikhil Parasaram	c965339959	Add statespace tests (#1248) ... * Fix mypy issues * Fix the statespace problem, and remove weirdness in graph tests * Fix black * Remove weird Z which popped up * Add a comment in graph test Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>	5 years ago
Nikhil Parasaram	3e167282e7	Bugfix calls (#1288) ... * Fix bugs * Change tests * black * Fix the string * Change the name and add a docstring * Change max-depth to 128 * refactor with black * Rename function name and remove constraints append code	5 years ago
Nikhil Parasaram	4ec5582511	Handle the case for bool (#1297)	5 years ago
Nikhil Parasaram	02dcacc45d	Fix creation transaction output (#1290) ... * Fix creation transaction output * Fix black	5 years ago
Nikhil Parasaram	a10e519a70	Add a retval before returning in native calls (#1296) ... * Add a retval before returning in native calls * Remove ECRECOVER test for now	5 years ago
Nikhil Parasaram	dab4a8f69a	Fix/natives (#1302) ... * Fix precompiles * Fix black * Deal with TypeError	5 years ago
Nikhil Parasaram	c322fd142e	Leading zero fix (#1301) ... * Add padding * Make some changes * Remove unused var	5 years ago
Nikhil Parasaram	c8a41fa065	Fix a typo	5 years ago
Bernhard Mueller	da1e601a04	Fix typo in README	5 years ago
Nikhil Parasaram	80122c323f	update docs	5 years ago
Nathan	0610454705	Fix contract names of deployed contracts (#1284) ... * Fix contract names of deployed contracts * Fix padding of address	5 years ago
Nikhil Parasaram	fc5435f281	Prefix versions (#1285) ... * Prefix versions * Fix solidity_contract tests	5 years ago
Nikhil Parasaram	e23a69637e	Update to a different tag for dev_test_env	5 years ago
Nikhil Parasaram	04cff564e2	Fix a codecopy bug (#1283)	5 years ago
Nikhil Parasaram	5b718f1ec5	Mythril release 0.21.20	5 years ago
Nikhil Parasaram	1d42f9f31f	Add arbitrary storage write module (#1268) ... * Add arbitrary storage write module * Fix issue description and severity * Fix some merge issues	5 years ago
Nikhil Parasaram	9a0ca99bf6	Fix the issue description (#1272) ... * Fix the issue description * Change the description_head * black * Make some changes	5 years ago
Nikhil Parasaram	eeeb9bf639	Move constraints to world state (#1276) ... * Add constraints to worldstate * Remove propogation of constraints from Node * Remove a usage of state.constraints() * Ignore mypy error * Add a missing file	5 years ago
Nikhil Parasaram	634d59caa5	Remove unused code (#1263) ... * Fix a regression * Handle new black format * Bye Bye BitVecFuncs * Bye Bye bitvecfunc tests * Bye Bye complex code	5 years ago
JoranHonig	8d5a51a619	Merge pull request #1269 from ConsenSys/arb_jump ... Add arbitrary jump module	5 years ago
JoranHonig	6e925b8c9c	Merge branch 'develop' into arb_jump	5 years ago
JoranHonig	7345dddaf4	Merge pull request #1275 from ConsenSys/bugfix/1273 ... Return a list of global_states	5 years ago
JoranHonig	ea935cf04f	Merge branch 'develop' into arb_jump	5 years ago
JoranHonig	99b89c1c12	Merge branch 'develop' into bugfix/1273	5 years ago
Nikhil Parasaram	88abb3d614	Remove dos (#1265)	5 years ago
Nikhil Parasaram	2706600b92	Fix a horrible bug thanks to mypy	5 years ago
Nikhil Parasaram	64e02f3726	Return a list of global_states	5 years ago
Nikhil Parasaram	b421a31b5f	Add arbitrary jump module	5 years ago
Nikhil Parasaram	58b2522607	Mythril v0.21.19	5 years ago
Nikhil Parasaram	d292ceb9ed	Fixes regression (#1261) ... * Fix a regression * Handle new black format	5 years ago
Nikhil Parasaram	c0fdcd8e8d	Final fixes for DSChief (#1257) ... * Final fixes * Update mythril/laser/ethereum/keccak_function_manager.py Co-Authored-By: JoranHonig <JoranHonig@users.noreply.github.com> * Update mythril/laser/ethereum/keccak_function_manager.py Co-Authored-By: JoranHonig <JoranHonig@users.noreply.github.com> * Remove 64 * Make some changes * rename store_hashes to hash_result_store * only append concrete_val if we can successfully find it otherwise we append the previous concrete_val again * update documentation accordingly	5 years ago