10838 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Daniel Kirchner	55386ba130	Extract AST JSON tests.	2018-08-03 20:35:50 +02:00
Daniel Kirchner	d923926ff7	Infrastructure for extracting JSON AST tests.	2018-08-03 20:35:50 +02:00
Alex Beregszaszi	0b20e4fd22	Merge pull request #4526 from ethereum/docs-address-truncation ... Clarify truncation with addresses	2018-08-03 14:11:07 +01:00
Chris Ward	22a2f5dd1d	Clarify truncation with addresses	2018-08-03 14:09:42 +01:00
chriseth	da6cefd475	Merge pull request #4664 from ethereum/uninitializedStorageReturn ... Turn warning about uninitialized storage returns into an error.	2018-08-03 10:45:50 +02:00
chriseth	04efbc9e46	Merge pull request #4657 from ethereum/fix-beyond-STL-end-undefined-behavior ... evmasm/Instruction: fixes undefined behavior of advancing iterator beyond the end of a container.	2018-08-03 10:18:04 +02:00
Christian Parpart	fb4857abed	evmasm/Instruction: fixes undefined behavior of advancing iterator beyond the end of a container. ... Usually the STL doesn't check whether or not the developer advances beyond its container's end, but MSVC does (found out by running soltest in debug mode on Win32 / VS2017).	2018-08-02 19:53:46 +02:00
Daniel Kirchner	35c5b7de25	Turn warning about uninitialized storage returns into an error.	2018-08-02 19:34:38 +02:00
chriseth	009a55c82d	Merge pull request #4327 from ethereum/document-internals ... Properly explain all the analsys steps in CompilerStack	2018-08-02 15:07:35 +02:00
chriseth	90a5928b88	Merge pull request #4522 from ethereum/fullEncodingType ... Isolate determining the encoding type into its own function.	2018-08-02 15:01:38 +02:00
Alex Beregszaszi	f7c96c8dee	Merge pull request #4560 from ethereum/cmake-policy ... CMake policies	2018-08-02 13:32:32 +01:00
chriseth	68f9128475	Merge pull request #4584 from dylanjw/update-abi-event-doc ... Update doc referencing packed mode encoding for dynamic typed topic args	2018-08-02 14:27:38 +02:00
chriseth	6f3f673eff	Merge pull request #4600 from sifmelcara/tab-size ... Set tab size specified in .editorconfig to 4	2018-08-02 14:24:52 +02:00
chriseth	2c61bad3d8	Merge pull request #4654 from ethereum/license ... Include license header from code derived from V8 (scanner/token)	2018-08-02 13:54:00 +02:00
chriseth	7eb4762eee	Merge pull request #4656 from ethereum/chriseth-patch-1 ... Add "Changelog entry" to pull request template	2018-08-02 13:37:15 +02:00
chriseth	cf0ed572f8	Add "Changelog entry" to pull requset template	2018-08-02 13:29:57 +02:00
Alex Beregszaszi	6003ed2abd	Merge pull request #4603 from ethereum/smtlib2 ... [SMTLib2] Fix repeated declarations	2018-08-02 12:04:58 +01:00
Alex Beregszaszi	4e14ccb7df	Include license header from code derived from V8 (scanner/token)	2018-08-02 11:29:11 +01:00
Alex Beregszaszi	9ec3fd1632	Merge pull request #4646 from ethereum/smt_model_secondary_location ... SMT model is sorted and printed as secondary location	2018-08-01 23:20:28 +01:00
Alex Beregszaszi	0f39ed6a0d	Merge pull request #4650 from ethereum/conduct ... Point the documentation to the new Code of Conduct URL	2018-08-01 22:43:39 +01:00
Alex Beregszaszi	cbcdc9dc42	Point the documentation to the new Code of Conduct URL	2018-08-01 22:42:16 +01:00
Alex Beregszaszi	7fe95dfb7b	Merge pull request #4649 from ethereum/conduct ... Rename CONDUCT.md to CODE_OF_CONDUCT.md so that Github picks it up	2018-08-01 22:40:58 +01:00
Alex Beregszaszi	3d210ab54b	Rename CONDUCT.md to CODE_OF_CONDUCT.md so that Github picks it up	2018-08-01 22:38:58 +01:00
Leonardo Alt	90f319615f	SMT model variables are sorted and printed as secondary source location	2018-08-01 23:27:46 +02:00
Leonardo Alt	b6a2655513	Replace "value" by "<result>" in the SMT model	2018-08-01 23:27:11 +02:00
Alex Beregszaszi	e1b695f199	Merge pull request #4399 from ethereum/contractWhitespace ... Remove trailing whitespace in all contract files.	2018-08-01 21:59:19 +01:00
Daniel Kirchner	8781990ff3	Remove trailing whitespace in all contract files.	2018-08-01 21:57:12 +02:00
Alex Beregszaszi	a78565e44f	Merge pull request #4508 from ethereum/nameCollisionCrash ... [BREAKING] Don't exclude public state variables when looking for conflicting declarations.	2018-08-01 20:53:56 +01:00
Alex Beregszaszi	1f832e068b	Merge pull request #4639 from ethereum/docs-fix-specify-limit ... Small clarifications around the 2300 gas stipend from transfer and send	2018-08-01 16:23:06 +01:00
Chris Ward	0ad646635f	Small clarifications around the 2300 gas stipend from transfer and send	2018-08-01 16:21:29 +01:00
Daniel Kirchner	ce7c7aca79	Extend code comment about signatures.	2018-08-01 17:18:17 +02:00
Daniel Kirchner	4bcc4d2fcf	Add additional test cases.	2018-08-01 17:18:17 +02:00
Daniel Kirchner	cea46acef7	Update documentation.	2018-08-01 17:18:17 +02:00
Daniel Kirchner	30d9961efb	Do not exclude public state variables when looking for conflicting declarations.	2018-08-01 14:31:04 +02:00
Alex Beregszaszi	ce99a5ce7f	Merge pull request #4378 from ethereum/noBaseWithoutArguments ... [BREAKING] Disallow calling base constructors without arguments.	2018-08-01 13:18:37 +01:00
Alex Beregszaszi	8d05770e59	Merge pull request #4631 from ethereum/cp-cycle-detection-recursion-guard ... Guard CycleDetector against recursion exhaustion.	2018-08-01 12:48:46 +01:00
chriseth	061ea0cfc6	Correctly determine whether base constructor is called without parentheses.	2018-08-01 12:28:27 +01:00
chriseth	7e5406dd89	Disallow calling base constructors without arguments.	2018-08-01 12:28:27 +01:00
Christian Parpart	cb200cf7e1	Adds positive/negative tests for checking error on cyclic dependency checker exhaustion	2018-08-01 12:04:08 +01:00
Christian Parpart	38f9667e09	Guard CycleDetector against recursion exhaustion. ... fixes #3935.	2018-08-01 12:02:59 +01:00
chriseth	7a8a243eef	Isolate determining the encoding type into its own function.	2018-08-01 11:55:57 +01:00
Alex Beregszaszi	ef269bf40d	Merge pull request #4321 from ethereum/contractConversion ... [BREAKING] Disallow conversion between unrelated contract types.	2018-08-01 11:52:57 +01:00
chriseth	b800bfb021	Fix tests regarding contract type conversion.	2018-08-01 11:04:35 +01:00
chriseth	c8232d9759	Disallow conversion between unrelated contract types.	2018-08-01 11:04:35 +01:00
Alex Beregszaszi	21888e246b	Merge pull request #4507 from ethereum/v050-var-keyword-trace-removals ... Ensures an empty use of var keyword is caught with the proper non-fatal error message	2018-08-01 10:59:26 +01:00
Leonardo Alt	41ac3d6cfb	Remove repeated declarations in Z3 and CVC4 as well	2018-08-01 11:12:56 +02:00
Christian Parpart	a7150f85a6	Ensures an empty use of var keyword is caught with the proper error message.	2018-08-01 09:59:06 +02:00
Alex Beregszaszi	9d0e927f85	Merge pull request #4626 from ethereum/grammar-cleanup ... grammar: remove stray IdentifierList rule	2018-07-31 11:45:14 +01:00
Alex Beregszaszi	fe28814d83	Merge pull request #4625 from ethereum/pragma-cleanup ... Remove unnecessary or stray version pragmas	2018-07-31 11:15:45 +01:00
Alex Beregszaszi	75c1a9bd10	Merge pull request #4621 from ethereum/nested_types ... Fix crash when FunctionType has undeclared type as parameter	2018-07-31 11:09:07 +01:00