cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
10,865 Commits 348 Branches 121 Tags
423cd52844c227953c037a68475fe9954cdaa3f2
Commit Graph
10865 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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
mingchuan b8b10a5299 Set tab size specified in .editorconfig to 4 
This make tabs appear as 4 spaces on GitHub
 2018-07-27 21:22:28 +08:00
Alex Beregszaszi c633ebe2e6 Merge pull request #4599 from ethereum/smt_sat_model 
SMTChecker: Only ask for a model if it's SAT
 2018-07-27 13:56:30 +01:00