Commit Graph

5551 Commits

Author SHA1 Message Date
Nicolai
e584a8396a Remove assignment as expr. Add functionCall as primaryExpression 2016-07-26 15:44:22 +02:00
Nicolai
3009064533 Fix missing seperator from commit 8b450dd8 2016-07-26 15:13:26 +02:00
Nicolai
8b450dd808 Added PlaceholderStatement 2016-07-25 17:48:49 +02:00
Nicolai
3f5bff968f Add StorageLocation 2016-07-25 17:28:30 +02:00
Nicolai
1a661c562a Allow function to call modifiers 2016-07-25 16:53:15 +02:00
chriseth
17957d3a93 Merge pull request #738 from DennisBPeterson/patch-3
Added tx.origin caution
2016-07-25 16:23:50 +02:00
Nicolai
bd2562ffd3 Order expression according to PR 732 2016-07-23 16:15:01 +02:00
Nicolai
28c4a0a3ab New regex for StringLiteral 2016-07-23 02:35:20 +02:00
Nicolai
5512b85594 Begin fixing expression syntax 2016-07-23 01:45:10 +02:00
DennisBPeterson
6a6f0623b0 Added tx.origin caution 2016-07-21 17:06:53 -04:00
chriseth
6610add63e Merge pull request #731 from Denton-L/move-token
Move `in` as a keyword to reserved word section
2016-07-21 14:34:22 +02:00
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