aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Explain the difference to inline assembly.chriseth2018-01-051-0/+7
|
* Merge pull request #3358 from federicobond/improve-grammarchriseth2018-01-041-6/+11
|\ | | | | grammar.txt: Add optional storage location to parameters
| * grammar.txt: Add optional storage location to parametersFederico Bond2018-01-041-6/+11
| |
* | Merge pull request #3373 from ethereum/sourceLocationAlex Beregszaszi2018-01-042-9/+48
|\ \ | | | | | | Reset source location after inline assembly and mechanism to update expectation in test.
| * | Provide easy way to update source location expectation.chriseth2018-01-041-9/+45
| | |
| * | Reset source location after using inline assembly.chriseth2018-01-041-0/+3
|/ /
* | Merge pull request #3297 from ethereum/separate_expression_and_statementAlex Beregszaszi2018-01-0421-86/+202
|\ \ | | | | | | Separate expression and statement
| * | Adjust tests.chriseth2017-12-131-4/+4
| | |
| * | Separate expression and statement.chriseth2017-12-1320-82/+198
| | |
* | | Merge pull request #3363 from ethereum/artfulAlex Beregszaszi2018-01-041-1/+1
|\ \ \ | | | | | | | | Add artful to releases.
| * | | Add artful to releases.chriseth2017-12-291-1/+1
| | |/ | |/|
* | | Merge pull request #3369 from ethereum/jsonio-colonAlex Beregszaszi2018-01-043-1/+32
|\ \ \ | | | | | | | | Properly handle colons in file names within jsonio
| * | | Properly handle colons in file names within jsonioAlex Beregszaszi2018-01-033-1/+32
| | | |
* | | | Improve error message for wrong struct initialization (#3359)Federico Bond2018-01-043-1/+20
|/ / /
* / / Remove truffle patching introducing in f77480c as upstream has merged the ↵Alex Beregszaszi2018-01-031-47/+0
|/ / | | | | | | changes (#3370)
* | Minor syntax and formatting changes (#3337)Chuck LeDuc Díaz2017-12-201-22/+22
| | | | | | | | | | | | | | | | | | | | | | | | * Copyediting, mostly syntax. * Use consistent quote chars inside sample code comments * Revert to put back matching parenthesis * Use single backticks for comment code quotes wherever a reserved word, function or variable name is used in a comment
* | Merge pull request #3350 from mekkanik/mekkanik-script-fixeschriseth2017-12-201-4/+15
|\ \ | | | | | | Changes to support Linux Mint: a derivative of Ubuntu.
| * | Changes to support Linux Mint: a derivative of Ubuntu.mekkanik2017-12-201-4/+15
| | |
* | | Merge pull request #3345 from kevinwucodes/patch-1chriseth2017-12-191-0/+1
|\ \ \ | | | | | | | | add clarity to destructuring assignments with leading comma
| * | | add clarity to destructuring assignmentsKevin Wu2017-12-191-0/+1
| | | |
* | | | Merge pull request #3347 from swaldman/developchriseth2017-12-191-0/+2
|\ \ \ \ | |/ / / |/| | | [Docs] Include explanation of how indexed dynamic-length event args are encoded
| * | | [Docs] Note that events can contain both indexed and unindexed arguments for ↵Steve Waldman2017-12-191-1/+1
| | | | | | | | | | | | | | | | values of dynamic-length types.
| * | | [Docs] Include explanation of how indexed dynamic-length event args are encodedSteve Waldman2017-12-191-0/+2
|/ / /
* | | Merge pull request #3344 from leonardoalt/smt_checkerchriseth2017-12-192-8/+8
|\ \ \ | |/ / |/| | [SMTChecker] Fix typo in the code (satisifable->satisfiable)
| * | [SMTChecker] Fix typo in the code (satisifable->satisfiable)Leonardo Alt2017-12-192-8/+8
|/ /
* | Merge pull request #3342 from ethereum/jsonio-sourcelocationAlex Beregszaszi2017-12-183-2/+43
|\ \ | | | | | | Populate the sourceLocation field properly in standard JSON on errors
| * | Populate the sourceLocation field properly in standard JSON on errorsAlex Beregszaszi2017-12-183-2/+43
| | |
* | | Merge pull request #3343 from ethereum/structs-structAlex Beregszaszi2017-12-181-3/+3
|\ \ \ | | | | | | | | Fix grammar: "structs type" into "struct type"
| * | | Fix grammar: "structs type" into "struct type"Yoichi Hirai2017-12-181-3/+3
| | | |
* | | | Merge pull request #3304 from leonardoalt/smt_checkerchriseth2017-12-183-8/+55
|\ \ \ \ | | | | | | | | | | [SMTChecker] Keep track of current path conditions
| * | | | [SMTChecker] Helper functions to add an expression to the solver conjoined ↵Leonardo Alt2017-12-142-5/+19
| | | | | | | | | | | | | | | | | | | | with or implied by the current path conditions
| * | | | [SMTChecker] Keep track of current path conditionsLeonardo Alt2017-12-143-8/+41
| | | | |
* | | | | Merge pull request #3279 from ethereum/function_hoisterchriseth2017-12-183-0/+196
|\ \ \ \ \ | | | | | | | | | | | | Function hoister
| * | | | | Function hoister.chriseth2017-12-153-0/+196
| | |_|_|/ | |/| | |
* | | | | Merge pull request #3333 from ethereum/switch_to_ifchriseth2017-12-181-14/+14
|\ \ \ \ \ | | | | | | | | | | | | Favour if over switch in ABI coder.
| * | | | | Favour if over switch in ABI coder.chriseth2017-12-151-14/+14
| | |_|_|/ | |/| | |
* | | | | Merge pull request #3331 from ethereum/instruction_moverchriseth2017-12-183-0/+180
|\ \ \ \ \ | | | | | | | | | | | | Function Grouper
| * | | | | Fixed typos in comment.chriseth2017-12-181-2/+2
| | | | | |
| * | | | | Function grouper.chriseth2017-12-153-0/+180
| | |/ / / | |/| | |
* | | | | Merge pull request #3318 from ethereum/chriseth-patch-1chriseth2017-12-181-2/+4
|\ \ \ \ \ | |_|/ / / |/| | | | Link to dev channel
| * | | | Link to dev channelchriseth2017-12-181-2/+4
|/ / / /
* | | | Merge pull request #3232 from ethereum/simplifyConstantchriseth2017-12-145-62/+80
|\ \ \ \ | |_|/ / |/| | | Simplify ConstantEvaluator.
| * | | Re-use `commonType`chriseth2017-12-121-1/+1
| | | |
| * | | Simplify ConstantEvaluator.chriseth2017-12-124-42/+62
| | | |
| * | | Reduce the types of errors outputted by ConstantEvaluatorAlex Beregszaszi2017-12-122-12/+10
| | | |
| * | | Improve error message for constant evaluatorAlex Beregszaszi2017-12-123-11/+11
| | | |
* | | | Merge pull request #3295 from mcdee/developchriseth2017-12-1313-246/+287
|\ \ \ \ | |_|/ / |/| | | Remove warnings in examples
| * | | Fixes for failing testsJim McDonald2017-12-134-8/+8
| | | |
| * | | Fix Solidity warningsJim McDonald2017-12-1313-250/+291
|/ / /
* | | Merge pull request #3311 from ethereum/changelogchriseth2017-12-121-1/+2
|\ \ \ | |_|/ |/| | Update changelog for some 0.4.20 changes
| * | Update changelog for some 0.4.20 changesAlex Beregszaszi2017-12-121-1/+2
|/ /
* | Merge pull request #3310 from ethereum/limitDeclYoichi Hirai2017-12-122-14/+17
|\ \ | | | | | | Limit number of secondary source locations.
| * | Limit number of secondary source locations.chriseth2017-12-122-14/+17
| | |
* | | Merge pull request #3183 from federicobond/fix-event-parsingYoichi Hirai2017-12-124-12/+19
|\ \ \ | | | | | | | | Fix event parsing. Refs #3175
| * | | Fix event parsing. Refs #3175Federico Bond2017-11-234-12/+19
| | | |
* | | | Merge pull request #3218 from ↵chriseth2017-12-121-7/+94
|\ \ \ \ | |_|_|/ |/| | | | | | | | | | | elenadimitrova/documentation/2176-overload-resolution Document function overloading
| * | | Document function overloads and resolutionelenadimitrova2017-12-121-7/+94
| | | |
* | | | Merge pull request #3290 from ethereum/moveAppendchriseth2017-12-121-0/+17
|\ \ \ \ | |/ / / |/| | | Move-append for vector.
| * | | Move-append for vector.chriseth2017-12-111-0/+17
| | | |
* | | | Merge pull request #3197 from medvedev1088/fix-security-considerations-exampleAlex Beregszaszi2017-12-121-3/+20
|\ \ \ \ | | | | | | | | | | Add another example with call to demonstrate Re-Entrancy
| * | | | Correct that ether transfers _can_ always include code execution in ↵Alex Beregszaszi2017-12-121-2/+2
| | | | | | | | | | | | | | | | | | | | re-entrancy example
| * | | | Add another contract with call to demonstrate re-entrancy vulnerability.Evgeny Medvedev2017-12-121-1/+18
| | | | | | | | | | | | | | | | | | | | Add another contract with call to demonstrate re-entrancy vulnerability as send explicitly sets gas to 2300 by default according to this commit 9ca7472 which makes it impossible to "get multiple refunds" because a non-zero CALL costs at least 9700 gas. This issue is discussed on Ethereum StackExchange https://ethereum.stackexchange.com/questions/30371/send-ether-reentrancy-attack-in-reality-how-could-fallback-function-make-a-mes/30616#30616
* | | | | Merge pull request #3068 from izgzhen/document-io-classAlex Beregszaszi2017-12-121-1/+20
|\ \ \ \ \ | | | | | | | | | | | | Document JSON I/O error classes
| * | | | | Document JSON I/O error classesZhen Zhang2017-12-121-1/+20
| |/ / / /
* | | | | Merge pull request #3010 from ethereum/libsolcAlex Beregszaszi2017-12-1211-18/+20
|\ \ \ \ \ | |/ / / / |/| | | | Rename jsonCompiler to libsolc
| * | | | Rename jsonCompiler to libsolcAlex Beregszaszi2017-12-1111-18/+20
| | | | |
* | | | | Merge pull request #3302 from ethereum/optimiserDescriptionAlex Beregszaszi2017-12-121-0/+61
|\ \ \ \ \ | |_|_|_|/ |/| | | | Description of the optimiser and stages.
| * | | | Description of the optimiser and stages.chriseth2017-12-111-0/+61
|/ / / /
* | | | Merge pull request #3228 from ethereum/docs-tests-structchriseth2017-12-111-0/+4
|\ \ \ \ | |/ / / |/| | | Enable struct abi example with experimental pragma
| * | | Enable struct abi example with experimental pragmaAlex Beregszaszi2017-12-021-0/+4
| | | |
* | | | Merge pull request #3281 from GNSPS/developchriseth2017-12-111-25/+0
|\ \ \ \ | | | | | | | | | | Removed manual adjustment of stack of the docs
| * | | | Removed manual adjustment of stack of the docsGonçalo Sá2017-12-051-25/+0
| | | | | | | | | | | | | | | | | | | | Removed the section fo the docs regarding manual adjustment of the stack given the `unbalanced stack` check prevents its use
* | | | | Merge pull request #3299 from KamuelaFranco/patch-1chriseth2017-12-111-0/+6
|\ \ \ \ \ | | | | | | | | | | | | Update style-guide.rst to include enum style
| * | | | | Update style-guide.rst to include enum styleKamuela Franco2017-12-091-0/+6
| | | | | |
* | | | | | Merge pull request #3272 from ethereum/suggest-structschriseth2017-12-115-0/+21
|\ \ \ \ \ \ | |/ / / / / |/| | | | | Suggest the experimental ABI encoder if using structs as function parameters
| * | | | | Move some struct tests to require ABIEncoderV2Alex Beregszaszi2017-12-113-0/+8
| | | | | |
| * | | | | Fix struct encoding warning for libraries.chriseth2017-12-111-0/+1
| | | | | |
| * | | | | Suggest the experimental ABI encoder if using structs as function parametersAlex Beregszaszi2017-12-112-0/+12
|/ / / / /
* | | | | Merge pull request #3268 from eepstein/patch-2Yoichi Hirai2017-12-081-0/+2
|\ \ \ \ \ | |_|_|/ / |/| | | | link to wiki for additional info on napspec
| * | | | link to wiki for additional info on napspecEzra Epstein2017-12-021-0/+2
| | |/ / | |/| |
* | | | Merge pull request #3283 from ethereum/jump-warningchriseth2017-12-073-5/+8
|\ \ \ \ | | | | | | | | | | Improve the jump warning
| * | | | Fix warning test for jumps in assemblyAlex Beregszaszi2017-12-061-2/+2
| | | | |
| * | | | Suggest the "if" statement too instead of jumpsAlex Beregszaszi2017-12-061-1/+1
| | | | |
| * | | | Warn for assembly labels tooAlex Beregszaszi2017-12-063-2/+5
| | | | |
* | | | | Merge pull request #3288 from kayuri/SOL3277--Properly-handle-release-tagchriseth2017-12-061-1/+6
|\ \ \ \ \ | | | | | | | | | | | | Handle git release tag properly
| * | | | | Review fixesYuriy Kashnikov2017-12-061-4/+5
| | | | | |
| * | | | | Handle git release tag properlyYuriy Kashnikov2017-12-061-1/+5
| |/ / / / | | | | | | | | | | | | | | | | | | | | | | | | | Build process will check current commit and if it is tagged starting with a `v` then it will create `prerelease.txt` file in the top directory.
* | | | | Merge pull request #3287 from ethereum/substitutionYoichi Hirai2017-12-065-7/+102
|\ \ \ \ \ | |/ / / / |/| | | | Substitution
| * | | | substitutionchriseth2017-12-062-0/+90
| | | | |
| * | | | copierchriseth2017-12-061-1/+2
| | | | |
| * | | | Make the modifier more flexible.chriseth2017-12-062-6/+10
| | | | |
* | | | | Merge pull request #3285 from ethereum/julia-split-instructionAlex Beregszaszi2017-12-067-19/+27
|\ \ \ \ \ | |/ / / / |/| | | | Split Instruction and FunctionalInstruction in Julia
| * | | | Split Instruction and FunctionalInstruction in JuliaAlex Beregszaszi2017-12-057-19/+27
|/ / / /
* | | | Merge pull request #3278 from ethereum/ast_walkerAlex Beregszaszi2017-12-054-0/+345
|\ \ \ \ | | | | | | | | | | Ast walker
| * | | | Generic AST walker.chriseth2017-12-054-0/+345
|/ / / /
* | | | Merge pull request #3219 from ethereum/disambiguatorchriseth2017-12-059-1/+667
|\ \ \ \ | | | | | | | | | | Iulia disambiguator.
| * | | | Simplify disambiguator.chriseth2017-12-056-34/+19
| | | | |
| * | | | Refactor iulia tests.chriseth2017-12-053-79/+148
| | | | |
| * | | | Disambiguator.chriseth2017-12-055-0/+612
| | | | |
| * | | | Rename to ASTDataForward.hchriseth2017-12-042-1/+1
| | |/ / | |/| |
* | | | Merge pull request #3032 from ethereum/divisionchriseth2017-12-056-43/+260
|\ \ \ \ | |/ / / |/| | | Division and unary operators for SMT checker
| * | | Fix test.chriseth2017-12-041-4/+3
| | | |
| * | | Fix expression creation problems.chriseth2017-11-301-19/+30
| | | |
| * | | Another test for division.chriseth2017-11-301-0/+10
| | | |
| * | | Fix signed division.chriseth2017-11-302-2/+20
| | | |
| * | | Unary operators and division.chriseth2017-11-306-61/+240
| | | |
* | | | Merge pull request #3265 from ethereum/rename_args_to_paramschriseth2017-12-046-19/+19
|\ \ \ \ | |_|/ / |/| | | Rename arguments to parameters.
| * | | Rename arguments to paramaters and returns to returnVariables.chriseth2017-12-016-19/+19
| | | |
* | | | Merge pull request #3250 from ethereum/aliasesAlex Beregszaszi2017-12-025-23/+80
|\ \ \ \ | | | | | | | | | | Introduce InlineAsm structs into Iulia namespace.
| * | | | Fix namespace ambiguity.chriseth2017-12-012-2/+3
| | | | |
| * | | | Include missing forward declarations in AsmDataForwardAlex Beregszaszi2017-11-301-0/+3
| | | | |
| * | | | Introduce InlineAsm structs into Julia namespace.chriseth2017-11-302-21/+74
| | |/ / | |/| |
* | | | Merge pull request #3267 from ethereum/docker_manualchriseth2017-12-011-0/+49
|\ \ \ \ | | | | | | | | | | Manual deploy to docker.
| * | | | Manual deploy to docker.chriseth2017-12-011-0/+49
| | |/ / | |/| |
* | | | Merge pull request #3266 from ethereum/releasechriseth2017-12-010-0/+0
|\ \ \ \ | | | | | | | | | | Merge release back into develop.
| * | | | Merge pull request #3261 from ethereum/developchriseth2017-11-3099-666/+4500
| |\| | | | | | | | | | | | | Merge develop into release for 0.4.19
* | | | | Merge pull request #3264 from ethereum/increment_versionchriseth2017-12-012-1/+7
|\ \ \ \ \ | |_|/ / / |/| | | | Increment version to 0.4.20.
| * | | | Increment version to 0.4.20.chriseth2017-12-012-1/+7
|/ / / /
* | | | Merge pull request #3263 from ethereum/always_store_bytecodechriseth2017-11-301-2/+0
|\ \ \ \ | | | | | | | | | | Store bytecode in any case.
| * | | | Store bytecode in any case.chriseth2017-11-301-2/+0
|/ / / /
* | | | Merge pull request #3260 from ethereum/versionchriseth2017-11-302-4/+8
|\ \ \ \ | |_|/ / |/| | | Preparation for 0.4.19 release.
| * | | Preparation for 0.4.19 release.chriseth2017-11-302-4/+8
|/ / /
* | | Merge pull request #2146 from ethereum/jsonio-target-selectionAlex Beregszaszi2017-11-305-21/+112
|\ \ \ | | | | | | | | Support target artifact selection in JSON I/O
| * | | Simplify target selection codeAlex Beregszaszi2017-11-301-18/+9
| | | |
| * | | Rename target selection to use the word artifactAlex Beregszaszi2017-11-301-32/+32
| | | |
| * | | Update standard json documentationAlex Beregszaszi2017-11-301-1/+1
| | | |
| * | | Add workaround for bytecode/deployedBytecode selectionAlex Beregszaszi2017-11-301-2/+20
| | | |
| * | | Request all outputs in JSONCompilerAlex Beregszaszi2017-11-301-0/+5
| | | |
| * | | Specify output selection in testsAlex Beregszaszi2017-11-301-0/+8
| | | |
| * | | Limit output according to the selected targets in StandardCompilerAlex Beregszaszi2017-11-302-20/+33
| | | |
| * | | Add target selection helpers to StandardCompilerAlex Beregszaszi2017-11-301-0/+56
|/ / /
* | | Merge pull request #2863 from ethereum/structDecoderAlex Beregszaszi2017-11-3011-38/+1399
|\ \ \ | | | | | | | | ABI decoder
| * | | Also test short input for old decoder.chriseth2017-11-301-5/+9
| | | |
| * | | Cleanup and overflow checks for data pointers.chriseth2017-11-305-24/+48
| | | |
| * | | Decoder tests.chriseth2017-11-305-34/+866
| | | |
| * | | ABI decoder.chriseth2017-11-307-4/+505
| | | |
* | | | Merge pull request #3259 from wbt/patch-1Alex Beregszaszi2017-11-301-1/+1
|\ \ \ \ | |/ / / |/| | | Minor update in contracts
| * | | Minor update in contractswbt2017-11-301-1/+1
|/ / / | | | | | | Fix typos and prevent example code from needing horizontal scroll bar
* | | Merge pull request #3248 from ethereum/ignorePrereleaseAlex Beregszaszi2017-11-301-1/+49
|\ \ \ | | | | | | | | Patch truffle to ignore pre-release compiler warning.
| * | | Patch truffle to ignore pre-release compiler warning.chriseth2017-11-281-1/+49
|/ / /
* | | Merge pull request #3220 from ethereum/IuliaIfchriseth2017-11-2719-11/+163
|\ \ \ | | | | | | | | If statement for Iulia / Inline Assembly
| * | | Force condition to be bool in iulia mode.chriseth2017-11-242-5/+7
| | | |
| * | | Tests.chriseth2017-11-222-0/+29
| | | |
| * | | Add if statement to Julia specification.chriseth2017-11-221-2/+10
| | | |
| * | | Use if statement in abi functions.chriseth2017-11-221-3/+3
| | | |
| * | | If statement for Iulia / inline assembly.chriseth2017-11-2216-6/+119
| | | |
* | | | Merge pull request #3234 from ethereum/sortsForExpressionsAlex Beregszaszi2017-11-273-49/+42
|\ \ \ \ | | | | | | | | | | Introduce sorts for smt expressions.
| * | | | Explain IntIntFun and merge assertion.chriseth2017-11-241-3/+7
| | | | |
| * | | | Introduce sorts for smt expressions.chriseth2017-11-223-48/+37
| | | | |
* | | | | Merge pull request #3245 from ivanbakel/removeSolAssertAlex Beregszaszi2017-11-271-3/+1
|\ \ \ \ \ | | | | | | | | | | | | Remove use of solAssert in Jumpdest optimization
| * | | | | Replaced solAssert in Jumpdest optimizationIsaac van Bakel2017-11-261-3/+1
|/ / / / / | | | | | | | | | | | | | | | | | | | | | | | | | This is the only use of solAssert in libevmasm, and the only dependency on libsolidity. There is no justification for why the illegal state is checked here.
* | | | | Merge pull request #3242 from ethereum/chriseth-patch-1Alex Beregszaszi2017-11-241-4/+3
|\ \ \ \ \ | | | | | | | | | | | | Bugfix in blind auction
| * | | | | Bugfix in blind auctionchriseth2017-11-241-4/+3
|/ / / / /
* | | | | Merge pull request #3240 from ethereum/docs-lexerchriseth2017-11-242-5/+6
|\ \ \ \ \ | | | | | | | | | | | | Update SolidityLexer
| * | | | | Add exponential notation to numbers in SolidityLexerAlex Beregszaszi2017-11-231-2/+2
| | | | | |
| * | | | | Move reserved keywords from SolidityLexerAlex Beregszaszi2017-11-231-3/+3
| | | | | |
| * | | | | Add SolidityLexer.pyc to gitignoreAlex Beregszaszi2017-11-231-0/+1
|/ / / / /
* | | | | Merge pull request #3235 from ethereum/explicit-testsAlex Beregszaszi2017-11-231-4/+4
|\ \ \ \ \ | | | | | | | | | | | | Improve expected test errors for some old cases
| * | | | | Improve expected test errors for some old casesAlex Beregszaszi2017-11-221-4/+4
| | |/ / / | |/| | |
* | | | | Merge pull request #3233 from kseo/check-successAlex Beregszaszi2017-11-221-13/+13
|\ \ \ \ \ | |/ / / / |/| | | | success(text) -> CHECK_SUCCESS(text)
| * | | | success(text) -> CHECK_SUCCESS(text)Kwang Yul Seo2017-11-221-13/+13
|/ / / / | | | | | | | | | | | | success(text) does not assert the result. Use CHECK_SUCCESS macro.
* | | | Merge pull request #3195 from ethereum/chriseth-patch-1Alex Beregszaszi2017-11-221-1/+2
|\ \ \ \ | |/ / / |/| | | Tone down similarity to JavaScript.
| * | | Tone down similarity to JavaScript.chriseth2017-11-161-1/+2
| | | |
* | | | Merge pull request #3231 from ethereum/chriseth-patch-2Alex Beregszaszi2017-11-221-5/+10
|\ \ \ \ | | | | | | | | | | More explanation about the packed encoding.
| * | | | More explanation about the packed encoding.chriseth2017-11-221-5/+10
|/ / / /
* | | | Merge pull request #3152 from ethereum/docs-testsAlex Beregszaszi2017-11-225-116/+108
|\ \ \ \ | | | | | | | | | | Ensure each code snippet in the docs can be extracted for tests
| * | | | had "names" when "parameters" was meantEzra Epstein2017-11-221-1/+1
| | | | |
| * | | | Ensure each code snippet in the docs can be extracted for testsAlex Beregszaszi2017-11-225-115/+107
|/ / / /
* | | | Merge pull request #2129 from ethereum/juliaAlex Beregszaszi2017-11-223-5/+562
|\ \ \ \ | | | | | | | | | | Initial Julia description
| * | | | avoid reassigning variablesSami Mäkelä2017-11-221-2/+2
| | | | |
| * | | | added Switch specificationSami Mäkelä2017-11-221-0/+13
| | | | |
| * | | | Small fixeschriseth2017-11-221-5/+5
| | | | | | | | | | | | | | | suggested by @mrsmkl
| * | | | Some clarifications.chriseth2017-11-221-67/+87
| | | | |
| * | | | Typos and clarifications.chriseth2017-11-221-4/+5
| | | | |
| * | | | Include JULIA section in the TOC.chriseth2017-11-221-0/+1
| | | | |
| * | | | Add true/false literalsAlex Beregszaszi2017-11-221-1/+3
| | | | |
| * | | | Remove from examplesAlex Beregszaszi2017-11-221-3/+3
| | | | |
| * | | | Switch cases do not require colonAlex Beregszaszi2017-11-221-2/+2
| | | | |
| * | | | Require at least one case in switchchriseth2017-11-221-1/+1
| | | | |
| * | | | Restriction of switchAlex Beregszaszi2017-11-221-1/+6
| | | | |
| * | | | Include section for Julia objectsAlex Beregszaszi2017-11-221-0/+68
| | | | |
| * | | | Include type names in grammarAlex Beregszaszi2017-11-221-2/+4
| | | | |
| * | | | Remove subassemblyAlex Beregszaszi2017-11-221-4/+1
| | | | |
| * | | | Support types in grammarAlex Beregszaszi2017-11-221-6/+6
| | | | |
| * | | | Clarify literalsAlex Beregszaszi2017-11-221-1/+1
| | | | |
| * | | | Do not require parentheses on function return valuesAlex Beregszaszi2017-11-221-7/+7
| | | | |
| * | | | More specification.chriseth2017-11-221-28/+80
| | | | |
| * | | | Improve semantics description.chriseth2017-11-221-19/+18
| | | | |
| * | | | Include split/combine256Alex Beregszaszi2017-11-221-0/+6
| | | | |
| * | | | Use signed/unsigned types in low-level functionsAlex Beregszaszi2017-11-221-71/+73
| | | | |
| * | | | Include implicit type conversionsAlex Beregszaszi2017-11-221-0/+13
| | | | |
| * | | | Document backendsAlex Beregszaszi2017-11-221-0/+21
| | | | |
| * | | | Case is missing from switch statementsAlex Beregszaszi2017-11-221-3/+3
| | | | |
| * | | | Add types to the examplesAlex Beregszaszi2017-11-221-9/+9
| | | | |
| * | | | Define types in JuliaAlex Beregszaszi2017-11-221-0/+4
| | | | |
| * | | | Describe built-in Julia functionsAlex Beregszaszi2017-11-221-1/+163
| | | | |
| * | | | Move Julia documentation to its own fileAlex Beregszaszi2017-11-222-191/+196
| | | | |
| * | | | First take in formal specification.chriseth2017-11-221-13/+94
| | | | |
| * | | | Describe Julia.chriseth2017-11-221-11/+114
| | | | |
* | | | | Merge pull request #2993 from ethereum/trackVariablesAlex Beregszaszi2017-11-227-119/+771
|\ \ \ \ \ | |/ / / / |/| | | | SMT checker for various things
| * | | | Fix problem with non-value-typed variables.chriseth2017-11-222-14/+16
| | | | |
| * | | | For loop.chriseth2017-11-223-0/+110
| | | | |
| * | | | Test for multi-branches.chriseth2017-11-221-0/+18
| | | | |
| * | | | Fix boolean constants.chriseth2017-11-222-14/+16
| | | | |
| * | | | Tests.chriseth2017-11-221-0/+31
| | | | |
| * | | | Check for conditions being constant.chriseth2017-11-224-27/+102
| | | | |
| * | | | Tests.chriseth2017-11-222-5/+240
| | | | |
| * | | | Track usage of variables.chriseth2017-11-224-70/+215
| | | | |
| * | | | Handle branches.chriseth2017-11-222-54/+88
|/ / / /
* | | | Merge pull request #3142 from Balajiganapathi/allow_constant_array_lengthAlex Beregszaszi2017-11-225-3/+193
|\ \ \ \ | | | | | | | | | | Allow constant integer variables as array lengths.
| * | | | Improve cyclic constant error messageAlex Beregszaszi2017-11-222-3/+3
| | | | |
| * | | | Detect cyclic constant definitionsBalajiganapathi S2017-11-223-9/+44
| | | | |
| * | | | Add more tests for constant var as array lengthsBalajiganapathi S2017-11-221-1/+96
| | | | |
| * | | | Allow constant integer variables as array lengths.Balajiganapathi S2017-11-225-1/+61
| | | | |
* | | | | Merge pull request #3204 from frangio/grammar-incomplete-tuplesAlex Beregszaszi2017-11-221-2/+2
|\ \ \ \ \ | |/ / / / |/| | | | Make tuple components optional in documented grammar
| * | | | Make tuple components optional in documented grammarFrancisco Giordano2017-11-151-2/+2
| | | | |
* | | | | Link to translations. (#3212)chriseth2017-11-211-2/+9
| | | | |
* | | | | Merge pull request #3031 from wadeAlexC/developAlex Beregszaszi2017-11-179-17/+92
|\ \ \ \ \ | | | | | | | | | | | | Improves checksum error message
| * | | | | Add tests for getChecksummedAddressAlex Beregszaszi2017-11-171-0/+34
| | | | | |
| * | | | | Extend address checksum testsAlex Beregszaszi2017-11-171-4/+17
| | | | | |
| * | | | | Show checksummed address always (prepend with 0)Alex Beregszaszi2017-11-171-2/+5
| | | | | |
| * | | | | Do not try to display checksummed address for too-short/long address literalsAlex Beregszaszi2017-11-173-3/+5
| | | | | |
| * | | | | Ensure that non-hex characters are caught in address checksummingAlex Beregszaszi2017-11-172-2/+7
| | | | | |
| * | | | | Improves address literal checksum error messagewadeAlexC2017-11-176-14/+32
|/ / / / /
* | | | | Merge pull request #3213 from chuacw/patch-1Alex Beregszaszi2017-11-171-1/+1
|\ \ \ \ \ | |_|/ / / |/| | | | Change phrase in type deduction
| * | | | Change phrase in type deductionChua Chee Wee2017-11-161-1/+1
|/ / / / | | | | | | | | updated phrase in type deduction from "any value of this type" to "the highest value of this type"
* | | | Merge pull request #3173 from federicobond/improve-number-grammarAlex Beregszaszi2017-11-161-3/+3
|\ \ \ \ | | | | | | | | | | Improve rule for decimal numbers in grammar.txt
| * | | | Improve rule for decimal numbers in grammar.txtFederico Bond2017-11-161-3/+3
| | | | |
* | | | | Merge pull request #3209 from ethereum/unimplemented-msgschriseth2017-11-162-3/+3
|\ \ \ \ \ | | | | | | | | | | | | Add explanation to unimplemented assertions
| * | | | | Add explanation to unimplemented assertionsAlex Beregszaszi2017-11-162-3/+3
| | | | | |
* | | | | | Merge pull request #3194 from kseo/print-using-forAlex Beregszaszi2017-11-162-0/+14
|\ \ \ \ \ \ | |/ / / / / |/| | | | | Print using for directive in ASTPrinter
| * | | | | Print using for directive in ASTPrinterKwang Yul Seo2017-11-162-0/+14
| | | | | |
* | | | | | Merge pull request #3207 from ethereum/chriseth-patch-2Alex Beregszaszi2017-11-161-5/+0
|\ \ \ \ \ \ | | | | | | | | | | | | | | Remove obsolote statement about msg.sender and library calls.
| * | | | | | Remove obsolote statement about msg.sender and library calls.chriseth2017-11-161-5/+0
| | | | | | |
* | | | | | | Merge pull request #3206 from kseo/outdated-commentAlex Beregszaszi2017-11-164-4/+4
|\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | | Update outdated comments
| * | | | | | Update outdated commentsKwang Yul Seo2017-11-154-4/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | _errors -> _errorReporter.
* | | | | | | Merge pull request #3189 from kseo/unusedAlex Beregszaszi2017-11-161-4/+0
|\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | | Remove unused method
| * | | | | | Remove unused methodKwang Yul Seo2017-11-121-4/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | The body of Function::functionIdentifier is missing and is not used.
* | | | | | | Merge pull request #3205 from ethereum/LianaHus-patch-1-docschriseth2017-11-151-2/+2
|\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | | Update index.rst
| * | | | | | Update index.rstLiana Husikyan2017-11-151-2/+2
|/ / / / / / | | | | | | | | | | | | Some minor text editing.
* | | | | | Merge pull request #3201 from kseo/typochriseth2017-11-151-1/+1
|\ \ \ \ \ \ | |_|_|/ / / |/| | | | | Fix a typo
| * | | | | Fix a typoKwang Yul Seo2017-11-141-1/+1
|/ / / / / | | | | | | | | | | | | | | | | | | | | A semicolon was mistakenly inserted where a string concatenation operator was meant.
* | | | | Merge pull request #3191 from kseo/redundant-checkchriseth2017-11-131-1/+1
|\ \ \ \ \ | |/ / / / |/| | | | Remove a redundant check
| * | | | Remove a redundant checkKwang Yul Seo2017-11-131-1/+1
|/ / / / | | | | | | | | | | | | m_type can't be FunctionType::Kind::DelegateCall.
* | | | Merge pull request #3188 from guanqun/fix-deps-scriptAlex Beregszaszi2017-11-111-1/+6
|\ \ \ \ | |_|_|/ |/| | | Update the script for Ubuntu Artful 17.10
| * | | Update the script for Ubuntu Artful 17.10Guanqun Lu2017-11-111-1/+6
|/ / /
* | | Merge pull request #3155 from chuacw/patch-1Alex Beregszaszi2017-10-301-1/+1
|\ \ \ | | | | | | | | Changed limitation to feature
| * | | Changed limitation to featureChua Chee Wee2017-10-301-1/+1
|/ / / | | | | | | Changed the word "limitation" to "feature" for the note where transfer is described.
* | | Merge pull request #3150 from walter-weinmann/developAlex Beregszaszi2017-10-291-6/+6
|\ \ \ | | | | | | | | abi-spec: example code doesn't fit grammar.txt.
| * | | abi-spec: example code doesn't fit grammar.txt.walter-weinmann2017-10-291-6/+6
|/ / /
generated by cgit (git 2.34.1) at 2024-11-15 04:52:16 +0800