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
9,022 Commits 348 Branches 121 Tags 100 MiB
f77480cd88
Commit Graph

9022 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Alex Beregszaszi
f47604c14b
Merge pull request #2993 from ethereum/trackVariables 
SMT checker for various things
 2017-11-22 03:20:09 +00:00
Alex Beregszaszi
0e4d236558 Include implicit type conversions 2017-11-22 03:07:54 +00:00
Alex Beregszaszi
183f70262a Document backends 2017-11-22 03:07:54 +00:00
Alex Beregszaszi
0339cc1bb1 Case is missing from switch statements 2017-11-22 03:07:54 +00:00
Alex Beregszaszi
3d99e82795 Add types to the examples 2017-11-22 03:07:54 +00:00
Alex Beregszaszi
173bdb0df6 Define types in Julia 2017-11-22 03:07:54 +00:00
Alex Beregszaszi
c3a6db7256 Describe built-in Julia functions 2017-11-22 03:07:54 +00:00
Alex Beregszaszi
2a91eb9538 Move Julia documentation to its own file 2017-11-22 03:07:49 +00:00
chriseth
f73660423a First take in formal specification. 2017-11-22 02:45:07 +00:00
chriseth
243002e5f3 Describe Julia. 2017-11-22 02:45:07 +00:00
chriseth
8538a25f8d Fix problem with non-value-typed variables. 2017-11-22 02:35:34 +00:00
chriseth
19d5c42429 For loop. 2017-11-22 02:35:34 +00:00
chriseth
5e2c066778 Test for multi-branches. 2017-11-22 02:35:34 +00:00
chriseth
95a65dc04c Fix boolean constants. 2017-11-22 02:35:34 +00:00
chriseth
90fb14f525 Tests. 2017-11-22 02:35:34 +00:00
chriseth
22c689d516 Check for conditions being constant. 2017-11-22 02:35:34 +00:00
chriseth
e5de4a66ed Tests. 2017-11-22 02:35:34 +00:00
chriseth
b37377641d Track usage of variables. 2017-11-22 02:35:34 +00:00
chriseth
f62caf587e Handle branches. 2017-11-22 02:35:34 +00:00
Alex Beregszaszi
4e0723ce27
Merge pull request #3142 from Balajiganapathi/allow_constant_array_length 
Allow constant integer variables as array lengths.
 2017-11-22 02:34:17 +00:00
Alex Beregszaszi
f22ac8fc96
Merge pull request #3204 from frangio/grammar-incomplete-tuples 
Make tuple components optional in documented grammar
 2017-11-22 02:22:38 +00:00
Alex Beregszaszi
455e51a608 Improve cyclic constant error message 2017-11-22 02:11:22 +00:00
Balajiganapathi S
d102deaec9 Detect cyclic constant definitions 2017-11-22 02:07:56 +00:00
Balajiganapathi S
c0b4969451 Add more tests for constant var as array lengths 2017-11-22 01:41:50 +00:00
Balajiganapathi S
165857b1d4 Allow constant integer variables as array lengths. 2017-11-22 01:41:46 +00:00
chriseth
5c9e273d02 Link to translations. (#3212) 2017-11-21 12:03:47 +00:00
Alex Beregszaszi
2b5ef80634
Merge pull request #3031 from wadeAlexC/develop 
Improves checksum error message
 2017-11-17 01:43:08 +00:00
Alex Beregszaszi
53796c0fe8 Add tests for getChecksummedAddress 2017-11-17 00:46:45 +00:00
Alex Beregszaszi
f7249abe28 Extend address checksum tests 2017-11-17 00:46:45 +00:00
Alex Beregszaszi
8d26894841 Show checksummed address always (prepend with 0) 2017-11-17 00:46:45 +00:00
Alex Beregszaszi
1d5dd909b4 Do not try to display checksummed address for too-short/long address literals 2017-11-17 00:46:45 +00:00
Alex Beregszaszi
6ebc094474 Ensure that non-hex characters are caught in address checksumming 2017-11-17 00:46:45 +00:00
wadeAlexC
8a6692b2cf Improves address literal checksum error message 2017-11-17 00:46:44 +00:00
Alex Beregszaszi
2927ce0bd4
Merge pull request #3213 from chuacw/patch-1 
Change phrase in type deduction
 2017-11-16 16:44:23 +00:00
Chua Chee Wee
15427dc8d3
Change phrase in type deduction 
updated phrase in type deduction from "any value of this type" to "the highest value of this type"
 2017-11-16 23:18:06 +08:00
chriseth
03b3faa8ef Tone down similarity to JavaScript. 2017-11-16 13:18:43 +01:00
Alex Beregszaszi
58e452d14d
Merge pull request #3173 from federicobond/improve-number-grammar 
Improve rule for decimal numbers in grammar.txt
 2017-11-16 09:43:47 +00:00
chriseth
0c1fc594ef
Merge pull request #3209 from ethereum/unimplemented-msgs 
Add explanation to unimplemented assertions
 2017-11-16 04:32:51 -05:00
Federico Bond
58a0f09f8e Improve rule for decimal numbers in grammar.txt 2017-11-15 17:11:45 -03:00
Alex Beregszaszi
f2e9dea5e7
Merge pull request #3194 from kseo/print-using-for 
Print using for directive in ASTPrinter
 2017-11-15 17:20:49 +00:00
Alex Beregszaszi
c1e202618c Add explanation to unimplemented assertions 2017-11-15 17:19:29 +00:00
Kwang Yul Seo
02db1ad584 Print using for directive in ASTPrinter 2017-11-16 01:36:57 +09:00
Alex Beregszaszi
5e55b27e28
Merge pull request #3207 from ethereum/chriseth-patch-2 
Remove obsolote statement about msg.sender and library calls.
 2017-11-15 16:36:14 +00:00
Alex Beregszaszi
08fec146ba
Merge pull request #3206 from kseo/outdated-comment 
Update outdated comments
 2017-11-15 16:35:53 +00:00
Alex Beregszaszi
ed3ce43d6d
Merge pull request #3189 from kseo/unused 
Remove unused method
 2017-11-15 16:31:22 +00:00
chriseth
3121608d7c
Remove obsolote statement about msg.sender and library calls. 2017-11-15 17:08:42 +01:00
Kwang Yul Seo
33664c04a8 Update outdated comments 
_errors -> _errorReporter.
 2017-11-16 00:28:41 +09:00
chriseth
e3206d8e6c
Merge pull request #3205 from ethereum/LianaHus-patch-1-docs 
Update index.rst
 2017-11-15 08:18:11 -05:00
Liana Husikyan
9d328d308d
Update index.rst 
Some minor text editing.
 2017-11-15 03:18:30 +01:00
chriseth
bc39e730b6
Merge pull request #3201 from kseo/typo 
Fix a typo
 2017-11-14 18:53:47 -05:00