aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* [cond-expr] add one doc about conditional expressionLu Guanqun2016-01-231-1/+1
|
* [cond-expr] don't allow conditional as left value for the first stageLu Guanqun2016-01-233-61/+29
|
* [cond-expr] fixup according to code reviewLu Guanqun2016-01-234-6/+24
|
* [cond-expr] change endVisit() to visit()Lu Guanqun2016-01-232-30/+41
|
* [cond-expr] make the codegen one instruction lessLu Guanqun2016-01-231-5/+4
|
* comment out one un-supported test caseLu Guanqun2016-01-231-0/+2
|
* [cond-expr] fix the crash in ExpressionStatementLu Guanqun2016-01-231-0/+5
|
* fixup end to end testLu Guanqun2016-01-231-1/+1
|
* [cond-expr] add another parser expressionLu Guanqun2016-01-231-0/+1
|
* [cond-expr] support conditional expression as lvalueLu Guanqun2016-01-231-0/+8
|
* [cond-expr] add test cases for type resolutionLu Guanqun2016-01-231-0/+24
|
* [cond-expr] add end to end testLu Guanqun2016-01-231-0/+58
|
* [cond-expr] generate assembly for _ ? _ : _Lu Guanqun2016-01-232-0/+16
|
* [cond-expr] add type checkerLu Guanqun2016-01-232-0/+28
|
* [cond-expr] add parser test casesLu Guanqun2016-01-231-0/+80
|
* [cond-expr] parse _ ? _ : _ into conditional AST nodeLu Guanqun2016-01-231-6/+19
|
* [cond-expr] add visitor related functionsLu Guanqun2016-01-235-0/+32
|
* [cond-expr] add an AST nodeLu Guanqun2016-01-233-0/+50
|
* Merge pull request #356 from guanqun/break-not-in-loopchriseth2016-01-217-12/+197
|\ | | | | check whether break/continue is in the loop
| * remove the unused lineLu Guanqun2016-01-191-1/+0
| |
| * add another test case for continue not in loopLu Guanqun2016-01-192-4/+19
| |
| * code changes according to Chris's commentsLu Guanqun2016-01-193-20/+16
| |
| * check whether break/continue is in the loopLu Guanqun2016-01-158-12/+187
| |
* | Merge pull request #351 from chriseth/autoloadchriseth2016-01-193-32/+88
|\ \ | | | | | | Automatically load imported files in solc.
| * | Build fix for MacOS.chriseth2016-01-141-1/+1
| | |
| * | Autoload files in solc.chriseth2016-01-123-32/+88
| | |
* | | Merge pull request #358 from chriseth/fix_storagechriseth2016-01-181-0/+21
|\ \ \ | | | | | | | | Test for incorrect storage access.
| * | | Test for incorrect storage access.chriseth2016-01-161-0/+21
| | | |
* | | | Merge pull request #347 from chriseth/libraryNameClasheschriseth2016-01-184-2/+53
|\ \ \ \ | | | | | | | | | | Detect library name clashes
| * | | | Set error flag to true.chriseth2016-01-141-0/+1
| | | | |
| * | | | Detect library name clashes.chriseth2016-01-143-2/+36
| | | | |
| * | | | Tests for library name clashes.chriseth2016-01-141-0/+16
| |/ / /
* | | | Merge pull request #359 from LianaHus/sol_only_one_array_as_state_varchriseth2016-01-183-6/+25
|\ \ \ \ | | | | | | | | | | fixed ICError when creating EI for structs containing only mapping or arrays
| * | | | Update TypeChecker.cppLiana Husikyan2016-01-161-0/+2
| | | | |
| * | | | Update SolidityNameAndTypeResolution.cppLiana Husikyan2016-01-161-1/+0
| | | | |
| * | | | Update SolidityNameAndTypeResolution.cppLiana Husikyan2016-01-161-1/+0
| | | | |
| * | | | fixed assert on EI creation for structs containing only mapping or arraysLianaHus2016-01-163-6/+25
| | | | |
* | | | | Merge pull request #357 from ethereum/unnecesary-movechriseth2016-01-151-1/+1
|\ \ \ \ \ | |/ / / / |/| | | | Remove unnecesary std::move
| * | | | Remove unnecesary std::movePaweł Bylica2016-01-151-1/+1
|/ / / /
* | | | Merge pull request #306 from pipermerriam/piper/flesh-out-naming-conventionschriseth2016-01-142-1/+97
|\ \ \ \ | | | | | | | | | | Flesh out naming convention in the Style Guide
| * | | | fix spelling and heading titlePiper Merriam2016-01-071-3/+3
| | | | |
| * | | | use mixedCasePiper Merriam2015-12-171-9/+4
| | | | |
| * | | | Flesh out naming convention section of docsPiper Merriam2015-12-172-1/+102
| | | | |
* | | | | Merge pull request #348 from chriseth/importDocschriseth2016-01-141-12/+66
|\ \ \ \ \ | |_|/ / / |/| | | | Extended documentation about imports.
| * | | | Some more clarifications about remappings.chriseth2016-01-141-3/+19
| | | | |
| * | | | Extended documentation about imports.chriseth2016-01-141-12/+50
| | |_|/ | |/| |
* | | | Merge pull request #346 from chriseth/importAliaseschriseth2016-01-144-16/+81
|\ \ \ \ | |/ / / |/| | | Allow aliases during import.
| * | | Allow aliases during import.chriseth2016-01-114-16/+81
| | |/ | |/|
* | | Merge pull request #345 from VoR0220/developchriseth2016-01-135-30/+293
|\ \ \ | | | | | | | | Inline Arrays
| * | | clarification on dynamic arrays, switcheroo on typepointer, and a ↵RJ Catalano2016-01-124-4/+21
| | | | | | | | | | | | | | | | documentation test added
| * | | forgot to take the auto tabs off...turned into spacesRJ Catalano2016-01-121-1/+1
| | | |
| * | | Merge branch 'develop' of https://github.com/ethereum/solidity into developRJ Catalano2016-01-121-0/+3
| |\| |
| * | | added documentation and one last test for struct creation inlineRJ Catalano2016-01-122-1/+19
| | | |
| * | | final changes to typechecker, the expression compiler, and a couple more ↵RJ Catalano2016-01-123-23/+57
| | | | | | | | | | | | | | | | tests for good measure
| * | | one last test for long stringsRJ Catalano2016-01-111-0/+15
| | | |
| * | | Update SolidityNameAndTypeResolution.cppRJ2016-01-111-1/+0
| | | |
| * | | Update ExpressionCompiler.cppRJ2016-01-111-14/+16
| | | |
| * | | Update ExpressionCompiler.cppRJ2016-01-111-4/+2
| | | |
| * | | Update SolidityEndToEndTest.cppRJ2016-01-111-7/+18
| | | |
| * | | Update SolidityEndToEndTest.cppRJ2016-01-101-0/+70
| | | |
| * | | Update ExpressionCompiler.cppRJ2016-01-101-17/+39
| | | |
| * | | find common typeRJ2016-01-101-2/+11
| | | |
| * | | Update with type resolution tests for arraysRJ2016-01-101-8/+76
| | | |
* | | | Merge pull request #350 from ethereum/chriseth-patch-1chriseth2016-01-131-1/+1
|\ \ \ \ | |_|/ / |/| | | Docs: Refund actual deposit, and not bid value.
| * | | Refund actual deposit, and not bid value.chriseth2016-01-121-1/+1
|/ / / | | | | | | | | | Thanks to @jonasnick for finding this. Fixes #349
* | | Merge pull request #342 from chriseth/fix_crashchriseth2016-01-111-0/+3
|\ \ \ | |/ / |/| | Fixed a crash during type checking.
| * | Fixed a crash during type checking.chriseth2016-01-081-0/+3
|/ /
* | Merge pull request #338 from guanqun/add_parenchriseth2016-01-054-2/+26
|\ \ | | | | | | support syntax "(x) = 3"
| * | add a test case for decayed tuple expression as left valueLu Guanqun2016-01-042-0/+16
| | |
| * | support decayed tuple expression as left valueLu Guanqun2016-01-042-2/+10
| | |
* | | Merge pull request #331 from u2/doc_fix2chriseth2016-01-041-192/+192
|\ \ \ | | | | | | | | docs: code sytle
| * | | docs: code sytleu22015-12-301-192/+192
| |/ /
* | | Merge pull request #329 from guanqun/patch-2chriseth2016-01-041-1/+1
|\ \ \ | | | | | | | | [docs]: change unsupported underscore to star
| * | | [docs]: change unsupported underscore to startLu Guanqun2015-12-301-1/+1
| |/ / | | | | | | highlight "not"
* | | Merge pull request #328 from guanqun/patch-1chriseth2016-01-041-1/+1
|\ \ \ | | | | | | | | [docs]: add an ending period
| * | | [docs]: add an ending periodLu Guanqun2015-12-301-1/+1
| |/ /
* | | Merge pull request #317 from chriseth/pathsEverywherechriseth2016-01-046-24/+27
|\ \ \ | |/ / |/| | Use paths instead of simple identifiers wherever possible.
| * | Use paths instead of simple identifiers wherever possible.chriseth2015-12-226-24/+27
| | |
* | | Merge pull request #316 from chriseth/docschriseth2015-12-222-40/+44
|\| | | | | | | | Fixes in the misc section.
| * | Fixes in the misc section.chriseth2015-12-212-40/+44
| | |
* | | Merge pull request #312 from ethers/patch-4chriseth2015-12-211-0/+10
|\ \ \ | | | | | | | | sending value to an overloaded function
| * | | sending value to an overloaded functionethers2015-12-191-0/+10
| |/ / | | | | | | from https://gitter.im/ethereum/solidity?at=5673fb41b5777fb85ba496fa
* | | Merge pull request #308 from chriseth/fixoverloadbugchriseth2015-12-212-0/+13
|\ \ \ | | | | | | | | Fix bug preventing overloads of different array types.
| * | | Fix bug preventing overloads of different array types.chriseth2015-12-182-0/+13
| | | |
* | | | Merge pull request #309 from chriseth/fix_cross_contract_enum_accesschriseth2015-12-214-14/+59
|\ \ \ \ | |_|/ / |/| | | Add structs and enums to contract types.
| * | | Add structs and enums to contract types.chriseth2015-12-184-14/+59
| |/ /
* | | Merge pull request #311 from guanqun/correct-boolean-literal-positionchriseth2015-12-191-0/+1
|\ \ \ | |/ / |/| | correct true/false literal's source
| * | correct true/false literal's sourceLu Guanqun2015-12-181-0/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Before: Literal, token: true value: true Type: bool Source: "true;" After: Literal, token: true value: true Type: bool Source: "true" Extra token is removed.
* | | Merge pull request #304 from chriseth/impchriseth2015-12-1813-58/+240
|\ \ \ | | | | | | | | Simple aliasing during import
| * | | Simple aliasing during import.chriseth2015-12-1810-52/+148
| | | |
| * | | Parse complex import directives.chriseth2015-12-187-28/+114
|/ / /
* | | Merge pull request #307 from VoR0220/developchriseth2015-12-181-1/+3
|\ \ \ | | | | | | | | OS X specific doc changes for those with trouble building from source
| * | | Update installing-solidity.rstRJ2015-12-181-1/+1
| | | |
| * | | Update installing-solidity.rstRJ2015-12-181-1/+1
| | | |
| * | | update with OS X specific instructions on installationRJ Catalano2015-12-181-1/+1
| |\ \ \ | |/ / / |/| | |
* | | | Merge pull request #300 from ethereum/noevmjitchriseth2015-12-171-1/+1
|\ \ \ \ | | | | | | | | | | Add -EVMJIT=0
| * | | | Add -EVMJIT=0chriseth2015-12-151-1/+1
| | | | |
* | | | | Merge pull request #305 from VoR0220/inlineArrayschriseth2015-12-175-11/+94
|\ \ \ \ \ | |_|_|_|/ |/| | | | Parsing for Inline Arrays is passing
| * | | | changed error messageRJ Catalano2015-12-171-1/+1
| | | | |
| | | * | new docRJ Catalano2015-12-181-1/+3
| | |/ / | |/| |
| * | | updated tests and much simpler algorithm for parsing errorsRJ Catalano2015-12-172-28/+14
| | | |
| * | | Merge branch 'inlineArrays' into developRJ Catalano2015-12-175-11/+108
| |\ \ \
| | * | | added one more test and realized that there was one last change before the ↵RJ Catalano2015-12-172-6/+33
| | | | | | | | | | | | | | | | | | | | parser is perfect
| | * | | forgot about this one...again making this purely about ↵RJ Catalano2015-12-171-2/+2
| | | | | | | | | | | | | | | | | | | | parsing...typechecking will come another day
| | * | | making this purely about parsing...type checking will go in a different PRRJ Catalano2015-12-171-2/+2
| | | | |
| | * | | Parsing is completeRJ Catalano2015-12-171-3/+3
| | | | |
| | * | | changed a couple of small nuances, made an attempt at fixing the parsing in ↵RJ Catalano2015-12-173-18/+28
| | | | | | | | | | | | | | | | | | | | the inline arrays case (fails), and added test for inline arrays per Chriseth request
| | * | | temporary assert addedRJ Catalano2015-12-171-0/+1
| | | | |
| | * | | still not able to get types resolved, however it is compilingRJ Catalano2015-12-161-2/+9
| | | | |
| | * | | new testsRJ Catalano2015-12-162-1/+26
| | | | |
| | * | | now is compiling and passing soltest...but I think there may be a few more ↵RJ Catalano2015-12-162-5/+9
| | | | | | | | | | | | | | | | | | | | things to do
| | * | | fixed case statementsRJ Catalano2015-12-162-1/+3
| | | | |
| | * | | changing Tuple ConstructorRJ Catalano2015-12-161-2/+5
| | | | |
| | * | | updated attempt...still a bit more work to do but here's what's currentRJ Catalano2015-12-162-2/+4
| | |\ \ \
| | | * | | Inline array declarations completeRJ Catalano2015-12-153-2/+52
| | | |/ /
| | * / / updated attempt, a couple of more things to sort through and changeRJ Catalano2015-12-162-4/+20
| |/ / / |/| | |
| * | | Merge branch 'develop' of github.com:VoR0220/solidity into developRJ Catalano2015-12-160-0/+0
|/| | |
| * | | Merge pull request #1 from ethereum/developRJ2015-12-1511-91/+294
| |\| | | | | | | | | | Update stuff
* | | | Merge pull request #288 from chriseth/import_contextschriseth2015-12-1512-75/+288
|\ \ \ \ | |_|/ / |/| | | Do not clutter importee when importing.
| * | | Style.chriseth2015-12-151-4/+4
| | | |
| * | | Relative paths in import directives.chriseth2015-12-107-9/+67
| | | |
| * | | Source units are independent scopes.chriseth2015-12-109-55/+204
| | | |
| * | | Bugfix concerning pointers to moved data.chriseth2015-12-082-21/+27
| |/ /
* | | Merge pull request #299 from chriseth/documentPrivatechriseth2015-12-151-0/+7
|\ \ \ | |_|/ |/| | Note about private note being invisible.
| * | Note about private note being invisible.chriseth2015-12-141-0/+7
|/ /
* | Merge pull request #296 from chriseth/solidityHighlightingchriseth2015-12-112-2/+91
|\ \ | | | | | | Pygments highlighting rules for Solidity.
| * | Pygments highlighting rules for Solidity.chriseth2015-12-112-2/+91
|/ /
* | Merge pull request #289 from chriseth/fix_base_constructor_paramschriseth2015-12-101-0/+3
|\ \ | | | | | | Fix: Type checker crash for wrong number of base constructor arguments.
| * | Fix: Type checker crash for wrong number of base constructor arguments.chriseth2015-12-101-0/+3
| |/
* | Merge pull request #290 from chriseth/fix_gas_iteratorchriseth2015-12-104-10/+10
|\ \ | | | | | | Fix: Segfaults connected to paramater types.
| * | Fix: Segfaults connected to paramater types.chriseth2015-12-104-10/+10
| |/ | | | | | | parameterTypes does not return by const reference anymore.
* | Merge pull request #293 from chriseth/doc_indexchriseth2015-12-102-9/+169
|\ \ | | | | | | Documentation index page and build instructions.
| * | Added build guide.chriseth2015-12-102-42/+140
| | |
| * | Improved index page.chriseth2015-12-101-9/+29
| | |
| * | Update for_Ze_Devs.mdRJ2015-12-101-5/+16
| | |
| * | Update for_Ze_Devs.mdRJ2015-12-101-2/+2
| | |
| * | Update for_Ze_Devs.mdRJ2015-12-101-1/+1
| | |
| * | Create for_Ze_Devs.mdRJ2015-12-101-0/+31
| |/ | | | | tentative means to get a dev environment set up for the compiler on OS X
* | Merge pull request #294 from chriseth/newfaqchriseth2015-12-101-0/+14
|\ \ | | | | | | Overflow check.
| * | Overflow check.chriseth2015-12-101-0/+14
| |/
* | Merge pull request #295 from chriseth/removedockerchriseth2015-12-101-70/+0
|\ \ | |/ |/| Removed obsolete Dockerfile.
| * Removed obsolete dockerfile.chriseth2015-12-101-70/+0
|/
* Merge pull request #286 from ethereum/readmechriseth2015-12-081-1/+1
|\ | | | | Change doc link.
| * Update README.mdchriseth2015-12-081-1/+1
|/
* Merge pull request #285 from chriseth/docschriseth2015-12-084-1/+15
|\ | | | | PDFs and some lost changes.
| * Added some lost changes.chriseth2015-12-083-1/+14
| |
| * Add pdf config.chriseth2015-12-081-0/+1
|/
* Merge pull request #282 from chriseth/docschriseth2015-12-0817-0/+5229
|\ | | | | Imported documentation.
| * Imported documentation.chriseth2015-12-0817-0/+5229
|/
* Merge pull request #279 from doublethinkco/developchriseth2015-12-061-1/+1
|\ | | | | Fix a "Solidity::solidity" dependency edge in the CMake file for soltest
| * Fix a "Solidity::solidity" dependency edge in the CMake file for soltest, ↵Bob Summerwill2015-12-061-1/+1
|/ | | | | | | which got missed in the previous PR. This change resolves an inconsistency which was discovered in the automated dependency graph generation. softest was being declared as dependent on the Solidity module, not on just libsolidity, as it should be.
* Merge pull request #274 from doublethinkco/cmake_fixesLefteris Karapetsas2015-12-041-2/+2
|\ | | | | Corrected case for Solidity library entry in CMake file.
| * Merge pull request #1 from LefterisJP/cmake_fixesBob Summerwill2015-12-041-1/+1
| |\ | | | | | | Fix the build - library is not a module
| | * Fix the build - library is not a moduleLefteris Karapetsas2015-12-041-1/+1
| |/ | | | | | | | | | | The Module::Object rule is something only eth_use() and friends can understand. target_link_libraries() on the other hand needs only the actual library object to link to.
| * Alternative case-consistency fix for libsolidity. Just using ↵Bob Summerwill2015-12-042-4/+4
| | | | | | | | fully-qualified scoped name in eh_use instead.
| * Corrected case for Solidity library entry in CMake file.Bob Summerwill2015-12-031-1/+1
| |
* | Merge pull request #265 from chriseth/versionchriseth2015-12-012-2/+2
|\ \ | | | | | | Increment version to 0.2.0 (includes breaking changes).
| * | Increment version to 0.2.0 (includes breaking changes).chriseth2015-12-012-2/+2
|/ /
* | Merge pull request #262 from chriseth/bind_codegenerationchriseth2015-12-013-4/+161
|\ \ | | | | | | Code generation for bound methods
| * | Code generation for calling bound methods.chriseth2015-12-013-4/+161
|/ /
* | Merge pull request #261 from chriseth/datalocchriseth2015-12-011-20/+24
|\ \ | | | | | | Bugfix for explicit memory types in libraries.
| * | Bugfix for explicit memory types in libraries.chriseth2015-12-011-20/+24
| | |
* | | Merge pull request #260 from chriseth/stackrotationchriseth2015-12-012-8/+27
|\ \ \ | |/ / |/| | Simplify and optimise stack rotation.
| * | Simplify and optimise stack rotation.chriseth2015-12-012-8/+27
|/ /
* | Merge pull request #251 from chriseth/bind2chriseth2015-11-3016-292/+605
|\ \ | | | | | | Bind library functions to types.
| * | Also check the object type for bound functions.chriseth2015-11-295-9/+68
| | |
| * | Add bound functions to types.chriseth2015-11-296-204/+353
| | |
| * | Added the `using x for y` directive.chriseth2015-11-2710-3/+124
| | |
| * | Resolve type names using regular AST visit.chriseth2015-11-272-82/+66
| |/
* | Merge pull request #256 from chriseth/selfdestructchriseth2015-11-305-5/+23
|\ \ | | | | | | Introduce selfdestruct alias for suicide.
| * | Introduce selfdestruct alias for suicide.chriseth2015-11-295-5/+23
| |/
* | Merge pull request #257 from chriseth/fixConstructorFixedArraychriseth2015-11-302-5/+30
|\ \ | |/ |/| Bugfix for constructor unpacking with fixed-size arrays.
| * Bugfix for constructor unpacking with fixed-size arrays.chriseth2015-11-292-5/+30
|/
* Merge pull request #246 from chriseth/refactorchriseth2015-11-2721-247/+189
|\ | | | | Refactoring - more flexible contracts.
| * Convert filter to template function.chriseth2015-11-272-60/+20
| |
| * Invalidate cached members if scope changes.chriseth2015-11-262-1/+3
| |
| * Fix smart pointer lifetime issue in tests.chriseth2015-11-261-16/+15
| |
| * Do not store elements of a contract by AST node type.chriseth2015-11-2614-152/+141
| |
| * Make members context-sensitive.chriseth2015-11-2614-79/+71
|/
* Merge pull request #222 from chriseth/newArrayschriseth2015-11-2616-55/+258
|\ | | | | Dynamically create memory arrays.
| * Fix MSVC errors and warnings.chriseth2015-11-264-6/+7
| |
| * Make some functions const.chriseth2015-11-262-4/+4
| |
| * Code generation for creating arrays.chriseth2015-11-264-9/+111
| |
| * Type checking for creating new arrays.chriseth2015-11-265-7/+67
| |
| * Allow "new expressions" also for general type names.chriseth2015-11-269-35/+75
|/ | | | | | | Breaking change: If you want to send value with a contract creation, you have to use parentheses now: `(new ContractName).value(2 ether)(arg1, arg2)`
* Merge pull request #249 from chriseth/fixemscriptenchriseth2015-11-261-1/+1
|\ | | | | Fix solidity dependencies.
| * Fix solidity dependencies.chriseth2015-11-261-1/+1
|/
* Merge pull request #239 from chriseth/why3Fixchriseth2015-11-262-26/+35
|\ | | | | Again some why3 fixes with regards to separators in blocks.
| * Style.chriseth2015-11-251-1/+2
| |
| * Again some why3 fixes with regards to separators in blocks.chriseth2015-11-252-26/+34
|/
* Merge pull request #245 from chriseth/buildfixeschriseth2015-11-251-1/+1
|\ | | | | Build dependency fixes.
| * Build dependency fixes.chriseth2015-11-241-1/+1
| |
* | Merge pull request #248 from ethereum/hot_gavGav Wood2015-11-250-0/+0
|\ \ | | | | | | Fixups for new API.
| * \ Merge remote-tracking branch 'orig/develop' into hot_gavGav Wood2015-11-2316-228/+493
| |\ \
* | \ \ Merge pull request #244 from chriseth/fix_stringAllocchriseth2015-11-247-14/+39
|\ \ \ \ | |_|_|/ |/| | | Fix for memory allocation bug.
| * | | Fixed string inside struct allocation bug.chriseth2015-11-246-14/+8
| | | |
| * | | Test for allocation bug.chriseth2015-11-241-0/+31
| | |/ | |/|
* | | Merge pull request #241 from chriseth/why3VariablesInConditionschriseth2015-11-242-18/+114
|\ \ \ | |/ / |/| | Why3 variables in conditions
| * | Style.chriseth2015-11-231-2/+5
| | |
| * | addmod and mulmod for why3.chriseth2015-11-231-17/+36
| | |
| * | Why3: Direct references to variables using `#`.chriseth2015-11-232-1/+75
| | |
* | | Merge pull request #236 from ethereum/hot_gavGav Wood2015-11-236-15/+18
|\ \ \ | |/ / |/| / | |/ Fix up for new API from EIP-1.1.
| * Fix up for new API from EIP-1.1.Gav Wood2015-11-216-15/+18
| |
* | Merge remote-tracking branch 'origin/hot_gav' into developGav Wood2015-11-201-1/+5
|\|
| * Fix solidity tests.Gav Wood2015-11-201-1/+5
| |
* | Merge pull request #229 from chriseth/fv_storage_typeschriseth2015-11-192-20/+70
|\ \ | | | | | | Formal Verification: State variables.
| * | Formal Verification: State variables.chriseth2015-11-192-20/+70
| | |
* | | Merge pull request #227 from chriseth/addmodchriseth2015-11-194-0/+38
|\ \ \ | | | | | | | | Addmod and mulmod.
| * | | Addmod and mulmod.chriseth2015-11-194-0/+38
| |/ /
* | | Merge pull request #204 from ethereum/hot_gavGav Wood2015-11-193-4/+7
|\ \ \ | |/ / |/| / | |/ The Big Refactor
| * Minor API change - must provide SealEngine to Executive now.Gav Wood2015-11-191-2/+4
| |
| * Fix tests for new API.Gav Wood2015-11-171-1/+1
| |
| * Merge branch 'hot_gav' of https://github.com/ethereum/solidity into hot_gavGav Wood2015-11-060-0/+0
| |\
| | * New vocab.Gav Wood2015-10-201-1/+1
| | |
| * | Fixups for new API.Gav Wood2015-11-061-1/+2
| | |
| * | New vocab.Gav Wood2015-11-061-1/+1
| | |
* | | Merge pull request #221 from chriseth/versionchriseth2015-11-171-1/+1
|\ \ \ | | | | | | | | Increment version to 0.1.7
| * | | Increment version to 0.1.7chriseth2015-11-171-1/+1
|/ / /
* | | Merge pull request #218 from chriseth/fix_overwriteMemorychriseth2015-11-172-3/+28
|\ \ \ | | | | | | | | Fix memory overwrite problem for arrays.
| * | | Fix memory overwrite problem for arrays.chriseth2015-11-172-3/+28
| | | |
* | | | Merge pull request #216 from chriseth/dynamic_indexed_event_argschriseth2015-11-172-5/+53
|\ \ \ \ | | | | | | | | | | Fix dynamic indexed event arguments - applies sha3.
| * | | | Fix dynamic indexed event arguments - applies sha3.chriseth2015-11-172-5/+53
| |/ / /
* | | | Merge pull request #214 from chriseth/fix_optimizerTestchriseth2015-11-171-1/+5
|\ \ \ \ | | | | | | | | | | Test fix: Do not increment iterator past end.
| * | | | Test fix: Do not increment iterator past end.chriseth2015-11-161-1/+5
| |/ / /
* | | | Merge pull request #213 from chriseth/fix_testLeakchriseth2015-11-171-1/+1
|\ \ \ \ | |/ / / |/| | | Fix segfault during test.
| * | | Fix segfault during test.chriseth2015-11-161-1/+1
|/ / /
* | | Merge pull request #211 from chriseth/fix_successorchriseth2015-11-161-0/+10
|\ \ \ | | | | | | | | Work around bug in MSVC/Boost for u256->unsigned conversion.
| * | | Work around bug in MSVC/Boost for u256->unsigned conversion.chriseth2015-11-161-0/+10
|/ / /
* | | Merge pull request #209 from chriseth/formalchriseth2015-11-133-21/+48
|\ \ \ | | | | | | | | Why3 translation: Fix problems with statement blocks.
| * | | Fix problems with statement blocks.chriseth2015-11-113-21/+48
|/ / /
* | | Merge pull request #195 from LianaHus/sol_remove_exc_from_ref_resolverchriseth2015-11-086-176/+239
|\ \ \ | |/ / |/| | Sol remove exc from ref resolver
| * | style fixLianaHus2015-11-072-12/+14
| | |
| * | style fixesLianaHus2015-11-074-27/+28
| | |
| * | fixed test frameworkLianaHus2015-11-073-27/+28
| | |
| * | fixLianaHus2015-11-073-35/+60
| | |
| * | fixed return valu for resolverLianaHus2015-11-072-5/+5
| | |
| * | added SourceLocations to error reporting for ReferenceResolverLianaHus2015-11-072-15/+18
| | |
| * | passed SourceLocations instead of nodes to the error reporting functionLianaHus2015-11-075-109/+116
| | |
| * | fixed buildLianaHus2015-11-071-3/+4
| | |
| * | added errors tu ReferencesResolverLianaHus2015-11-073-55/+78
|/ /
* | Merge pull request #192 from ethers/patch-2chriseth2015-11-031-1/+1
|\ \ | | | | | | update link to tutorial
| * | update link to tutorialethers2015-11-031-1/+1
|/ / | | | | old link was pointing to a wiki that mentions this new link
* | Merge pull request #188 from chriseth/fix_copeWithNonExistingCommitHashchriseth2015-11-031-1/+4
|\ \ | | | | | | Fix: Cope with non-existing commit hash.
| * | Fix: Cope with non-existing commit hash.chriseth2015-11-031-1/+4
|/ /
* | Merge pull request #185 from chriseth/fix_strings_in_tupleschriseth2015-11-033-2/+26
|\ \ | | | | | | Bugfix: Returning literal strings in tuples.
| * | Bugfix: Returning literal strings in tuples.chriseth2015-11-013-2/+26
| | |
* | | Merge pull request #176 from chriseth/why3chriseth2015-10-2816-108/+856
|\| | | | | | | | First shot at generating why3 output.
| * | Rename error type.chriseth2015-10-283-4/+4
| | |
| * | Preliminary why3 code output.chriseth2015-10-279-44/+730
| | |
| * | Allow docstrings for statements.chriseth2015-10-277-64/+126
|/ /
generated by cgit (git 2.34.1) at 2024-11-18 13:34:32 +0800