Commit Graph

5442 Commits

Author SHA1 Message Date
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
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