aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/codegen
Commit message (Collapse)AuthorAgeFilesLines
* Throw if calling the identity precompile (memoryCopy) failedAlex Beregszaszi2016-12-021-1/+2
|
* Use CBOR encoding.chriseth2016-12-012-3/+3
|
* Fix tests.chriseth2016-12-012-10/+0
|
* Add swarm hash to the end of the bytecode.chriseth2016-12-013-12/+3
|
* Metadata stamp.chriseth2016-12-014-7/+16
|
* Merge pull request #1462 from ethereum/fix-incorrect-assertionchriseth2016-12-011-1/+1
|\ | | | | codegen: assertion did not assert non-nullness
| * codegen: assertion did not assert non-nullnessYoichi Hirai2016-12-011-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.
* | codegen: this commit removes one of duplicate assignmentsYoichi Hirai2016-12-011-2/+0
|/
* Use solUnimplemented wherever possibleAlex Beregszaszi2016-11-282-3/+3
|
* codegen: cleanup values to fit in storage bytesYoichi Hirai2016-11-251-0/+4
|
* codegen: storing of non-value types; add some assertionsYoichi Hirai2016-11-251-8/+5
|
* codegen: shorten the bit truncationYoichi Hirai2016-11-251-5/+2
|
* codegen: merge type conversion and cleaning upYoichi Hirai2016-11-251-3/+2
|
* codegen: document _chopSignBits parameter of convertType functionYoichi Hirai2016-11-251-0/+1
|
* codegen: add an option to CovertType so that it can truncate sign bitsYoichi Hirai2016-11-253-10/+22
|
* codegen: cleanup stored values in a more consistent wayYoichi Hirai2016-11-251-4/+16
|
* codegen: cleanup value types before storing themYoichi Hirai2016-11-241-0/+5
|
* Fix licensing headersVoR02202016-11-2314-56/+56
| | | | Signed-off-by: VoR0220 <rj@erisindustries.com>
* Add appendCallValueCheckAlex Beregszaszi2016-11-182-20/+14
|
* Add payable check for constructor in codegenAlex Beregszaszi2016-11-181-0/+12
|
* Some more assertions and style changes.chriseth2016-11-161-1/+1
|
* Change encoding to address-funid and add "function" as ABI type.chriseth2016-11-162-14/+19
|
* Simple peephole optimizer that is activated even if not requested.chriseth2016-11-162-5/+3
|
* Converted sub assembly to smart pointer.chriseth2016-11-165-48/+50
|
* Stored combined creation and runtime tags.chriseth2016-11-169-59/+122
| | | | | | | Includes a change to Assembly to allow tags from sub-assemblies to be used. Sorry, this get a bit bigger than I thought.
* Fix tests.chriseth2016-11-161-1/+11
|
* codegen: add a compilation mode and a runtime context to CompilerContextYoichi Hirai2016-11-164-6/+23
|
* Implement uninitialized storage functions.chriseth2016-11-162-11/+17
|
* Bugfix in code generator.chriseth2016-11-161-1/+1
|
* Change alignment.chriseth2016-11-163-30/+42
|
* External functions in storage.chriseth2016-11-163-18/+49
|
* Code generator for function types.chriseth2016-11-162-1/+34
|
* Unimplemented features moved to their own exception (#1361)Rhett Aultman2016-11-155-17/+17
| | | | | | | | | | | | | | | | | | 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 #1372 from ethereum/invalid_enum_as_external_retchriseth2016-11-151-2/+2
|\ | | | | Invalid enum as external ret
| * codegen: overflow checking also during conversion from enumsYoichi Hirai2016-11-151-2/+2
| |
* | codegen: add a missing `break;`Yoichi Hirai2016-11-141-0/+1
|/
* codegen: move the enum overflow checking closer to the conversion into enumsYoichi Hirai2016-11-141-8/+16
|
* ast, codegen: disallow conversion between different enum typesYoichi Hirai2016-11-121-1/+1
|
* codegen: shorten the overflow checking when converting into enumsYoichi Hirai2016-11-121-1/+2
|
* codegen: check the value range after converting something to an enum elementYoichi Hirai2016-11-121-0/+8
|
* Add support for do/while loopsRhett Aultman2016-11-101-3/+16
| | | | | | | 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.
* Clear all value types prior to storing.chriseth2016-10-311-7/+1
|
* Merge pull request #1264 from ethereum/988chriseth2016-10-252-9/+16
|\ | | | | State variable under contract's name
| * codegen: refactor common codeYoichi Hirai2016-10-242-20/+15
| |
| * codegen: if a member access has been resolved as a variable, follow thatYoichi Hirai2016-10-241-0/+12
| | | | | | | | This fixes at least the first example in #988
* | More checks for missing mobile type.chriseth2016-10-242-5/+16
|/
* codegen: skip contract L for L.Foo where Foo is a typeYoichi Hirai2016-10-241-1/+6
| | | | Fixes #1116
* Allow warnings for inline assembly blockAlex Beregszaszi2016-10-201-1/+1
|
* Rename dev::sha3 to dev::keccak256Alex Beregszaszi2016-10-061-1/+1
|
* Merge pull request #1104 from ethereum/fixmemcostschriseth2016-09-171-4/+13
|\ | | | | Fix memory resize costs during call
| * Access output memory area so that we do not pay for resize during call.chriseth2016-09-171-4/+13
| |
* | Allow value transfer to library functions.chriseth2016-09-171-1/+3
|/
* Provide gas stipend manually for send(0).chriseth2016-09-061-1/+6
|
* Merge pull request #665 from axic/feature/accept-etherchriseth2016-09-062-0/+16
|\ | | | | BREAKING: Add payable modifier
| * Change function type to include and propagate payable and constant modifier.chriseth2016-09-062-0/+8
| |
| * Merged in changes from chriseth/payableAlex Beregszaszi2016-09-061-11/+2
| |
| * Support payable keyword for functionsAlex Beregszaszi2016-09-061-0/+17
| |
* | Merge pull request #1006 from ethereum/nenewaccountgaschriseth2016-09-061-1/+3
|\ \ | |/ |/| Do not pay new account gas.
| * Do not pay new account gas.chriseth2016-09-051-1/+3
| | | | | | | | | | If we checked that the target contract exists, we do not have to pay the "new account gas".
* | Improve error message.chriseth2016-09-051-1/+1
| |
* | Guard encoding crashes with assertions.chriseth2016-09-021-0/+8
|/
* Make fallback function throw by default.chriseth2016-08-301-4/+1
|
* Merge pull request #839 from chriseth/checkcodechriseth2016-08-171-0/+7
|\ | | | | BREAKING: Make function calls throw if target does not have code.
| * Make function calls throw if target does not have code.chriseth2016-08-171-0/+7
| | | | | | | | | | Low-level calls still just execute and will actually report "success". This allows `x.call.value(y)()` for x being a non-contract account.
* | Merge pull request #888 from chriseth/throwOnDivZerochriseth2016-08-171-3/+10
|\ \ | | | | | | Throw on division by zero.
| * | Throw on division by zero.chriseth2016-08-171-3/+10
| |/
* / BREAKING: return only exits current function/modifierchriseth2016-08-172-35/+45
|/
* Merge pull request #838 from chriseth/ecrecoverchriseth2016-08-171-5/+38
|\ | | | | Make ecrecover return zero for malformed input.
| * Actually better to return zero on error.chriseth2016-08-161-2/+0
| |
| * Make ecrecover throw for malformed input.chriseth2016-08-161-5/+40
| |
* | Provide inline assembly to the code generator. (#840)chriseth2016-08-163-0/+58
| | | | | | | | | | | | * Directly usable inline assembly. * Add missing header.
* | Throw if contract creation fails.chriseth2016-08-161-0/+3
|/
* Remove After from ExpressionCompilerDenton Liu2016-08-111-3/+0
|
* Merge pull request #722 from NicolaiSoeborg/developchriseth2016-08-112-2/+2
|\ | | | | Fixes to grammar.txt [WIP]
| * Remove the remains of "expresison"Nicolai2016-07-152-2/+2
| |
* | Fix identity precompile gas calculationAlex Beregszaszi2016-08-061-2/+2
| |
* | Bugfix: Allocate empty array.chriseth2016-07-282-3/+7
|/
* Merge pull request #641 from axic/patch/shift-parserchriseth2016-06-091-0/+2
|\ | | | | Trivial shift parser fixes
| * Include SHR case in ExpressionCompiler::appendShiftOperatorCodeAlex Beregszaszi2016-06-081-0/+2
| |
* | Disallow implementation of abstract function by constructor of derived class.chriseth2016-06-071-0/+3
|/
* Fixes for invalid cleanups for small types.chriseth2016-05-202-9/+15
|
* Refactor compiler to avoid weird swap of contextschriseth2016-05-204-871/+999
|
* Allow access to functions in inline assembly.chriseth2016-05-122-14/+13
|
* Remove unused tests and add asserts for not implemented parts in code ↵chriseth2016-05-113-10/+13
| | | | | | | | | | | | generation. quick fix on christian's rational change so that ubuntu will stop yelling be more specific with rational declaration for Windows sake rational in namespace correction for windows
* added bytes conversion tests, resolved that, converted to binary scaling, ↵VoR02202016-05-101-1/+0
| | | | | | | | | | | | refactored the find algo to prevent large numbers and take into account integer bytes think we're good on solidity type name resolution now removed couts updates to documentation and more removed couts along with literal value implementation forgot semicolons
* fixing modulus and Solidity Name and Type ResolutionVoR02202016-05-101-1/+1
| | | | | | minor fixes current attempts at binary fixup
* changed names for Rational Constants and categoriesVoR02202016-05-102-9/+9
|
* got exponents up and working with their inverse, changed a few of the ↵RJ Catalano2016-05-101-13/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | tests....something is working that likely shouldn't be slight changes to how to flip the rational negative around...still trying to figure it out tests added updated tests odd differences in trying soltest from solc binary, let me know if you can replicate test not working for odd reason fixed test problem with fixed literals...still need a way to log this error broken up the tests, added some, changed some things in types and began compiler work moar tests and prepping for rebuilding much of the types.cpp file further fixing infinite loop still happening but it's somewhere in the fixedPoint methodd fractional bits needed algo improved! Eliminated 2 errors Corrected problems with the previous commit. No infinite loops. Actually appear to have corrected an error
* initial work for fixed types...potentially needing a constant literal type ↵RJ Catalano2016-05-103-8/+42
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | for this notation Rational implemented...trying to figure out exponential fix for token bug, also quick fix for the wei and seconds fixed problem with var...probably a conversion problem for fixed in size capabilities adding fixed type tests Removing bitshift and regrouping fixed type tests together size capabilities functioning properly for fixed types got exponents up and working with their inverse, changed a few of the tests....something is working that likely shouldn't be slight changes to how to flip the rational negative around...still trying to figure it out tests added updated tests odd differences in trying soltest from solc binary, let me know if you can replicate test not working for odd reason fixed test problem with fixed literals...still need a way to log this error broken up the tests, added some, changed some things in types and began compiler work moar tests and prepping for rebuilding much of the types.cpp file further fixing initial work for fixed types...potentially needing a constant literal type for this
* Allow calling internal functions of libraries.chriseth2016-05-043-33/+75
| | | | | | | | | | | | Internal functions of libraries can be called as if the library were a base contract of the calling contract. As the calling convention for internal functions is to not create a new call context, the code of these functions will be pulled into the context of the caller, duplicating their code. This might pull in code of further internal or even private functions. The use case for such functions is to allow libraries which can operate on memory types such that these types can also be modified in place.
* Remove non-determinism in missing code queue.chriseth2016-05-034-37/+95
|
* Bugfix: static arrays in constructor argumentschriseth2016-04-161-1/+1
|
* Fix for bug about deleting dynamic array of structs.chriseth2016-04-151-1/+1
|
* Make solidity independent from ethcore.chriseth2016-04-072-10/+6
|
* reduce unnecessary solidity:: namespaceDimitry2016-04-047-535/+535
|
* enable solidity testDimitry2016-04-041-1/+1
|
* rename namespace for instruction.h/cpp in libevmasmDimitry2016-04-027-535/+535
|
* move libevmcore to solidityDimitry2016-04-025-5/+5
|
* Correctly clean higher order bits for index access.chriseth2016-03-311-0/+2
|
* Code generation (missing external access and source locations).chriseth2016-03-303-0/+89
|
* Fixed Windows warningsBob Summerwill2016-03-181-1/+2
|
* BREAKING: Implement delegatecall and make default for library calls.chriseth2016-03-123-18/+23
|
* Index access for bytesXX.chriseth2016-02-101-0/+26
|
* [cond-expr] fixup according to code reviewLu Guanqun2016-01-231-1/+3
|
* [cond-expr] make the codegen one instruction lessLu Guanqun2016-01-231-5/+4
|
* [cond-expr] generate assembly for _ ? _ : _Lu Guanqun2016-01-232-0/+16
|
* Detect library name clashes.chriseth2016-01-141-2/+0
|
* final changes to typechecker, the expression compiler, and a couple more ↵RJ Catalano2016-01-121-8/+7
| | | | tests for good measure
* Update ExpressionCompiler.cppRJ2016-01-111-14/+16
|
* Update ExpressionCompiler.cppRJ2016-01-111-4/+2
|
* Update ExpressionCompiler.cppRJ2016-01-101-17/+39
|
* support decayed tuple expression as left valueLu Guanqun2016-01-041-1/+6
|
* Add structs and enums to contract types.chriseth2015-12-181-7/+9
|
* Fix: Segfaults connected to paramater types.chriseth2015-12-101-2/+2
| | | | parameterTypes does not return by const reference anymore.
* Code generation for calling bound methods.chriseth2015-12-011-4/+37
|
* Simplify and optimise stack rotation.chriseth2015-12-012-8/+27
|
* Merge pull request #251 from chriseth/bind2chriseth2015-11-301-1/+1
|\ | | | | Bind library functions to types.
| * Add bound functions to types.chriseth2015-11-291-1/+1
| |
* | Merge pull request #256 from chriseth/selfdestructchriseth2015-11-301-1/+1
|\ \ | | | | | | Introduce selfdestruct alias for suicide.
| * | Introduce selfdestruct alias for suicide.chriseth2015-11-291-1/+1
| |/
* / Bugfix for constructor unpacking with fixed-size arrays.chriseth2015-11-291-5/+13
|/
* Do not store elements of a contract by AST node type.chriseth2015-11-262-4/+4
|
* Make members context-sensitive.chriseth2015-11-263-10/+6
|
* Code generation for creating arrays.chriseth2015-11-263-9/+67
|
* Fixed string inside struct allocation bug.chriseth2015-11-244-10/+3
|
* Merge pull request #236 from ethereum/hot_gavGav Wood2015-11-233-9/+10
|\ | | | | Fix up for new API from EIP-1.1.
| * Fix up for new API from EIP-1.1.Gav Wood2015-11-213-9/+10
| |
* | Merge pull request #227 from chriseth/addmodchriseth2015-11-191-0/+14
|\ \ | | | | | | Addmod and mulmod.
| * | Addmod and mulmod.chriseth2015-11-191-0/+14
| | |
* | | Merge pull request #204 from ethereum/hot_gavGav Wood2015-11-191-2/+4
|\ \ \ | |/ / |/| / | |/ The Big Refactor
| * Minor API change - must provide SealEngine to Executive now.Gav Wood2015-11-191-2/+4
| |
* | Merge pull request #218 from chriseth/fix_overwriteMemorychriseth2015-11-171-3/+13
|\ \ | | | | | | Fix memory overwrite problem for arrays.
| * | Fix memory overwrite problem for arrays.chriseth2015-11-171-3/+13
| |/
* / Fix dynamic indexed event arguments - applies sha3.chriseth2015-11-171-5/+18
|/
* Bugfix: Returning literal strings in tuples.chriseth2015-11-012-2/+6
|
* Fix override warning.chriseth2015-10-231-1/+1
|
* File reorganisation.chriseth2015-10-2112-0/+5667