cerc-io/solidity
16
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,897 Commits 348 Branches 121 Tags 100 MiB
9d3827266c
Commit Graph

10897 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Leonardo Alt
06dbcb3afe Only ask for a model if it's SAT 2018-07-27 14:13:22 +02:00
Alex Beregszaszi
bc51b0f6c2
Merge pull request #4594 from ethereum/fix-build-for-paths-with-spaces 
Fixes building Solidity when base directory contains spaces.
 2018-07-27 13:00:58 +01:00
Christian Parpart
4c5ea49881 Fixes building Solidity when base directory contains spaces. 
closes #4521
 2018-07-27 09:41:05 +02:00
Dylan Wilson
d6d1a41286
Update doc referencing packed mode encoding for dynamic typed topic args 2018-07-25 15:28:53 -07:00
Alex Beregszaszi
61b94b7ea4
Merge pull request #4556 from ethereum/library-data-locations 
Add tests for data locations within libraries
 2018-07-25 18:03:30 +01:00
Alex Beregszaszi
5a1b6856b4
Merge pull request #4561 from ethereum/scanner-tests 
Add comprehensive tests for the scanner
 2018-07-25 17:02:40 +01:00
Alex Beregszaszi
05e608d778
Merge pull request #4562 from ethereum/parser-tests 
Add comprehensive tests for the parser
 2018-07-25 16:38:54 +01:00
Alex Beregszaszi
d04c2e069d
Merge pull request #4545 from ethereum/stringutils 
Update stringutils to upstream
 2018-07-25 16:35:12 +01:00
Alex Beregszaszi
84e0676db8 Fix upstream issues in stringutils 2018-07-25 13:56:14 +01:00
Alex Beregszaszi
2ecb7a2f72 Update stringutils to upstream 3c63f18 2018-07-25 13:55:47 +01:00
Alex Beregszaszi
afccf15f03
Merge pull request #4555 from ethereum/asm-syntax-tests 
Add more comprehensive tests for embedded inline assembly LValue/RValue access
 2018-07-25 13:50:49 +01:00
Alex Beregszaszi
b079f34c65 Scanner tests for all shifts 2018-07-25 12:59:28 +01:00
Alex Beregszaszi
aee13d709c Scanner tests for all escapes 2018-07-25 12:59:24 +01:00
Alex Beregszaszi
e94eb1ed6e
Merge pull request #4549 from ethereum/deprecate-abi 
Mention that constant and payable are deprecated in the ABI spec
 2018-07-25 12:38:17 +01:00
Alex Beregszaszi
61a8b098e6 Mention that constant and payable are deprecated in the ABI spec 2018-07-25 11:23:44 +01:00
Alex Beregszaszi
76bc04244a Clarify relation between stateMutability and payable/constant 2018-07-25 11:23:41 +01:00
Alex Beregszaszi
ae15b52d93
Merge pull request #4565 from ethereum/smt-stringutils-crash 
Add assert for both branches in mergeVariables in SMTChecker
 2018-07-25 11:08:47 +01:00
Alex Beregszaszi
7b5e912874 Add syntax tests for import statements 2018-07-25 11:01:41 +01:00