20767 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Kamil Śliwak	74c73d396a	pylint_all: Use subprocess module instead of os.system() ... - As a bonus this makes the script properly stop on Ctrl+C	2021-08-23 23:12:56 +02:00
Kamil Śliwak	0746f2adf9	pylint_all: Make better use of the PROJECT_ROOT variable	2021-08-23 23:12:56 +02:00
Kamil Śliwak	9b3e714a6c	pylint_all: Use argparse for processing arguments	2021-08-23 23:12:56 +02:00
Kamil Śliwak	a39eb7ae99	Merge pull request #11832 from ethereum/fix-pylint-warnings-about-encoding-in-open ... Fix pylint warnings about encoding in `open()`	2021-08-23 23:12:12 +02:00
Kamil Śliwak	8f5a04270f	Merge pull request #11835 from ethereum/fix-boost-download-from-jfrog-in-powershell ... Use empty user agent when downloading Boost from jfrog in powershell	2021-08-23 22:05:28 +02:00
Kamil Śliwak	bc68e95221	install_deps.ps1: Use empty user agent when downloading boost from jfrog to avoid being treated as a browser	2021-08-23 21:23:39 +02:00
Kamil Śliwak	a6683e3226	Fix pylint warnings about encoding not being specified in open() calls	2021-08-23 19:24:35 +02:00
Kamil Śliwak	941919e8ab	fix_homebrew_paths_in_standalone_zip.py: Remove a superfluous call to open()	2021-08-23 16:00:35 +02:00
Kamil Śliwak	6b7857d56b	Merge pull request #11650 from ethereum/boost-path-in-read-file-as-string ... Use `boost::filesystem::path` in `readFileAsString()`	2021-08-20 19:45:54 +02:00
Leonardo	26207968c6	Merge pull request #11820 from ethereum/smt_barecall ... [SMTChecker] CALL	2021-08-19 18:15:38 +02:00
Leo Alt	55d197f092	Changelog	2021-08-19 16:34:16 +02:00
Leo Alt	9ea4576664	Update tests	2021-08-19 16:34:01 +02:00
Leo Alt	d89d63bf9c	Use the nondeterministic interface also for BARECALL	2021-08-19 16:34:01 +02:00
chriseth	45a910c2ca	Merge pull request #11750 from ethereum/immutables-10463 ... Allow reading of immutables during construction time	2021-08-19 14:39:03 +02:00
chriseth	065a303b76	Merge pull request #11817 from ethereum/extendKnowledgeBase ... Extend knowledge base	2021-08-19 14:05:46 +02:00
Marenz	121fd40f74	Allow reading of immutables during construction time	2021-08-19 13:59:05 +02:00
chriseth	2165c0d3d9	Update gas costs.	2021-08-19 13:26:52 +02:00
chriseth	c6473ff32b	Proof for rules.	2021-08-19 12:51:54 +02:00
chriseth	a467f3205c	Tests for knowledge base.	2021-08-19 12:51:54 +02:00
chriseth	2a8090d797	New simplification rules.	2021-08-19 12:51:54 +02:00
chriseth	8926274000	Fix recursion protection.	2021-08-19 12:51:54 +02:00
Kamil Śliwak	cef0f1b9e1	Merge pull request #11818 from ethereum/fix-bad-bash-highlighting-in-optimizer-rst ... Fix incorrect Bash highlighting in a Yul code snippet	2021-08-18 14:00:06 +02:00
Kamil Śliwak	f794539628	optimizer.rst: Fix a code block with incorrectly set Bash highlighting	2021-08-18 13:07:22 +02:00
chriseth	4b038e3f02	Extend knowledge base.	2021-08-18 12:42:46 +02:00
Daniel Kirchner	729db521a9	Merge pull request #11812 from ethereum/addMissingHeader ... Add missing header.	2021-08-17 16:45:33 +02:00
Daniel Kirchner	f609288cba	Add missing header.	2021-08-17 16:04:38 +02:00
chriseth	22482802d1	Merge pull request #11810 from ethereum/fixFixedParsingIsoltest ... Fix parsing fixed point values.	2021-08-17 15:26:00 +02:00
chriseth	063d481bb3	Fix parsing fixed point values.	2021-08-17 14:46:11 +02:00
chriseth	948665ff89	Merge pull request #11749 from ethereum/simplifyConvertEvenMOre ... Simplify yul conversion function even more.	2021-08-17 14:39:59 +02:00
chriseth	5015284c3a	Merge pull request #11748 from ethereum/optimize_signextend ... Optimizer rules for signextend.	2021-08-17 14:39:16 +02:00
Kamil Śliwak	cb1a0f08ca	readFileAsString(): Accept path as boost::filesystem::path instead of string	2021-08-17 12:58:33 +02:00
Kamil Śliwak	790d08f24b	source-upgrade does not really process standard input	2021-08-17 12:55:01 +02:00
chriseth	704820cc6e	Update tests.	2021-08-16 22:24:06 +02:00
chriseth	94c4e1e172	Simplify yul conversion function even more.	2021-08-16 22:24:06 +02:00
chriseth	b62bb0a0b2	Merge pull request #11804 from ethereum/fixedPointTypes ... [isoltest] Leading zero for fixed point types.	2021-08-16 22:17:48 +02:00
chriseth	4480662a58	Test.	2021-08-16 18:54:33 +02:00
hrkrshnn	59db0f1537	An equivalence check for SIGNEXTEND opcode ... Checking the implementation of SIGNEXTEND using Z3's native SignExt and Extract	2021-08-16 18:54:33 +02:00
chriseth	5906d25a39	Formalization of SIGNEXTEND and rule proofs	2021-08-16 18:54:33 +02:00
chriseth	16787ecfd6	Optimizer rules for signextend.	2021-08-16 18:54:33 +02:00
Kamil Śliwak	d59497bd92	Merge pull request #11805 from ethereum/fixSolcjs ... Remove the code for disabling `prepublish` hook before solc-js tests	2021-08-16 17:30:56 +02:00
Daniel Kirchner	9f2885e173	Disabling of prepublish hook is no longer needed in setup_solcjs ... See https://github.com/ethereum/solc-js/pull/542	2021-08-16 16:50:31 +02:00
chriseth	97b4ff15f1	Merge pull request #11791 from CrimsonGlory/patch-2 ... Document pre-0.5.0 bytesX/uintY conversions	2021-08-16 14:24:55 +02:00
CrimsonGlory	e42ebcd612	Document pre-0.5.0 bytesX/uintY conversions ... Document pre-0.5.0 compiler behavior on bytesX/uintY conversions when they have different size.	2021-08-16 14:24:26 +02:00
Alexander Arlt	866617b353	[isoltest] Add support for fixed point types.	2021-08-16 13:07:22 +02:00
chriseth	c0a9578979	Merge pull request #11798 from adlerjohn/patch-1 ... Fix typo	2021-08-16 12:11:48 +02:00
John Adler	a029b0ba67	Fix typo ... Fix missing `s`.	2021-08-14 14:31:06 -04:00
chriseth	1a68228c28	Merge pull request #11790 from ethereum/chriseth-patch-1 ... Run npm prepublish	2021-08-13 15:17:14 +02:00
chriseth	07def75084	Merge pull request #11774 from ethereum/refactorRedundantAssign ... Refactor redundant assign	2021-08-13 15:05:50 +02:00
chriseth	3622b30a1d	Refactor RedundantAssignEliminator.	2021-08-13 14:25:14 +02:00
chriseth	d7a802e4bf	Merge pull request #11682 from ethereum/fixedPointTypes ... Fixed point types for isoltest	2021-08-13 09:37:29 +02:00