1787 Commits

Author	SHA1	Message	Date
Mathias Baumann	093b9ced97	Make sure "value" error hint is only displayed in the right context ... Before, the hint would be shown for any "value" member, even a user-specified one.	2019-02-18 16:29:57 +01:00
chriseth	cb0ad2266c	Merge pull request #6008 from ethereum/smt_fix_abstract_assignment ... [SMTChecker] Assert type is not function when assigning	2019-02-18 14:54:20 +01:00
chriseth	db7b38e3c4	Merge pull request #5978 from ethereum/fix-broken-hint ... Fix error msg hint for non-payable contracts	2019-02-18 11:49:07 +01:00
Mathias Baumann	419a12db03	TypeChecker: Add test to increase coverage	2019-02-14 13:41:33 +01:00
Leonardo Alt	22cdfb18d4	[SMTChecker] Assert type is not function when assigning	2019-02-14 13:32:56 +01:00
Mathias Baumann	10a9960eb3	Fix error msg hint for non-payable contracts	2019-02-14 11:39:19 +01:00
chriseth	c5879589af	Merge pull request #5998 from ethereum/codingStyleCheck ... More coding style checks	2019-02-13 17:36:34 +01:00
chriseth	17ea467e5b	Fix style of "const".	2019-02-13 16:34:53 +01:00
Mathias Baumann	1e603c27ea	Add tests to increase TypeChecker.cpp coverage	2019-02-13 16:31:26 +01:00
Mathias Baumann	6a6cc27b71	Rename & move tests of group typeChecking to subfolder	2019-02-13 15:52:31 +01:00
chriseth	0bd049c849	Adapet uses of AssemblyStack.	2019-02-13 12:23:07 +01:00
chriseth	9ab72f0188	Merge pull request #5971 from ethereum/overloadedEvents ... More tests for overloaded events.	2019-02-12 12:00:02 +01:00
chriseth	091bbdb459	More tests for overloaded events.	2019-02-12 10:54:58 +01:00
chriseth	0b392fff7e	Merge pull request #5968 from ethereum/calldataArrays ... Disallow calldata arrays with dynamically encoded base types in TypeChecker.	2019-02-11 18:08:10 +01:00
Daniel Kirchner	9e32aa7510	Disallow calldata arrays with dynamically encoded base types in TypeChecker.	2019-02-11 17:13:12 +01:00
chriseth	91d224dfb6	Merge pull request #5966 from ethereum/AnsiColorized ... Adapts tests/ to use AnsiColorized (the generalized/moved version of FormattedScope, which in turn is removed in this PR)	2019-02-11 16:41:14 +01:00
chriseth	92cb6cb793	Merge pull request #5936 from ethereum/calldataStructsV2 ... ABIEncoderV2: Implement calldata structs without dynamically encoded members.	2019-02-11 16:18:27 +01:00
Christian Parpart	53f9be8a23	Adapts tests/ to use AnsiColorized (the generalized/moved version of FormattedScope, which in turn is removed in this PR)	2019-02-11 16:00:24 +01:00
Mathias Baumann	259d803387	Conditional Expression: Delay invalid type fatal error ... Check the whole conditional first and then output errors for both, the true and false expressions.	2019-02-11 15:47:19 +01:00
Mathias Baumann	08977af843	Rename & move test to move away from number prefix	2019-02-11 15:47:19 +01:00
Daniel Kirchner	0e4912a203	ABIEncoderV2: Implement calldata structs without dynamically encoded members.	2019-02-11 15:46:58 +01:00
chriseth	b5a2c66771	Merge pull request #5957 from ethereum/function-param-fix ... Ensure function parameter names always matches parameter types length	2019-02-11 15:45:28 +01:00
Mathias Baumann	66b24225fb	Remove duplicate if-check	2019-02-11 14:56:57 +01:00
chriseth	49cd55d3a0	Merge pull request #5839 from ethereum/inplaceEncoding ... Inplace and non-padded encoding for ABIEncoderV2.	2019-02-11 12:01:28 +01:00
Mathias Baumann	fe2429de9f	Packed Encoding: Disallow types in v2 that aren't allowed in v1	2019-02-11 11:37:48 +01:00
chriseth	227addfcef	Syntax tests.	2019-02-11 11:37:48 +01:00
chriseth	7684d886ae	Semantic tests.	2019-02-11 11:37:47 +01:00
Mathias Baumann	feae01f042	Add tests to increase coverage of TypeChecker	2019-02-11 11:23:56 +01:00
Mathias Baumann	d41ffd1dcf	Rename & move tests to get rid of old number prefix in name	2019-02-11 11:23:20 +01:00
Daniel Kirchner	9203363fe9	Merge pull request #5860 from ethereum/test-file-parser ... Test file parser.	2019-02-07 19:02:13 +01:00
Mathias Baumann	ee28cb65a6	Add tests to increase coverage of TypeChecker	2019-02-06 20:45:30 +01:00
Erik Kundt	c9c4578023	Adds support for tuples in test file parser.	2019-02-06 17:25:40 +01:00
Erik Kundt	161b22bd13	Cleans up test file parser and its tests.	2019-02-06 17:22:40 +01:00
Erik Kundt	7fa167977b	Adds multi-line support for test file parser.	2019-02-06 17:22:40 +01:00
Erik Kundt	f90c6f57bb	Implements a test file parser.	2019-02-06 17:22:40 +01:00
chriseth	231cec56c6	Merge pull request #5926 from ethereum/inv-num-crash ... Fix crash for too large struct array indicies	2019-02-06 14:11:25 +01:00
Mathias Baumann	9f431339ef	Fix crash for too large struct array indicies	2019-02-06 11:50:25 +01:00
Alex Beregszaszi	26de5684a2	Move bytecodeSansMetadata(bytes) helper to test/Metadata	2019-02-05 23:13:01 +00:00
Alex Beregszaszi	be22032141	Clean up some includes in tests	2019-02-05 22:58:43 +00:00
Alex Beregszaszi	3cdcd06b66	Add last test case for callbacks in libsolc	2019-02-05 20:26:47 +00:00
chriseth	263eaaa516	Merge pull request #5937 from ethereum/libsolc-callback-test ... Add test cases for libsolc with callbacks	2019-02-05 21:11:44 +01:00
chriseth	438e19aa0f	Merge pull request #5931 from ethereum/fix-mapping-storage-check ... Fix check that mappings can only have storage location	2019-02-05 21:03:20 +01:00
Alex Beregszaszi	257dbf1f6a	Add test cases for libsolc with callbacks	2019-02-05 19:34:56 +00:00
Alex Beregszaszi	e9a0d99218	Add optimiser test for triggering CopyMethod in ConstantOpimiser	2019-02-05 18:44:53 +00:00
Mathias Baumann	77f407d450	Fix check that mappings can only have storage location	2019-02-05 18:06:42 +01:00
Alex Beregszaszi	554511b68e	Introduce solidity_free in libsolc	2019-01-31 15:53:55 +00:00
chriseth	35483422f3	Pad code to multiple of 32 bytes.	2019-01-30 11:31:28 +01:00
Alex Beregszaszi	9aafa32825	Disallow empty import statements	2019-01-28 13:52:15 +00:00
chriseth	14b553897e	Tests.	2019-01-23 11:13:24 +01:00
Leonardo Alt	7f8ceaadab	[SMTChecker] Clear state knowledge after external function calls	2019-01-21 12:58:40 +01:00