Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Catch exception in Z3. | chriseth | 2017-10-18 | 1 | -18/+27 |
| | | | | | Note: This exception might not be the result of resource limitation, it might also hint towards usage error. | ||||
* | Remove duplicate >= in Z3 | Alex Beregszaszi | 2017-10-18 | 1 | -2/+1 |
| | |||||
* | Missing forward declaration. | chriseth | 2017-10-18 | 1 | -0/+1 |
| | |||||
* | Rename variables in SMT checker. | chriseth | 2017-10-18 | 2 | -11/+11 |
| | |||||
* | Allocate one byte per memory byte array element instead of 32. | chriseth | 2017-10-17 | 1 | -2/+9 |
| | |||||
* | Improve Z3 message in cmake | Alex Beregszaszi | 2017-10-13 | 1 | -2/+2 |
| | |||||
* | Force interface functions as external (0.5.0) | Alex Beregszaszi | 2017-10-06 | 1 | -2/+10 |
| | |||||
* | Remove obsolete createTypeError in AST | Alex Beregszaszi | 2017-10-06 | 3 | -12/+1 |
| | |||||
* | Use the proper error reporting interface in ConstantEvaluator | Alex Beregszaszi | 2017-10-06 | 3 | -7/+13 |
| | |||||
* | Require location keyword for local variables (0.5.0) | Alex Beregszaszi | 2017-10-06 | 1 | -5/+13 |
| | |||||
* | Merge pull request #2981 from ethereum/no-address-overload | chriseth | 2017-10-05 | 1 | -2/+5 |
|\ | | | | | Do not add members of address to contracts in experimental 0.5.0 | ||||
| * | Do not add members of address to contracts in experimental 0.5.0 | Alex Beregszaszi | 2017-10-05 | 1 | -2/+5 |
| | | |||||
* | | Merge pull request #3020 from ethereum/smt-functioncall | Alex Beregszaszi | 2017-10-05 | 1 | -0/+10 |
|\ \ | | | | | | | SMT should not crash on special function calls (typecast) | ||||
| * | | SMT should not crash on typecast/structs | Alex Beregszaszi | 2017-10-05 | 1 | -0/+10 |
| | | | |||||
* | | | Merge pull request #2982 from ethereum/encoderFixes | Alex Beregszaszi | 2017-10-05 | 2 | -25/+18 |
|\ \ \ | |_|/ |/| | | ABI encoder fixes and test. | ||||
| * | | Rename "compacted" to "fromStack". | chriseth | 2017-10-04 | 2 | -22/+18 |
| | | | |||||
| * | | ABI encoder fixes and test. | chriseth | 2017-09-27 | 1 | -5/+2 |
| | | | |||||
* | | | Merge pull request #3029 from ethereum/tanwisgas | Alex Beregszaszi | 2017-10-05 | 1 | -0/+3 |
|\ \ \ | | | | | | | | | Send all gas for 0.5.0. | ||||
| * | | | Send all gas for 0.5.0. | chriseth | 2017-10-05 | 1 | -0/+3 |
| | |/ | |/| | |||||
* | | | Merge pull request #2968 from ethereum/calldataencodedsize | chriseth | 2017-10-05 | 1 | -0/+3 |
|\ \ \ | | | | | | | | | Add some asserts about calldata encoded size. | ||||
| * | | | Add some asserts about calldata encoded size. | chriseth | 2017-10-04 | 1 | -0/+3 |
| | | | | |||||
* | | | | Merge pull request #2901 from ethereum/compiler-names | chriseth | 2017-10-05 | 3 | -1/+40 |
|\ \ \ \ | | | | | | | | | | | Provide optional list of contract names to CompilerStack.compile | ||||
| * | | | | Restrict contracts compiled via outputSelection (but not the individual ↵ | Alex Beregszaszi | 2017-10-05 | 1 | -0/+19 |
| | | | | | | | | | | | | | | | | | | | | output details) | ||||
| * | | | | Provide optional list of contract names to CompilerStack.compile | Alex Beregszaszi | 2017-10-05 | 2 | -1/+21 |
| | |/ / | |/| | | |||||
* / | | | Do not consider shadowing in variable names inside event declarations | Federico Bond | 2017-10-05 | 1 | -2/+4 |
|/ / / | |||||
* | | | Merge pull request #2962 from ethereum/optionalDebugInfoAsm | chriseth | 2017-10-04 | 1 | -5/+16 |
|\ \ \ | | | | | | | | | Debugging info in CompilerContext. | ||||
| * | | | Debugging info in CompilerContext. | chriseth | 2017-10-04 | 1 | -5/+16 |
| | | | | |||||
* | | | | Merge pull request #3022 from ethereum/assert | Alex Beregszaszi | 2017-10-04 | 3 | -3/+3 |
|\ \ \ \ | | | | | | | | | | | Use solAssert and not assert | ||||
| * | | | | Use solAssert and not assert | Alex Beregszaszi | 2017-10-04 | 3 | -3/+3 |
| | | | | | |||||
* | | | | | Merge pull request #2990 from ethereum/someMoreSMTStuff | chriseth | 2017-10-04 | 1 | -7/+0 |
|\ \ \ \ \ | |/ / / / |/| | | | | Basic SMT tests. | ||||
| * | | | | Remove leftover couts. | chriseth | 2017-09-29 | 1 | -7/+0 |
| | | | | | |||||
* | | | | | Better error message when using fractional number as array size expressions | wadeAlexC | 2017-10-04 | 1 | -2/+3 |
| | | | | | |||||
* | | | | | Disallow non-pure constant state variables in 0.5.0 | Federico Bond | 2017-10-03 | 1 | -5/+14 |
| | | | | | |||||
* | | | | | Merge pull request #2997 from federicobond/duplicate-events | Alex Beregszaszi | 2017-10-03 | 2 | -5/+27 |
|\ \ \ \ \ | | | | | | | | | | | | | Emit error when declaring event with same name and arguments twice | ||||
| * | | | | | Extract duplicate function or event finding logic | Federico Bond | 2017-09-30 | 2 | -37/+14 |
| | | | | | | |||||
| * | | | | | Emit error when declaring event with same name and arguments twice | Federico Bond | 2017-09-30 | 2 | -0/+45 |
| | | | | | | |||||
* | | | | | | Add helpers for isPush/isDup/isSwap | Alex Beregszaszi | 2017-10-02 | 1 | -3/+3 |
|/ / / / / | |||||
* | | | | | Unary + now a synax error (experimental 0.5.0) | Rhett Aultman | 2017-09-30 | 1 | -1/+8 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The unary + was deprecated with a warning, but will be elevated to an error in 0.5.0. This adds the syntax error for the 0.5.0 pragma, and for a true 0.5.0 release we should consider removing the operator from the parser. | ||||
* | | | | | Validate array length in type checker | Alex Beregszaszi | 2017-09-29 | 1 | -1/+1 |
|/ / / / | |||||
* | | | | Pull out helper to apply address member to contract members | Alex Beregszaszi | 2017-09-28 | 2 | -4/+10 |
| | | | | |||||
* | | | | Simplify address overloading | Alex Beregszaszi | 2017-09-28 | 2 | -30/+39 |
| | | | | |||||
* | | | | Fix overload resolution when conflict is with members of address (balance, ↵ | Alex Beregszaszi | 2017-09-28 | 1 | -6/+28 |
| | | | | | | | | | | | | | | | | transfer, etc) | ||||
* | | | | Merge pull request #2986 from ethereum/fixsourcelocationofvariabledecsatement | Alex Beregszaszi | 2017-09-28 | 1 | -0/+1 |
|\ \ \ \ | | | | | | | | | | | Fix source location of VariableDeclarationStatement. | ||||
| * | | | | Fix source location of VariableDeclarationStatement. | chriseth | 2017-09-28 | 1 | -0/+1 |
| | |_|/ | |/| | | |||||
* / | | | Better readable encoder assembly. | chriseth | 2017-09-27 | 1 | -6/+28 |
|/ / / | |||||
* | | | Merge pull request #2975 from ethereum/encode-memory | Alex Beregszaszi | 2017-09-27 | 4 | -22/+45 |
|\ \ \ | | | | | | | | | Split encodeToMemory into packedEncode and abiEncode | ||||
| * | | | Split encodeToMemory to packedEncode and abiEncode | Alex Beregszaszi | 2017-09-27 | 4 | -18/+41 |
| | | | | |||||
| * | | | Make most of the parameters mandatory in encodeToMemory | Alex Beregszaszi | 2017-09-27 | 2 | -6/+6 |
| | | | | |||||
* | | | | Order GlobalContext entries | Alex Beregszaszi | 2017-09-27 | 1 | -13/+13 |
| | | | | |||||
* | | | | Format GlobalContext for readability | Alex Beregszaszi | 2017-09-27 | 1 | -42/+25 |
|/ / / | |||||
* | | | Merge pull request #2978 from ethereum/infer-location | chriseth | 2017-09-27 | 1 | -1/+1 |
|\ \ \ | | | | | | | | | Report correct location for inferred types in packed encoding | ||||
| * | | | Report correct location for inferred types in packed encoding | Alex Beregszaszi | 2017-09-27 | 1 | -1/+1 |
| | |/ | |/| | |||||
* / | | Ensure that address types are always declared as 160bit | Alex Beregszaszi | 2017-09-27 | 5 | -14/+14 |
|/ / | |||||
* | | Merge pull request #2934 from ethereum/fallthrough | chriseth | 2017-09-26 | 2 | -53/+56 |
|\ \ | |/ |/| | Remove last two instances of switch fall-through | ||||
| * | Simplify switch statements by refactoring internal break statements | Alex Beregszaszi | 2017-09-25 | 2 | -24/+24 |
| | | |||||
| * | Avoid switch fallthrough in ExpressionCompiler | Alex Beregszaszi | 2017-09-25 | 1 | -26/+32 |
| | | |||||
| * | Avoid switch fallthrough in CompilerUtils | Alex Beregszaszi | 2017-09-25 | 1 | -6/+3 |
| | | |||||
* | | Better error message for unexpected trailing comma in parameter lists | wadeAlexC | 2017-09-25 | 1 | -0/+2 |
|/ | |||||
* | More verbose errors for generated assembly. | chriseth | 2017-09-22 | 1 | -2/+18 |
| | |||||
* | Merge pull request #2902 from ethereum/warn-obsolete | chriseth | 2017-09-21 | 1 | -0/+8 |
|\ | | | | | Warn about obsolete sha3/suicide calls | ||||
| * | Warn about obsolete sha3/suicide calls | Alex Beregszaszi | 2017-09-19 | 1 | -0/+8 |
| | | |||||
* | | Limit parser recursion depth further (needed by increased assembly data ↵ | Alex Beregszaszi | 2017-09-20 | 1 | -1/+1 |
| | | | | | | | | structure size) | ||||
* | | Support multiple assignment in inline assembly | Alex Beregszaszi | 2017-09-20 | 4 | -6/+56 |
| | | |||||
* | | Mark functions static | Alex Beregszaszi | 2017-09-20 | 4 | -14/+14 |
| | | |||||
* | | Mark constructors explicit | Alex Beregszaszi | 2017-09-20 | 1 | -1/+1 |
| | | |||||
* | | Ensure parameter names match between headers and implementation | Alex Beregszaszi | 2017-09-20 | 5 | -14/+14 |
|/ | |||||
* | Allow constant byte arrays. | chriseth | 2017-09-19 | 1 | -1/+1 |
| | |||||
* | Merge pull request #2910 from ethereum/fallback-restrict-external | chriseth | 2017-09-18 | 1 | -0/+5 |
|\ | | | | | Force fallback to be external (experimental 0.5.0 change) | ||||
| * | Force fallback to be external (experimental 0.5.0 change) | Alex Beregszaszi | 2017-09-18 | 1 | -0/+5 |
| | | |||||
* | | Check for interface types of members and cache recursion check. | chriseth | 2017-09-16 | 2 | -21/+48 |
| | | |||||
* | | Use "tuple" for struct types in ABI JSON. | chriseth | 2017-09-16 | 1 | -1/+1 |
| | | | | | | | | Only use tuple as a type in the ABI (and remove all "anonymous struct" references too) | ||||
* | | Implement struct encoder. | chriseth | 2017-09-16 | 5 | -8/+141 |
| | | |||||
* | | Fix tests. | chriseth | 2017-09-16 | 2 | -2/+2 |
| | | |||||
* | | Structure type json using "components". | chriseth | 2017-09-16 | 1 | -8/+8 |
| | | |||||
* | | Fix interface type conversion internal to structs. | chriseth | 2017-09-16 | 2 | -2/+8 |
| | | |||||
* | | Function signatures containing structs. | chriseth | 2017-09-16 | 3 | -39/+84 |
| | | |||||
* | | Update tests and error messages. | chriseth | 2017-09-16 | 1 | -1/+1 |
| | | |||||
* | | Check for recursive structs. | chriseth | 2017-09-16 | 3 | -4/+33 |
| | | |||||
* | | Allow structs as part of function interfaces. | chriseth | 2017-09-16 | 3 | -10/+54 |
|/ | |||||
* | Move ABI encoder into its own function. | chriseth | 2017-09-16 | 5 | -66/+82 |
| | |||||
* | Named assembly labels. | chriseth | 2017-09-16 | 5 | -18/+24 |
| | |||||
* | Merge pull request #2904 from ethereum/viewPure5 | Alex Beregszaszi | 2017-09-15 | 2 | -11/+24 |
|\ | | | | | Enforce view with error for experimental 0.5.0. | ||||
| * | Enforce view with error for experimental 0.5.0. | chriseth | 2017-09-14 | 2 | -11/+24 |
| | | |||||
* | | Warn if no visibility is specified on contract functions. | Alex Beregszaszi | 2017-09-14 | 3 | -1/+15 |
|/ | |||||
* | Add experimental feature 'v0.5.0' | Alex Beregszaszi | 2017-09-14 | 1 | -0/+2 |
| | |||||
* | Merge pull request #2473 from ethereum/functiontype-sig | Alex Beregszaszi | 2017-09-14 | 2 | -1/+13 |
|\ | | | | | Add .selector member on function types | ||||
| * | Rename .sig to .selector on function types | Alex Beregszaszi | 2017-09-13 | 2 | -2/+2 |
| | | |||||
| * | Add sig member on function type | Alex Beregszaszi | 2017-09-13 | 2 | -1/+13 |
| | | |||||
* | | Merge pull request #2848 from ethereum/checkViewPure | chriseth | 2017-09-14 | 10 | -4/+414 |
|\ \ | | | | | | | Enforce view and pure. | ||||
| * | | Minor changes from review. | chriseth | 2017-09-13 | 1 | -9/+3 |
| | | | |||||
| * | | Rename to invalidInPureFunctions | chriseth | 2017-09-13 | 1 | -1/+1 |
| | | | |||||
| * | | Allow constant variables in pure functions. | chriseth | 2017-09-06 | 1 | -1/+1 |
| | | | |||||
| * | | Rename and add anonymous namespace. | chriseth | 2017-09-06 | 1 | -1/+4 |
| | | | |||||
| * | | Fix tests | chriseth | 2017-09-06 | 1 | -5/+8 |
| | | | |||||
| * | | Tone down error message. | chriseth | 2017-09-06 | 1 | -2/+2 |
| | | | |||||
| * | | Modifier invocation can be base constructor call | chriseth | 2017-09-06 | 1 | -5/+7 |
| | | | |||||
| * | | Analyze assembly. | chriseth | 2017-09-06 | 2 | -11/+88 |
| | | | |||||
| * | | Do not report on overriding function and only warn for view. | chriseth | 2017-09-06 | 1 | -12/+19 |
| | | | |||||
| * | | Store super function. | chriseth | 2017-09-06 | 4 | -0/+8 |
| | | | |||||
| * | | Remove previous warning about pureness not being enforced. | chriseth | 2017-09-06 | 1 | -2/+0 |
| | | | |||||
| * | | View-pure checker. | chriseth | 2017-09-06 | 5 | -2/+320 |
| | | | |||||
* | | | Limit each duplicate declaration error to 32 references | Alex Beregszaszi | 2017-09-13 | 1 | -2/+20 |
| |/ |/| | |||||
* | | Merge pull request #2852 from ssuman/develop | chriseth | 2017-09-12 | 1 | -1/+10 |
|\ \ | | | | | | | This commit will display warning when there is unused function parameter | ||||
| * | | Display helpful warning for unused function arguments/return parameters | Suman | 2017-09-12 | 1 | -1/+10 |
| | | | |||||
* | | | Do not report overload conflicts for every line excessively | Alex Beregszaszi | 2017-09-12 | 1 | -1/+5 |
|/ / | |||||
* | | Merge pull request #2888 from ethereum/same-declaration-error | Alex Beregszaszi | 2017-09-12 | 1 | -10/+12 |
|\ \ | | | | | | | Use secondary source location as a vector in same declaration errors | ||||
| * | | Use secondary source location as a vector in same declaration errors | Alex Beregszaszi | 2017-09-12 | 1 | -10/+12 |
| | | | |||||
* | | | Merge pull request #2887 from ethereum/missing-functions-list | chriseth | 2017-09-12 | 1 | -5/+7 |
|\ \ \ | | | | | | | | | Show each unimplemented function in secondary source location | ||||
| * | | | Show each unimplemented function in secondary source location | Alex Beregszaszi | 2017-09-12 | 1 | -5/+7 |
| |/ / | |||||
* | | | Merge pull request #2853 from ethereum/cleanup-asm-stream | chriseth | 2017-09-12 | 6 | -21/+38 |
|\ \ \ | |/ / |/| | | Split out the JSON functionality from assembly.stream() | ||||
| * | | Introduce assemblyString | Alex Beregszaszi | 2017-09-11 | 6 | -17/+12 |
| | | | |||||
| * | | Do not return the stream in asssemblyStream | Alex Beregszaszi | 2017-09-11 | 4 | -8/+7 |
| | | | |||||
| * | | Split out the JSON functionality from assembly.stream() | Alex Beregszaszi | 2017-09-11 | 6 | -14/+37 |
| |/ | |||||
* / | Do not show the same error multiple times for events | Alex Beregszaszi | 2017-09-12 | 1 | -4/+4 |
|/ | |||||
* | Change array too large error message as it is valid for non-calldata too | Alex Beregszaszi | 2017-09-06 | 1 | -1/+1 |
| | |||||
* | Merge pull request #2860 from ethereum/noparamsfordefaulted | Alex Beregszaszi | 2017-08-31 | 1 | -4/+4 |
|\ | | | | | Remove parameter names for defaulted functions. | ||||
| * | Remove parameter names for defaulted functions. | chriseth | 2017-08-31 | 1 | -4/+4 |
| | | |||||
* | | Use Json::valueToQuotedString directly | Alex Beregszaszi | 2017-08-29 | 1 | -4/+2 |
| | | |||||
* | | Remove escape function. | chriseth | 2017-08-29 | 1 | -3/+11 |
|/ | |||||
* | Merge pull request #2847 from ethereum/codegen-docs | Alex Beregszaszi | 2017-08-29 | 3 | -1/+25 |
|\ | | | | | Document more of the codegen features | ||||
| * | Document more of the codegen features | Alex Beregszaszi | 2017-08-29 | 3 | -1/+25 |
| | | |||||
* | | Merge pull request #2833 from ethereum/statemutability-builtins | chriseth | 2017-08-29 | 5 | -22/+24 |
|\ \ | | | | | | | Mark all built in functions with appropriate statemutability | ||||
| * | | Swap declaration/statemutability in FunctionType constructor | Alex Beregszaszi | 2017-08-29 | 4 | -11/+8 |
| | | | |||||
| * | | Mark all built in functions with appropriate statemutability | Alex Beregszaszi | 2017-08-29 | 3 | -12/+17 |
| | | | |||||
* | | | Move all file specific globals to anonymous namespace | Alex Beregszaszi | 2017-08-29 | 2 | -0/+10 |
| |/ |/| | |||||
* | | Include all overloaded events in ABI | Alex Beregszaszi | 2017-08-29 | 1 | -2/+10 |
|/ | |||||
* | Mark event non-payable and not view | Alex Beregszaszi | 2017-08-28 | 1 | -2/+6 |
| | |||||
* | Merge pull request #2835 from ethereum/compilerstack-docs | Alex Beregszaszi | 2017-08-28 | 1 | -5/+7 |
|\ | | | | | Reorder some methods in CompilerStack for readability | ||||
| * | Reorder some methods in CompilerStack for readability | Alex Beregszaszi | 2017-08-28 | 1 | -5/+7 |
| | | |||||
* | | Merge pull request #2834 from ethereum/fixTypeNameParsing | Alex Beregszaszi | 2017-08-28 | 1 | -1/+4 |
|\ \ | |/ |/| | Crash fix, parseTypeName can return null. | ||||
| * | Crash fix, parseTypeName can return null. | chriseth | 2017-08-28 | 1 | -1/+4 |
| | | |||||
* | | Merge pull request #2825 from ethereum/contract-unused-natspec | chriseth | 2017-08-28 | 3 | -33/+0 |
|\ \ | |/ |/| | Removed unused natspec members of ContractDefinition | ||||
| * | Removed unused natspec members of ContractDefinition | Alex Beregszaszi | 2017-08-26 | 3 | -33/+0 |
| | | |||||
* | | Merge pull request #2821 from ethereum/errorreporter-copy | Alex Beregszaszi | 2017-08-26 | 1 | -0/+3 |
|\ \ | |/ |/| | Add copy constructor to ErrorReporter (since it has assignment operator) | ||||
| * | Add copy constructor to ErrorReporter (since it has assignment operator) | Alex Beregszaszi | 2017-08-25 | 1 | -0/+3 |
| | | |||||
* | | Merge pull request #2819 from ethereum/compilerstack-typecheck | chriseth | 2017-08-26 | 1 | -19/+5 |
|\ \ | | | | | | | Simplify typechecking loop in compilerstack | ||||
| * | | Do not create a new TypeChecker instance for every contract | Alex Beregszaszi | 2017-08-25 | 1 | -3/+1 |
| | | | |||||
| * | | Attach natspec before type checking | Alex Beregszaszi | 2017-08-25 | 1 | -6/+4 |
| | | | |||||
| * | | Remove duplicate work from CompilerStack.analyze() | Alex Beregszaszi | 2017-08-25 | 1 | -10/+0 |
| | | | |||||
* | | | Merge pull request #2820 from ethereum/fallthrough | chriseth | 2017-08-26 | 4 | -6/+8 |
|\ \ \ | | | | | | | | | Fix some other fallthrough cases | ||||
| * | | | Move the break in switch for readability | Alex Beregszaszi | 2017-08-25 | 1 | -3/+3 |
| | | | | |||||
| * | | | Mark to places fall-through | Alex Beregszaszi | 2017-08-25 | 2 | -0/+2 |
| | | | | |||||
| * | | | Remove fallthrough from ArrayUtils | Alex Beregszaszi | 2017-08-25 | 1 | -3/+3 |
| | |/ | |/| | |||||
* | | | Merge pull request #2813 from ethereum/tightpack-warn | Alex Beregszaszi | 2017-08-25 | 1 | -0/+22 |
|\ \ \ | |/ / |/| | | Warn on using literals in tight packing | ||||
| * | | Warn on using literals in tight packing | Alex Beregszaszi | 2017-08-25 | 1 | -0/+22 |
| | | | |||||
* | | | Merge pull request #2815 from ethereum/parser-fallthrough | Alex Beregszaszi | 2017-08-25 | 2 | -9/+14 |
|\ \ \ | |_|/ |/| | | Remove fallthrough from literal parsing | ||||
| * | | Remove two other fall-through cases in Parser | Alex Beregszaszi | 2017-08-25 | 2 | -3/+5 |
| | | | |||||
| * | | Remove fallthrough from literal parsing | Alex Beregszaszi | 2017-08-25 | 1 | -6/+9 |
| |/ | |||||
* / | Cleanup of Common.h | chriseth | 2017-08-25 | 1 | -0/+1 |
|/ | |||||
* | Remove unused statements from the Natspec headers | Alex Beregszaszi | 2017-08-25 | 2 | -28/+1 |
| | |||||
* | Reorder ABI for readability | Alex Beregszaszi | 2017-08-25 | 1 | -9/+10 |
| | |||||
* | Rename statemutability to stateMutability in ABI/AST | Alex Beregszaszi | 2017-08-24 | 2 | -5/+5 |
| | |||||
* | Consider pure as constant for the AST JSON (to aid static analyzers) | Alex Beregszaszi | 2017-08-24 | 1 | -2/+2 |
| | |||||
* | Introduce pure specifier on functions | Alex Beregszaszi | 2017-08-24 | 5 | -4/+10 |
| | |||||
* | Merge pull request #2770 from ethereum/recursionInAsm | chriseth | 2017-08-24 | 5 | -39/+44 |
|\ | | | | | Also prevent too much recursion in the assembly parser. | ||||
| * | Reduce max recursion depth. | chriseth | 2017-08-22 | 1 | -1/+1 |
| | | |||||
| * | Check recursion depth in assembly parser. | chriseth | 2017-08-22 | 5 | -39/+44 |
| | | |||||
* | | Review changes. | chriseth | 2017-08-23 | 5 | -24/+24 |
| | | |||||
* | | Use experimental feature pragma for SMT checker. | chriseth | 2017-08-23 | 2 | -6/+4 |
| | | |||||
* | | Partial support for if statements. | chriseth | 2017-08-23 | 4 | -16/+128 |
| | | |||||
* | | Format numbers more nicely. | chriseth | 2017-08-23 | 1 | -11/+25 |
| | | |||||
* | | Refactor Z3 read callback. | chriseth | 2017-08-23 | 6 | -133/+46 |
| | | |||||
* | | Rename read file callback. | chriseth | 2017-08-23 | 8 | -20/+23 |
| | | |||||
* | | Introduce native Z3 support. | chriseth | 2017-08-23 | 2 | -0/+244 |
| | | |||||
* | | Insert abstraction layer. | chriseth | 2017-08-23 | 5 | -148/+225 |
| | | |||||
* | | Prepare build system for Z3. | chriseth | 2017-08-23 | 2 | -1/+18 |
| | | |||||
* | | Cleanup. | chriseth | 2017-08-23 | 9 | -716/+686 |
| | | |||||
* | | Use file to communicate with z3. | chriseth | 2017-08-23 | 3 | -14/+274 |
| | | |||||
* | | Rewrite using SMTLIB2 interface. | chriseth | 2017-08-23 | 4 | -63/+233 |
| | | |||||
* | | z3 conditions | chriseth | 2017-08-23 | 7 | -1/+646 |
| | | |||||
* | | Merge pull request #2757 from ethereum/cmake | Alex Beregszaszi | 2017-08-23 | 1 | -21/+4 |
|\ \ | | | | | | | Static linking | ||||
| * | | CMake: Cleanup "local" include path | Paweł Bylica | 2017-08-23 | 1 | -1/+0 |
| | | | |||||
| * | | CMake: Remove libsolidity <- boost::regex dependency | Paweł Bylica | 2017-08-21 | 1 | -1/+1 |
| | | | |||||
| * | | CMake: Make libs dependencies explicit | Paweł Bylica | 2017-08-21 | 1 | -1/+1 |
| | | | |||||
| * | | CMake: Simplify libsolidity config | Paweł Bylica | 2017-08-18 | 1 | -19/+5 |
| | | | |||||
| * | | CMake: Build static libs by default | Paweł Bylica | 2017-08-18 | 1 | -2/+0 |
| | | | |||||
* | | | Merge pull request #2656 from ethereum/performance1 | chriseth | 2017-08-23 | 2 | -21/+31 |
|\ \ \ | | | | | | | | | Avoid some Json copy operations. | ||||
| * | | | Create children node in ASTJsonConverter when neccesary | Alex Beregszaszi | 2017-08-21 | 1 | -0/+8 |
| | | | | |||||
| * | | | Avoid some Json copy operations. | chriseth | 2017-08-21 | 2 | -21/+23 |
| | | | | |||||
* | | | | Introduce view (and keep constant as an alias) | Alex Beregszaszi | 2017-08-23 | 5 | -5/+8 |
| | | | | |||||
* | | | | Merge pull request #2775 from ethereum/coverity | chriseth | 2017-08-22 | 2 | -5/+4 |
|\ \ \ \ | | | | | | | | | | | Fix some issues found by Coverity | ||||
| * | | | | Some smaller issues found by Covertiy Scan | Alex Beregszaszi | 2017-08-22 | 2 | -5/+4 |
| | | | | | |||||
* | | | | | Merge pull request #2776 from ethereum/removeVisitsToAbstractASTNode | Alex Beregszaszi | 2017-08-22 | 7 | -40/+2 |
|\ \ \ \ \ | |/ / / / |/| | | | | Remove visits to abstract AST class TypeName. | ||||
| * | | | | Remove visits to abstract AST class TypeName. | chriseth | 2017-08-22 | 7 | -40/+2 |
| | |_|/ | |/| | | |||||
* | | | | Merge pull request #2734 from ethereum/reject-create-interface | Alex Beregszaszi | 2017-08-22 | 2 | -1/+10 |
|\ \ \ \ | |/ / / |/| | | | Reject the creation of interface with the new statement | ||||
| * | | | Check inheritance specifier arguments for interfaces. | chriseth | 2017-08-22 | 1 | -5/+5 |
| | | | | |||||
| * | | | Reject the creation of interface with the new statement | Alex Beregszaszi | 2017-08-22 | 2 | -0/+9 |
| | | | | |||||
* | | | | Mark a lot of functions static (where possible) | Alex Beregszaszi | 2017-08-22 | 4 | -6/+6 |
| | | | | |||||
* | | | | Mark appropriate constructors explicit | Alex Beregszaszi | 2017-08-22 | 9 | -10/+10 |
| | | | | |||||
* | | | | Mark a lot of functions const (where possible) | Alex Beregszaszi | 2017-08-22 | 14 | -23/+23 |
| | | | | |||||
* | | | | Set variable to nullptr in ASTPrinter | Alex Beregszaszi | 2017-08-22 | 1 | -1/+1 |
|/ / / | |||||
* | | | Merge pull request #2773 from ethereum/usingForWithoutLibrary | Alex Beregszaszi | 2017-08-22 | 1 | -1/+1 |
|\ \ \ | |/ / |/| | | Fix crash related to ``using for`` without a library. | ||||
| * | | Fix crash related to ``using for`` without a library. | chriseth | 2017-08-21 | 1 | -1/+1 |
| | | | |||||
* | | | Merge pull request #2771 from ethereum/unused-includes | Alex Beregszaszi | 2017-08-21 | 2 | -3/+0 |
|\ \ \ | |/ / |/| | | Remove some unused includes | ||||
| * | | Remove some unused includes | Alex Beregszaszi | 2017-08-21 | 2 | -3/+0 |
| |/ | |||||
* | | Merge pull request #2748 from ethereum/natspec | chriseth | 2017-08-21 | 3 | -38/+38 |
|\ \ | | | | | | | Remove DocumentationType from natspec | ||||
| * | | Remove DocumentationType from natspec | Alex Beregszaszi | 2017-08-16 | 3 | -38/+38 |
| | | | |||||
* | | | Merge branch 'develop' into library-constructor | chriseth | 2017-08-21 | 2 | -0/+23 |
|\ \ \ | |||||
| * | | | Be more strict about number literals in assembly. | chriseth | 2017-08-21 | 2 | -0/+23 |
| | |/ | |/| | |||||
* / | | Library cannot have constructors | Alex Beregszaszi | 2017-08-21 | 1 | -0/+3 |
|/ / | |||||
* | | Remove isDeclaredConst() from functions | Alex Beregszaszi | 2017-08-17 | 3 | -5/+3 |
| | | |||||
* | | Add statemutability to AST JSON | Alex Beregszaszi | 2017-08-17 | 1 | -0/+2 |
| | | |||||
* | | Use state mutability in override error messages | Alex Beregszaszi | 2017-08-17 | 1 | -11/+10 |
| | | |||||
* | | Use state mutability in fallback/constructor check | Alex Beregszaszi | 2017-08-17 | 1 | -4/+14 |
| | | |||||
* | | FunctionType comparison/identifer to support all statemutability levels | Alex Beregszaszi | 2017-08-17 | 1 | -10/+4 |
| | | |||||
* | | Warn about shift of literals. | chriseth | 2017-08-16 | 1 | -2/+3 |
|/ | |||||
* | Add statemutability field to the ABI | Alex Beregszaszi | 2017-08-15 | 1 | -0/+3 |
| | |||||
* | Prevent too deep recursion in parser. | chriseth | 2017-08-15 | 2 | -0/+82 |
| | |||||
* | Merge pull request #2704 from ethereum/newEncoder | chriseth | 2017-08-14 | 9 | -14/+1302 |
|\ | | | | | New ABI encoder | ||||
| * | Experimental feature switch for ABI encoder. | chriseth | 2017-08-14 | 4 | -4/+16 |
| | | |||||
| * | Remove unused magic global feature. | chriseth | 2017-08-14 | 2 | -10/+2 |
| | | |||||
| * | Interface for new ABI encoder. | chriseth | 2017-08-14 | 2 | -0/+40 |
| | | |||||
| * | New ABI encoder. | chriseth | 2017-08-14 | 2 | -0/+1246 |
| | | |||||
| * | Allow multi-dimensional arrays in interfaces. | chriseth | 2017-08-14 | 1 | -2/+0 |
| | | |||||
* | | Remove constant/payable in all function types | Alex Beregszaszi | 2017-08-14 | 3 | -31/+16 |
| | | |||||
* | | Remove useless payable & constant typecheck | Alex Beregszaszi | 2017-08-14 | 1 | -2/+0 |
| | | |||||
* | | Replace constant/payable with StateMutability in AST | Alex Beregszaszi | 2017-08-14 | 8 | -68/+129 |
|/ | |||||
* | Merge pull request #2703 from ethereum/warnAboutLargeStorageArrays | chriseth | 2017-08-14 | 2 | -0/+45 |
|\ | | | | | Warn about large storage structures. | ||||
| * | Warn about large storage structures. | chriseth | 2017-08-12 | 2 | -0/+45 |
| | | |||||
* | | Avoid duplicate errors due to function overrides | Federico Bond | 2017-08-12 | 1 | -5/+5 |
| | | |||||
* | | Use a secondary location for function override errors | Federico Bond | 2017-08-12 | 3 | -26/+18 |
| | | |||||
* | | Refactor function override check to remove duplicate logic | Federico Bond | 2017-08-12 | 2 | -47/+50 |
| | | |||||
* | | Use fully qualified name of super in message | Federico Bond | 2017-08-12 | 3 | -4/+13 |
| | | |||||
* | | Improve override changes signature error message | Federico Bond | 2017-08-12 | 2 | -1/+34 |
|/ | |||||
* | Enforce commas in tuple syntax | Federico Bond | 2017-08-12 | 1 | -2/+3 |
| | |||||
* | Output experimental flag in metadata only for risky features | Alex Beregszaszi | 2017-08-11 | 1 | -9/+27 |
| | |||||
* | Store experimental flag in metadata CBOR | Alex Beregszaszi | 2017-08-11 | 1 | -0/+6 |
| | |||||
* | Add analysis-only experimental features | Alex Beregszaszi | 2017-08-11 | 1 | -2/+9 |
| | |||||
* | Add __test experimental mode for testing | Alex Beregszaszi | 2017-08-11 | 1 | -2/+6 |
| | |||||
* | Merge pull request #2727 from ethereum/simplify-types | chriseth | 2017-08-11 | 1 | -16/+29 |
|\ | | | | | Simplify if/else statements in Types | ||||
| * | Simplify if/else statements in Types | Alex Beregszaszi | 2017-08-11 | 1 | -16/+29 |
| | | |||||
* | | FunctionType operator== boolean refactor | gubatron | 2017-08-11 | 1 | -17/+12 |
| | | |||||
* | | Check for payable when comparing function types | Alex Beregszaszi | 2017-08-11 | 1 | -4/+15 |
|/ | |||||
* | Merge pull request #2690 from ethereum/experimental-pragma | chriseth | 2017-08-10 | 4 | -4/+79 |
|\ | | | | | Support experimental feature pragma | ||||
| * | Introduce ExperimentalFeatures header | Alex Beregszaszi | 2017-08-10 | 3 | -8/+42 |
| | | |||||
| * | Reject wildcard and multiple experimental pragmas | Alex Beregszaszi | 2017-08-10 | 1 | -13/+16 |
| | | |||||
| * | Reject unsupported experimental feature names | Alex Beregszaszi | 2017-08-10 | 1 | -0/+5 |
| | | |||||
| * | Warn if using experimental pragma | Alex Beregszaszi | 2017-08-10 | 1 | -0/+5 |
| | | |||||
| * | Support experimental feature pragma | Alex Beregszaszi | 2017-08-10 | 3 | -4/+32 |
| | | |||||
* | | Add isDynamicallyEncoded member function to types. | chriseth | 2017-08-10 | 2 | -1/+16 |
|/ | |||||
* | Make toString(visibility) a helper | Alex Beregszaszi | 2017-08-09 | 4 | -43/+25 |
| | |||||
* | Show previous visibility specifier in parser error | Alex Beregszaszi | 2017-08-09 | 2 | -2/+29 |
| | |||||
* | Add test for multiple visibilites on functions | Alex Beregszaszi | 2017-08-09 | 1 | -1/+1 |
| | |||||
* | Rename Token::Const to Token::Constant | Alex Beregszaszi | 2017-08-09 | 2 | -3/+3 |
| | |||||
* | Disable unimplemented library functions instead | Alex Beregszaszi | 2017-08-08 | 1 | -15/+2 |
| | |||||
* | Raise error when using unimplemented internal library functions. | Alex Beregszaszi | 2017-08-08 | 1 | -0/+15 |
| | |||||
* | Constructors must be implemented if declared. | Alex Beregszaszi | 2017-08-05 | 2 | -8/+3 |
| | |||||
* | Merge pull request #2687 from ethereum/show-unimplemented-funcs | Alex Beregszaszi | 2017-08-05 | 6 | -16/+37 |
|\ | | | | | Show unimplemented function if trying to instantiate an abstract class | ||||
| * | Remove duplicated check for unimplemented functions | Alex Beregszaszi | 2017-08-04 | 1 | -2/+0 |
| | | |||||
| * | Show unimplemented function if trying to instantiate an abstract class | Alex Beregszaszi | 2017-08-04 | 3 | -1/+24 |
| | |