167 Commits (harvey_style_assertions)

Author	SHA1	Message	Date
Bernhard Mueller	d72afe3089	Add missing files	6 years ago
Bernhard Mueller	f9519367a6	Update calls.sol for solc 0.5.0	6 years ago
Bernhard Mueller	9a5479266c	Re-add and fix metacoin sample	6 years ago
Bernhard Mueller	4b9421863a	Attempt to fix tests again	6 years ago
Bernhard Mueller	960b7f1f5a	Update tests	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
Bernhard Mueller	c9ff1010ea	Format metacoin.sol.o.json	6 years ago
Bernhard Mueller	408686e739	Fix test files formatting	6 years ago
Bernhard Mueller	0ed27369c7	Pretty-print tests	6 years ago
Dominik Muhs	d226755ae9	Fix test contract modifiers	6 years ago
Bernhard Mueller	d41b6e2676	Update tests	6 years ago
Bernhard Mueller	ebf4eaa51c	Remove crappy metacoin sample	6 years ago
Dominik Muhs	4c3eeb2a77	Port other test contracts to solc 0.5.0	6 years ago
Dominik Muhs	e47584f02d	Fix other contracts	6 years ago
Dominik Muhs	a053cfd330	Fix rubixi	6 years ago
Dominik Muhs	e11e916f55	Fix constructor assert	6 years ago
Dominik Muhs	9787a4a666	Fix multi contracts	6 years ago
Bernhard Mueller	480e7d5665	More charming report descriptions	6 years ago
Bernhard Mueller	80c7e75862	Fix log line, update test outputs	6 years ago
Bernhard Mueller	e04dd1cdda	Refactor package and class names	6 years ago
Bernhard Mueller	dc098ee1bc	Pretty-print ether_send.json	6 years ago
Bernhard Mueller	14888bf542	Resolve conflict and pretty-print json file	6 years ago
Dominik Muhs	e07bdbd739	Add 4byte signatures and small DB optimizations (#707) ... * Add fresh signatures * Update signature file handler * Add signatures to test and remove trailing whitespaces in issues * Add new signatures to test file * Add minor signature db refactoring * Fix test descriptions * Make signature DB singleton for large-file performance * Fix external call module description typo * Refactor error message data into signature DB	6 years ago
Bernhard Mueller	dbf0ee0b92	Update tests	6 years ago
Dominik Muhs	1fdd07a254	Add gas simulation to LASER (#660)	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
Dominik Muhs	ce8c82f0f2	Fix JSON report tests	6 years ago
rocky	4befdd368e	Adjust text format to pull swc-id	6 years ago
Dominik Muhs	45a8543d78	Merge latest develop branch into 'feature/type-hints-develop'	6 years ago
Dominik Muhs	f7ab134608	Merge latest develop branch	6 years ago
rocky	275cf95e17	Bow to the CI god	6 years ago
rocky	3d87cf8d19	Bow to the CI god	6 years ago
Joran Honig	adeec0264f	subtraction typo fix	6 years ago
Joran Honig	06f92f64cd	remove unintended ouputs current	6 years ago
Joran Honig	9fe0964f35	merge fixes	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	ffbee7f760	Change the issue descriptions	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
Marcus Mönnig	39ace87e87	Add <!DOCTYPE> and <TITLE> tags	6 years ago
Nikhil Parasaram	c105b17211	Remove %s in the text test	6 years ago
Nikhil Parasaram	5e48355d49	Remove the %s in markdown test	6 years ago
Nikhil Parasaram	a939a3255a	Update origin.sol.o.json	6 years ago
Nikhil Parasaram	296da3a54a	Add swc id to mythril report	6 years ago
Joran Honig	9b6325b44d	Update test files	6 years ago
Joran Honig	2d1c59e024	change tests to reflect changes in laser and analysis modules	6 years ago
Joran Honig	d37ba5effc	Revert changes	6 years ago
Joran Honig	f7ee3e5fe3	Add unique bitvecval creation to state	6 years ago