Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Allow "new expressions" also for general type names. | chriseth | 2015-11-26 | 7 | -34/+56 |
| | | | | | | | Breaking change: If you want to send value with a contract creation, you have to use parentheses now: `(new ContractName).value(2 ether)(arg1, arg2)` | ||||
* | Fix solidity dependencies. | chriseth | 2015-11-26 | 1 | -1/+1 |
| | |||||
* | Style. | chriseth | 2015-11-25 | 1 | -1/+2 |
| | |||||
* | Again some why3 fixes with regards to separators in blocks. | chriseth | 2015-11-25 | 2 | -26/+34 |
| | |||||
* | Merge pull request #245 from chriseth/buildfixes | chriseth | 2015-11-25 | 1 | -1/+1 |
|\ | | | | | Build dependency fixes. | ||||
| * | Build dependency fixes. | chriseth | 2015-11-24 | 1 | -1/+1 |
| | | |||||
* | | Merge pull request #244 from chriseth/fix_stringAlloc | chriseth | 2015-11-24 | 6 | -14/+8 |
|\ \ | |/ |/| | Fix for memory allocation bug. | ||||
| * | Fixed string inside struct allocation bug. | chriseth | 2015-11-24 | 6 | -14/+8 |
| | | |||||
* | | Merge pull request #241 from chriseth/why3VariablesInConditions | chriseth | 2015-11-24 | 2 | -18/+114 |
|\ \ | |/ |/| | Why3 variables in conditions | ||||
| * | Style. | chriseth | 2015-11-23 | 1 | -2/+5 |
| | | |||||
| * | addmod and mulmod for why3. | chriseth | 2015-11-23 | 1 | -17/+36 |
| | | |||||
| * | Why3: Direct references to variables using `#`. | chriseth | 2015-11-23 | 2 | -1/+75 |
| | | |||||
* | | Merge pull request #236 from ethereum/hot_gav | Gav Wood | 2015-11-23 | 3 | -9/+10 |
|\ \ | |/ |/| | Fix up for new API from EIP-1.1. | ||||
| * | Fix up for new API from EIP-1.1. | Gav Wood | 2015-11-21 | 3 | -9/+10 |
| | | |||||
* | | Merge pull request #229 from chriseth/fv_storage_types | chriseth | 2015-11-19 | 2 | -20/+70 |
|\ \ | | | | | | | Formal Verification: State variables. | ||||
| * | | Formal Verification: State variables. | chriseth | 2015-11-19 | 2 | -20/+70 |
| | | | |||||
* | | | Merge pull request #227 from chriseth/addmod | chriseth | 2015-11-19 | 3 | -0/+20 |
|\ \ \ | | | | | | | | | Addmod and mulmod. | ||||
| * | | | Addmod and mulmod. | chriseth | 2015-11-19 | 3 | -0/+20 |
| |/ / | |||||
* | | | Merge pull request #204 from ethereum/hot_gav | Gav Wood | 2015-11-19 | 1 | -2/+4 |
|\ \ \ | |/ / |/| / | |/ | The Big Refactor | ||||
| * | Minor API change - must provide SealEngine to Executive now. | Gav Wood | 2015-11-19 | 1 | -2/+4 |
| | | |||||
* | | Merge pull request #218 from chriseth/fix_overwriteMemory | chriseth | 2015-11-17 | 1 | -3/+13 |
|\ \ | | | | | | | Fix memory overwrite problem for arrays. | ||||
| * | | Fix memory overwrite problem for arrays. | chriseth | 2015-11-17 | 1 | -3/+13 |
| | | | |||||
* | | | Fix dynamic indexed event arguments - applies sha3. | chriseth | 2015-11-17 | 1 | -5/+18 |
|/ / | |||||
* | | Fix problems with statement blocks. | chriseth | 2015-11-11 | 3 | -21/+48 |
| | | |||||
* | | style fix | LianaHus | 2015-11-07 | 2 | -12/+14 |
| | | |||||
* | | style fixes | LianaHus | 2015-11-07 | 3 | -25/+26 |
| | | |||||
* | | fixed test framework | LianaHus | 2015-11-07 | 2 | -10/+8 |
| | | |||||
* | | fix | LianaHus | 2015-11-07 | 3 | -35/+60 |
| | | |||||
* | | fixed return valu for resolver | LianaHus | 2015-11-07 | 2 | -5/+5 |
| | | |||||
* | | added SourceLocations to error reporting for ReferenceResolver | LianaHus | 2015-11-07 | 2 | -15/+18 |
| | | |||||
* | | passed SourceLocations instead of nodes to the error reporting function | LianaHus | 2015-11-07 | 5 | -109/+116 |
| | | |||||
* | | fixed build | LianaHus | 2015-11-07 | 1 | -3/+4 |
| | | |||||
* | | added errors tu ReferencesResolver | LianaHus | 2015-11-07 | 3 | -55/+78 |
|/ | |||||
* | Fix: Cope with non-existing commit hash. | chriseth | 2015-11-03 | 1 | -1/+4 |
| | |||||
* | Bugfix: Returning literal strings in tuples. | chriseth | 2015-11-01 | 2 | -2/+6 |
| | |||||
* | Rename error type. | chriseth | 2015-10-28 | 3 | -4/+4 |
| | |||||
* | Preliminary why3 code output. | chriseth | 2015-10-27 | 7 | -19/+682 |
| | |||||
* | Allow docstrings for statements. | chriseth | 2015-10-27 | 7 | -64/+126 |
| | |||||
* | Fix indent. | chriseth | 2015-10-27 | 1 | -3/+3 |
| | |||||
* | Store docstrings in AST annotations. | chriseth | 2015-10-26 | 11 | -335/+509 |
| | |||||
* | Merge pull request #171 from LianaHus/sol_change_expected_error_in_parser | chriseth | 2015-10-23 | 1 | -3/+19 |
|\ | | | | | Sol change "expected" errors in parser | ||||
| * | more corrections | LianaHus | 2015-10-23 | 1 | -4/+14 |
| | | |||||
| * | modified error msg | LianaHus | 2015-10-23 | 1 | -1/+7 |
| | | |||||
* | | Fix override warning. | chriseth | 2015-10-23 | 1 | -1/+1 |
|/ | |||||
* | File reorganisation. | chriseth | 2015-10-21 | 59 | -144/+150 |
| | |||||
* | Correctly parse ambiguities like `A.B[10] x` and `x.y[10] = 3`. | chriseth | 2015-10-16 | 2 | -27/+60 |
| | |||||
* | Merge pull request #143 from chriseth/loneStructArray | chriseth | 2015-10-16 | 1 | -0/+10 |
|\ | | | | | Fix errors when struct array type is used on its own. | ||||
| * | Fix errors when struct array type is used on its own. | chriseth | 2015-10-16 | 1 | -0/+10 |
| | | |||||
* | | Merge pull request #142 from chriseth/fixWarnings | chriseth | 2015-10-16 | 1 | -1/+1 |
|\ \ | | | | | | | Fix warning. | ||||
| * | | Fix warning. | chriseth | 2015-10-16 | 1 | -1/+1 |
| |/ | |||||
* | | Merge pull request #141 from chriseth/fixExternalTypes | chriseth | 2015-10-16 | 1 | -14/+11 |
|\ \ | | | | | | | Do not include function in interface list if there are errors. | ||||
| * | | Do not include function in interface list if there are errors. | chriseth | 2015-10-16 | 1 | -14/+11 |
| |/ | |||||
* / | Do not catch InternalCompilerErrors as part of fatal error handling. | chriseth | 2015-10-16 | 4 | -9/+15 |
|/ | | | | InternalCompilerErrors always have to end the whole compilation process because a serious inconsistency was detected. | ||||
* | Merge pull request #132 from chriseth/tupleExpression | chriseth | 2015-10-16 | 20 | -105/+532 |
|\ | | | | | Tuple expressions and destructuring assignments | ||||
| * | Fixed indentation. | chriseth | 2015-10-16 | 1 | -2/+3 |
| | | |||||
| * | Some fixes taking other pull requests into account. | chriseth | 2015-10-16 | 1 | -3/+2 |
| | | |||||
| * | MacOS fix. | chriseth | 2015-10-15 | 1 | -2/+2 |
| | | |||||
| * | Fix compiler warnings. | chriseth | 2015-10-15 | 1 | -1/+3 |
| | | |||||
| * | Wildcards. | chriseth | 2015-10-15 | 4 | -30/+29 |
| | | |||||
| * | Destructuring assignments. | chriseth | 2015-10-15 | 10 | -100/+347 |
| | | |||||
| * | Tuple expressions. | chriseth | 2015-10-15 | 14 | -17/+196 |
| | | |||||
* | | Merge pull request #136 from LianaHus/sol_error_types_refuctoring | chriseth | 2015-10-16 | 1 | -9/+3 |
|\ \ | |/ |/| | changed the way of reporting error during contract checking | ||||
| * | changed the way of reporting error during contract checking | LianaHus | 2015-10-16 | 1 | -9/+3 |
| | | |||||
* | | Merge pull request #130 from LefterisJP/dynamic_array_push | chriseth | 2015-10-15 | 3 | -24/+95 |
|\ \ | |/ |/| | Dynamic array push | ||||
| * | push() for byte arrays also properly implemented | Lefteris Karapetsas | 2015-10-15 | 1 | -4/+6 |
| | | |||||
| * | Working implementation of arraypush | Lefteris Karapetsas | 2015-10-15 | 1 | -12/+10 |
| | | | | | | | | | | ByteArrayPush() gets a test but is ignored for now, since there are still some issues with its implementation | ||||
| * | Implement Dynamic array push and fix test | Lefteris Karapetsas | 2015-10-15 | 3 | -17/+72 |
| | | | | | | | | | | Still a work in progress. There is a disturbance in the stack at the moment and that's why there are some cout statements left for debugging. | ||||
| * | WIP - Expression compiler for array push | Lefteris Karapetsas | 2015-10-15 | 1 | -15/+31 |
| | | |||||
* | | missing const | LianaHus | 2015-10-15 | 2 | -2/+2 |
| | | |||||
* | | indent | LianaHus | 2015-10-15 | 1 | -2/+2 |
| | | |||||
* | | added const | LianaHus | 2015-10-15 | 2 | -4/+4 |
| | | |||||
* | | some more style fixes | LianaHus | 2015-10-15 | 5 | -21/+8 |
| | | |||||
* | | style fixes | LianaHus | 2015-10-15 | 2 | -16/+16 |
| | | |||||
* | | style fixes mostly | LianaHus | 2015-10-15 | 4 | -18/+42 |
| | | |||||
* | | removed commit | LianaHus | 2015-10-15 | 1 | -1/+0 |
| | | |||||
* | | mainly style fixes/renaming | LianaHus | 2015-10-15 | 5 | -13/+13 |
| | | |||||
* | | fixed new tests | LianaHus | 2015-10-15 | 3 | -26/+62 |
| | | |||||
* | | fixes error after conflict resolving | LianaHus | 2015-10-15 | 4 | -5/+3 |
| | | |||||
* | | errors instead of exceptions | LianaHus | 2015-10-15 | 10 | -155/+337 |
| | | | | | | | | | | | | | | | | | | Conflicts: libsolidity/CompilerStack.cpp libsolidity/NameAndTypeResolver.cpp libsolidity/NameAndTypeResolver.h libsolidity/TypeChecker.cpp test/libsolidity/SolidityNameAndTypeResolution.cpp | ||||
* | | some fixes | LianaHus | 2015-10-15 | 3 | -4/+8 |
| | | |||||
* | | added Error class for all kind of errors | LianaHus | 2015-10-15 | 12 | -40/+89 |
| | | | | | | | | | | Conflicts: libsolidity/Exceptions.h | ||||
* | | added Error class for all kind of errors | LianaHus | 2015-10-15 | 1 | -3/+3 |
|/ | | | | | | | | Conflicts: libsolidity/Exceptions.h Conflicts: libsolidity/ReferencesResolver.cpp | ||||
* | Some further test fixes. | chriseth | 2015-10-13 | 2 | -25/+35 |
| | |||||
* | Some more tests and typos fixed. | chriseth | 2015-10-13 | 2 | -3/+4 |
| | |||||
* | Multi-variable declarations. | chriseth | 2015-10-13 | 7 | -65/+107 |
| | |||||
* | Introduced tuple type and added multi variable declarations to type | chriseth | 2015-10-10 | 5 | -87/+184 |
| | | | | checker. | ||||
* | Refactoring to allow multi-variable declarations. | chriseth | 2015-10-09 | 7 | -55/+120 |
| | |||||
* | Check invalid integer constants for functions accepting arbitrary arguments. | chriseth | 2015-10-08 | 1 | -4/+10 |
| | |||||
* | Resolve binary dependencies properly. | chriseth | 2015-10-07 | 6 | -20/+68 |
| | |||||
* | Merge pull request #122 from chriseth/anonymousEventsWithFourIndexedParams | chriseth | 2015-10-07 | 1 | -1/+3 |
|\ | | | | | Allow four indexed arguments for anynomous events. | ||||
| * | Allow four indexed arguments for anynomous events. | chriseth | 2015-10-07 | 1 | -1/+3 |
| | | |||||
* | | Merge pull request #118 from chriseth/rejectEtherSentToLibrary | chriseth | 2015-10-07 | 1 | -0/+3 |
|\ \ | |/ |/| | Reject ether sent to library. | ||||
| * | Reject ether sent to library. | chriseth | 2015-10-07 | 1 | -0/+3 |
| | | |||||
* | | Fix boost error. | chriseth | 2015-10-07 | 1 | -11/+12 |
|/ | |||||
* | Add const. | chriseth | 2015-10-06 | 2 | -4/+4 |
| | |||||
* | Compiler version stamp. | chriseth | 2015-10-06 | 6 | -2/+59 |
| | |||||
* | Add structs to library interface. | chriseth | 2015-10-06 | 1 | -6/+29 |
| | |||||
* | Provide access to scoped structs. | chriseth | 2015-10-06 | 7 | -21/+45 |
| | |||||
* | Compute canonical names of types for function signatures. | chriseth | 2015-10-06 | 12 | -39/+145 |
| | |||||
* | Encode storage items correctly for library calls. | chriseth | 2015-10-06 | 2 | -2/+10 |
| | |||||
* | Tests apart from new one work fine. | chriseth | 2015-10-06 | 7 | -38/+50 |
| | |||||
* | Split external type into ecoding and interface type. | chriseth | 2015-10-06 | 7 | -55/+128 |
| | |||||
* | Store small byte arrays and strings in storage in one slot with their | chriseth | 2015-10-02 | 4 | -50/+229 |
| | | | | length. | ||||
* | -fixed the warning printing | LianaHus | 2015-10-02 | 2 | -5/+6 |
| | | | | -style fixes | ||||
* | -added warning case to cl compiler | LianaHus | 2015-10-02 | 1 | -1/+1 |
| | | | | -modified warning msg | ||||
* | removed unnecessary function declaration | LianaHus | 2015-10-02 | 1 | -2/+0 |
| | |||||
* | added warning for noninitialized references in storage. | LianaHus | 2015-10-02 | 3 | -6/+26 |
| | |||||
* | style fixes | LianaHus | 2015-10-02 | 1 | -8/+16 |
| | |||||
* | style fixes | LianaHus | 2015-10-02 | 1 | -12/+31 |
| | |||||
* | Bugfix in calldata unpacker. | chriseth | 2015-10-01 | 2 | -33/+27 |
| | | | | | The offset was not specified correctly if memory activity preceded the unpacker. | ||||
* | Provide types for VariableDeclaration. | chriseth | 2015-09-24 | 3 | -1/+15 |
| | |||||
* | Merge pull request #95 from chriseth/styleCleanup | chriseth | 2015-09-24 | 1 | -39/+95 |
|\ | | | | | Style cleanup. | ||||
| * | Style cleanup. | chriseth | 2015-09-24 | 1 | -39/+95 |
| | | |||||
* | | improved overflow check in memorySize for ArrayType | LianaHus | 2015-09-24 | 1 | -3/+3 |
|/ | |||||
* | Merge pull request #91 from chriseth/literalStringsToStoragePointer | chriseth | 2015-09-24 | 1 | -1/+3 |
|\ | | | | | Literal strings to storage pointer | ||||
| * | Do not allow assignment from literal strings to storage pointers. | chriseth | 2015-09-23 | 1 | -1/+3 |
| | | | | | | | | Fixes #90 | ||||
* | | improved the test | LianaHus | 2015-09-23 | 1 | -2/+3 |
| | | |||||
* | | style fix | LianaHus | 2015-09-23 | 1 | -1/+0 |
| | | |||||
* | | fixed-sized arrays as return type | LianaHus | 2015-09-23 | 4 | -10/+35 |
|/ | | | | | Conflicts: test/libsolidity/SolidityEndToEndTest.cpp | ||||
* | Merge pull request #85 from chriseth/warnings | chriseth | 2015-09-23 | 30 | -1586/+2176 |
|\ | | | | | Support mulitple errors and warnings. | ||||
| * | Style fix. | chriseth | 2015-09-22 | 1 | -1/+2 |
| | | |||||
| * | Build fix for MacOS. | chriseth | 2015-09-22 | 1 | -4/+4 |
| | | |||||
| * | Error formatting. | chriseth | 2015-09-22 | 4 | -36/+38 |
| | | |||||
| * | Refactored annotations. | chriseth | 2015-09-22 | 8 | -45/+186 |
| | | |||||
| * | Refactoring: Check types outside of AST and recover from some errors. | chriseth | 2015-09-22 | 29 | -1587/+2035 |
| | | |||||
* | | Merge pull request #87 from chriseth/fixVersion | chriseth | 2015-09-23 | 1 | -2/+4 |
|\ \ | | | | | | | Add libevmasm version string. | ||||
| * | | Add libevmasm version string. | chriseth | 2015-09-22 | 1 | -2/+4 |
| |/ | |||||
* / | fixed using string as a type for struct member | LianaHus | 2015-09-17 | 2 | -4/+7 |
|/ | |||||
* | Merge pull request #79 from arkpar/cmake | Marek Kotewicz | 2015-09-17 | 1 | -1/+1 |
|\ | | | | | Per project versioning | ||||
| * | per project versioning | arkpar | 2015-09-16 | 1 | -1/+1 |
| | | |||||
* | | style | LianaHus | 2015-09-16 | 1 | -6/+2 |
| | | |||||
* | | style fixes | LianaHus | 2015-09-16 | 3 | -5/+5 |
| | | |||||
* | | throw statement implementation | LianaHus | 2015-09-16 | 13 | -1/+76 |
| | | |||||
* | | removed unneccessary check from ExpresiionCompiler | LianaHus | 2015-09-15 | 1 | -14/+0 |
| | | |||||
* | | style fixes | LianaHus | 2015-09-15 | 1 | -2/+3 |
| | | |||||
* | | fixed conflict mergeing | LianaHus | 2015-09-15 | 1 | -2/+2 |
| | | |||||
* | | - changed implementation | LianaHus | 2015-09-15 | 1 | -36/+53 |
| | | | | | | | | | | | | | | - style fixes Conflicts: libsolidity/AST.cpp | ||||
* | | Update ExpressionCompiler.cpp | LianaHus | 2015-09-15 | 1 | -1/+2 |
| | | | | | | | | | | Conflicts: libsolidity/ExpressionCompiler.cpp | ||||
* | | added compile time check for out of bounds access for ordinary arrays | LianaHus | 2015-09-15 | 1 | -0/+14 |
| | | | | | | | | | | | | | | todo: check for dynamicaly sized arrays Conflicts: libsolidity/ExpressionCompiler.cpp | ||||
* | | Merge pull request #70 from chriseth/sol_libraries2 | chriseth | 2015-09-14 | 3 | -4/+20 |
|\ \ | |/ |/| | Commandline interface for linker. | ||||
| * | Commandline interface for the linker. | chriseth | 2015-09-12 | 2 | -2/+15 |
| | | |||||
| * | Small fixes to the type system concerning libraries. | chriseth | 2015-09-11 | 1 | -2/+5 |
| | | |||||
* | | Merge pull request #66 from chriseth/sol_libraries | chriseth | 2015-09-12 | 15 | -87/+159 |
|\| | | | | | Calling libraries. | ||||
| * | Style. | chriseth | 2015-09-11 | 1 | -1/+2 |
| | | |||||
| * | Possibility to call library functions. | chriseth | 2015-09-11 | 4 | -18/+48 |
| | | |||||
| * | Transition from bytecode to more general linker objects. | chriseth | 2015-09-11 | 7 | -56/+68 |
| | | |||||
| * | Parsing and type checking of libraries without inheritance. | chriseth | 2015-09-11 | 6 | -13/+42 |
| | | |||||
* | | Merge pull request #69 from LianaHus/sol_enum_too_many_indexed_args | chriseth | 2015-09-11 | 1 | -2/+5 |
|\ \ | |/ |/| | too many indexed arguments for event | ||||
| * | add call for EventDefinition::checkTypeRequirements() | LianaHus | 2015-09-11 | 1 | -2/+5 |
| | | |||||
* | | Merge pull request #65 from LianaHus/sol_Creating_a_contract_from_within_itself | chriseth | 2015-09-11 | 2 | -3/+12 |
|\ \ | |/ |/| | Added error when creating a contract from within itself | ||||
| * | style fixes | LianaHus | 2015-09-11 | 1 | -1/+1 |
| | | |||||
| * | added type check if the type of the var decl is one of base contract type | LianaHus | 2015-09-10 | 2 | -3/+12 |
| | | |||||
* | | - added tests to test empty comment | LianaHus | 2015-09-10 | 2 | -4/+7 |
|/ | | | | | - fixed skipSingleLineComment - some style fixes | ||||
* | Stylistic corrections. | chriseth | 2015-09-09 | 1 | -1/+1 |
| | |||||
* | Fix for constant strings. | chriseth | 2015-09-08 | 3 | -6/+28 |
| | |||||
* | Merge pull request #41 from LianaHus/sol_rename_getters | chriseth | 2015-09-08 | 37 | -1418/+1444 |
|\ | | | | | solidity interface changes. removing get prefix | ||||
| * | - renamed AST to ast and ABI to abi | LianaHus | 2015-09-08 | 7 | -16/+23 |
| | | | | | | | | - style fixes | ||||
| * | removed get prefix | LianaHus | 2015-09-08 | 11 | -37/+49 |
| | | | | | | | | style fixes | ||||
| * | renamed getter functions | LianaHus | 2015-09-08 | 35 | -1391/+1398 |
| | | |||||
* | | changes required to compile solidity in a single project | debris | 2015-09-01 | 1 | -4/+1 |
|/ | |||||
* | Merge pull request #24 from LianaHus/sol_fix_error_check | Gav Wood | 2015-08-27 | 1 | -1/+1 |
|\ | | | | | added check for having type in VariableDeclaration::checkTypeRequirem… | ||||
| * | added check for having type in VariableDeclaration::checkTypeRequirements() | LianaHus | 2015-08-24 | 1 | -1/+1 |
| | | |||||
* | | client refactor | debris | 2015-08-27 | 1 | -4/+1 |
| | | |||||
* | | Merge pull request #26 from arkpar/cmake | Marek Kotewicz | 2015-08-24 | 1 | -6/+3 |
|\ \ | |/ |/| | Refactored CMakeLists for new module system | ||||
| * | Refactoreed CMakeLists for new module system | arkpar | 2015-08-24 | 1 | -6/+3 |
| | | |||||
* | | Merge pull request #22 from LianaHus/sol_accessors_for_const_state_var | chriseth | 2015-08-22 | 5 | -4/+24 |
|\ \ | | | | | | | fixed the issue with accessors for constant state variables | ||||
| * | | add tests for state variables accessors. normal and constant | LianaHus | 2015-08-21 | 5 | -4/+24 |
| |/ | | | | | | | fixed the issue with accessors for constant state variables | ||||
* / | Propagate exceptions in clone calls. | chriseth | 2015-08-21 | 1 | -0/+3 |
|/ | |||||
* | Merge pull request #7 from chriseth/moreInfoForCommandlineOptions | Gav Wood | 2015-08-20 | 1 | -1/+1 |
|\ | | | | | More information for help screen, some fixes for argument parsing. | ||||
| * | More information for help screen, some fixes for argument parsing. | chriseth | 2015-08-20 | 1 | -1/+1 |
| | | |||||
* | | Modularise CMakeLists files and integrate tests. | chriseth | 2015-08-20 | 1 | -6/+6 |
|/ | |||||
* | include Version.h under libsolidity | Lefteris Karapetsas | 2015-08-19 | 1 | -1/+1 |
| | |||||
* | Add CMakeLists.txt for libsolidity | Lefteris Karapetsas | 2015-08-19 | 51 | -0/+18332 |