10877 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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	594102de6b	fixes tests.sh to not use hard-coded working dir and adds proper cleanup ... * Implicitely also allows concurrent runs. * Properly cleanup of any working files created during runtime. * Properly cleanup upon singals. * Allow early-abort during cmdline tests without leaking processes.	2018-08-01 10:25:24 +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
Leonardo Alt	210fee571f	Fix crash when FunctionType has undeclared type as parameter	2018-07-31 11:17:51 +02:00
Alex Beregszaszi	f74cff622d	Properly explain all the analsys steps in CompilerStack	2018-07-31 00:39:18 +01:00
Alex Beregszaszi	9436fd9363	grammar: remove stray IdentifierList rule ... This was left in #4274 (dbd0723)	2018-07-31 00:28:01 +01:00
Alex Beregszaszi	7fa2d0c84e	Replace stray solidity pragma with progamatically inserting it in SolidityOptimizer test	2018-07-31 00:12:46 +01:00
Alex Beregszaszi	db6c1c8ddd	Remove unnecesary version pragma from some syntax tests	2018-07-31 00:12:42 +01:00
chriseth	bc13365a7b	Merge pull request #4569 from ethereum/grammar-assembly ... Update grammar.txt for inline assembly	2018-07-30 16:54:59 +02:00
chriseth	7cf5cd6050	Merge pull request #4608 from ethereum/lll-namespace ... Replace dev::eth namespace with dev::lll in LLL	2018-07-30 16:47:55 +02:00
Alex Beregszaszi	9d09e21b6c	Merge pull request #4619 from ethereum/2167-docs-memory-type ... Clarify what ‘memory type’ is	2018-07-30 15:02:28 +01:00
Chris Ward	6c3a2f8e9b	Clarify what ‘memory type’ is ... Use RST links	2018-07-30 15:48:06 +02:00
Chris Ward	f4ae002dab	Add interface generator to tools section	2018-07-30 10:08:51 +02:00
Alex Beregszaszi	c2faed7705	Add --disassemble to lllc help output	2018-07-28 12:00:36 +01:00
Alex Beregszaszi	7c509137cf	Replace dev::eth namespace with dev::lll in LLL	2018-07-28 12:00:36 +01:00