1906 Commits (dev-0.7)

 

All Branches   

Search

Author	SHA1	Message	Date
Feist Josselin	8fba6ba0e5	Merge pull request #613 from crytic/dev-0.7-sync-88954ac6 ... Synchronize 0.7	4 years ago
Josselin	517fe3d281	Fix missing import	4 years ago
Josselin	9444b2fe26	Add pyproject.toml	4 years ago
Josselin	f8a812141e	Run black	4 years ago
Josselin	e0503709e4	Merge branch 'dev-black' into dev-0.7-sync-88954ac6	4 years ago
Josselin	950d7b42db	Run black	4 years ago
Josselin	88954ac6d9	Run black	4 years ago
Feist Josselin	d2655802d9	Merge pull request #610 from crytic/dev-refactor-tests ... Refactor regression tests	4 years ago
Josselin	e77ec257c4	load bashrc in workflow	4 years ago
Josselin	93eb08e1ba	Update solc-select installation	4 years ago
Josselin	351de6bd31	Refactor regression tests: ... - Rename travis_ to ci_ - Move shared code to scripts/ci_tests.sh - Rename _4 /_5 to detectors_4 / detectors_5 - Rename generation scripts - Create solidity 6 / 7 scripts (but there is no test for now) - Use solc-select - Update CONTRIBUTING.md guidelines	4 years ago
Josselin	2452037f8e	Merge branch 'laudiacay-fix-exponent-dos' into dev	4 years ago
Josselin	fbccffc745	Improve exponent handling on large value ... - Use 77 as the expo limit - Use SlithIRError instead of value error	4 years ago
Claudia Richoux	66b98dafea	fixing 587 while im at it	4 years ago
Claudia Richoux	d06c397a5c	fixing it and supporting base of zero	4 years ago
Claudia Richoux	246a4baa0e	fixing exponent dos by adding limits on size of exponent	4 years ago
Feist Josselin	eb9c01cc27	Merge pull request #605 from crytic/typos ... "slither-erc" -> "slither-check-erc"	4 years ago
Samuel E. Moelius III	031465bb34	"slither-erc" -> "slither-check-erc"	4 years ago
Feist Josselin	573fa9629b	Merge pull request #601 from crytic/dev-support-return-func-pointer ... IR: Add support for function pointer in RETURN operator	4 years ago
Feist Josselin	f979ea80a1	Merge pull request #600 from crytic/dev-add-support-for-this-function ... Add type propgation for this.function usage	4 years ago
Josselin	8871dd7e0f	IR: Add support for function pointer in RETURN operator (fix #590)	4 years ago
Feist Josselin	c6e04896a3	Merge pull request #599 from crytic/dev-rec-limit ... Increase default python stack depth limit	4 years ago
Josselin	de53bc53ff	Add type propgation for this.function usage (fix #592)	4 years ago
Josselin	b022b39da0	Increase default stack depth limit	4 years ago
Feist Josselin	8133041d91	Merge pull request #598 from crytic/dev-abidecode ... Improve abi-decode support on user type	4 years ago
Josselin	ee1d9ce85b	Improve abi-decode support	4 years ago
Feist Josselin	4793cb1393	Merge pull request #577 from crytic/dev-update-solc-versions ... Update solc recommended versions	4 years ago
Feist Josselin	2d615314fd	Update travis_test_etherlime.sh	4 years ago
Josselin	8f5658042d	solc-version: update embark test	4 years ago
Josselin	0caada35dc	solc-version: minor	4 years ago
Josselin	ff0d820da6	solc-version: ... - Add check on exact compiler version sued - Improve truffle test	4 years ago
Josselin	799fe16c21	Update solc-version recommended versions (fix #570)	4 years ago
Feist Josselin	1ebf43ce72	Merge pull request #576 from crytic/dev-fix-structure-to-list-conversion ... Fix incorrect types to list conversion	4 years ago
Josselin	5af174946a	Fix incorrect types to list conversion	4 years ago
Feist Josselin	b9e0e0f7d9	Merge pull request #575 from crytic/bugfix/yul-state-variable ... Resolve state variables in Yul	4 years ago
samczsun	0f68331a41	resolve state variables properly	4 years ago
Feist Josselin	18a9843ec5	Merge pull request #573 from crytic/dev-solc-version-set ... Fix incorrect solc version for json-only code	4 years ago
Josselin	66e08ea195	Fix incorrect solc version for json-only	4 years ago
Feist Josselin	6845a9c43b	Merge pull request #572 from crytic/dev-copy-editing ... Copy editing on all public detectors	4 years ago
Josselin	cd592e2923	Copy editing on all public detectors	4 years ago
Feist Josselin	f90eb65104	Merge pull request #569 from crytic/dev-type ... Improve support for type()	4 years ago
Josselin	c70f202138	Improve support for type() (fix #547)	4 years ago
Feist Josselin	97b775ed72	Merge pull request #567 from crytic/dev-abi-decode-complex-types ... Add temporary support for abi.decode on complex type	4 years ago
Josselin	d791d105ec	Add temporary support for abi.decode on complex type (temporary solution ... until #566 is fixed)	4 years ago
Feist Josselin	6aab6bd951	Merge pull request #565 from crytic/dev-constant-total-ordering ... Add total ordering to Constant	4 years ago
Josselin	bfaaf742f0	Add ending line to variables/constant.py	4 years ago
Josselin	de7b81fee4	Add total ordering to Constant	4 years ago
Feist Josselin	b742d222d0	Merge pull request #564 from crytic/dev-fix-tuple-index ... Fix incorrect tuple index	4 years ago
Josselin	37d2967e9d	Improve test on tuple_index existence	4 years ago
Feist Josselin	c01984f80e	Merge pull request #563 from crytic/dev-fix-tuple-reassignement ... Fix incorrect handling of tuple variable re-assignement	4 years ago