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
Chris Ward
3c919766e8
Changes after rebasing
2018-08-01 14:22:09 +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
Chris Ward
a6cb6777c9
Add contract type to types doc
2018-08-01 12:21:47 +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
Alex Beregszaszi
705cbbc19a
Merge pull request #4606 from ethereum/smtportfolio
...
Import dev::solidity namespace in SMTPortfolio
2018-07-28 00:50:44 +01:00
Alex Beregszaszi
179427fd65
Import dev::solidity namespace in SMTPortfolio
2018-07-27 23:17:17 +01:00
Leonardo Alt
f249f9c86f
[SMTLib2] Fix repeated declarations
2018-07-27 17:34:44 +01:00
Alex Beregszaszi
e56a88be37
Merge pull request #4604 from ethereum/smtlib-typo
...
Fix unterminated parentheses typo in SMTLib2
2018-07-27 17:34:13 +01:00
Alex Beregszaszi
dea0567e06
Fix unterminated parentheses typo in SMTLib2
...
Found by @leonardoalt
2018-07-27 17:33:53 +01:00
Alex Beregszaszi
2794a22d84
Merge pull request #4351 from ethereum/smt_portfolio
...
[SMTChecker] SMTPortfolio: use all SMT solvers available
2018-07-27 17:07:56 +01:00
Leonardo Alt
55c1fb60b4
[SMTChecker] Add CheckResult::CONFLICTING
2018-07-27 16:16:26 +01:00
Leonardo Alt
87a38e1abe
[SMTChecker] SMTPortfolio: use all SMT solvers available
2018-07-27 16:15:34 +01:00
Alex Beregszaszi
5faa60e883
Merge pull request #4593 from ethereum/smt_timeout
...
Set query timeout in SMT
2018-07-27 15:42:55 +01:00
Leonardo Alt
b356f6a7f9
Setting timeout to Z3 and CVC4
2018-07-27 16:01:48 +02:00