Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Mention way to remove warning. | chriseth | 2017-03-06 | 1 | -1/+5 |
| | |||||
* | Merge pull request #1702 from ethereum/assertError | Yoichi Hirai | 2017-03-04 | 2 | -5/+5 |
|\ | | | | | Change effect of assert to invalid opcode. | ||||
| * | Remove assert for now. | chriseth | 2017-02-24 | 1 | -2/+3 |
| | | |||||
| * | Change effect of assert to invalid opcode. | chriseth | 2017-02-16 | 1 | -3/+2 |
| | | |||||
* | | Disallow variable declaration with inferred empty tuple type. | chriseth | 2017-03-02 | 1 | -0/+5 |
| | | |||||
* | | Merge pull request #1728 from ethereum/externalfunctiontypes | chriseth | 2017-03-02 | 1 | -1/+1 |
|\ \ | | | | | | | Convert reference types to pointers in member function conversion. | ||||
| * | | Convert reference types to pointers in member function conversion. | chriseth | 2017-03-01 | 1 | -1/+1 |
| | | | |||||
* | | | Add line info to serious exceptions. | chriseth | 2017-02-25 | 1 | -0/+14 |
|/ / | |||||
* | | Merge pull request #1700 from ethereum/fixNoMobile | chriseth | 2017-02-24 | 2 | -2/+8 |
|\ \ | | | | | | | Some checks for the existence of mobile type. | ||||
| * \ | Merge branch 'develop' into fixNoMobile | chriseth | 2017-02-24 | 12 | -115/+224 |
| |\ \ | |||||
| * | | | Some checks for the existence of mobile type. | chriseth | 2017-02-16 | 2 | -2/+8 |
| | |/ | |/| | |||||
* | | | Disallow setting .gas() on .transfer() | Alex Beregszaszi | 2017-02-24 | 2 | -10/+5 |
| | | | |||||
* | | | Do not keep the gas stipend if sending non-zero value | Alex Beregszaszi | 2017-02-24 | 1 | -1/+1 |
| | | | |||||
* | | | Support gas modifier on addr.transfer() | Alex Beregszaszi | 2017-02-24 | 2 | -2/+4 |
| | | | |||||
* | | | Implement address.transfer() | Alex Beregszaszi | 2017-02-24 | 3 | -5/+19 |
| |/ |/| | |||||
* | | Deposit one stack item for non-value types in inline assembly type checking. | chriseth | 2017-02-20 | 1 | -1/+1 |
| | | |||||
* | | Merge pull request #1627 from ethereum/asmfunctions | chriseth | 2017-02-17 | 6 | -41/+137 |
|\ \ | | | | | | | Parsing assembly function definitions and calls. | ||||
| * | | Assembly printer for functions. | chriseth | 2017-02-16 | 2 | -0/+20 |
| | | | |||||
| * | | Parsing function calls. | chriseth | 2017-02-16 | 4 | -37/+64 |
| | | | |||||
| * | | Parsing function definitions. | chriseth | 2017-02-16 | 4 | -6/+55 |
| |/ | |||||
* / | Fix early exist for fatal errors. | chriseth | 2017-02-16 | 5 | -73/+86 |
|/ | |||||
* | Assembly printing fixes. | chriseth | 2017-02-14 | 1 | -5/+5 |
| | |||||
* | Review changes. | chriseth | 2017-02-14 | 3 | -4/+4 |
| | |||||
* | Assembly printer. | chriseth | 2017-02-14 | 4 | -4/+204 |
| | |||||
* | Review comments. | chriseth | 2017-02-14 | 3 | -7/+7 |
| | |||||
* | Allow different entry scope for registerDeclarations. | chriseth | 2017-02-14 | 3 | -9/+22 |
| | |||||
* | Extract scopes into compiler stack. | chriseth | 2017-02-14 | 4 | -3/+13 |
| | |||||
* | Refactor type system to allow multiple entry points. | chriseth | 2017-02-14 | 4 | -15/+27 |
| | |||||
* | Refactor NameAndTypeResolver and SyntaxChecker to allow other entry points. | chriseth | 2017-02-14 | 6 | -61/+86 |
| | |||||
* | Use the revert opcode in assert() | Alex Beregszaszi | 2017-02-11 | 1 | -2/+8 |
| | |||||
* | Use the REVERT opcode for throw; | Alex Beregszaszi | 2017-02-11 | 1 | -1/+3 |
| | |||||
* | Support revert() | Alex Beregszaszi | 2017-02-11 | 4 | -1/+10 |
| | |||||
* | Cleanup is not needed for assert() | Alex Beregszaszi | 2017-02-10 | 1 | -1/+1 |
| | |||||
* | Implement assert as a global function | Alex Beregszaszi | 2017-02-10 | 3 | -4/+15 |
| | |||||
* | Rename SUICIDE opcode to SELFDESTRUCT in libevmasm | Alex Beregszaszi | 2017-02-07 | 2 | -3/+3 |
| | |||||
* | Warn early when exhausting stack | Alex Beregszaszi | 2017-02-02 | 1 | -0/+1 |
| | |||||
* | Disallow arrays with negative length | Alex Beregszaszi | 2017-02-02 | 1 | -0/+2 |
| | |||||
* | Add isNegative to RationalNumberType | Alex Beregszaszi | 2017-02-02 | 1 | -0/+3 |
| | |||||
* | Only capture function type to address conversion | Alex Beregszaszi | 2017-02-01 | 1 | -8/+10 |
| | |||||
* | Be more verbose on the stack-mismatch errors | Alex Beregszaszi | 2017-02-01 | 1 | -1/+1 |
| | |||||
* | Support explicit conversion of external function type to address | Alex Beregszaszi | 2017-02-01 | 4 | -1/+25 |
| | |||||
* | Merge pull request #1598 from wuestholz/develop | chriseth | 2017-01-27 | 6 | -18/+61 |
|\ | | | | | Change translation of implicit throws | ||||
| * | Changelog and review suggestions. | chriseth | 2017-01-27 | 1 | -1/+1 |
| | | |||||
| * | Uninitialized internal function should call INVALID. | chriseth | 2017-01-26 | 1 | -1/+3 |
| | | |||||
| * | Allow inserting low-level functions without calling them. | chriseth | 2017-01-26 | 2 | -5/+26 |
| | | |||||
| * | Split line. | chriseth | 2017-01-26 | 1 | -1/+3 |
| | | |||||
| * | Address feedback from code review. | Valentin Wüstholz | 2017-01-26 | 2 | -6/+6 |
| | | |||||
| * | Change translation of implicit throws (issue #1589). | Valentin Wüstholz | 2017-01-26 | 6 | -13/+31 |
| | | | | | | | | | | | | | | This adds a new invalid instruction that is used for encoding implicit throws that are emitted by the compiler. This makes it possible to distinguish such runtime errors from user-provided, explicit throws. | ||||
* | | Merge pull request #1451 from LefterisJP/fix_build | chriseth | 2017-01-27 | 1 | -16/+54 |
|\ \ | | | | | | | Accept any kind of whitespace after natspec tags | ||||
| * | | Minor changes. | chriseth | 2017-01-27 | 1 | -19/+17 |
| | | | |||||
| * | | More verbose function naming | Lefteris Karapetsas | 2017-01-27 | 1 | -2/+2 |
| | | | |||||
| * | | Doc tags followed by newline are now parsed properly | Lefteris Karapetsas | 2017-01-27 | 1 | -1/+1 |
| | | | |||||
| * | | Fix and better output for tests | Lefteris Karapetsas | 2017-01-25 | 1 | -0/+6 |
| | | | |||||
| * | | Accept any kind of whitespace after natspec tags | Lefteris Karapetsas | 2017-01-25 | 1 | -13/+47 |
| | | | |||||
* | | | Refactor json return type generation. | chriseth | 2017-01-27 | 4 | -40/+38 |
| |/ |/| | |||||
* | | Merge pull request #1604 from ethereum/checksums | Alex Beregszaszi | 2017-01-26 | 6 | -2/+47 |
|\ \ | | | | | | | Warn about invalid checksums of addresses. | ||||
| * | | Also check library addresses. | chriseth | 2017-01-25 | 1 | -21/+1 |
| | | | |||||
| * | | Warn about invalid checksums of addresses. | chriseth | 2017-01-25 | 6 | -2/+67 |
| |/ | |||||
* | | Add option to store literal sources in metadata | Alex Beregszaszi | 2017-01-26 | 2 | -4/+11 |
| | | |||||
* | | Update error message. | chriseth | 2017-01-26 | 1 | -1/+1 |
| | | |||||
* | | Disallow assignment to non-identifiers. | chriseth | 2017-01-26 | 1 | -0/+2 |
| | | |||||
* | | Disallow instructions in assignment. | chriseth | 2017-01-26 | 1 | -6/+5 |
| | | |||||
* | | Renamed function. | chriseth | 2017-01-26 | 2 | -5/+5 |
| | | |||||
* | | Moved test. | chriseth | 2017-01-26 | 1 | -1/+1 |
| | | |||||
* | | Do not allow shadowing inline assembly instructions with variables | Alex Beregszaszi | 2017-01-25 | 2 | -1/+11 |
|/ | |||||
* | Include creation code only once. | chriseth | 2017-01-25 | 1 | -14/+18 |
| | |||||
* | Use int arithmetics for stack adjustment. | chriseth | 2017-01-24 | 1 | -1/+1 |
| | |||||
* | Change clearStorageLoop to TypePointer. | chriseth | 2017-01-24 | 2 | -16/+18 |
| | |||||
* | Use shared_ptrs to enable shared_from_this. | chriseth | 2017-01-24 | 1 | -4/+4 |
| | |||||
* | Convert ArrayUtils routines into low-level functions. | chriseth | 2017-01-24 | 1 | -228/+251 |
| | |||||
* | Move some util functions to low-level functions. | chriseth | 2017-01-24 | 5 | -244/+320 |
| | |||||
* | Low level named functions for CompilerContext. | chriseth | 2017-01-24 | 2 | -0/+23 |
| | |||||
* | Merge pull request #1245 from ethereum/1215 | chriseth | 2017-01-24 | 2 | -7/+19 |
|\ | | | | | Allow multiple events of the same name | ||||
| * | analysis: disallow overloading functions with events | Yoichi Hirai | 2017-01-23 | 1 | -1/+6 |
| | | |||||
| * | analysis: fix format | Yoichi Hirai | 2017-01-23 | 1 | -4/+7 |
| | | |||||
| * | analysis: Resolve event overloading | Yoichi Hirai | 2017-01-23 | 2 | -14/+11 |
| | | |||||
| * | analysis: Allow multiple events of the same name | Yoichi Hirai | 2017-01-23 | 1 | -0/+7 |
| | | | | | | | | Fixes #1215 | ||||
* | | Merge pull request #1591 from ethereum/stackTooDeepLocation | Yoichi Hirai | 2017-01-23 | 2 | -2/+14 |
|\ \ | | | | | | | Report source location on "stack too deep" errors. | ||||
| * | | Report source location on "stack too deep" errors. | chriseth | 2017-01-21 | 2 | -2/+14 |
| |/ | |||||
* / | Check if constructor is public or not. | chriseth | 2017-01-21 | 3 | -2/+13 |
|/ | |||||
* | Merge pull request #1576 from ethereum/typeIdentifiers | Yoichi Hirai | 2017-01-20 | 5 | -20/+291 |
|\ | | | | | Type identifiers. | ||||
| * | Make m_id const. | chriseth | 2017-01-20 | 1 | -1/+1 |
| | | |||||
| * | Reset AST node IDs between compilation runs. | chriseth | 2017-01-20 | 4 | -5/+27 |
| | | |||||
| * | Properly escape user strings and lists. | chriseth | 2017-01-19 | 2 | -44/+86 |
| | | |||||
| * | Type identifiers. | chriseth | 2017-01-19 | 2 | -3/+210 |
| | | |||||
* | | Fix default function type name visibility. | chriseth | 2017-01-19 | 2 | -2/+4 |
|/ | |||||
* | Fix typo in comment | Federico Bond | 2017-01-18 | 1 | -1/+1 |
| | |||||
* | Merge pull request #1581 from ethereum/fixosx | chriseth | 2017-01-18 | 1 | -2/+2 |
|\ | | | | | Fix JSON output on macos. | ||||
| * | Fix JSON output on macos. | chriseth | 2017-01-18 | 1 | -2/+2 |
| | | |||||
* | | Merge pull request #1397 from roadriverrail/contract_collision | chriseth | 2017-01-18 | 6 | -46/+65 |
|\ \ | |/ |/| | Error out when contracts collide on name | ||||
| * | Provide fall-back method for contract lookup | Rhett Aultman | 2017-01-17 | 1 | -1/+18 |
| | | | | | | | | | | | | | | | | Properly, contracts are now looked up via <source>:<contract> identifiers called "fully qualified names." As a modicum of backward-compatibility, failure on a lookup is now backed up by seeing if the ":" exists at all, and if it doesn't, then the known contracts are scanned for any matching contract name. | ||||
| * | Remove checkLibraryNameClashes() | Rhett Aultman | 2017-01-17 | 2 | -37/+0 |
| | | | | | | | | | | | | | | | | The library name clash checker throws errors when two libraries of the same name are spotted. In a previous commit, this function was rewritten to use fully-qualified names instead, which makes it redundant to the checker for multiply-declared identifiers. Since it no longer serves a clear purpose, the function is being dropped. | ||||
| * | Use fully-qualified names for linking, too | Rhett Aultman | 2017-01-17 | 2 | -3/+3 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Using libraries leaves behind a library link reference in the binary which the linker must later resolve. These link references were still being generated by name and not by fully-qualified name. This would lead to a link-time collision between two libraries having the same name but in different source units. This change changes linker symbols over to fully-qualified names, which resolves that issue. This does potentially introduce a new problem, which is that linker symbols appear to be limited to 36 characters and are truncated. Storing paths extends the average symbol size, and it would be great if truncation was from the tail rather than the head. | ||||
| * | Remove unique error for contract collision | Rhett Aultman | 2017-01-17 | 1 | -39/+10 |
| | | | | | | | | | | | | Because contracts are uniquely identified by their source unit, there is no need for a unique error for this; it's actually covered by the checker for double-declaration of identifiers. | ||||
| * | Move fullyQualified() name to Declaration | Rhett Aultman | 2017-01-17 | 2 | -10/+1 |
| | | |||||
| * | Stylistic corrections | Rhett Aultman | 2017-01-17 | 2 | -9/+5 |
| | | |||||
| * | Push the error instead of throwing it | Rhett Aultman | 2017-01-17 | 1 | -10/+34 |
| | | | | | | | | | | | | | | Throwing a CompilerError on multiple contract definition violates the expectations of the test suite, which thinks that compile() will return false if the code can't compile. This brings contract collision reporting in line with most of the other errors. | ||||
| * | Drop ':' if the source file name is empty | Rhett Aultman | 2017-01-17 | 1 | -1/+2 |
| | | | | | | | | | | | | | | | | A large number of tests compile contracts while passing in an empty string for the source name. This leads to it being keyed by the name ":<contract>", while the tests try to look it up under the name "<contract>". This change resolves that issue by dropping the ':' in cases where there is, effectively, no source file to prepend anyway. | ||||
| * | Only avoid collision if it's the same file | Rhett Aultman | 2017-01-17 | 4 | -12/+48 |
| | | | | | | | | | | | | | | | | | | @chriseth had suggested that it would be better if contracts were referenced in a file:contract notation, and that we output .bin files that prepend original path names if necessary to avoid a collision. This commit is mostly a draft; it still needs to be run through the test suite. | ||||
| * | Tab whitespace cleanup (again) | Rhett Aultman | 2017-01-17 | 1 | -1/+2 |
| | | |||||
| * | Tidy up the error message | Rhett Aultman | 2017-01-17 | 1 | -3/+3 |
| | | |||||
| * | Fix tab, drop stupid '!!!', change error message. | Rhett Aultman | 2017-01-17 | 1 | -3/+3 |
| | | |||||
| * | Error out when contracts collide on name | Rhett Aultman | 2017-01-17 | 1 | -0/+19 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | The previous behaviour, courtesy of the [] operator in std::map, would uncritically store a new ContractDefinition in m_contracts even when a ContractDefinition already existed. This "resolved" collissions on contract names by clobbering the original one with the new one, and could lead to scenarios where the clobber would only be discovered when the original ContractDefinition could not be found or referred to, which was an unhelpful InternalCompilerError. This change checks the m_contracts map for a collision first and will not let the ContractDefinition be changed to a new one once it's set, throwing a CompilerError with information about the conflict. | ||||
* | | Include SOL_VERSION_COMMIT/SOL_VERSION_PLATFORM in buildinfo.h | Alex Beregszaszi | 2017-01-17 | 1 | -1/+2 |
| | | |||||
* | | Store strict version number in metadata (exclude the platform) | Alex Beregszaszi | 2017-01-17 | 3 | -1/+5 |
| | | |||||
* | | Deterministic AST node identifiers. | chriseth | 2017-01-17 | 3 | -2/+8 |
|/ | |||||
* | Merge pull request #1479 from ethereum/function_variable_mixin | chriseth | 2017-01-13 | 5 | -11/+157 |
|\ | | | | | Disallow mixin of functions and attributes under the same name | ||||
| * | ast: events have FunctionType too | Yoichi Hirai | 2017-01-12 | 2 | -8/+17 |
| | | |||||
| * | analysis: use Declaration::functionType() in another location | Yoichi Hirai | 2017-01-12 | 1 | -11/+4 |
| | | |||||
| * | ast: add Declaration::functionType() | Yoichi Hirai | 2017-01-12 | 3 | -14/+80 |
| | | |||||
| * | analysis: avoid emscripten build failure | Yoichi Hirai | 2017-01-12 | 1 | -3/+3 |
| | | |||||
| * | analysis: changes necessary to compile std/StandardToken.sol | Yoichi Hirai | 2017-01-12 | 3 | -12/+58 |
| | | |||||
| * | analysis: allow some shadowings explicitly | Yoichi Hirai | 2017-01-12 | 1 | -0/+8 |
| | | |||||
| * | analysis: report errors when inheritance causes collision | Yoichi Hirai | 2017-01-12 | 1 | -1/+25 |
| | | |||||
* | | fixed | VoR0220 | 2017-01-12 | 1 | -2/+2 |
| | | | | | | | | Signed-off-by: VoR0220 <rj@erisindustries.com> | ||||
* | | added fix and a test for order independence of nested prefixing | VoR0220 | 2017-01-12 | 1 | -2/+2 |
| | | | | | | | | Signed-off-by: VoR0220 <rj@erisindustries.com> | ||||
* | | cleanup | VoR0220 | 2017-01-12 | 2 | -14/+15 |
| | | | | | | | | | | | | | | | | Signed-off-by: VoR0220 <rj@erisindustries.com> fixup Signed-off-by: VoR0220 <rj@erisindustries.com> | ||||
* | | fixed unused filepath bug | VoR0220 | 2017-01-11 | 1 | -2/+1 |
| | | | | | | | | Signed-off-by: VoR0220 <rj@erisindustries.com> | ||||
* | | much smaller helper function | VoR0220 | 2017-01-10 | 2 | -5/+5 |
| | | | | | | | | Signed-off-by: VoR0220 <rj@erisindustries.com> | ||||
* | | can do this purely on length. Also made prefix filesystem string for more ↵ | VoR0220 | 2017-01-09 | 1 | -27/+16 |
| | | | | | | | | | | | | accurate readings. Signed-off-by: VoR0220 <rj@erisindustries.com> | ||||
* | | fixed test and added solution | VoR0220 | 2017-01-09 | 1 | -3/+26 |
|/ | | | | Signed-off-by: VoR0220 <rj@erisindustries.com> | ||||
* | Merge pull request #1537 from ethereum/absolute-path | chriseth | 2017-01-07 | 1 | -3/+3 |
|\ | | | | | absolute path detection is not confused by ".dir" | ||||
| * | interface: change absolutePath() so that ".dir" is considered as an absolute ↵ | Yoichi Hirai | 2017-01-04 | 1 | -3/+3 |
| | | | | | | | | | | | | path fixes #1534 | ||||
* | | Merge pull request #1545 from federicobond/refactor-rename | chriseth | 2017-01-05 | 1 | -3/+3 |
|\ \ | |/ |/| | Rename contractName to typeName when parsing new expression | ||||
| * | Rename contractName to typeName when parsing new expression | Federico Bond | 2017-01-05 | 1 | -3/+3 |
| | | |||||
* | | ast, codegen: enable accessing events through contract names. | Yoichi Hirai | 2017-01-03 | 2 | -9/+36 |
|/ | | | | Fixes #1286 | ||||
* | Merge pull request #1503 from federicobond/json-visibility | Yoichi Hirai | 2016-12-15 | 2 | -7/+22 |
|\ | | | | | Include visibility level for functions in AST | ||||
| * | Include visibility level for functions in AST | Federico Bond | 2016-12-13 | 2 | -7/+22 |
| | | |||||
* | | Merge pull request #1508 from ethereum/multiurls | chriseth | 2016-12-15 | 1 | -2/+4 |
|\ \ | | | | | | | Use multiple URLs for metadata. | ||||
| * | | Use multiple URLs for metadata. | chriseth | 2016-12-13 | 1 | -2/+4 |
| | | | |||||
* | | | Merge pull request #1487 from ethereum/shift-ops | Yoichi Hirai | 2016-12-14 | 3 | -30/+130 |
|\ \ \ | | | | | | | | | Shift operators | ||||
| * | | | Use correct type for storing. | chriseth | 2016-12-13 | 1 | -7/+7 |
| | | | | |||||
| * | | | Cleaner shift handling and type conversion for binary operations. | chriseth | 2016-12-12 | 3 | -75/+100 |
| | | | | |||||
| * | | | Type after shift should be type of left operand. | chriseth | 2016-12-12 | 1 | -5/+42 |
| | | | | |||||
| * | | | Support bitshifting in variables | Alex Beregszaszi | 2016-12-12 | 3 | -9/+47 |
| | |/ | |/| | |||||
* | | | Merge pull request #1507 from ethereum/memcopystyle | Yoichi Hirai | 2016-12-14 | 2 | -14/+14 |
|\ \ \ | |_|/ |/| | | Renamed padToWordBoundaries -> padToWords | ||||
| * | | Renamed padToWordBoundaries -> padToWords | chriseth | 2016-12-13 | 2 | -14/+14 |
| | | | |||||
* | | | Improve error message when trying to modify constant variables | Federico Bond | 2016-12-13 | 2 | -1/+8 |
|/ / | |||||
* | | Merge pull request #1468 from ethereum/memcpy-assembly | Yoichi Hirai | 2016-12-13 | 4 | -16/+82 |
|\ \ | | | | | | | Implement memcpy without the identity precompile | ||||
| * | | Split memcopy into three functions. | chriseth | 2016-12-12 | 3 | -54/+79 |
| | | | |||||
| * | | Fix inline assembly. | chriseth | 2016-12-12 | 1 | -1/+2 |
| | | | |||||
| * | | Reset stack height after inline assembly block | Alex Beregszaszi | 2016-12-12 | 1 | -0/+1 |
| | | | |||||
| * | | Better assert message for appendInlineAssembnly | Alex Beregszaszi | 2016-12-12 | 1 | -1/+1 |
| | | | |||||
| * | | Implement identity call in inline assembly | Alex Beregszaszi | 2016-12-12 | 1 | -14/+21 |
| | | | |||||
| * | | Turn off the identity precompile for testing | Alex Beregszaszi | 2016-12-12 | 1 | -1/+1 |
| | | | |||||
| * | | Implement CompilerUtils::memoryCopy using inline assembly | Alex Beregszaszi | 2016-12-12 | 1 | -1/+26 |
| | | | |||||
| * | | Add usingIdentity option to CompilerUtils::memoryCopy | Alex Beregszaszi | 2016-12-12 | 2 | -2/+9 |
| |/ | |||||
* | | Merge pull request #1491 from ameten/refactoring | chriseth | 2016-12-13 | 1 | -1/+1 |
|\ \ | |/ |/| | Just refactored some code | ||||
| * | - fixed a misprint. | Danil Nemirovsky | 2016-12-09 | 1 | -1/+1 |
| | | |||||
* | | Merge pull request #1464 from federicobond/warn-msgvalue | chriseth | 2016-12-11 | 4 | -0/+162 |
|\ \ | | | | | | | Warn about using msg.value in non-payable function | ||||
| * | | Warn about using msg.value in non-payable function | Federico Bond | 2016-12-09 | 4 | -0/+162 |
| |/ | |||||
* / | Fix names of JSON AST nodes | Federico Bond | 2016-12-11 | 1 | -2/+2 |
|/ | |||||
* | Merge pull request #1351 from ethereum/truncate_bit | chriseth | 2016-12-08 | 3 | -3/+5 |
|\ | | | | | Truncate a boolean from calldata into one bit | ||||
| * | codegen: clean not only booleans but all types before storing them into memory | Yoichi Hirai | 2016-12-01 | 2 | -4/+3 |
| | | |||||
| * | codegen: clean any data from the input | Yoichi Hirai | 2016-12-01 | 1 | -2/+2 |
| | | |||||
| * | codegen: truncate booleans before they enter storage | Yoichi Hirai | 2016-12-01 | 1 | -1/+0 |
| | | |||||
| * | codegen: cleanup booleans before storing them into memory | Yoichi Hirai | 2016-12-01 | 1 | -0/+2 |
| | | |||||
| * | codegen: truncate a boolean calldata down to one bit | Yoichi Hirai | 2016-12-01 | 1 | -0/+2 |
| | | |||||
* | | Merge pull request #1465 from ethereum/missing_keywords | chriseth | 2016-12-06 | 1 | -2/+2 |
|\ \ | | | | | | | document missing keywords | ||||
| * | | parsing: `default` and `null` are reserved keywords | Yoichi Hirai | 2016-12-02 | 1 | -2/+2 |
| | | | |||||
* | | | Throw if calling the identity precompile (memoryCopy) failed | Alex Beregszaszi | 2016-12-02 | 1 | -1/+2 |
|/ / | |||||
* | | Add the `_runs` parameter. | chriseth | 2016-12-01 | 2 | -3/+3 |
| | | |||||
* | | Fix type of optimizeRuns | Alex Beregszaszi | 2016-12-01 | 1 | -1/+1 |
| | | |||||
* | | Use CBOR encoding. | chriseth | 2016-12-01 | 3 | -4/+11 |
| | | |||||
* | | Fix tests. | chriseth | 2016-12-01 | 2 | -10/+0 |
| | | |||||
* | | Add swarm hash to the end of the bytecode. | chriseth | 2016-12-01 | 5 | -12/+5 |
| | | |||||
* | | Make sure some keys are present. | chriseth | 2016-12-01 | 1 | -0/+3 |
| | | |||||
* | | Incorporate comments. | chriseth | 2016-12-01 | 1 | -10/+10 |
| | | |||||
* | | Metadata stamp. | chriseth | 2016-12-01 | 9 | -31/+126 |
| | | |||||
* | | Merge pull request #1462 from ethereum/fix-incorrect-assertion | chriseth | 2016-12-01 | 1 | -1/+1 |
|\ \ | | | | | | | codegen: assertion did not assert non-nullness | ||||
| * | | codegen: assertion did not assert non-nullness | Yoichi Hirai | 2016-12-01 | 1 | -1/+1 |
| |/ | | | | | | | | | This commit strengthens an assertion so that it makes sure that a pointer is not null. Moreover, `isLocalVariable(variable)` is now positively asserted, following the error message. | ||||
* | | Merge pull request #1463 from ethereum/duplicate-assignment | chriseth | 2016-12-01 | 1 | -2/+0 |
|\ \ | | | | | | | codegen: this commit removes one of duplicate assignments | ||||
| * | | codegen: this commit removes one of duplicate assignments | Yoichi Hirai | 2016-12-01 | 1 | -2/+0 |
| |/ | |||||
* / | parser: recognize an end of comment of the form `**/` at the end of a ↵ | Yoichi Hirai | 2016-12-01 | 1 | -1/+6 |
|/ | | | | | | multi-line doc comment This fixes #1433 | ||||
* | Include the grammar verbatim in the documentation | Alex Beregszaszi | 2016-11-30 | 1 | -110/+0 |
| | |||||
* | Rename dev::validate to dev::validateUTF8 | Alex Beregszaszi | 2016-11-29 | 2 | -3/+3 |
| | |||||
* | Make position optional in dev::validate | Alex Beregszaszi | 2016-11-29 | 2 | -4/+2 |
| | |||||
* | Use solUnimplemented wherever possible | Alex Beregszaszi | 2016-11-28 | 2 | -3/+3 |
| | |||||
* | Merge pull request #1395 from ethereum/grammar | chriseth | 2016-11-25 | 1 | -1/+1 |
|\ | | | | | Properly define the pragma directive in the grammar | ||||
| * | Properly define the pragma directive in the grammar | Alex Beregszaszi | 2016-11-18 | 1 | -1/+1 |
| | | |||||
* | | Merge pull request #1381 from ethereum/overflown_enum_compared | chriseth | 2016-11-25 | 3 | -8/+35 |
|\ \ | | | | | | | Enum overflow checking before writing to storage | ||||
| * | | codegen: cleanup values to fit in storage bytes | Yoichi Hirai | 2016-11-25 | 1 | -0/+4 |
| | | | |||||
| * | | codegen: storing of non-value types; add some assertions | Yoichi Hirai | 2016-11-25 | 1 | -8/+5 |
| | | | |||||
| * | | codegen: shorten the bit truncation | Yoichi Hirai | 2016-11-25 | 1 | -5/+2 |
| | | | |||||
| * | | codegen: merge type conversion and cleaning up | Yoichi Hirai | 2016-11-25 | 1 | -3/+2 |
| | | | |||||
| * | | codegen: document _chopSignBits parameter of convertType function | Yoichi Hirai | 2016-11-25 | 1 | -0/+1 |
| | | | |||||
| * | | codegen: add an option to CovertType so that it can truncate sign bits | Yoichi Hirai | 2016-11-25 | 3 | -10/+22 |
| | | | |||||
| * | | codegen: cleanup stored values in a more consistent way | Yoichi Hirai | 2016-11-25 | 1 | -4/+16 |
| | | | |||||
| * | | codegen: cleanup value types before storing them | Yoichi Hirai | 2016-11-24 | 1 | -0/+5 |
| | | | |||||
* | | | Indentation. | chriseth | 2016-11-25 | 1 | -1/+1 |
| | | | |||||
* | | | ast: string literals that are not valid UTF are not convertible to strings | Yoichi Hirai | 2016-11-25 | 2 | -1/+10 |
|/ / | |||||
* | | Fix licensing headers | VoR0220 | 2016-11-23 | 77 | -308/+308 |
| | | | | | | | | Signed-off-by: VoR0220 <rj@erisindustries.com> | ||||
* | | Add appendCallValueCheck | Alex Beregszaszi | 2016-11-18 | 2 | -20/+14 |
| | | |||||
* | | Include payable for the constructor in the ABI | Alex Beregszaszi | 2016-11-18 | 1 | -0/+1 |
| | | |||||
* | | Add payable check for constructor in codegen | Alex Beregszaszi | 2016-11-18 | 1 | -0/+12 |
|/ | |||||
* | Some more assertions and style changes. | chriseth | 2016-11-16 | 2 | -17/+26 |
| | |||||
* | Change encoding to address-funid and add "function" as ABI type. | chriseth | 2016-11-16 | 6 | -18/+29 |
| | |||||
* | Fix parser for function type disambiguity. | chriseth | 2016-11-16 | 1 | -1/+12 |
| | |||||
* | Simple peephole optimizer that is activated even if not requested. | chriseth | 2016-11-16 | 2 | -5/+3 |
| | |||||
* | Check that no internals are used in any external function type. | chriseth | 2016-11-16 | 5 | -1/+45 |
| | |||||
* | Converted sub assembly to smart pointer. | chriseth | 2016-11-16 | 5 | -48/+50 |
| | |||||
* | Stored combined creation and runtime tags. | chriseth | 2016-11-16 | 10 | -62/+136 |
| | | | | | | | Includes a change to Assembly to allow tags from sub-assemblies to be used. Sorry, this get a bit bigger than I thought. | ||||
* | ABI: Use external function. | chriseth | 2016-11-16 | 1 | -2/+2 |
| | |||||
* | Disallow payable internal functions. | chriseth | 2016-11-16 | 2 | -2/+5 |
| | |||||
* | Mention "payable" in the documentation. | chriseth | 2016-11-16 | 1 | -2/+2 |
| | |||||
* | Fix tests. | chriseth | 2016-11-16 | 1 | -1/+11 |
| | |||||
* | delete for function types | chriseth | 2016-11-16 | 2 | -0/+8 |
| | |||||
* | codegen: add a compilation mode and a runtime context to CompilerContext | Yoichi Hirai | 2016-11-16 | 4 | -6/+23 |
| | |||||
* | Added function types to the grammar. | chriseth | 2016-11-16 | 1 | -1/+4 |
| | |||||
* | Implement uninitialized storage functions. | chriseth | 2016-11-16 | 2 | -11/+17 |
| | |||||
* | Bugfix in code generator. | chriseth | 2016-11-16 | 1 | -1/+1 |
| | |||||
* | Change alignment. | chriseth | 2016-11-16 | 4 | -31/+43 |
| | |||||
* | Changelog entry and small fixes. | chriseth | 2016-11-16 | 2 | -5/+8 |
| | |||||
* | External functions in storage. | chriseth | 2016-11-16 | 3 | -18/+49 |
| | |||||
* | Fix some type checks and tests for internal / external function parameters. | chriseth | 2016-11-16 | 1 | -3/+3 |
| | |||||
* | Function type state variables. | chriseth | 2016-11-16 | 2 | -31/+68 |
| | |||||
* | Code generator for function types. | chriseth | 2016-11-16 | 4 | -2/+46 |
| | |||||
* | Function types. | chriseth | 2016-11-16 | 14 | -39/+241 |
| | |||||
* | Move InterfaceHandler from string to JSON | Alex Beregszaszi | 2016-11-15 | 6 | -39/+37 |
| | |||||
* | Rename ErrorTag to invalidJumpLabel in inline assembly | Alex Beregszaszi | 2016-11-15 | 1 | -1/+1 |
| | |||||
* | Support ErrorTag as a jump label in inline assembly | Alex Beregszaszi | 2016-11-15 | 1 | -1/+5 |
| | |||||
* | Merge pull request #1375 from ethereum/inline-assembly-stack-height | chriseth | 2016-11-15 | 1 | -7/+9 |
|\ | | | | | Fix inline assembly stack warnings when using variables | ||||
| * | Fix inline assembly stack warnings when using variables | Alex Beregszaszi | 2016-11-15 | 1 | -7/+9 |
| | | |||||
* | | Do not include a trailing new line in the ABI JSON output | Alex Beregszaszi | 2016-11-15 | 1 | -1/+4 |
|/ | |||||
* | Unimplemented features moved to their own exception (#1361) | Rhett Aultman | 2016-11-15 | 7 | -17/+24 |
| | | | | | | | | | | | | | | | | | | Unimplemented features moved to their own exception InternalCompilerError is an exception that really should be reserved for actual internal errors of the compiler. Unimplemented features can now use either solUnimplemented( ) or, if it should be conditional, then solUnimplementedAssert( ). * Revert some unimplemented exceptions, add handlers The jsonCompiler and CommandLineInterface needed handlers for the new UnimplementedFeatureException, and some cases I had moved on to the new exception were better treated as real internal compiler errors. * Standardize on "Unimplemented feature" message | ||||
* | Merge pull request #1367 from asinyagin/develop | chriseth | 2016-11-15 | 1 | -2/+2 |
|\ | | | | | Print canonical names of structs and enums in AST | ||||
| * | Print canonical names of structs and enums in AST | Alex Sinyagin | 2016-11-14 | 1 | -2/+2 |
| | | |||||
* | | Merge pull request #1372 from ethereum/invalid_enum_as_external_ret | chriseth | 2016-11-15 | 1 | -2/+2 |
|\ \ | | | | | | | Invalid enum as external ret | ||||
| * | | codegen: overflow checking also during conversion from enums | Yoichi Hirai | 2016-11-15 | 1 | -2/+2 |
| |/ | |||||
* / | codegen: add a missing `break;` | Yoichi Hirai | 2016-11-14 | 1 | -0/+1 |
|/ | |||||
* | Merge pull request #1365 from walter-weinmann/develop | chriseth | 2016-11-14 | 1 | -1/+1 |
|\ | | | | | #1362: As it stands currently, the >>> operator will not be implemented. | ||||
| * | #1362: As it stands currently, the >>> operator will not be implemented. | Walter Weinmann | 2016-11-14 | 1 | -1/+1 |
| | | |||||
* | | codegen: move the enum overflow checking closer to the conversion into enums | Yoichi Hirai | 2016-11-14 | 1 | -8/+16 |
| | | |||||
* | | ast, codegen: disallow conversion between different enum types | Yoichi Hirai | 2016-11-12 | 2 | -2/+2 |
| | | |||||
* | | codegen: shorten the overflow checking when converting into enums | Yoichi Hirai | 2016-11-12 | 1 | -1/+2 |
| | | |||||
* | | parsing: ban empty enum definition. | Yoichi Hirai | 2016-11-12 | 1 | -0/+2 |
| | | |||||
* | | codegen: check the value range after converting something to an enum element | Yoichi Hirai | 2016-11-12 | 1 | -0/+8 |
| | | |||||
* | | ast: add EnumType::numberOfMembers() | Yoichi Hirai | 2016-11-12 | 2 | -1/+7 |
|/ | |||||
* | Merge pull request #1355 from ethereum/chriseth-patch-2 | chriseth | 2016-11-12 | 1 | -3/+3 |
|\ | | | | | Fix semicolons | ||||
| * | Fix semicolons | chriseth | 2016-11-11 | 1 | -3/+3 |
| | | |||||
* | | Type checker: move the burden of computing mobile type to commonType | Yoichi Hirai | 2016-11-11 | 2 | -6/+6 |
|/ | | | | This solves #621 | ||||
* | Add support for do/while loops | Rhett Aultman | 2016-11-10 | 8 | -9/+59 |
| | | | | | | | This commit adds support for a standard do <statement> while <expr>; form of statement. While loops were already being supported; supporting a do/while loop mostly involves reusing code from while loops but putting the conditional checking last. | ||||
* | add payable to AST | yann300 | 2016-11-03 | 1 | -1/+2 |
| | |||||
* | Clear all value types prior to storing. | chriseth | 2016-10-31 | 1 | -7/+1 |
| | |||||
* | ast: ban signed EXP, fixing #1246 | Yoichi Hirai | 2016-10-25 | 1 | -1/+4 |
| | |||||
* | Suggest correct version for pragma and complain about pre-release version. | chriseth | 2016-10-25 | 2 | -7/+28 |
| | |||||
* | Merge pull request #1279 from ethereum/semver-helper | chriseth | 2016-10-25 | 1 | -0/+6 |
|\ | | | | | Export major/minor/patch helpers on SemVerVersion | ||||
| * | Export major/minor/patch helpers on SemVerVersion | Alex Beregszaszi | 2016-10-25 | 1 | -0/+6 |
| | | |||||
* | | Merge pull request #1264 from ethereum/988 | chriseth | 2016-10-25 | 3 | -9/+21 |
|\ \ | |/ |/| | State variable under contract's name | ||||
| * | analysis: determine if a member access on a contract is an l-value | Yoichi Hirai | 2016-10-25 | 1 | -0/+5 |
| | |