1325 Commits (390bd99b1754c9b8440e2220cd9adacd28ad408e)

 

All Branches   

Search

Author	SHA1	Message	Date
Dr. Sergey Pogodin	7e11dd5ba4	F2F: Improve reading of dynamic arrays ... Submission 253771 by N1k1tung to the challenge https://www.topcoder.com/challenges/30064730	7 years ago
Bernhard Mueller	d1db221207	Bump version number	7 years ago
Bernhard Mueller	5116438cf1	Quick Python 3.4-3.5 compatibility fix	7 years ago
Bernhard Mueller	0e63d7c429	Merge pull request #146 from JoranHonig/bugfix/taintcheck ... Check if included expression is not prefixed by illegal character	7 years ago
Bernhard Mueller	dc8b07bb39	Merge pull request #147 from lazzarello/dockerfile ... explicitly satisfy rlp dependency	7 years ago
Lee Azzarello	f26f781d9e	explicitly satisfy rlp dependency	7 years ago
Joran Honig	12184dbedd	Check if included expression is not prefixed by illegal character	7 years ago
Joran Honig	6b534dbff2	CHange extentions	7 years ago
Joran Honig	20a27bef85	Parallel execution	7 years ago
Bernhard Mueller	1acfc99586	Bump version number	7 years ago
Bernhard Mueller	febf3589a3	Bump version number	7 years ago
Bernhard Mueller	0d0aeb58cc	Remove a line that breaks Python 3.5 compatiblity	7 years ago
Dr. Sergey Pogodin	3e4340174e	v0.16.21	7 years ago
Dr. Sergey Pogodin	0cc74f409c	Another attempt to fix setup.py	7 years ago
Dr. Sergey Pogodin	920f286b00	Fix setup.py	7 years ago
Dr. Sergey Pogodin	59d8d9ecd0	Merge remote-tracking branch 'origin/master'	7 years ago
Bernhard Mueller	8868012b1c	Merge pull request #141 from JoranHonig/bugfix/maxuint ... Assertion change in integer.py and fix flaky tests	7 years ago
Dr. Sergey Pogodin	3d33e75299	Updates PyPI deployment by CircleCI (see README_DEV.md for instructions) ... Fix for #140	7 years ago
Joran Honig	d7d05b769e	remove unused variable	7 years ago
Joran Honig	d7f243584b	Revert config change	7 years ago
Joran Honig	950a717f2b	Update rubixi tests after increasing the solver timeout	7 years ago
Joran Honig	4b6ad7cb90	Set solver timeout to 10000 to get consistent results	7 years ago
Joran Honig	fa69d1ec0c	Adapt weak random output	7 years ago
Joran Honig	9f717f21b1	Revert "Update expected test outputs" ... This reverts commit 2f98e96 The changed report output files still contain integer overflows	7 years ago
Joran Honig	bd90bcdcdb	Implement new overflow constraint	7 years ago
Joran Honig	7db3e6b379	Merge remote-tracking branch 'upstream/master' into bugfix/maxuint	7 years ago
Joran Honig	c9cd1e206b	Change interger.py to check for specific overflow in overflow.solc for debugging purposes	7 years ago
Bernhard Mueller	2f98e962d3	Update expected test outputs	7 years ago
Joran Honig	058b37cae2	Change max unsigned integer size	7 years ago
Bernhard Mueller	02a61212ad	Merge pull request #132 from joshuata/joshuata/compilation ... Adds Pipfile and fixes regex compile errors	7 years ago
Bernhard Mueller	3133fefce6	Fix dynamic array access	7 years ago
Josh Asplund	09521c1190	Adds circleci test support	7 years ago
Josh Asplund	382a6a7796	Revert "Changes to Pipfile" ... This reverts commit 28a2af020b.	7 years ago
Josh Asplund	28a2af020b	Changes to Pipfile ... Due to interactions between Pipfile and setup.py, it s far easier to reuse the requirements from the install_requires than duplicating work.	7 years ago
Josh Asplund	64d308b513	Updates requirements	7 years ago
Josh Asplund	e39ad79907	Adds Pipfile and fixes compile errors	7 years ago
Bernhard Mueller	dd78e5d307	Update README.md	7 years ago
Bernhard Mueller	768e798ffe	Add .gitattributes	7 years ago
Bernhard Mueller	5532d1e775	Also add jinja2 to setup.py	7 years ago
Bernhard Mueller	9adcf06914	Merge branch 'joshuata/templating' of git://github.com/joshuata/mythril	7 years ago
Dr. Sergey Pogodin	eafd065814	Merge branch 'f2f-30064535-walker_'	7 years ago
Dr. Sergey Pogodin	fcdffc83d3	Updated the tests to work for the latest commits in master	7 years ago
Dr. Sergey Pogodin	72af781994	Merge branch 'master' into f2f-30064535-walker_	7 years ago
Dr. Sergey Pogodin	8e94ea6952	F2F: Fix tests and build ... Submission #253416 by walker_ to the challenge https://www.topcoder.com/challenges/30064535	7 years ago
Dr. Sergey Pogodin	9a9b0eb354	Update of expected test outputs	7 years ago
Dr. Sergey Pogodin	ef6352fe8f	Merge branch 'f2f-30064536-diazz'	7 years ago
Dr. Sergey Pogodin	9f6caa50ff	F2F: Improve formatting of analysis reports ... Submission #253393 by diazz to the challenge https://www.topcoder.com/challenges/30064536	7 years ago
Bernhard Mueller	e6cec0409e	Merge pull request #128 from JoranHonig/features/integeroverflow_benign ... Add type check	7 years ago
Joran Honig	0263acd2c8	Add type check	7 years ago
Bernhard Mueller	e84c12fdd2	Update test files	7 years ago