1858 Commits

Author	SHA1	Message	Date
Alex Beregszaszi	bb19c9e460	Set version to 0.8.5	2021-04-21 20:42:20 +01:00
chriseth	3aad6b239c	Prepare changelog for 0.8.4.	2021-04-21 14:21:00 +02:00
Leonardo Alt	dd1865873e	Choose contracts to be analyzed by the SMTChecker	2021-04-21 10:34:14 +02:00
chriseth	cf7f814a4e	Merge pull request #10921 from ethereum/issue-10881 ... Natspec: Don't copy from base function if return parameters differ	2021-04-20 15:33:48 +02:00
Leonardo Alt	db1b630de5	Changelog	2021-04-19 19:23:18 +02:00
chriseth	6a0a51110d	Merge pull request #11256 from ethereum/smt_target_array ... Change settings.modelChecker.targets to take an array instead of string	2021-04-19 18:47:06 +02:00
Leonardo Alt	e3abde43f5	Change settings.modelChecker.targets to take an array instead of string	2021-04-19 17:53:03 +02:00
Kamil Śliwak	0d4871ad10	Prevent adding '-' CLI flag to allowed paths as if it was an actual file ... - This resulted in a bug where using stdin was effectively disabling allowed path checks.	2021-04-19 16:58:48 +02:00
Mathias Baumann	1737bd7ded	Natspec: Don't copy from base function if return parameters differ	2021-04-19 15:20:30 +02:00
chriseth	8eb0d5edf6	Export used errors in the AST.	2021-04-19 14:15:50 +02:00
Christian Parpart	81c7b30a6a	Merge pull request #11234 from ethereum/fix-file-reader-compiler-stack-source-unit-name-mismatch ... Use identical source unit names in FileReader and CompilerStack	2021-04-14 13:46:14 +02:00
chriseth	11b227e33e	Merge pull request #11205 from ethereum/fix-docstring-bug ... Fix docstring bug	2021-04-14 13:18:33 +02:00
Kamil Śliwak	6a41b417a3	FileReader: Store files loaded by the callback under their source unit name	2021-04-13 13:25:59 +02:00
chriseth	0289994da5	Merge pull request #11221 from ethereum/fixCalldataDecodingOverflowBug ... Fix calldata decoding overflow bug	2021-04-12 18:11:29 +02:00
chriseth	4912bfe639	Merge pull request #11229 from ethereum/antlrPath ... Fix import paths in grammar and grammar testing details.	2021-04-12 16:30:41 +02:00
Daniel Kirchner	6fdfd8b62b	Fix import path grammar and grammar testing details.	2021-04-12 14:54:36 +02:00
chriseth	2ed17e4b43	Update tests.	2021-04-12 13:43:56 +02:00
hrkrshnn	382c488edd	Fix missing error when events are used without an emit statement. ... Whenever there was a proper invocation of events, the compiler assumed that all the subsequent invocations were proper.	2021-04-12 10:23:05 +02:00
Leonardo Alt	c43ae60938	Changelog	2021-04-08 21:03:39 +02:00
hrkrshnn	e96a161115	Tests and changelog	2021-04-08 17:06:24 +02:00
chriseth	2856f56525	Merge pull request #10942 from ethereum/returnSlotAllocation ... Delayed return slot allocation.	2021-04-08 16:42:07 +02:00
chriseth	f04adde664	Allow hex string literals in Yul.	2021-04-08 15:03:33 +02:00
Daniel Kirchner	4b0f8383a6	Reuse function argument slots and defer allocation of return variable slots in EVMCodeTransform.	2021-04-06 13:38:05 +02:00
Leonardo	78d94737a4	Merge pull request #11188 from blishko/issue-11181 ... [SMTChecker] Fix crash when analysing try-catch clauses with function call.	2021-03-31 11:24:36 +02:00
chriseth	851051c64a	Merge pull request #10228 from ethereum/issue-9565 ... Detect circular references for library and free functions	2021-03-30 23:49:22 +02:00
Mathias Baumann	e590a99f39	Detect circular references for library and free functions	2021-03-30 23:06:30 +02:00
chriseth	904dade4bd	Changelog entry.	2021-03-30 23:04:32 +02:00
Martin Blicha	2d231f1859	[SMTChecker] Changed SMTEncoder::mergeVariables to work regardless which branch has been visited first	2021-03-30 20:35:44 +02:00
Leonardo Alt	ba97d6ac4e	Add local vars to cex	2021-03-30 17:55:21 +02:00
Leonardo Alt	dbd067d6db	Report out of bounds index access	2021-03-30 10:28:48 +02:00
chriseth	bb49bc5892	Merge pull request #10418 from ethereum/function-specializer ... Function specializer	2021-03-29 15:48:01 +02:00
hrkrshnn	bd5e47dc55	Changelog and adding the name to the doc	2021-03-29 11:02:31 +02:00
Martin Blicha	85358dfe30	[SMTChecker] Do not create targets for contracts that cannot be deployed	2021-03-25 15:38:37 +01:00
chriseth	6eac77aea2	Merge pull request #11107 from ethereum/extendedLowlevelInliner ... Inline ordinary jumps to small blocks and jumps to terminating control flow.	2021-03-24 18:06:15 +01:00
Martin Blicha	98446782e2	[SMTChecker] Fix compound assignment to push	2021-03-24 14:54:13 +01:00
Leonardo	13d3b35141	Merge pull request #11116 from blishko/issue-10985 ... [SMTChecker] Handle InaccessibleDynamicType	2021-03-24 14:39:24 +01:00
Daniel Kirchner	8b3095920a	Inline ordinary jumps to small blocks and jumps to terminating control flow.	2021-03-24 13:50:24 +01:00
Martin Blicha	852e877ae7	[SMTChecker] Handle InaccessibleDynamicType	2021-03-24 11:53:06 +01:00
Djordje Mijovic	fd0762b5ef	Documenting bytes.concat. ... Co-authored-by: chriseth <chris@ethereum.org>	2021-03-24 11:49:21 +01:00
chriseth	d15ba987d1	Fix AST output if modifier invocation is base constructor call.	2021-03-24 11:24:26 +01:00
chriseth	2a9b131a6e	Set version to 0.8.4.	2021-03-23 15:58:14 +01:00
chriseth	a32e2e2130	Prepare changelog for 0.8.3.	2021-03-23 12:55:13 +01:00
hrkrshnn	30e08ee3a5	Changelog and test for the KeccakCaching bug	2021-03-23 11:09:00 +01:00
chriseth	d18db63843	Changelog entry.	2021-03-18 08:42:49 +01:00
Leonardo	25b31111df	Merge pull request #11040 from ethereum/smt_fix_virtual_one_more_time ... [SMTChecker] Fix bug in virtual functions called by constructor	2021-03-17 16:54:36 +01:00
chriseth	0519473059	Add "kind" field to ModifierInvocation AST json element.	2021-03-16 18:50:37 +01:00
Martin Blicha	2f52affcc2	[SMTChecker] Correctly resolve current scope contract in VariableUsage.	2021-03-15 13:55:14 +01:00
Leonardo Alt	998346e599	Fix bug in virtual functions called by constructor.	2021-03-12 16:42:28 +01:00
hrkrshnn	ef0c4cc39f	AST Import: For constructors, a public visibility is ignored.	2021-03-11 10:44:19 +01:00
Martin Blicha	4285c2803b	[SMTChecker] Fix ICE on array.pop nested inside 1-tuple	2021-03-09 20:00:51 +01:00