19638 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Kamil Śliwak	4e3ebda0f4	Don't use negative exit codes	2021-03-04 16:53:05 +01:00
Kamil Śliwak	dbfd3db038	Use mapfile instead of () for reading multiple lines as separate array items	2021-03-04 16:53:05 +01:00
Kamil Śliwak	a05f3a608d	Don't use $ on variables inside (())	2021-03-04 16:53:05 +01:00
Kamil Śliwak	2784135c37	Use read with the -r option	2021-03-04 16:53:05 +01:00
Kamil Śliwak	d14c4288ec	Make scripts fail on non-zero return codes and undefined variables where possible	2021-03-04 16:53:05 +01:00
Kamil Śliwak	75b87d159d	Declare variables separately when assigning the result of $()	2021-03-04 16:53:05 +01:00
Kamil Śliwak	1c7cc376d1	Use "$@" instead of $*	2021-03-04 16:53:05 +01:00
Kamil Śliwak	4c186321c8	Replace some older shell syntax with newer and/or more reliable equivalents	2021-03-04 16:53:05 +01:00
Kamil Śliwak	8c57c7cb35	Explicitly use Bash in scripts that actually use non-POSIX features or do not have a shebang at all	2021-03-04 16:53:05 +01:00
Leonardo	d42d0faf41	Merge pull request #11052 from blishko/issue-10986 ... [SMTChecker] Correct handling of FixedBytes constants initialized with string literal	2021-03-04 16:51:22 +01:00
chriseth	4ac0bbc220	Merge pull request #10867 from ethereum/isoltest-builtins ... [isoltest] Add support for builtin functions.	2021-03-04 15:42:08 +01:00
Martin Blicha	0340510c53	[SMTChecker] correct handling of FixedBytes constants initialized with string literal	2021-03-04 15:14:47 +01:00
Alexander Arlt	94895822d2	[isoltest] Add support for builtin functions.	2021-03-04 08:49:59 -05:00
Leonardo	be5647735e	Merge pull request #11032 from blishko/smt_string_to_bytes ... [SMTChecker] Fix analysis of push to a string casted to bytes	2021-03-03 20:29:51 +01:00
Martin Blicha	c5a4581fa0	changelog entry	2021-03-03 17:11:42 +01:00
Martin Blicha	9e81c81560	[SMTChecker] updated tests	2021-03-03 17:11:42 +01:00
Martin Blicha	41fc59f00f	[SMTChecker] Ensure that push to a string casted to bytes is registered in the original string	2021-03-03 17:11:42 +01:00
Martin Blicha	41a01de664	[SMTChecker] fix crash on push to string casted to bytes	2021-03-03 15:25:32 +01:00
chriseth	ad2ecf1625	Merge pull request #11031 from ethereum/new083 ... Set version to 0.8.3.	2021-03-03 14:14:20 +01:00
chriseth	ed95becb29	Set version to 0.8.3.	2021-03-02 17:55:38 +01:00
chriseth	661d11035b	Merge pull request #11029 from ethereum/setreleasedatefor082 ... Set release date and sort changelog.	2021-03-02 16:54:34 +01:00
chriseth	26d8ee2f86	Set release date and sort changelog.	2021-03-02 16:54:01 +01:00
chriseth	cc88fd25e9	Merge pull request #11016 from ethereum/customNatspec ... Allow custom natspec tags.	2021-03-02 16:53:44 +01:00
chriseth	ecdeb417c5	Documentation.	2021-03-02 16:53:31 +01:00
chriseth	d2023f5f95	Check for invalid tags.	2021-03-02 16:53:31 +01:00
chriseth	5690020d88	Allow custom natspec tags.	2021-03-02 16:13:28 +01:00
chriseth	2a25d04896	Merge pull request #11023 from ethereum/natspecparsinglocations ... Provide locations for docstring parsing errors.	2021-03-02 14:03:42 +01:00
chriseth	ce5c5970d6	Merge pull request #11015 from ethereum/fixSelectorForInternal ... [Sol->Yul] Provide selector for some internal functions.	2021-03-02 12:24:53 +01:00
Bhargava Shastry	ad48b71318	Merge pull request #10899 from ethereum/evmhost_storage_trace ... EVMHost: Add function to print storage at all addresses in the host.	2021-03-01 22:06:16 +01:00
Bhargava Shastry	e96a3e01f8	EVMHost: Add function to print storage at all addresses in the host.	2021-03-01 20:00:55 +01:00
Bhargava Shastry	069ac9c9a9	Merge pull request #10878 from ethereum/refactor-solProtoFuzzer ... Fuzzer: Refactor utility methods shared by proto fuzzers.	2021-03-01 19:56:10 +01:00
chriseth	f4050e81c6	Provide locations for docstring parsing errors.	2021-03-01 17:34:25 +01:00
chriseth	5e94fce7df	Provide selector for some internal functions.	2021-03-01 16:19:59 +01:00
chriseth	44493ad428	Merge pull request #11014 from ethereum/fixConstantsCallGraph ... Fix call graph with respect to constants.	2021-02-25 17:05:22 +01:00
Kamil Śliwak	186d14d97f	FunctionCallGraph: Tests for constants, immutables and accessing function selectors	2021-02-25 16:00:53 +01:00
chriseth	16db3a84f1	Fix call graph with respect to constants.	2021-02-25 16:00:53 +01:00
chriseth	eacf7c1cf9	Merge pull request #11009 from ethereum/properlyParseAddressMember ... Properly parse address member.	2021-02-24 17:12:00 +01:00
chriseth	3d97e9a77b	Properly parse address member.	2021-02-24 16:44:16 +01:00
chriseth	b0cc181c34	Merge pull request #11004 from ethereum/mappingAccessMultiSlot ... [Sol->Yul] Mapping access with multi-slot keys.	2021-02-24 16:32:08 +01:00
chriseth	5e9637bc39	Mapping access with multi-slot keys.	2021-02-24 13:44:23 +01:00
chriseth	2d48052ae5	Merge pull request #11003 from ethereum/ir-bug-incorrect-return-variable-count ... Fix IR bug on deleting storage variables of function type.	2021-02-24 13:24:31 +01:00
chriseth	6bc9056ced	Merge pull request #11000 from ethereum/fix-isdynamicallyencoded-for-structs-containing-internal-types ... Fix isDynamicallyEncoded() for structs containing internal types	2021-02-24 13:20:51 +01:00
hrkrshnn	2c2c7a4473	Fix IR bug on deleting storage variables of function type. ... Calling the zeroing function assumed that the stack slots needed for the type was always 1. This is false for function types.	2021-02-24 12:43:33 +01:00
Kamil Śliwak	e87cd0afdf	Check that there is an interface type before querying validity of location.	2021-02-24 11:22:40 +01:00
Harikrishnan Mulackal	58e0977647	Merge pull request #10994 from ethereum/remove-remains-of-ast-json-option ... Remove the last remains of --ast-json option	2021-02-24 10:21:30 +01:00
chriseth	1220d8df7b	Merge pull request #10998 from ethereum/clean-up-function-external-type-tests ... Minor cleanup in syntax tests for function types	2021-02-23 17:59:26 +01:00
chriseth	e33c058a60	Merge pull request #10896 from ethereum/issue-10870 ... Fix issue with pop on storage array.	2021-02-23 17:49:17 +01:00
chriseth	92b52cbf84	Merge pull request #10999 from ethereum/hash-collision-throw ... Converted hash collision error into a fatal type error.	2021-02-23 17:33:41 +01:00
hrkrshnn	66d6d20f65	Converted hash collision error into a fatal type error. ... The check is performed during ContractLevelChecker. However, the TypeChecker throws in certain cases when it encounters functions, whose hashes collide.	2021-02-23 17:09:40 +01:00
Kamil Śliwak	cf2847afc4	Remove duplicate syntax tests for functions taking internal struct types	2021-02-23 16:46:49 +01:00