3540 Commits (4d16e8f7fb986e5ec75850fb50878edca7ced3af)

 

All Branches   

Search

Author	SHA1	Message	Date
Bernhard Mueller	8144ea44c0	Bump version number	7 years ago
Bernhard Mueller	b65c647fcc	Merge pull request #150 from JoranHonig/bugfix/missingversion_setuppy ... Define version for rlp	7 years ago
Bernhard Mueller	05216a91d7	Merge pull request #151 from JoranHonig/bugfix/integer_overflow_double_int ... Change ints to bitvec	7 years ago
Bernhard Mueller	80c8195e76	Merge pull request #149 from JoranHonig/features/testoptimization ... Optimize report test	7 years ago
Joran Honig	cc1978d264	Change ints to bitvec	7 years ago
Joran Honig	d0df9ffdac	Define version for rlp	7 years ago
Joran Honig	f44b849be4	Use cpu count to initialize the pool and use all input files	7 years ago
Joran Honig	9c2af07936	Documentation for private test functions	7 years ago
Joran Honig	94e823bf48	Clean up reports_test	7 years ago
Joran Honig	5edcd0ddcd	Include error message which describes the difference between the expected and actual output	7 years ago
Joran Honig	59afc85a64	remove old test files	7 years ago
Joran Honig	09656dea45	Merge remote-tracking branch 'upstream/master' into features/testoptimization	7 years ago
Joran Honig	ace15aaa5a	Rewrite tests to pytests	7 years ago
Dr. Sergey Pogodin	ab0fad61b6	v0.16.26	7 years ago
Dr. Sergey Pogodin	177d4be95b	Merge branch 'master' into f2f-30064730-N1k1tung ... Fix for #138 and #139	7 years ago
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