4120 Commits (fix/iprof-ctrlc)

 

All Branches   

Search

Author	SHA1	Message	Date
Nathan	73c6f8390a	Merge branch 'develop' into fix/iprof-ctrlc	5 years ago
Nikhil Parasaram	7a105e5dec	Py35 support (#1233) ... * Add py35 into tox * Use solcx for python3.6+ * Fix tests	5 years ago
Nathan	8e9edebb79	Merge branch 'develop' into fix/iprof-ctrlc	5 years ago
Nikhil Parasaram	07347e28ff	Remove truffle support (#1218) ... * Remove truffle * Fix black * Remove truffle.py	5 years ago
Nathan	9fd552dae3	Merge branch 'develop' into fix/iprof-ctrlc	5 years ago
Nathan	f1a0c9db04	Fix propagation of JumpdestCountAnnotation (#1237) ... * Fix propagation of JumpdestCountAnnotation * Update mythril/laser/ethereum/strategy/extensions/bounded_loops.py Co-Authored-By: Nikhil Parasaram <nikhilparasaram@gmail.com>	5 years ago
Nathan	4aeb4cc5f3	Improve function signatures	5 years ago
Nathan	14ec9022f0	Display instruction profiler results on ctrl+c or error	5 years ago
JoranHonig	a223219ab6	Merge pull request #1231 from ConsenSys/bug/invalid-loop-pruning ... Added 'context' to loop annotations.	5 years ago
Eric Ngo	e9dfa8fca3	Make keys unique	5 years ago
Eric Ngo	e1bd418aa4	Merge branch 'develop' of https://github.com/ConsenSys/mythril into bug/invalid-loop-pruning	5 years ago
Nikhil Parasaram	94cd6364b0	Use padded operation over operation (#1229) ... * Use padded operation over operation * Add missing operation	5 years ago
Eric Ngo	6f63749891	Fixed mypy	5 years ago
Eric Ngo	6f21b92796	Added 'context' to loop annotations.	5 years ago
e-ngo	a8a76b3da5	Added returning global state to SIGNEXTEND opcode. (#1227) ... * Added returning global state to SIGNEXTEND opcode. * Add TODO statement. * added new symbol instead * hash s0	5 years ago
Bernhard Mueller	b0e57b2768	Enable optimizer when compiling Soldity files (#1226)	5 years ago
Bernhard Mueller	43e3a58ec0	Merge pull request #1225 from ConsenSys/fix/cleanup ... Immediately return value	5 years ago
Joran Honig	172394184d	immediately return value	5 years ago
JoranHonig	5063b6882c	Merge pull request #1224 from ConsenSys/edelweiss/2.0 ... Inject env variable into Edelweiss	5 years ago
JoranHonig	12eb0c29f7	Merge branch 'develop' into edelweiss/2.0	5 years ago
Aleksandr Sobolev	1ae2cf0355	Inject env variable into Edelweiss	5 years ago
e-ngo	57068484c6	Changed instructions out-of-bounds behavior to return halt instruction. (#1223)	5 years ago
Martin Derka	75838e3a8d	Added support for solidity 0.5.x (#1219) ... * Added support for solidity 0.5.x * Formatting using black * Added missing requirement for tests to pass * Fixed py-solc-x version * Added packages to setup * Removed py35 from tox * Synced the solc version for the test * Updated the test smart contract to floating pragma	5 years ago
Nikhil Parasaram	90f2de8555	Fix typehints for latest mypy release (#1221)	5 years ago
Nikhil Parasaram	028fae6ff1	Mythril v0.21.17	5 years ago
Nikhil Parasaram	d8bf5021c7	Add the return condition (#1216)	5 years ago
Nathan	638f9369b9	Merge pull request #1213 from ConsenSys/harvey_style_assertions ... Harvey style assertions	5 years ago
Nathan	b0ee14d281	Merge branch 'develop' into harvey_style_assertions	5 years ago
Nathan	517899c911	Merge pull request #1186 from ConsenSys/pending-opcodes ... Pending opcodes	5 years ago
Nathan	4aba7ebfb7	Merge branch 'develop' into pending-opcodes	5 years ago
Nathan	bd8c3f8cd4	Minor improvements to user_assertions.py	5 years ago
Nathan	cb307f0d94	Check delegatecall after execution finishes (#1215)	5 years ago
Nathan	2a34a5d712	Remove unused variables	5 years ago
Nathan	b2bbe2568a	Remove unused import	5 years ago
Nathan	4485662126	Remove unused variables	5 years ago
Nathan	3cab4beb76	Minor improvements to user_assertions.py	5 years ago
Eric N	e47c35ee15	Fixed mypy.	5 years ago
Eric N	581c8d7b01	Refactor code	5 years ago
Eric N	72db1237fb	Fixed issue with staticcall.	5 years ago
Eric N	079b8a70da	Ran black. TODO: Fix issue with storage.	5 years ago
Eric N	126fc26da6	Cleaned up some logic. Fixed issue with VMException and freezing on staticcall.	5 years ago
Eric N	8504eeac4e	Merge branch 'develop' of https://github.com/ConsenSys/mythril into pending-opcodes	5 years ago
Nathan	f781ce3604	Add user supplied assertions module to documentation	5 years ago
Nathan	8571d301d2	Implement user supplied assertion module	5 years ago
Nikhil Parasaram	5f424b62d9	Only propagate code based call annotations (#1211) ... * Only propagate code based call annotations * Move the if condition to a better place	5 years ago
Eric N	bc0f677e87	Cleaned up code. Add create test.	5 years ago
Eric N	a9755b8c67	Modified codecopy. Debugging issue with contract function calls.	5 years ago
Nathan	612fc4df34	Merge branch 'develop' into pending-opcodes	5 years ago
Nathan	b265254055	Merge pull request #1205 from ConsenSys/fix/constraints-after-issues ... Test issue constraints at the end of each transaction	5 years ago
Nathan	52d5afe0b6	Merge branch 'develop' into fix/constraints-after-issues	5 years ago