2076 Commits (e260db50569e45a51cc5f011b47b8811a63ff1d4)

 

All Branches   

Search

Author	SHA1	Message	Date
rocky	f69a8439db	Put issue instructions in comments... ... so users don't have to delete them. In bug-report.md, put possibly the more likley thing to do at the top.	6 years ago
Bernhard Mueller	030d1e100e	Update README.md	6 years ago
Bernhard Mueller	62bca80cc9	Update README.md	6 years ago
Nikhil Parasaram	726924276b	Add Bitwise tests	6 years ago
Bernhard Mueller	fb71ae3132	Merge branch 'master' of github.com:ConsenSys/mythril	6 years ago
Nikhil Parasaram	5eb15a5220	Use xml coverage report	6 years ago
Joran Honig	ae9d7146b1	Use named parameter	6 years ago
Joran Honig	7470297c9f	Use central transaction id and name parameters	6 years ago
Joran Honig	09f287ea88	Small bugfix	6 years ago
Joran Honig	d37ba5effc	Revert changes	6 years ago
Joran Honig	bcc90a27f2	Use global_state.new_bitvec vs directly initializing the bitvector	6 years ago
Joran Honig	c62067ba30	Use node uid vs transaction	6 years ago
Joran Honig	8b61134e8d	Don't do unnecessary try catch	6 years ago
Joran Honig	f7ee3e5fe3	Add unique bitvecval creation to state	6 years ago
Joran Honig	ff90044feb	Add transaction ids	6 years ago
JoranHonig	4446b76925	Merge pull request #483 from JoranHonig/bugfix/transaction_depth ... Use recursive transaction stack length passing	6 years ago
Nikhil Parasaram	dd08a8dd37	Add the constructor test file	6 years ago
Nikhil Parasaram	752e9c64a7	add solidity test file for SolidityContract	6 years ago
Nikhil Parasaram	e218c20e91	Add new tests for SolidityContract	6 years ago
Joran Honig	dea9c3c11e	Refactor of suicide analysis	6 years ago
Joran Honig	b78529cea0	Retain transaction sequence	6 years ago
Joran Honig	b62603a8ec	Use recursive transaction stack length passing	6 years ago
Nikhil Parasaram	1c2be5418c	Merge pull request #477 from ConsenSys/sonar-coverage ... support sonar code coverage	6 years ago
Nikhil Parasaram	180260278e	Merge pull request #475 from ConsenSys/features/exp ... Features/exp	6 years ago
JoranHonig	54fcd0a4b9	Merge pull request #476 from JoranHonig/bugfix/carry_constraints ... Carry constraints with new transaction	6 years ago
Bernhard Mueller	5587c65f16	Update README.md	6 years ago
Nikhil Parasaram	7387f14ba1	Get solc constructor code	6 years ago
Nikhil Parasaram	5272d54953	Add constructor mapping for SolidityContract	6 years ago
Bernhard Mueller	be904f98cc	Update README.md	6 years ago
Nikhil Parasaram	6b77f7cf1b	Merge pull request #472 from ConsenSys/no-contract-message ... Turn a print into a logger.warning and fix some small things...	6 years ago
Joran Honig	058804d887	Also write node constraints	6 years ago
Joran Honig	0cad91e9ae	Constraints need to be carried over in case a previous node exists	6 years ago
Nikhil Parasaram	a47c6477ee	support sonar code coverage	6 years ago
Nikhil Parasaram	120354ddd9	remove base 2	6 years ago
JoranHonig	f56df80826	Merge pull request #469 from JoranHonig/bugfix/contract_name ... Initialize account with contract name	6 years ago
JoranHonig	ed436f445d	Merge pull request #452 from JoranHonig/features/write_to_memory ... Implement memory write function	6 years ago
JoranHonig	89c39cd408	Merge branch 'master' into bugfix/contract_name	6 years ago
Nikhil Parasaram	2eafa1309e	Remove ambiguity in exp	6 years ago
Nikhil Parasaram	452c135e07	Support exp arthmetic tests for evm	6 years ago
Nikhil Parasaram	6e56d0a8f1	change tests for exp	6 years ago
Nikhil Parasaram	1dbbc74ab9	Merge branch 'master' of github.com:ConsenSys/mythril into feature/432	6 years ago
Nikhil Parasaram	ba904f9bf0	Add exp support with other bases	6 years ago
rocky	bf4426064b	Turn a print into a logger.warning and fix some small things... ... * "execution" spelling. * Tweak error message a little Note though, there still are further bugs in the code. Possibly there should be a return after this?	6 years ago
Nikhil Parasaram	b5afa9ff1a	Merge pull request #450 from ConsenSys/feature/432 ... Feature/432	6 years ago
Joran Honig	80b07d6c66	Initialize account with contract name	6 years ago
Nikhil Parasaram	e47273ef7e	Merge pull request #468 from lexibrent/file-io ... Add support for loading bytecode from file	6 years ago
Lexi Brent	a08b9e7366	Add support for loading bytecode from file	6 years ago
JoranHonig	32f244fe06	Merge pull request #466 from JoranHonig/features/arithmeticTest ... Features/arithmetic test	6 years ago
Joran Honig	4e2c0c57a3	Merge remote-tracking branch 'upstream/master' into features/arithmeticTest	6 years ago
JoranHonig	7598b433ad	Merge pull request #463 from JoranHonig/bugfix/440_construction ... Deal with unknown input sizes	6 years ago