20826 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
chriseth	74c804d87d	Merge pull request #11765 from ethereum/fix_byte_formal ... Fix implementation of BYTE	2021-08-09 20:38:08 +02:00
chriseth	f6789de9f8	Fix implementation of BYTE	2021-08-09 19:14:14 +02:00
hrkrshnn	af1dabb555	Added EVMVersion london. ... Also set the value of `block_base_fee` for testing to 7 wei.	2021-08-09 16:18:08 +02:00
hrkrshnn	543ccf5287	Added the basefee instruction in YulInterpreter	2021-08-09 16:18:08 +02:00
hrkrshnn	95091f6b58	Implemented block.basefee in Solidilty and basefee() in Yul. ... Also added basefee to Yul grammar.	2021-08-09 16:18:08 +02:00
hrkrshnn	d92b211a2f	Added the instruction basefee.	2021-08-09 16:18:08 +02:00
Leonardo	a356059461	Merge pull request #11755 from ethereum/smt_default_no_overflow ... [SMTChecker] Do not create targets for underoverflow by default for Sol >=0.8	2021-08-09 14:53:43 +02:00
Leo Alt	ee6285d6d7	Do not create VCs for underoverflow by default for Sol >=0.8	2021-08-09 14:12:31 +02:00
Daniel Kirchner	6ec711b2f0	Merge pull request #11667 from ethereum/z3PPAScriptUpdate ... Update Z3 version to 4.8.12 in PPA script and add static binary package.	2021-08-09 12:06:57 +02:00
Daniel Kirchner	88b5be4224	Update Z3 version to 4.8.12 in PPA script and add static binary package.	2021-08-09 11:14:03 +02:00
Leonardo	ce0e0c48fb	Merge pull request #11754 from ethereum/smt_fix_docs ... Add solvers to model checker json docs	2021-08-06 18:50:34 +02:00
Leo Alt	e9e3f1238f	Add solvers to model checker json docs	2021-08-06 18:05:25 +02:00
Leonardo	c69c08a26e	Merge pull request #11738 from ethereum/smt_div_mod_slacks ... [SMTChecker] Add option divModWithSlacks	2021-08-06 16:34:06 +02:00
Leo Alt	08c065ee04	Add option divModWithSlacks	2021-08-06 15:50:25 +02:00
Kamil Śliwak	a532df20ec	Merge pull request #11751 from ethereum/fix-inconsistent-suppressing-of-pre-release-warning ... Fix inconsistent suppressing of pre-release warning + remove superfluous warnings from tests	2021-08-05 18:21:54 +02:00
Kamil Śliwak	506cc20fe8	Remove empty exit files from command-line tests	2021-08-05 17:41:33 +02:00
Kamil Śliwak	2803dba980	Add pragmas and SPDX comments to command-line tests to get cleaner error output	2021-08-05 17:41:30 +02:00
Kamil Śliwak	dc4620d2be	cmdlineTests.sh: Suppress message about empty output to get consistent output on release and pre-release builds	2021-08-05 17:11:58 +02:00
chriseth	db85849648	Merge pull request #11737 from ethereum/fix_shift_cleanup ... Yul: Fix cleanup for left shift of bytes types.	2021-08-05 12:55:42 +02:00
chriseth	35e1ab2c6f	Merge pull request #11739 from ethereum/refactor_yul_conversion ... solyul: Refactor conversion function.	2021-08-05 12:54:04 +02:00
chriseth	6b888b531b	Refactor conversion function.	2021-08-05 11:48:35 +02:00
chriseth	26fb2317ef	Merge pull request #11744 from ethereum/refactor_remove_identifieraccess ... Only provide code generator to CodeTransform.	2021-08-05 11:32:39 +02:00
chriseth	0112fed73b	Yul: Fix cleanup for left shift of bytes types.	2021-08-05 10:54:48 +02:00
chriseth	467cbf92bc	Only provide code generator to CodeTransform.	2021-08-04 18:38:10 +02:00
Kamil Śliwak	2d5b9036c2	Merge pull request #11645 from ethereum/slightly-nicer-error-reporting ... [Trivial] Provide a better error reporting for failed cmdline tests.	2021-08-04 15:47:14 +02:00
Leonardo	e18dec871f	Merge pull request #11705 from ethereum/smt_show_unproved ... [SMTChecker] Bundle unproved messages by default	2021-08-04 15:21:43 +02:00
Marenz	dea201800f	Provide a better error reporting for failed cmdline tests.	2021-08-04 15:00:34 +02:00
Leo Alt	01c01ea421	Changelog	2021-08-04 13:54:50 +02:00
Leo Alt	847dd5cf92	Docs	2021-08-04 13:54:50 +02:00
Leo Alt	3c1f555f71	Tests	2021-08-04 13:54:50 +02:00
Leo Alt	700fe3e5d4	CL tests	2021-08-04 13:54:50 +02:00
Leo Alt	41087f3195	Add CLI and JSON option to show unproved targets	2021-08-04 13:54:50 +02:00
Leo Alt	685d7a8c99	Bundle all unproved targets in a single message and only show all if setting chooses that	2021-08-04 13:54:50 +02:00
chriseth	ae519c1278	Merge pull request #11658 from ethereum/removeScannerFromCompilerStack ... Remove scanner from compiler stack	2021-08-03 17:47:39 +02:00
chriseth	d7a40622e4	Merge pull request #11729 from ethereum/build-speedups ... header file cleanups	2021-08-03 16:44:54 +02:00
chriseth	ffd66a5d08	Merge pull request #11720 from ethereum/onlySetRunsIfUsed ... Only set "runs" if used.	2021-08-03 16:34:31 +02:00
chriseth	3b1eacfcaa	Merge pull request #11655 from ethereum/ObjectCompiler-user-src-new-test ... Print source locations in AsmPrinter	2021-08-03 16:09:40 +02:00
Christian Parpart	d203c80abd	Eliminate unnecessary m_source from Parser	2021-08-03 16:03:45 +02:00
chriseth	01a1316b36	Only set "runs" if used.	2021-08-03 15:53:59 +02:00
Christian Parpart	af18b8afc2	Eliminate some unnecessary header inclusions in headers in Scanner.h and SourceReferenceFormatter.h	2021-08-03 15:43:17 +02:00
Christian Parpart	6294aa871a	Simplify AsmParser::parse(.) usage	2021-08-03 15:43:17 +02:00
Christian Parpart	ac0c749a32	Eliminate some unnecessary header inclusions in headers in SourceLocation.h	2021-08-03 15:43:17 +02:00
chriseth	ffc5cfd9a5	Remove scanner from compiler stack.	2021-08-03 15:43:17 +02:00
Christian Parpart	81e9225304	Eliminate some unnecessary header inclusions in headers.	2021-08-03 15:43:14 +02:00
Mathias Baumann	2ee6c7be64	Print @src and @use-src locations in AsmPrinter	2021-08-03 15:29:52 +02:00
Harikrishnan Mulackal	c89b46c55e	Merge pull request #11726 from ethereum/yulScoping ... Clarify Yul scoping rules.	2021-08-03 12:41:24 +02:00
chriseth	363278d2ec	Clarify Yul scoping rules.	2021-08-02 18:27:34 +02:00
chriseth	e9cab0ffc6	Merge pull request #11707 from ethereum/docs-clarify-optional-remapping-components ... [Docs] Clarify optional parts in remappings	2021-08-02 12:58:56 +02:00
Kamil Śliwak	c6fc9934fa	Clarify optional parts in remappings	2021-07-30 12:30:17 +02:00
Harikrishnan Mulackal	5ff0811b99	Merge pull request #11717 from jaa2/develop ... Handle --optimize-runs option in assembly mode	2021-07-29 18:56:22 +02:00