aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Abstract Contracts: Add note about function typeRaghav Dua2018-01-241-0/+13
* Add comment to clarify example (#3415)Maurelian2018-01-241-1/+1
* Merge pull request #3422 from ldct/patch-1chriseth2018-01-241-5/+5
|\
| * Some more clarifications.chriseth2018-01-241-5/+5
| * clarify `address` in function selectorLi Xuanji2018-01-231-2/+2
|/
* Merge pull request #3417 from zhangsawyer/patch-2Alex Beregszaszi2018-01-231-2/+2
|\
| * Update using-the-compiler.rstSawyer2018-01-211-2/+2
|/
* Merge pull request #3313 from terasum/developchriseth2018-01-201-1/+1
|\
| * Merge branch 'develop' of https://github.com/ethereum/solidity into developchenquan2018-01-058-36/+144
| |\
| * | Update GPG key URL for the Centos installer scriptChenQuan2018-01-041-1/+1
* | | Merge pull request #3407 from duaraghav8/patch-1chriseth2018-01-181-1/+1
|\ \ \
| * | | update solium descriptionRaghav Dua2018-01-181-1/+1
|/ / /
* | | Merge pull request #3399 from wbt/patch-1chriseth2018-01-181-1/+1
|\ \ \
| * | | Case convention clarificationwbt2018-01-171-1/+1
* | | | Merge pull request #3403 from xManusx/deps_arch_linuxchriseth2018-01-171-1/+1
|\ \ \ \ | |/ / / |/| | |
| * | | Made install_deps.sh safe to use on Arch LinuxManus2018-01-171-1/+1
|/ / /
* | | Merge pull request #3352 from ethereum/movabilityAlex Beregszaszi2018-01-167-16/+176
|\ \ \
| * | | Movability.chriseth2018-01-135-1/+151
| * | | Use explicit visit function for the walker.chriseth2018-01-132-15/+25
* | | | Merge pull request #3393 from fulldecent/patch-5chriseth2018-01-151-3/+3
|\ \ \ \
| * | | | Use CapWords style for exampleWilliam Entriken2018-01-151-3/+3
| |/ / /
* | | | Merge pull request #3392 from fulldecent/patch-4chriseth2018-01-151-0/+6
|\ \ \ \ | |/ / / |/| | |
| * | | Prefer CapWords style struct namesWilliam Entriken2018-01-151-0/+6
|/ / /
* | | Merge pull request #3381 from fulldecent/patch-3chriseth2018-01-111-15/+23
|\ \ \
| * | | Fix links and JS referenceWilliam Entriken2018-01-111-4/+4
| * | | No nonsense explanation of compiler optionsWilliam Entriken2018-01-051-15/+23
| | |/ | |/|
* | | Merge pull request #3317 from ethereum/looseStrictAsmchriseth2018-01-1016-61/+174
|\ \ \
| * | | Disallow non-functional instructions in parseExpression earlyAlex Beregszaszi2018-01-102-4/+7
| * | | Show restricted instruction warning before argument mismatch issueAlex Beregszaszi2018-01-082-15/+15
| * | | Tests for strict mode.chriseth2018-01-061-9/+69
| * | | Support --strict-assembly in CLIAlex Beregszaszi2018-01-062-4/+12
| * | | Support strict assembly mode in AssemblyStackAlex Beregszaszi2018-01-062-1/+3
| * | | Split inline assembly into loose and strict flavours.chriseth2018-01-0612-38/+78
|/ / /
* | | Merge pull request #3383 from ethereum/inlineasm-expressionsAlex Beregszaszi2018-01-062-11/+18
|\ \ \
| * | | Simplify parseElementaryOperation in regards to special instructionsAlex Beregszaszi2018-01-062-11/+18
|/ / /
* | | Merge pull request #3382 from ethereum/julia-identifier-parserchriseth2018-01-063-1/+16
|\ \ \
| * | | Support some restricted tokens (return, byte, address) as identifiers in JuliaAlex Beregszaszi2018-01-053-1/+16
| |/ /
* | | Merge pull request #3380 from ethereum/jsonio-colonchriseth2018-01-063-2/+37
|\ \ \ | |/ / |/| |
| * | Properly support library file names containing a colon (such as URLs).Alex Beregszaszi2018-01-053-2/+37
|/ /
* | Merge pull request #3375 from leonardoalt/developchriseth2018-01-051-0/+2
|\ \
| * | [SMTChecker] Added feature line to ChangelogLeonardo Alt2018-01-051-0/+2
|/ /
* | Merge pull request #3346 from leonardoalt/smt_checkerchriseth2018-01-053-21/+76
|\ \
| * | [SMTChecker] Variables are merged after branches (ite variables)Leonardo Alt2018-01-053-21/+76
|/ /
* | 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 parametersFederico Bond2018-01-041-6/+11
* | | Merge pull request #3373 from ethereum/sourceLocationAlex Beregszaszi2018-01-042-9/+48
|\ \ \ | |_|/ |/| |
| * | 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
|\ \
| * | 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.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 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 cha...Alex Beregszaszi2018-01-031-47/+0
|/ /
* | Minor syntax and formatting changes (#3337)Chuck LeDuc Díaz2017-12-201-22/+22
* | Merge pull request #3350 from mekkanik/mekkanik-script-fixeschriseth2017-12-201-4/+15
|\ \
| * | 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 assignmentsKevin Wu2017-12-191-0/+1
* | | | Merge pull request #3347 from swaldman/developchriseth2017-12-191-0/+2
|\ \ \ \ | |/ / / |/| | |
| * | | [Docs] Note that events can contain both indexed and unindexed arguments for ...Steve Waldman2017-12-191-1/+1
| * | | [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)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 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"Yoichi Hirai2017-12-181-3/+3
* | | | Merge pull request #3304 from leonardoalt/smt_checkerchriseth2017-12-183-8/+55
|\ \ \ \
| * | | | [SMTChecker] Helper functions to add an expression to the solver conjoined wi...Leonardo Alt2017-12-142-5/+19
| * | | | [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.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.chriseth2017-12-151-14/+14
| | |_|_|/ | |/| | |
* | | | | Merge pull request #3331 from ethereum/instruction_moverchriseth2017-12-183-0/+180
|\ \ \ \ \
| * | | | | 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 channelchriseth2017-12-181-2/+4
|/ / / /
* | | | Merge pull request #3232 from ethereum/simplifyConstantchriseth2017-12-145-62/+80
|\ \ \ \ | |_|/ / |/| | |
| * | | 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
|\ \ \ \ | |_|/ / |/| | |
| * | | 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 changesAlex Beregszaszi2017-12-121-1/+2
|/ /
* | Merge pull request #3310 from ethereum/limitDeclYoichi Hirai2017-12-122-14/+17
|\ \
| * | 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 #3175Federico Bond2017-11-234-12/+19
* | | | Merge pull request #3218 from elenadimitrova/documentation/2176-overload-reso...chriseth2017-12-121-7/+94
|\ \ \ \ | |_|_|/ |/| | |
| * | | Document function overloads and resolutionelenadimitrova2017-12-121-7/+94
* | | | Merge pull request #3290 from ethereum/moveAppendchriseth2017-12-121-0/+17
|\ \ \ \ | |/ / / |/| | |
| * | | Move-append for vector.chriseth2017-12-111-0/+17
* | | | Merge pull request #3197 from medvedev1088/fix-security-considerations-exampleAlex Beregszaszi2017-12-121-3/+20
|\ \ \ \
| * | | | Correct that ether transfers _can_ always include code execution in re-entran...Alex Beregszaszi2017-12-121-2/+2
| * | | | Add another contract with call to demonstrate re-entrancy vulnerability.Evgeny Medvedev2017-12-121-1/+18
* | | | | Merge pull request #3068 from izgzhen/document-io-classAlex Beregszaszi2017-12-121-1/+20
|\ \ \ \ \
| * | | | | 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 libsolcAlex Beregszaszi2017-12-1111-18/+20
* | | | | Merge pull request #3302 from ethereum/optimiserDescriptionAlex Beregszaszi2017-12-121-0/+61
|\ \ \ \ \ | |_|_|_|/ |/| | | |
| * | | | 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 pragmaAlex Beregszaszi2017-12-021-0/+4
* | | | Merge pull request #3281 from GNSPS/developchriseth2017-12-111-25/+0
|\ \ \ \
| * | | | Removed manual adjustment of stack of the docsGonçalo Sá2017-12-051-25/+0
* | | | | Merge pull request #3299 from KamuelaFranco/patch-1chriseth2017-12-111-0/+6
|\ \ \ \ \
| * | | | | 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
|\ \ \ \ \ \ | |/ / / / / |/| | | | |
| * | | | | 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 napspecEzra Epstein2017-12-021-0/+2
| | |/ / | |/| |
* | | | Merge pull request #3283 from ethereum/jump-warningchriseth2017-12-073-5/+8
|\ \ \ \
| * | | | 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
|\ \ \ \ \
| * | | | | Review fixesYuriy Kashnikov2017-12-061-4/+5
| * | | | | Handle git release tag properlyYuriy Kashnikov2017-12-061-1/+5
| |/ / / /
* | | | | Merge pull request #3287 from ethereum/substitutionYoichi Hirai2017-12-065-7/+102
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | 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 JuliaAlex Beregszaszi2017-12-057-19/+27
|/ / / /
* | | | Merge pull request #3278 from ethereum/ast_walkerAlex Beregszaszi2017-12-054-0/+345
|\ \ \ \
| * | | | Generic AST walker.chriseth2017-12-054-0/+345
|/ / / /
* | | | Merge pull request #3219 from ethereum/disambiguatorchriseth2017-12-059-1/+667
|\ \ \ \
| * | | | 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
|\ \ \ \ | |/ / / |/| | |
| * | | 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 paramaters and returns to returnVariables.chriseth2017-12-016-19/+19
* | | | Merge pull request #3250 from ethereum/aliasesAlex Beregszaszi2017-12-025-23/+80
|\ \ \ \
| * | | | 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.chriseth2017-12-011-0/+49
| | |/ / | |/| |
* | | | Merge pull request #3266 from ethereum/releasechriseth2017-12-010-0/+0
|\ \ \ \
| * | | | Merge pull request #3261 from ethereum/developchriseth2017-11-3099-666/+4500
| |\| | |
* | | | | Merge pull request #3264 from ethereum/increment_versionchriseth2017-12-012-1/+7
|\ \ \ \ \ | |_|/ / / |/| | | |
| * | | | 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.chriseth2017-11-301-2/+0
|/ / / /
* | | | Merge pull request #3260 from ethereum/versionchriseth2017-11-302-4/+8
|\ \ \ \ | |_|/ / |/| | |
| * | | 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
|\ \ \
| * | | 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
|\ \ \
| * | | 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 contractswbt2017-11-301-1/+1
|/ / /
* | | Merge pull request #3248 from ethereum/ignorePrereleaseAlex Beregszaszi2017-11-301-1/+49
|\ \ \
| * | | Patch truffle to ignore pre-release compiler warning.chriseth2017-11-281-1/+49
|/ / /
* | | Merge pull request #3220 from ethereum/IuliaIfchriseth2017-11-2719-11/+163
|\ \ \
| * | | 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
|\ \ \ \
| * | | | 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
|\ \ \ \ \
| * | | | | Replaced solAssert in Jumpdest optimizationIsaac van Bakel2017-11-261-3/+1
|/ / / / /
* | | | | Merge pull request #3242 from ethereum/chriseth-patch-1Alex Beregszaszi2017-11-241-4/+3
|\ \ \ \ \
| * | | | | Bugfix in blind auctionchriseth2017-11-241-4/+3
|/ / / / /
* | | | | Merge pull request #3240 from ethereum/docs-lexerchriseth2017-11-242-5/+6
|\ \ \ \ \
| * | | | | 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 casesAlex Beregszaszi2017-11-221-4/+4
| | |/ / / | |/| | |
* | | | | Merge pull request #3233 from kseo/check-successAlex Beregszaszi2017-11-221-13/+13
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | success(text) -> CHECK_SUCCESS(text)Kwang Yul Seo2017-11-221-13/+13
|/ / / /
* | | | Merge pull request #3195 from ethereum/chriseth-patch-1Alex Beregszaszi2017-11-221-1/+2
|\ \ \ \ | |/ / / |/| | |
| * | | 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.chriseth2017-11-221-5/+10
|/ / / /
* | | | Merge pull request #3152 from ethereum/docs-testsAlex Beregszaszi2017-11-225-116/+108
|\ \ \ \
| * | | | 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
|\ \ \ \
| * | | | 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
| * | | | 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
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-18 04:36:25 +0800