Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | add another test case for continue not in loop | Lu Guanqun | 2016-01-19 | 2 | -4/+19 |
| | |||||
* | code changes according to Chris's comments | Lu Guanqun | 2016-01-19 | 3 | -20/+16 |
| | |||||
* | check whether break/continue is in the loop | Lu Guanqun | 2016-01-15 | 8 | -12/+187 |
| | |||||
* | Merge pull request #345 from VoR0220/develop | chriseth | 2016-01-13 | 5 | -30/+293 |
|\ | | | | | Inline Arrays | ||||
| * | clarification on dynamic arrays, switcheroo on typepointer, and a ↵ | RJ Catalano | 2016-01-12 | 4 | -4/+21 |
| | | | | | | | | documentation test added | ||||
| * | forgot to take the auto tabs off...turned into spaces | RJ Catalano | 2016-01-12 | 1 | -1/+1 |
| | | |||||
| * | Merge branch 'develop' of https://github.com/ethereum/solidity into develop | RJ Catalano | 2016-01-12 | 1 | -0/+3 |
| |\ | |||||
| * | | added documentation and one last test for struct creation inline | RJ Catalano | 2016-01-12 | 2 | -1/+19 |
| | | | |||||
| * | | final changes to typechecker, the expression compiler, and a couple more ↵ | RJ Catalano | 2016-01-12 | 3 | -23/+57 |
| | | | | | | | | | | | | tests for good measure | ||||
| * | | one last test for long strings | RJ Catalano | 2016-01-11 | 1 | -0/+15 |
| | | | |||||
| * | | Update SolidityNameAndTypeResolution.cpp | RJ | 2016-01-11 | 1 | -1/+0 |
| | | | |||||
| * | | Update ExpressionCompiler.cpp | RJ | 2016-01-11 | 1 | -14/+16 |
| | | | |||||
| * | | Update ExpressionCompiler.cpp | RJ | 2016-01-11 | 1 | -4/+2 |
| | | | |||||
| * | | Update SolidityEndToEndTest.cpp | RJ | 2016-01-11 | 1 | -7/+18 |
| | | | |||||
| * | | Update SolidityEndToEndTest.cpp | RJ | 2016-01-10 | 1 | -0/+70 |
| | | | |||||
| * | | Update ExpressionCompiler.cpp | RJ | 2016-01-10 | 1 | -17/+39 |
| | | | |||||
| * | | find common type | RJ | 2016-01-10 | 1 | -2/+11 |
| | | | |||||
| * | | Update with type resolution tests for arrays | RJ | 2016-01-10 | 1 | -8/+76 |
| | | | |||||
* | | | Merge pull request #350 from ethereum/chriseth-patch-1 | chriseth | 2016-01-13 | 1 | -1/+1 |
|\ \ \ | |_|/ |/| | | Docs: Refund actual deposit, and not bid value. | ||||
| * | | Refund actual deposit, and not bid value. | chriseth | 2016-01-12 | 1 | -1/+1 |
|/ / | | | | | | | Thanks to @jonasnick for finding this. Fixes #349 | ||||
* | | Merge pull request #342 from chriseth/fix_crash | chriseth | 2016-01-11 | 1 | -0/+3 |
|\ \ | |/ |/| | Fixed a crash during type checking. | ||||
| * | Fixed a crash during type checking. | chriseth | 2016-01-08 | 1 | -0/+3 |
|/ | |||||
* | Merge pull request #338 from guanqun/add_paren | chriseth | 2016-01-05 | 4 | -2/+26 |
|\ | | | | | support syntax "(x) = 3" | ||||
| * | add a test case for decayed tuple expression as left value | Lu Guanqun | 2016-01-04 | 2 | -0/+16 |
| | | |||||
| * | support decayed tuple expression as left value | Lu Guanqun | 2016-01-04 | 2 | -2/+10 |
| | | |||||
* | | Merge pull request #331 from u2/doc_fix2 | chriseth | 2016-01-04 | 1 | -192/+192 |
|\ \ | | | | | | | docs: code sytle | ||||
| * | | docs: code sytle | u2 | 2015-12-30 | 1 | -192/+192 |
| |/ | |||||
* | | Merge pull request #329 from guanqun/patch-2 | chriseth | 2016-01-04 | 1 | -1/+1 |
|\ \ | | | | | | | [docs]: change unsupported underscore to star | ||||
| * | | [docs]: change unsupported underscore to start | Lu Guanqun | 2015-12-30 | 1 | -1/+1 |
| |/ | | | | | highlight "not" | ||||
* | | Merge pull request #328 from guanqun/patch-1 | chriseth | 2016-01-04 | 1 | -1/+1 |
|\ \ | | | | | | | [docs]: add an ending period | ||||
| * | | [docs]: add an ending period | Lu Guanqun | 2015-12-30 | 1 | -1/+1 |
| |/ | |||||
* | | Merge pull request #317 from chriseth/pathsEverywhere | chriseth | 2016-01-04 | 6 | -24/+27 |
|\ \ | |/ |/| | Use paths instead of simple identifiers wherever possible. | ||||
| * | Use paths instead of simple identifiers wherever possible. | chriseth | 2015-12-22 | 6 | -24/+27 |
| | | |||||
* | | Merge pull request #316 from chriseth/docs | chriseth | 2015-12-22 | 2 | -40/+44 |
|\| | | | | | Fixes in the misc section. | ||||
| * | Fixes in the misc section. | chriseth | 2015-12-21 | 2 | -40/+44 |
| | | |||||
* | | Merge pull request #312 from ethers/patch-4 | chriseth | 2015-12-21 | 1 | -0/+10 |
|\ \ | | | | | | | sending value to an overloaded function | ||||
| * | | sending value to an overloaded function | ethers | 2015-12-19 | 1 | -0/+10 |
| |/ | | | | | from https://gitter.im/ethereum/solidity?at=5673fb41b5777fb85ba496fa | ||||
* | | Merge pull request #308 from chriseth/fixoverloadbug | chriseth | 2015-12-21 | 2 | -0/+13 |
|\ \ | | | | | | | Fix bug preventing overloads of different array types. | ||||
| * | | Fix bug preventing overloads of different array types. | chriseth | 2015-12-18 | 2 | -0/+13 |
| | | | |||||
* | | | Merge pull request #309 from chriseth/fix_cross_contract_enum_access | chriseth | 2015-12-21 | 4 | -14/+59 |
|\ \ \ | |_|/ |/| | | Add structs and enums to contract types. | ||||
| * | | Add structs and enums to contract types. | chriseth | 2015-12-18 | 4 | -14/+59 |
| |/ | |||||
* | | Merge pull request #311 from guanqun/correct-boolean-literal-position | chriseth | 2015-12-19 | 1 | -0/+1 |
|\ \ | |/ |/| | correct true/false literal's source | ||||
| * | correct true/false literal's source | Lu Guanqun | 2015-12-18 | 1 | -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/imp | chriseth | 2015-12-18 | 13 | -58/+240 |
|\ \ | | | | | | | Simple aliasing during import | ||||
| * | | Simple aliasing during import. | chriseth | 2015-12-18 | 10 | -52/+148 |
| | | | |||||
| * | | Parse complex import directives. | chriseth | 2015-12-18 | 7 | -28/+114 |
|/ / | |||||
* | | Merge pull request #307 from VoR0220/develop | chriseth | 2015-12-18 | 1 | -1/+3 |
|\ \ | | | | | | | OS X specific doc changes for those with trouble building from source | ||||
| * | | Update installing-solidity.rst | RJ | 2015-12-18 | 1 | -1/+1 |
| | | | |||||
| * | | Update installing-solidity.rst | RJ | 2015-12-18 | 1 | -1/+1 |
| | | | |||||
| * | | update with OS X specific instructions on installation | RJ Catalano | 2015-12-18 | 1 | -1/+1 |
| |\ \ | |/ / |/| | | |||||
* | | | Merge pull request #300 from ethereum/noevmjit | chriseth | 2015-12-17 | 1 | -1/+1 |
|\ \ \ | | | | | | | | | Add -EVMJIT=0 | ||||
| * | | | Add -EVMJIT=0 | chriseth | 2015-12-15 | 1 | -1/+1 |
| | | | | |||||
* | | | | Merge pull request #305 from VoR0220/inlineArrays | chriseth | 2015-12-17 | 5 | -11/+94 |
|\ \ \ \ | | | | | | | | | | | Parsing for Inline Arrays is passing | ||||
| * | | | | changed error message | RJ Catalano | 2015-12-17 | 1 | -1/+1 |
| | | | | | |||||
| | | * | | new doc | RJ Catalano | 2015-12-18 | 1 | -1/+3 |
| | |/ / | |/| | | |||||
| * | | | updated tests and much simpler algorithm for parsing errors | RJ Catalano | 2015-12-17 | 2 | -28/+14 |
| | | | | |||||
| * | | | Merge branch 'inlineArrays' into develop | RJ Catalano | 2015-12-17 | 5 | -11/+108 |
| |\ \ \ | |||||
| | * | | | added one more test and realized that there was one last change before the ↵ | RJ Catalano | 2015-12-17 | 2 | -6/+33 |
| | | | | | | | | | | | | | | | | | | | | parser is perfect | ||||
| | * | | | forgot about this one...again making this purely about ↵ | RJ Catalano | 2015-12-17 | 1 | -2/+2 |
| | | | | | | | | | | | | | | | | | | | | parsing...typechecking will come another day | ||||
| | * | | | making this purely about parsing...type checking will go in a different PR | RJ Catalano | 2015-12-17 | 1 | -2/+2 |
| | | | | | |||||
| | * | | | Parsing is complete | RJ Catalano | 2015-12-17 | 1 | -3/+3 |
| | | | | | |||||
| | * | | | changed a couple of small nuances, made an attempt at fixing the parsing in ↵ | RJ Catalano | 2015-12-17 | 3 | -18/+28 |
| | | | | | | | | | | | | | | | | | | | | the inline arrays case (fails), and added test for inline arrays per Chriseth request | ||||
| | * | | | temporary assert added | RJ Catalano | 2015-12-17 | 1 | -0/+1 |
| | | | | | |||||
| | * | | | still not able to get types resolved, however it is compiling | RJ Catalano | 2015-12-16 | 1 | -2/+9 |
| | | | | | |||||
| | * | | | new tests | RJ Catalano | 2015-12-16 | 2 | -1/+26 |
| | | | | | |||||
| | * | | | now is compiling and passing soltest...but I think there may be a few more ↵ | RJ Catalano | 2015-12-16 | 2 | -5/+9 |
| | | | | | | | | | | | | | | | | | | | | things to do | ||||
| | * | | | fixed case statements | RJ Catalano | 2015-12-16 | 2 | -1/+3 |
| | | | | | |||||
| | * | | | changing Tuple Constructor | RJ Catalano | 2015-12-16 | 1 | -2/+5 |
| | | | | | |||||
| | * | | | updated attempt...still a bit more work to do but here's what's current | RJ Catalano | 2015-12-16 | 2 | -2/+4 |
| | |\ \ \ | |||||
| | | * | | | Inline array declarations complete | RJ Catalano | 2015-12-15 | 3 | -2/+52 |
| | | |/ / | |||||
| | * / / | updated attempt, a couple of more things to sort through and change | RJ Catalano | 2015-12-16 | 2 | -4/+20 |
| |/ / / |/| | | | |||||
| * | | | Merge branch 'develop' of github.com:VoR0220/solidity into develop | RJ Catalano | 2015-12-16 | 0 | -0/+0 |
|/| | | | |||||
| * | | | Merge pull request #1 from ethereum/develop | RJ | 2015-12-15 | 11 | -91/+294 |
| |\| | | | | | | | | | | Update stuff | ||||
* | | | | Merge pull request #288 from chriseth/import_contexts | chriseth | 2015-12-15 | 12 | -75/+288 |
|\ \ \ \ | |_|/ / |/| | | | Do not clutter importee when importing. | ||||
| * | | | Style. | chriseth | 2015-12-15 | 1 | -4/+4 |
| | | | | |||||
| * | | | Relative paths in import directives. | chriseth | 2015-12-10 | 7 | -9/+67 |
| | | | | |||||
| * | | | Source units are independent scopes. | chriseth | 2015-12-10 | 9 | -55/+204 |
| | | | | |||||
| * | | | Bugfix concerning pointers to moved data. | chriseth | 2015-12-08 | 2 | -21/+27 |
| |/ / | |||||
* | | | Merge pull request #299 from chriseth/documentPrivate | chriseth | 2015-12-15 | 1 | -0/+7 |
|\ \ \ | |_|/ |/| | | Note about private note being invisible. | ||||
| * | | Note about private note being invisible. | chriseth | 2015-12-14 | 1 | -0/+7 |
|/ / | |||||
* | | Merge pull request #296 from chriseth/solidityHighlighting | chriseth | 2015-12-11 | 2 | -2/+91 |
|\ \ | | | | | | | Pygments highlighting rules for Solidity. | ||||
| * | | Pygments highlighting rules for Solidity. | chriseth | 2015-12-11 | 2 | -2/+91 |
|/ / | |||||
* | | Merge pull request #289 from chriseth/fix_base_constructor_params | chriseth | 2015-12-10 | 1 | -0/+3 |
|\ \ | | | | | | | Fix: Type checker crash for wrong number of base constructor arguments. | ||||
| * | | Fix: Type checker crash for wrong number of base constructor arguments. | chriseth | 2015-12-10 | 1 | -0/+3 |
| |/ | |||||
* | | Merge pull request #290 from chriseth/fix_gas_iterator | chriseth | 2015-12-10 | 4 | -10/+10 |
|\ \ | | | | | | | Fix: Segfaults connected to paramater types. | ||||
| * | | Fix: Segfaults connected to paramater types. | chriseth | 2015-12-10 | 4 | -10/+10 |
| |/ | | | | | | | parameterTypes does not return by const reference anymore. | ||||
* | | Merge pull request #293 from chriseth/doc_index | chriseth | 2015-12-10 | 2 | -9/+169 |
|\ \ | | | | | | | Documentation index page and build instructions. | ||||
| * | | Added build guide. | chriseth | 2015-12-10 | 2 | -42/+140 |
| | | | |||||
| * | | Improved index page. | chriseth | 2015-12-10 | 1 | -9/+29 |
| | | | |||||
| * | | Update for_Ze_Devs.md | RJ | 2015-12-10 | 1 | -5/+16 |
| | | | |||||
| * | | Update for_Ze_Devs.md | RJ | 2015-12-10 | 1 | -2/+2 |
| | | | |||||
| * | | Update for_Ze_Devs.md | RJ | 2015-12-10 | 1 | -1/+1 |
| | | | |||||
| * | | Create for_Ze_Devs.md | RJ | 2015-12-10 | 1 | -0/+31 |
| |/ | | | | | tentative means to get a dev environment set up for the compiler on OS X | ||||
* | | Merge pull request #294 from chriseth/newfaq | chriseth | 2015-12-10 | 1 | -0/+14 |
|\ \ | | | | | | | Overflow check. | ||||
| * | | Overflow check. | chriseth | 2015-12-10 | 1 | -0/+14 |
| |/ | |||||
* | | Merge pull request #295 from chriseth/removedocker | chriseth | 2015-12-10 | 1 | -70/+0 |
|\ \ | |/ |/| | Removed obsolete Dockerfile. | ||||
| * | Removed obsolete dockerfile. | chriseth | 2015-12-10 | 1 | -70/+0 |
|/ | |||||
* | Merge pull request #286 from ethereum/readme | chriseth | 2015-12-08 | 1 | -1/+1 |
|\ | | | | | Change doc link. | ||||
| * | Update README.md | chriseth | 2015-12-08 | 1 | -1/+1 |
|/ | |||||
* | Merge pull request #285 from chriseth/docs | chriseth | 2015-12-08 | 4 | -1/+15 |
|\ | | | | | PDFs and some lost changes. | ||||
| * | Added some lost changes. | chriseth | 2015-12-08 | 3 | -1/+14 |
| | | |||||
| * | Add pdf config. | chriseth | 2015-12-08 | 1 | -0/+1 |
|/ | |||||
* | Merge pull request #282 from chriseth/docs | chriseth | 2015-12-08 | 17 | -0/+5229 |
|\ | | | | | Imported documentation. | ||||
| * | Imported documentation. | chriseth | 2015-12-08 | 17 | -0/+5229 |
|/ | |||||
* | Merge pull request #279 from doublethinkco/develop | chriseth | 2015-12-06 | 1 | -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 Summerwill | 2015-12-06 | 1 | -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_fixes | Lefteris Karapetsas | 2015-12-04 | 1 | -2/+2 |
|\ | | | | | Corrected case for Solidity library entry in CMake file. | ||||
| * | Merge pull request #1 from LefterisJP/cmake_fixes | Bob Summerwill | 2015-12-04 | 1 | -1/+1 |
| |\ | | | | | | | Fix the build - library is not a module | ||||
| | * | Fix the build - library is not a module | Lefteris Karapetsas | 2015-12-04 | 1 | -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 Summerwill | 2015-12-04 | 2 | -4/+4 |
| | | | | | | | | fully-qualified scoped name in eh_use instead. | ||||
| * | Corrected case for Solidity library entry in CMake file. | Bob Summerwill | 2015-12-03 | 1 | -1/+1 |
| | | |||||
* | | Merge pull request #265 from chriseth/version | chriseth | 2015-12-01 | 2 | -2/+2 |
|\ \ | | | | | | | Increment version to 0.2.0 (includes breaking changes). | ||||
| * | | Increment version to 0.2.0 (includes breaking changes). | chriseth | 2015-12-01 | 2 | -2/+2 |
|/ / | |||||
* | | Merge pull request #262 from chriseth/bind_codegeneration | chriseth | 2015-12-01 | 3 | -4/+161 |
|\ \ | | | | | | | Code generation for bound methods | ||||
| * | | Code generation for calling bound methods. | chriseth | 2015-12-01 | 3 | -4/+161 |
|/ / | |||||
* | | Merge pull request #261 from chriseth/dataloc | chriseth | 2015-12-01 | 1 | -20/+24 |
|\ \ | | | | | | | Bugfix for explicit memory types in libraries. | ||||
| * | | Bugfix for explicit memory types in libraries. | chriseth | 2015-12-01 | 1 | -20/+24 |
| | | | |||||
* | | | Merge pull request #260 from chriseth/stackrotation | chriseth | 2015-12-01 | 2 | -8/+27 |
|\ \ \ | |/ / |/| | | Simplify and optimise stack rotation. | ||||
| * | | Simplify and optimise stack rotation. | chriseth | 2015-12-01 | 2 | -8/+27 |
|/ / | |||||
* | | Merge pull request #251 from chriseth/bind2 | chriseth | 2015-11-30 | 16 | -292/+605 |
|\ \ | | | | | | | Bind library functions to types. | ||||
| * | | Also check the object type for bound functions. | chriseth | 2015-11-29 | 5 | -9/+68 |
| | | | |||||
| * | | Add bound functions to types. | chriseth | 2015-11-29 | 6 | -204/+353 |
| | | | |||||
| * | | Added the `using x for y` directive. | chriseth | 2015-11-27 | 10 | -3/+124 |
| | | | |||||
| * | | Resolve type names using regular AST visit. | chriseth | 2015-11-27 | 2 | -82/+66 |
| |/ | |||||
* | | Merge pull request #256 from chriseth/selfdestruct | chriseth | 2015-11-30 | 5 | -5/+23 |
|\ \ | | | | | | | Introduce selfdestruct alias for suicide. | ||||
| * | | Introduce selfdestruct alias for suicide. | chriseth | 2015-11-29 | 5 | -5/+23 |
| |/ | |||||
* | | Merge pull request #257 from chriseth/fixConstructorFixedArray | chriseth | 2015-11-30 | 2 | -5/+30 |
|\ \ | |/ |/| | Bugfix for constructor unpacking with fixed-size arrays. | ||||
| * | Bugfix for constructor unpacking with fixed-size arrays. | chriseth | 2015-11-29 | 2 | -5/+30 |
|/ | |||||
* | Merge pull request #246 from chriseth/refactor | chriseth | 2015-11-27 | 21 | -247/+189 |
|\ | | | | | Refactoring - more flexible contracts. | ||||
| * | Convert filter to template function. | chriseth | 2015-11-27 | 2 | -60/+20 |
| | | |||||
| * | Invalidate cached members if scope changes. | chriseth | 2015-11-26 | 2 | -1/+3 |
| | | |||||
| * | Fix smart pointer lifetime issue in tests. | chriseth | 2015-11-26 | 1 | -16/+15 |
| | | |||||
| * | Do not store elements of a contract by AST node type. | chriseth | 2015-11-26 | 14 | -152/+141 |
| | | |||||
| * | Make members context-sensitive. | chriseth | 2015-11-26 | 14 | -79/+71 |
|/ | |||||
* | Merge pull request #222 from chriseth/newArrays | chriseth | 2015-11-26 | 16 | -55/+258 |
|\ | | | | | Dynamically create memory arrays. | ||||
| * | Fix MSVC errors and warnings. | chriseth | 2015-11-26 | 4 | -6/+7 |
| | | |||||
| * | Make some functions const. | chriseth | 2015-11-26 | 2 | -4/+4 |
| | | |||||
| * | Code generation for creating arrays. | chriseth | 2015-11-26 | 4 | -9/+111 |
| | | |||||
| * | Type checking for creating new arrays. | chriseth | 2015-11-26 | 5 | -7/+67 |
| | | |||||
| * | Allow "new expressions" also for general type names. | chriseth | 2015-11-26 | 9 | -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/fixemscripten | chriseth | 2015-11-26 | 1 | -1/+1 |
|\ | | | | | Fix solidity dependencies. | ||||
| * | Fix solidity dependencies. | chriseth | 2015-11-26 | 1 | -1/+1 |
|/ | |||||
* | Merge pull request #239 from chriseth/why3Fix | chriseth | 2015-11-26 | 2 | -26/+35 |
|\ | | | | | Again some why3 fixes with regards to separators in blocks. | ||||
| * | Style. | chriseth | 2015-11-25 | 1 | -1/+2 |
| | | |||||
| * | Again some why3 fixes with regards to separators in blocks. | chriseth | 2015-11-25 | 2 | -26/+34 |
|/ | |||||
* | Merge pull request #245 from chriseth/buildfixes | chriseth | 2015-11-25 | 1 | -1/+1 |
|\ | | | | | Build dependency fixes. | ||||
| * | Build dependency fixes. | chriseth | 2015-11-24 | 1 | -1/+1 |
| | | |||||
* | | Merge pull request #248 from ethereum/hot_gav | Gav Wood | 2015-11-25 | 0 | -0/+0 |
|\ \ | | | | | | | Fixups for new API. | ||||
| * \ | Merge remote-tracking branch 'orig/develop' into hot_gav | Gav Wood | 2015-11-23 | 16 | -228/+493 |
| |\ \ | |||||
* | \ \ | Merge pull request #244 from chriseth/fix_stringAlloc | chriseth | 2015-11-24 | 7 | -14/+39 |
|\ \ \ \ | |_|_|/ |/| | | | Fix for memory allocation bug. | ||||
| * | | | Fixed string inside struct allocation bug. | chriseth | 2015-11-24 | 6 | -14/+8 |
| | | | | |||||
| * | | | Test for allocation bug. | chriseth | 2015-11-24 | 1 | -0/+31 |
| | |/ | |/| | |||||
* | | | Merge pull request #241 from chriseth/why3VariablesInConditions | chriseth | 2015-11-24 | 2 | -18/+114 |
|\ \ \ | |/ / |/| | | Why3 variables in conditions | ||||
| * | | Style. | chriseth | 2015-11-23 | 1 | -2/+5 |
| | | | |||||
| * | | addmod and mulmod for why3. | chriseth | 2015-11-23 | 1 | -17/+36 |
| | | | |||||
| * | | Why3: Direct references to variables using `#`. | chriseth | 2015-11-23 | 2 | -1/+75 |
| | | | |||||
* | | | Merge pull request #236 from ethereum/hot_gav | Gav Wood | 2015-11-23 | 6 | -15/+18 |
|\ \ \ | |/ / |/| / | |/ | Fix up for new API from EIP-1.1. | ||||
| * | Fix up for new API from EIP-1.1. | Gav Wood | 2015-11-21 | 6 | -15/+18 |
| | | |||||
* | | Merge remote-tracking branch 'origin/hot_gav' into develop | Gav Wood | 2015-11-20 | 1 | -1/+5 |
|\| | |||||
| * | Fix solidity tests. | Gav Wood | 2015-11-20 | 1 | -1/+5 |
| | | |||||
* | | Merge pull request #229 from chriseth/fv_storage_types | chriseth | 2015-11-19 | 2 | -20/+70 |
|\ \ | | | | | | | Formal Verification: State variables. | ||||
| * | | Formal Verification: State variables. | chriseth | 2015-11-19 | 2 | -20/+70 |
| | | | |||||
* | | | Merge pull request #227 from chriseth/addmod | chriseth | 2015-11-19 | 4 | -0/+38 |
|\ \ \ | | | | | | | | | Addmod and mulmod. | ||||
| * | | | Addmod and mulmod. | chriseth | 2015-11-19 | 4 | -0/+38 |
| |/ / | |||||
* | | | Merge pull request #204 from ethereum/hot_gav | Gav Wood | 2015-11-19 | 3 | -4/+7 |
|\ \ \ | |/ / |/| / | |/ | The Big Refactor | ||||
| * | Minor API change - must provide SealEngine to Executive now. | Gav Wood | 2015-11-19 | 1 | -2/+4 |
| | | |||||
| * | Fix tests for new API. | Gav Wood | 2015-11-17 | 1 | -1/+1 |
| | | |||||
| * | Merge branch 'hot_gav' of https://github.com/ethereum/solidity into hot_gav | Gav Wood | 2015-11-06 | 0 | -0/+0 |
| |\ | |||||
| | * | New vocab. | Gav Wood | 2015-10-20 | 1 | -1/+1 |
| | | | |||||
| * | | Fixups for new API. | Gav Wood | 2015-11-06 | 1 | -1/+2 |
| | | | |||||
| * | | New vocab. | Gav Wood | 2015-11-06 | 1 | -1/+1 |
| | | | |||||
* | | | Merge pull request #221 from chriseth/version | chriseth | 2015-11-17 | 1 | -1/+1 |
|\ \ \ | | | | | | | | | Increment version to 0.1.7 | ||||
| * | | | Increment version to 0.1.7 | chriseth | 2015-11-17 | 1 | -1/+1 |
|/ / / | |||||
* | | | Merge pull request #218 from chriseth/fix_overwriteMemory | chriseth | 2015-11-17 | 2 | -3/+28 |
|\ \ \ | | | | | | | | | Fix memory overwrite problem for arrays. | ||||
| * | | | Fix memory overwrite problem for arrays. | chriseth | 2015-11-17 | 2 | -3/+28 |
| | | | | |||||
* | | | | Merge pull request #216 from chriseth/dynamic_indexed_event_args | chriseth | 2015-11-17 | 2 | -5/+53 |
|\ \ \ \ | | | | | | | | | | | Fix dynamic indexed event arguments - applies sha3. | ||||
| * | | | | Fix dynamic indexed event arguments - applies sha3. | chriseth | 2015-11-17 | 2 | -5/+53 |
| |/ / / | |||||
* | | | | Merge pull request #214 from chriseth/fix_optimizerTest | chriseth | 2015-11-17 | 1 | -1/+5 |
|\ \ \ \ | | | | | | | | | | | Test fix: Do not increment iterator past end. | ||||
| * | | | | Test fix: Do not increment iterator past end. | chriseth | 2015-11-16 | 1 | -1/+5 |
| |/ / / | |||||
* | | | | Merge pull request #213 from chriseth/fix_testLeak | chriseth | 2015-11-17 | 1 | -1/+1 |
|\ \ \ \ | |/ / / |/| | | | Fix segfault during test. | ||||
| * | | | Fix segfault during test. | chriseth | 2015-11-16 | 1 | -1/+1 |
|/ / / | |||||
* | | | Merge pull request #211 from chriseth/fix_successor | chriseth | 2015-11-16 | 1 | -0/+10 |
|\ \ \ | | | | | | | | | Work around bug in MSVC/Boost for u256->unsigned conversion. | ||||
| * | | | Work around bug in MSVC/Boost for u256->unsigned conversion. | chriseth | 2015-11-16 | 1 | -0/+10 |
|/ / / | |||||
* | | | Merge pull request #209 from chriseth/formal | chriseth | 2015-11-13 | 3 | -21/+48 |
|\ \ \ | | | | | | | | | Why3 translation: Fix problems with statement blocks. | ||||
| * | | | Fix problems with statement blocks. | chriseth | 2015-11-11 | 3 | -21/+48 |
|/ / / | |||||
* | | | Merge pull request #195 from LianaHus/sol_remove_exc_from_ref_resolver | chriseth | 2015-11-08 | 6 | -176/+239 |
|\ \ \ | |/ / |/| | | Sol remove exc from ref resolver | ||||
| * | | style fix | LianaHus | 2015-11-07 | 2 | -12/+14 |
| | | | |||||
| * | | style fixes | LianaHus | 2015-11-07 | 4 | -27/+28 |
| | | | |||||
| * | | fixed test framework | LianaHus | 2015-11-07 | 3 | -27/+28 |
| | | | |||||
| * | | fix | LianaHus | 2015-11-07 | 3 | -35/+60 |
| | | | |||||
| * | | fixed return valu for resolver | LianaHus | 2015-11-07 | 2 | -5/+5 |
| | | | |||||
| * | | added SourceLocations to error reporting for ReferenceResolver | LianaHus | 2015-11-07 | 2 | -15/+18 |
| | | | |||||
| * | | passed SourceLocations instead of nodes to the error reporting function | LianaHus | 2015-11-07 | 5 | -109/+116 |
| | | | |||||
| * | | fixed build | LianaHus | 2015-11-07 | 1 | -3/+4 |
| | | | |||||
| * | | added errors tu ReferencesResolver | LianaHus | 2015-11-07 | 3 | -55/+78 |
|/ / | |||||
* | | Merge pull request #192 from ethers/patch-2 | chriseth | 2015-11-03 | 1 | -1/+1 |
|\ \ | | | | | | | update link to tutorial | ||||
| * | | update link to tutorial | ethers | 2015-11-03 | 1 | -1/+1 |
|/ / | | | | | old link was pointing to a wiki that mentions this new link | ||||
* | | Merge pull request #188 from chriseth/fix_copeWithNonExistingCommitHash | chriseth | 2015-11-03 | 1 | -1/+4 |
|\ \ | | | | | | | Fix: Cope with non-existing commit hash. | ||||
| * | | Fix: Cope with non-existing commit hash. | chriseth | 2015-11-03 | 1 | -1/+4 |
|/ / | |||||
* | | Merge pull request #185 from chriseth/fix_strings_in_tuples | chriseth | 2015-11-03 | 3 | -2/+26 |
|\ \ | | | | | | | Bugfix: Returning literal strings in tuples. | ||||
| * | | Bugfix: Returning literal strings in tuples. | chriseth | 2015-11-01 | 3 | -2/+26 |
| | | | |||||
* | | | Merge pull request #176 from chriseth/why3 | chriseth | 2015-10-28 | 16 | -108/+856 |
|\| | | | | | | | | First shot at generating why3 output. | ||||
| * | | Rename error type. | chriseth | 2015-10-28 | 3 | -4/+4 |
| | | | |||||
| * | | Preliminary why3 code output. | chriseth | 2015-10-27 | 9 | -44/+730 |
| | | | |||||
| * | | Allow docstrings for statements. | chriseth | 2015-10-27 | 7 | -64/+126 |
|/ / | |||||
* | | Merge pull request #174 from chriseth/docstringInAST | chriseth | 2015-10-27 | 14 | -383/+540 |
|\ \ | | | | | | | Store docstrings in AST annotations. | ||||
| * | | Fix indent. | chriseth | 2015-10-27 | 1 | -3/+3 |
| | | | |||||
| * | | Store docstrings in AST annotations. | chriseth | 2015-10-26 | 14 | -383/+540 |
|/ / | |||||
* | | Merge pull request #172 from LefterisJP/build_with_boost_159 | Lefteris Karapetsas | 2015-10-26 | 1 | -7/+27 |
|\ \ | | | | | | | Allow building with new boost version 1.59 | ||||
| * | | Allow building with new boost version 1.59 | Lefteris Karapetsas | 2015-10-25 | 1 | -7/+27 |
|/ / | |||||
* | | Merge pull request #171 from LianaHus/sol_change_expected_error_in_parser | chriseth | 2015-10-23 | 1 | -3/+19 |
|\ \ | | | | | | | Sol change "expected" errors in parser | ||||
| * | | more corrections | LianaHus | 2015-10-23 | 1 | -4/+14 |
| | | | |||||
| * | | modified error msg | LianaHus | 2015-10-23 | 1 | -1/+7 |
| | | | |||||
* | | | Merge pull request #170 from chriseth/warningFix | chriseth | 2015-10-23 | 1 | -1/+1 |
|\ \ \ | |/ / |/| | | Fix override warning. | ||||
| * | | Fix override warning. | chriseth | 2015-10-23 | 1 | -1/+1 |
|/ / | |||||
* | | Merge pull request #163 from chriseth/fileReorg | chriseth | 2015-10-22 | 74 | -199/+205 |
|\ \ | |/ |/| | File reorganisation. | ||||
| * | File reorganisation. | chriseth | 2015-10-21 | 74 | -199/+205 |
|/ | |||||
* | Merge pull request #146 from chriseth/version | chriseth | 2015-10-16 | 1 | -1/+1 |
|\ | | | | | Increment version to 0.1.6 | ||||
| * | Increment version to 0.1.6 | chriseth | 2015-10-16 | 1 | -1/+1 |
|/ | |||||
* | Merge pull request #145 from chriseth/parsingAmbiguityIndexAccess | chriseth | 2015-10-16 | 4 | -27/+99 |
|\ | | | | | Correctly parse ambiguities like `A.B[10] x` and `x.y[10] = 3`. | ||||
| * | Correctly parse ambiguities like `A.B[10] x` and `x.y[10] = 3`. | chriseth | 2015-10-16 | 4 | -27/+99 |
|/ | |||||
* | Merge pull request #143 from chriseth/loneStructArray | chriseth | 2015-10-16 | 2 | -0/+25 |
|\ | | | | | Fix errors when struct array type is used on its own. | ||||
| * | Fix errors when struct array type is used on its own. | chriseth | 2015-10-16 | 2 | -0/+25 |
| | | |||||
* | | Merge pull request #142 from chriseth/fixWarnings | chriseth | 2015-10-16 | 1 | -1/+1 |
|\ \ | | | | | | | Fix warning. | ||||
| * | | Fix warning. | chriseth | 2015-10-16 | 1 | -1/+1 |
| |/ | |||||
* | | Merge pull request #141 from chriseth/fixExternalTypes | chriseth | 2015-10-16 | 1 | -14/+11 |
|\ \ | | | | | | | Do not include function in interface list if there are errors. | ||||
| * | | Do not include function in interface list if there are errors. | chriseth | 2015-10-16 | 1 | -14/+11 |
| |/ | |||||
* | | Merge pull request #144 from chriseth/doNotCatchInternalErrors | chriseth | 2015-10-16 | 4 | -9/+15 |
|\ \ | |/ |/| | Do not catch InternalCompilerErrors as part of fatal error handling. | ||||
| * | Do not catch InternalCompilerErrors as part of fatal error handling. | chriseth | 2015-10-16 | 4 | -9/+15 |
|/ | | | | InternalCompilerErrors always have to end the whole compilation process because a serious inconsistency was detected. | ||||
* | Merge pull request #132 from chriseth/tupleExpression | chriseth | 2015-10-16 | 23 | -112/+672 |
|\ | | | | | Tuple expressions and destructuring assignments | ||||
| * | Fixed indentation. | chriseth | 2015-10-16 | 1 | -2/+3 |
| | | |||||
| * | Some fixes taking other pull requests into account. | chriseth | 2015-10-16 | 3 | -12/+7 |
| | | |||||
| * | MacOS fix. | chriseth | 2015-10-15 | 1 | -2/+2 |
| | | |||||
| * | Fix compiler warnings. | chriseth | 2015-10-15 | 1 | -1/+3 |
| | | |||||
| * | Wildcards. | chriseth | 2015-10-15 | 5 | -33/+35 |
| | | |||||
| * | Destructuring assignments. | chriseth | 2015-10-15 | 11 | -105/+389 |
| | | |||||
| * | Tuple expressions. | chriseth | 2015-10-15 | 17 | -18/+294 |
| | | |||||
* | | Merge pull request #139 from chriseth/multiJson | chriseth | 2015-10-16 | 1 | -1/+1 |
|\ \ | | | | | | | Do not forget to export the new symbol. | ||||
| * | | Do not forget to export the new symbol. | chriseth | 2015-10-16 | 1 | -1/+1 |
| | | | |||||
* | | | Merge pull request #135 from chriseth/multiJson | chriseth | 2015-10-16 | 1 | -11/+47 |
|\| | | | | | | | | Multiple sources for json compiler. | ||||
| * | | Style. | chriseth | 2015-10-16 | 1 | -5/+5 |
| | | | |||||
| * | | Multiple sources for json compiler. | chriseth | 2015-10-16 | 1 | -9/+45 |
| |/ | |||||
* | | Merge pull request #136 from LianaHus/sol_error_types_refuctoring | chriseth | 2015-10-16 | 1 | -9/+3 |
|\ \ | |/ |/| | changed the way of reporting error during contract checking | ||||
| * | changed the way of reporting error during contract checking | LianaHus | 2015-10-16 | 1 | -9/+3 |
| | | |||||
* | | Merge pull request #130 from LefterisJP/dynamic_array_push | chriseth | 2015-10-15 | 4 | -24/+135 |
|\ \ | | | | | | | Dynamic array push | ||||
| * | | push() for byte arrays also properly implemented | Lefteris Karapetsas | 2015-10-15 | 2 | -13/+16 |
| | | | |||||
| * | | Working implementation of arraypush | Lefteris Karapetsas | 2015-10-15 | 2 | -14/+31 |
| | | | | | | | | | | | | | | | ByteArrayPush() gets a test but is ignored for now, since there are still some issues with its implementation | ||||
| * | | Implement Dynamic array push and fix test | Lefteris Karapetsas | 2015-10-15 | 4 | -21/+79 |
| | | | | | | | | | | | | | | | Still a work in progress. There is a disturbance in the stack at the moment and that's why there are some cout statements left for debugging. | ||||
| * | | WIP - Expression compiler for array push | Lefteris Karapetsas | 2015-10-15 | 1 | -15/+31 |
| | | | |||||
| * | | Add a dynamic array push() test | Lefteris Karapetsas | 2015-10-15 | 1 | -0/+17 |
| | | |