chriseth
|
f5ffb56f2d
|
Merge pull request #734 from ZhuWeiyang/patch-1
Missing '_' in modifier 'timedTransitions'
|
2016-07-21 14:33:20 +02:00 |
|
Weiyang Zhu
|
b8d75340af
|
Missing '_' in modifier 'timedTransitions'
|
2016-07-21 14:10:53 +08:00 |
|
Denton Liu
|
8fbe994075
|
Fix isCompareOp()
|
2016-07-20 17:05:24 -04:00 |
|
Denton Liu
|
5d09211d50
|
Add link to operator table
|
2016-07-20 15:48:55 -04:00 |
|
Denton Liu
|
dfe55a929d
|
Create order of precedence table
|
2016-07-20 15:48:54 -04:00 |
|
Denton Liu
|
827208d1d6
|
Move in as a keyword to reserved word section
|
2016-07-20 15:42:18 -04:00 |
|
chriseth
|
077c8ad83d
|
Merge pull request #699 from chriseth/sourceLocation
WIP: Source location as part of AST.
|
2016-07-20 19:46:31 +02:00 |
|
chriseth
|
9f7a55d2b2
|
Source mapping documentation.
|
2016-07-20 19:45:45 +02:00 |
|
chriseth
|
c55584d3e2
|
Source location as part of AST.
|
2016-07-20 19:45:43 +02:00 |
|
chriseth
|
980abfe52a
|
Merge pull request #720 from chriseth/formalState
Formal Verification: Handle external effects.
|
2016-07-20 19:37:57 +02:00 |
|
Nicolai
|
1c341add59
|
Added UsingDeclaration
|
2016-07-20 19:31:05 +02:00 |
|
Nicolai
|
ad2784b333
|
Extend EventDefinition
|
2016-07-20 19:17:03 +02:00 |
|
Nicolai
|
e1c69b11f4
|
Fix missing 'ether' from NumberUnit. Extend StringLiteral syntax
|
2016-07-20 17:07:26 +02:00 |
|
Nicolai
|
9324393975
|
Added missing (u)fixed types
|
2016-07-20 16:49:14 +02:00 |
|
Nicolai
|
da8b768713
|
Extend NumberLiteral with units
|
2016-07-20 16:23:30 +02:00 |
|
Nicolai
|
5abb9b6e41
|
Added imports
|
2016-07-20 16:14:23 +02:00 |
|
Nicolai
|
f76616889a
|
Add EventDefinition
|
2016-07-20 15:59:00 +02:00 |
|
Nicolai
|
68b72d8667
|
NumberLiteral: Allow 0x prefix
|
2016-07-20 02:42:02 +02:00 |
|
Nicolai
|
6f7d8fb65b
|
Allow function returns to be unnamed
|
2016-07-20 02:26:33 +02:00 |
|
Nicolai
|
f003bdafa6
|
Fix StructDef. Add BoolLiteral. Def NumLiteral, StringLiteral and Identifier.
|
2016-07-20 02:18:09 +02:00 |
|
Nicolai
|
1e2f071a11
|
Fix missing quotes in ElementaryTypeName
|
2016-07-20 01:33:08 +02:00 |
|
Nicolai
|
8e6272b020
|
Added ElementaryTypeName, removed explicit recursion
|
2016-07-19 18:59:34 +02:00 |
|
chriseth
|
427deb43f5
|
Merge pull request #728 from chriseth/formalout
Provide formal version in json output.
|
2016-07-19 17:46:33 +02:00 |
|
Nicolai
|
447797ad9c
|
Add forStmt to Stmt, removes BasicBinaryOperation, throw expr, explicit rec in ArrTypeName
|
2016-07-19 17:27:53 +02:00 |
|
Nicolai
|
dc3828ee37
|
Remove "in", extra semicolons, forced function param. Added "throw". Changes FunctionCall & IndexAccess
|
2016-07-19 01:26:39 +02:00 |
|
Nicolai
|
ce8a003611
|
grammar.txt: Fixes to EnumDef and ArrayTypeName
|
2016-07-19 01:03:41 +02:00 |
|
Nicolai
|
c396148fe6
|
grammer.txt: inheritable => internal
|
2016-07-19 00:49:00 +02:00 |
|
chriseth
|
e10297a2ef
|
Merge pull request #704 from ethereum/malleability
Expanded malleability risks.
|
2016-07-18 19:34:35 +02:00 |
|
chriseth
|
f24d70e914
|
Merge pull request #729 from Denton-L/minor-corrections
Minor corrections to documentation
|
2016-07-18 19:09:40 +02:00 |
|
chriseth
|
9a9a815fc9
|
Provide formal version in json output.
|
2016-07-18 18:26:56 +02:00 |
|
chriseth
|
417fde3eab
|
Merge pull request #711 from chriseth/canonical
Store non-canonical version.
|
2016-07-18 16:58:38 +02:00 |
|
Nicolai Søborg
|
80b01f6ebd
|
Grammar: tab => spaces
|
2016-07-14 23:48:29 +02:00 |
|
Nicolai
|
ff9d6e05f2
|
Typos + added missing grammar rules
|
2016-07-14 23:41:32 +02:00 |
|
Nicolai
|
c800f8c97d
|
Remove the remains of "expresison"
|
2016-07-14 22:56:45 +02:00 |
|
ethers
|
70f7df6430
|
mixedCase for modifiers
|
2016-07-14 03:29:15 -07:00 |
|
chriseth
|
26e5faa038
|
Handle external effects.
|
2016-07-13 11:16:00 +02:00 |
|
Denton Liu
|
5d113600aa
|
Fix typos
|
2016-07-12 17:06:49 -04:00 |
|
Denton Liu
|
f8aec4d89e
|
Update copyright
|
2016-07-11 17:04:44 -04:00 |
|
chriseth
|
e90ebcd63b
|
Store non-canonical version.
|
2016-07-11 15:31:38 +02:00 |
|
chriseth
|
efad1e05ac
|
Merge pull request #680 from Denton-L/fix-679
Add section about default values of variables
|
2016-07-08 20:15:28 +02:00 |
|
chriseth
|
e5061615ce
|
Merge pull request #689 from redsquirrel/patch-1
Removing "easy" language
|
2016-07-08 20:12:42 +02:00 |
|
Denton Liu
|
cf0579a86e
|
Incorporate changes
|
2016-07-08 14:07:58 -04:00 |
|
chriseth
|
f8d67a8ea6
|
Merge pull request #700 from Denton-L/sec
Minor Changes to #693
|
2016-07-08 19:54:01 +02:00 |
|
Denton Liu
|
d94d2fc901
|
Repharse sentence
|
2016-07-08 12:27:04 -04:00 |
|
chriseth
|
8df9d49c44
|
Merge pull request #703 from raineorshine/patch-2
Documentation: Add Solidity Tools
|
2016-07-08 17:55:27 +02:00 |
|
chriseth
|
e4b04870eb
|
Merge pull request #701 from svantetobias/develop
Fixed mix-up of variable names in Sent event
|
2016-07-08 17:47:39 +02:00 |
|
Denton Liu
|
06fa66b2e6
|
Mention dangers of polymorphism
|
2016-07-07 16:34:05 -04:00 |
|
Denton Liu
|
ab3531ffc3
|
Incorporate corrections
|
2016-07-07 13:53:57 -04:00 |
|
chriseth
|
b71144dd53
|
Expanded malleability risks.
|
2016-07-06 18:33:38 +02:00 |
|
Raine Revere
|
f737aa9a1b
|
Documentation: Add Solidity Tools
|
2016-07-06 09:39:32 -06:00 |
|