aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #837 from chriseth/testsuitecleanupchriseth2016-08-129-100/+77
|\
| * Move custom test options to after --chriseth2016-08-122-2/+2
| * Show compilation errors in tests.chriseth2016-08-121-1/+12
| * Auto-calibrate mining sleep time.chriseth2016-08-122-9/+30
| * Exponential sleep increase on mining failure.chriseth2016-08-122-3/+7
| * Cleanup of test suite init.chriseth2016-08-124-92/+33
* | Merge pull request #886 from mocamircea/patch-6chriseth2016-08-121-1/+1
|\ \
| * | Update units-and-global-variables.rstMircea Moca2016-08-121-1/+1
* | | Merge pull request #884 from mocamircea/patch-4chriseth2016-08-121-1/+1
|\ \ \ | |/ / |/| |
| * | Update units-and-global-variables.rstMircea Moca2016-08-121-1/+1
|/ /
* | Merge pull request #858 from Denton-L/quotes-docschriseth2016-08-124-12/+24
|\ \
| * | Correct all UTF-8 spellingsDenton Liu2016-08-112-6/+6
| * | Add double-quotes to style guideDenton Liu2016-08-111-1/+13
| * | Change i.e. to e.g.Denton Liu2016-08-111-1/+1
| * | Mention single-quotesDenton Liu2016-08-111-2/+2
| * | Correct UTF-8 spellingsDenton Liu2016-08-111-3/+3
* | | Merge pull request #882 from bobsummerwill/travis_conditionalsBob Summerwill2016-08-122-2/+2
|\ \ \ | |_|/ |/| |
| * | Flip whitelisting to release branch.Bob Summerwill2016-08-122-2/+2
* | | Merge pull request #844 from Denton-L/remove-afterchriseth2016-08-126-17/+6
|\ \ \
| * | | Remove after from grammar.txtDenton Liu2016-08-111-1/+1
| * | | Remove After test caseDenton Liu2016-08-111-6/+0
| * | | Remove after keyword from documentationDenton Liu2016-08-111-2/+1
| * | | Remove After from Types.cppDenton Liu2016-08-111-3/+2
| * | | Revert "Change After to a deprecated token"Denton Liu2016-08-111-5/+1
| * | | Change After to a deprecated tokenDenton Liu2016-08-111-1/+5
| * | | Remove After from ExpressionCompilerDenton Liu2016-08-111-3/+0
| * | | Remove after from Token.hDenton Liu2016-08-111-2/+2
| | |/ | |/|
* | | Merge pull request #880 from bobsummerwill/travis_conditionalsBob Summerwill2016-08-122-5/+1
|\ \ \ | | |/ | |/|
| * | Flipped back to whitelisting develop, and attempting to fix conditional.Bob Summerwill2016-08-122-3/+3
| * | Switched whitelisting to 'release' branch for Appveyor and TravisCI.Bob Summerwill2016-08-122-6/+2
* | | Merge pull request #879 from bobsummerwill/travis_conditionalsBob Summerwill2016-08-121-0/+1
|\| |
| * | Do not run attempt to publish ZIPs for docs or emscripten flows.Bob Summerwill2016-08-121-0/+1
|/ /
* | Merge pull request #856 from asinyagin/developchriseth2016-08-121-0/+3
|\ \
| * | Fix Mapping and InlineAssembly in JSON ASTAlex Sinyagin2016-08-121-0/+2
| * | Fix JSON AST structureAlex Sinyagin2016-08-121-0/+1
* | | Merge pull request #878 from chriseth/newkeychriseth2016-08-122-4/+4
|\ \ \
| * | | Publish releases for develop branch.chriseth2016-08-122-3/+3
| * | | New appveyor key.chriseth2016-08-121-1/+1
|/ / /
* | | Merge pull request #877 from chriseth/newkeychriseth2016-08-121-1/+1
|\ \ \
| * | | New publish key.chriseth2016-08-121-1/+1
|/ / /
* | | Merge pull request #876 from chriseth/fixppachriseth2016-08-121-4/+0
|\ \ \
| * | | Enable publishing again.chriseth2016-08-121-4/+0
* | | | Merge pull request #872 from Denton-L/modify-readmeBob Summerwill2016-08-121-9/+6
|\ \ \ \
| * | | | Update READMEDenton Liu2016-08-121-9/+6
* | | | | Merge pull request #874 from bobsummerwill/enable_zipBob Summerwill2016-08-121-1/+39
|\ \ \ \ \
| * | | | | Added a lot of comments to the TravisCI ZIP release section, for Christian's ...Bob Summerwill2016-08-121-1/+39
* | | | | | Merge pull request #873 from bobsummerwill/enable_zipBob Summerwill2016-08-121-1/+1
|\| | | | |
| * | | | | Flip whitelisting back to 'release' branch.Bob Summerwill2016-08-121-1/+1
* | | | | | Merge pull request #871 from bobsummerwill/enable_zipBob Summerwill2016-08-121-1/+10
|\| | | | | | |/ / / / |/| | | |
| * | | | Added comments about 'auth_token' setup for Appveyor.Bob Summerwill2016-08-121-1/+10
|/ / / /
* | | | Merge pull request #857 from cholewa1992/patch-1chriseth2016-08-121-1/+1
|\ \ \ \
| * | | | Update installing-solidity.rstJacob Benjamin Cholewa2016-08-101-1/+1
* | | | | Merge pull request #870 from chriseth/fixppachriseth2016-08-121-10/+5
|\ \ \ \ \ | | |/ / / | |/| / / | |_|/ / |/| | |
| * | | Debug publishing.chriseth2016-08-121-10/+5
|/ / /
* | | Merge pull request #867 from chriseth/fixppachriseth2016-08-111-0/+10
|\ \ \ | |_|/ |/| |
| * | Debug publishing.chriseth2016-08-111-0/+10
|/ /
* | Merge pull request #862 from chriseth/fixpublishchriseth2016-08-111-16/+16
|\ \
| * | Fix the publishing script to not publish multiple times per day.chriseth2016-08-111-16/+16
|/ /
* | Merge pull request #861 from bobsummerwill/zipsBob Summerwill2016-08-114-52/+48
|\ \
| * | Re-add the ZIP release flow for Solidity.Bob Summerwill2016-08-114-52/+48
|/ /
* | Merge pull request #824 from Denton-L/fix-typochriseth2016-08-111-2/+2
|\ \
| * | Add missing sDenton Liu2016-08-091-1/+1
| * | Refix typoDenton Liu2016-08-091-1/+1
| * | Fix typoDenton Liu2016-08-051-1/+1
* | | Merge pull request #722 from NicolaiSoeborg/developchriseth2016-08-113-29/+83
|\ \ \
| * | | Add syntax for fallback functionsNicolai2016-08-091-1/+1
| * | | Split ElementaryTypeName into smaller rulesNicolai2016-08-021-5/+11
| * | | Remove ambiguity from EventDefinition. Fix SourceUnitNicolai2016-08-021-9/+9
| * | | Remove 'reduce/reduce conflicts' with comma operatorNicolai2016-07-311-1/+1
| * | | Fix reduce/reduce conflicts w/ multiple FunctionCall in ExpressionNicolai2016-07-301-1/+1
| * | | Remove TypeParameterListNicolai2016-07-301-4/+4
| * | | Fixes to expressionNicolai2016-07-271-10/+9
| * | | Added wildcard to UsingForDeclarationNicolai2016-07-271-3/+3
| * | | Imports => ImportDirectiveNicolai2016-07-271-5/+6
| * | | Remove assignment as expr. Add functionCall as primaryExpressionNicolai2016-07-261-6/+6
| * | | Fix missing seperator from commit 8b450dd8Nicolai2016-07-261-1/+1
| * | | Added PlaceholderStatementNicolai2016-07-251-1/+2
| * | | Add StorageLocationNicolai2016-07-251-2/+3
| * | | Allow function to call modifiersNicolai2016-07-251-1/+1
| * | | Order expression according to PR 732Nicolai2016-07-231-9/+18
| * | | New regex for StringLiteralNicolai2016-07-231-1/+2
| * | | Begin fixing expression syntaxNicolai2016-07-231-14/+18
| * | | Added UsingDeclarationNicolai2016-07-211-2/+5
| * | | Extend EventDefinitionNicolai2016-07-211-1/+3
| * | | Fix missing 'ether' from NumberUnit. Extend StringLiteral syntaxNicolai2016-07-201-5/+3
| * | | Added missing (u)fixed typesNicolai2016-07-201-2/+5
| * | | Extend NumberLiteral with unitsNicolai2016-07-201-2/+2
| * | | Added importsNicolai2016-07-201-1/+6
| * | | Add EventDefinitionNicolai2016-07-201-1/+3
| * | | NumberLiteral: Allow 0x prefixNicolai2016-07-201-1/+1
| * | | Allow function returns to be unnamedNicolai2016-07-201-1/+3
| * | | Fix StructDef. Add BoolLiteral. Def NumLiteral, StringLiteral and Identifier.Nicolai2016-07-201-3/+8
| * | | Fix missing quotes in ElementaryTypeNameNicolai2016-07-201-5/+5
| * | | Added ElementaryTypeName, removed explicit recursionNicolai2016-07-201-1/+8
| * | | Add forStmt to Stmt, removes BasicBinaryOperation, throw expr, explicit rec i...Nicolai2016-07-191-7/+6
| * | | Remove "in", extra semicolons, forced function param. Added "throw". Changes ...Nicolai2016-07-191-9/+9
| * | | grammar.txt: Fixes to EnumDef and ArrayTypeNameNicolai2016-07-191-2/+2
| * | | grammer.txt: inheritable => internalNicolai2016-07-191-2/+2
| * | | Grammar: tab => spacesNicolai Søborg2016-07-151-5/+5
| * | | Typos + added missing grammar rulesNicolai2016-07-151-3/+9
| * | | Remove the remains of "expresison"Nicolai2016-07-152-2/+2
* | | | Merge pull request #859 from chriseth/fixppachriseth2016-08-112-4/+7
|\ \ \ \
| * | | | Update release date.chriseth2016-08-111-1/+1
| * | | | Fix ppa script.chriseth2016-08-111-3/+6
* | | | | Merge pull request #848 from bobsummerwill/alpine_linux_install_depsBob Summerwill2016-08-101-6/+8
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | Adding Alpine Linux support to release.shBob Summerwill2016-08-091-6/+8
* | | | | Merge pull request #794 from chriseth/fixastsourcechriseth2016-08-102-3/+3
|\ \ \ \ \
| * | | | | Fix segfault in ast output.chriseth2016-08-092-3/+3
* | | | | | Merge pull request #775 from chriseth/versionchriseth2016-08-103-2/+189
|\ \ \ \ \ \
| * | | | | | Version 0.3.6chriseth2016-08-101-1/+1
| * | | | | | Add changelog to source tree.chriseth2016-08-102-1/+188
|/ / / / / /
* | | | | | Merge pull request #823 from chriseth/releaseppachriseth2016-08-101-0/+238
|\ \ \ \ \ \
| * | | | | | Make aware of branches and only create source tarball once.chriseth2016-08-101-11/+38
| * | | | | | Correct jsoncpp versions.chriseth2016-08-101-3/+3
| * | | | | | Do not compile sphinx docs for now, so we get to a workable state.chriseth2016-08-101-5/+4
| * | | | | | PPA release script, still work in progress.chriseth2016-08-101-0/+212
| | |_|_|_|/ | |/| | | |
* | | | | | Merge pull request #826 from axic/utf8-checkchriseth2016-08-104-1/+128
|\ \ \ \ \ \ | |/ / / / / |/| | | | |
| * | | | | Remove dev::utf8 namespaceAlex Beregszaszi2016-08-093-11/+1
| * | | | | Use size_t in dev::utf8::validate()Alex Beregszaszi2016-08-093-7/+7
| * | | | | Use consts in dev::utf8::validate()Alex Beregszaszi2016-08-092-7/+7
| * | | | | Use utf8::validate in StringLiteral::toStringAlex Beregszaszi2016-08-091-0/+6
| * | | | | Include UTF8 helpers in libdevcoreAlex Beregszaszi2016-08-092-0/+126
| * | | | | Move LiteralString::toString from the headerAlex Beregszaszi2016-08-092-1/+6
| | |/ / / | |/| | |
* | | | | Merge pull request #855 from chriseth/librarieschriseth2016-08-108-13/+11
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | Rename libevmasm.chriseth2016-08-108-12/+10
| * | | | Correctly require jsoncppchriseth2016-08-101-2/+2
|/ / / /
* | | | Merge pull request #828 from axic/identity-gas-fixchriseth2016-08-091-2/+2
|\ \ \ \ | |/ / / |/| | |
| * | | Fix identity precompile gas calculationAlex Beregszaszi2016-08-061-2/+2
* | | | Merge pull request #820 from mocamircea/patch-3chriseth2016-08-081-0/+20
|\ \ \ \
| * | | | Update layout-of-source-files.rstMircea Moca2016-08-051-0/+20
| |/ / /
* | | | Merge pull request #819 from mocamircea/patch-2chriseth2016-08-081-1/+1
|\ \ \ \
| * | | | Update layout-of-source-files.rstMircea Moca2016-08-051-1/+1
| |/ / /
* | | | Merge pull request #818 from mocamircea/patch-1chriseth2016-08-081-1/+1
|\ \ \ \
| * | | | Update layout-of-source-files.rstMircea Moca2016-08-051-1/+1
| |/ / /
* | | | Merge pull request #834 from chriseth/devcorecleanupchriseth2016-08-0813-296/+7
|\ \ \ \
| * | | | Correct library usage.chriseth2016-08-085-6/+6
| * | | | Some cleanup regarding libdevcore. Also rename to avoid conflicts.chriseth2016-08-069-292/+3
| |/ / /
* | | | Merge pull request #800 from winsvega/fixbuildchriseth2016-08-081-1/+1
|\ \ \ \
| * | | | fix build on windowsDmitry K2016-08-031-1/+1
| | |_|/ | |/| |
* | | | Merge pull request #829 from bobsummerwill/xcode8Greg Colvin2016-08-071-0/+7
|\ \ \ \
| * | | | Added xcode8 support to TravisCIBob Summerwill2016-08-061-0/+7
|/ / / /
* | | | Merge pull request #822 from chriseth/noheadersBob Summerwill2016-08-064-7/+0
|\ \ \ \ | |_|/ / |/| | |
| * | | Do not install headers.chriseth2016-08-054-7/+0
|/ / /
* | | Merge pull request #666 from axic/feature/unicode-escapechriseth2016-08-054-1/+88
|\ \ \
| * | | Document \n, \xNN and \uNNNNAlex Beregszaszi2016-08-051-0/+2
| * | | Fix String Literals documentation about implicit conversionsAlex Beregszaszi2016-08-051-1/+1
| * | | Rename addUnicodeChar to addUnicodeAsUTF8Alex Beregszaszi2016-08-052-3/+3
| * | | Include Unicode tests in the scannerAlex Beregszaszi2016-08-051-0/+40
| * | | Support Unicode escape characters in string literals ('\uUUUU')Alex Beregszaszi2016-08-052-0/+45
* | | | Merge pull request #803 from bobsummerwill/ipc_flagchriseth2016-08-051-10/+2
|\ \ \ \
| * | | | Switch to simpler --ipc parameterization for softest.Bob Summerwill2016-08-051-10/+2
| | |/ / | |/| |
* | | | Merge pull request #816 from ethereum/chriseth-patch-4chriseth2016-08-051-38/+10
|\ \ \ \ | |_|/ / |/| | |
| * | | Build using solidity-standalone.chriseth2016-08-041-38/+10
* | | | Merge pull request #817 from chriseth/workaroundchriseth2016-08-041-0/+520
|\ \ \ \ | |/ / / |/| | |
| * | | Add boost workaround for specific version.chriseth2016-08-041-0/+520
|/ / /
* | | Merge pull request #811 from chriseth/encryptchriseth2016-08-032-1/+1
|\ \ \
| * | | Change deploy key.chriseth2016-08-032-1/+1
|/ / /
* | | Merge pull request #810 from bobsummerwill/developBob Summerwill2016-08-031-0/+1
|\ \ \
| * | | Re-enabled Appveyor cache.Bob Summerwill2016-08-031-0/+1
* | | | Merge pull request #809 from bobsummerwill/developBob Summerwill2016-08-031-6/+6
|\| | |
| * | | OK - Looks like Appveyor softest automation still needs more work before it i...Bob Summerwill2016-08-031-6/+6
* | | | Merge pull request #808 from bobsummerwill/developBob Summerwill2016-08-031-2/+1
|\| | |
| * | | Clear Appveyor cache.Bob Summerwill2016-08-031-2/+1
|/ / /
* | | Merge pull request #807 from bobsummerwill/developBob Summerwill2016-08-031-1/+1
|\ \ \
| * | | Re-enable code builds for Solidity unit-tests within Appveyor.Bob Summerwill2016-08-031-1/+1
* | | | Merge pull request #806 from bobsummerwill/developBob Summerwill2016-08-031-7/+7
|\| | |
| * | | Let's try Windows Tests-over-IPC and see where we are at.Bob Summerwill2016-08-031-7/+7
* | | | Merge pull request #805 from bobsummerwill/developBob Summerwill2016-08-031-1/+1
|\| | |
| * | | Fixed up broken ifdefs in new sockets code.Bob Summerwill2016-08-031-1/+1
|/ / /
* | | Merge pull request #804 from bobsummerwill/fix_build_errorBob Summerwill2016-08-031-1/+1
|\ \ \
| * | | Fix build break in new TestHelper code.Bob Summerwill2016-08-031-1/+1
|/ / /
* | | Merge pull request #799 from winsvega/winpipeBob Summerwill2016-08-036-30/+199
|\ \ \ | |/ / |/| |
| * | Windows pipe for soltestDmitry K2016-08-036-35/+176
| * | Merge branch 'develop' of https://github.com/ethereum/solidity into developDmitry K2016-08-0282-218/+6041
| |\ \
| * | | windowspipeDmitry K2016-08-022-0/+28
* | | | Merge pull request #798 from chriseth/docschriseth2016-08-022-1/+3
|\ \ \ \
| * | | | Install dependencies for docs.chriseth2016-08-022-1/+3
|/ / / /
* | | | Merge pull request #793 from chriseth/parbuildchriseth2016-08-024-21/+31
|\ \ \ \
| * | | | Fix docs script.chriseth2016-08-021-5/+4
| * | | | Do not explicitly specify emscripten compiler.chriseth2016-08-021-3/+1
| * | | | Make docs script executable.chriseth2016-08-021-0/+0
| * | | | Only install deps for default job.chriseth2016-08-021-1/+3
| * | | | Show ubuntu version in error.chriseth2016-08-021-1/+1
| * | | | Parallel builds for emscripten and docs.chriseth2016-08-022-11/+22
* | | | | Merge pull request #797 from yann300/sourceMappingchriseth2016-08-021-1/+1
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | sourcemappingyann3002016-08-021-1/+1
|/ / / /
* | | | Merge pull request #795 from bobsummerwill/10min_timeoutchriseth2016-08-022-17/+58
|\ \ \ \ | |_|/ / |/| | |
| * | | Constraint Emscripten publish step to Ubuntu runs.Bob Summerwill2016-08-022-17/+58
|/ / /
* | | Merge pull request #792 from chriseth/optimizerchriseth2016-08-023-5/+9
|\ \ \
| * | | Further fixes to the optimizer.chriseth2016-08-023-5/+9
|/ / /
* | | Merge pull request #791 from chriseth/emscripchriseth2016-08-022-10/+5
|\ \ \
| * | | Build emscripten in build-emscripten to separate cache.chriseth2016-08-022-10/+4
| * | | Cache.chriseth2016-08-021-0/+1
|/ / /
* | | Merge pull request #774 from chriseth/srcmapruntimechriseth2016-08-011-1/+1
|\ \ \
| * | | Bugfix: Correctly use srcmap-runtime.chriseth2016-08-011-1/+1
* | | | Merge pull request #786 from bobsummerwill/jsonrpcstubchriseth2016-08-011-42/+0
|\ \ \ \
| * | | | Remove unused jsonrpcstub code in cmake/Bob Summerwill2016-08-011-42/+0
| |/ / /
* | | | Merge pull request #762 from chriseth/optimizerchriseth2016-08-014-3/+70
|\ \ \ \
| * | | | Run the tests only three times.chriseth2016-08-012-10/+8
| * | | | Reset knowledge in optimizer for path joins.chriseth2016-08-013-3/+12
| * | | | Test case.chriseth2016-08-011-0/+58
* | | | | Merge pull request #788 from chriseth/emscripchriseth2016-08-015-21/+24
|\ \ \ \ \
| * | | | | Cache.chriseth2016-08-011-0/+9
| * | | | | Fix emscripten build.chriseth2016-08-013-11/+7
| * | | | | Run the tests only three times.chriseth2016-08-012-10/+8
|/ / / / /
* | | | | Merge pull request #776 from chriseth/deploydocschriseth2016-08-011-1/+5
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | Made snippet work as is.chriseth2016-08-011-3/+3
| * | | | Update contracts.rstcseberino2016-08-011-2/+6
| |/ / /
* | | | Merge pull request #773 from bobsummerwill/enable_release_flowchriseth2016-08-011-8/+8
|\ \ \ \
| * | | | Enable the Emscripten release flow.Bob Summerwill2016-08-011-8/+8
| |/ / /
* | | | Merge pull request #761 from chriseth/fixOptimizerTestschriseth2016-08-011-3/+6
|\ \ \ \
| * | | | Fix optimizer tests.chriseth2016-08-011-3/+6
| |/ / /
* | | | Merge pull request #750 from ethereum/chriseth-patch-2chriseth2016-08-011-1/+1
|\ \ \ \
| * | | | Correct source map definition.chriseth2016-07-271-1/+1
* | | | | Merge pull request #764 from Denton-L/make-safechriseth2016-08-011-1/+2
|\ \ \ \ \
| * | | | | Throw if send() fails in example codeDenton Liu2016-07-301-1/+2
* | | | | | Merge pull request #732 from Denton-L/document-precedencechriseth2016-08-013-1/+67
|\ \ \ \ \ \ | |_|_|/ / / |/| | | | |
| * | | | | Add unary operations to the tableDenton Liu2016-07-291-0/+2
| * | | | | Link to order of precedence tableDenton Liu2016-07-291-1/+1
| * | | | | Remove >>> and >>>= operatorsDenton Liu2016-07-271-3/+3
| * | | | | Revert "Remove comma operator"Denton Liu2016-07-271-0/+3
| * | | | | Fix assignment operatorsDenton Liu2016-07-271-0/+1
| * | | | | Remove comma operatorDenton Liu2016-07-271-3/+0
| * | | | | Add link to operator tableDenton Liu2016-07-212-0/+5
| * | | | | Create order of precedence tableDenton Liu2016-07-211-0/+58
* | | | | | Merge pull request #770 from bobsummerwill/standalone_changesBob Summerwill2016-08-0169-199/+5900
|\ \ \ \ \ \ | |_|/ / / / |/| | | | |
| * | | | | Make the Solidity repository standalone.Bob Summerwill2016-08-0169-199/+5900
|/ / / / /
* | | | | Merge pull request #756 from chriseth/alloczerochriseth2016-07-293-3/+21
|\ \ \ \ \
| * | | | | Bugfix: Allocate empty array.chriseth2016-07-283-3/+21
|/ / / / /
* | | | | Merge pull request #751 from ethereum/chriseth-patch-3Bob Summerwill2016-07-281-3/+6
|\ \ \ \ \ | |_|/ / / |/| | | |
| * | | | Mix is discontinuedchriseth2016-07-271-3/+6
|/ / / /
* | | | Merge pull request #745 from Manidos/patch-1chriseth2016-07-271-1/+1
|\ \ \ \
| * | | | Update contracts.rstManidos2016-07-271-1/+1
|/ / / /
* | | | Merge pull request #721 from ethers/patch-5chriseth2016-07-271-1/+1
|\ \ \ \ | |_|/ / |/| | |
| * | | mixedCase for modifiersethers2016-07-141-1/+1
| | |/ | |/|
* | | Merge pull request #738 from DennisBPeterson/patch-3chriseth2016-07-251-0/+39
|\ \ \
| * | | Added tx.origin cautionDennisBPeterson2016-07-221-0/+39
|/ / /
* | | Merge pull request #731 from Denton-L/move-tokenchriseth2016-07-211-2/+2
|\ \ \
| * | | Fix isCompareOp()Denton Liu2016-07-211-1/+1
| * | | Move `in` as a keyword to reserved word sectionDenton Liu2016-07-211-1/+1
| | |/ | |/|
* | | Merge pull request #734 from ZhuWeiyang/patch-1chriseth2016-07-211-0/+1
|\ \ \
| * | | Missing '_' in modifier 'timedTransitions'Weiyang Zhu2016-07-211-0/+1
|/ / /
* | | Merge pull request #699 from chriseth/sourceLocationchriseth2016-07-218-64/+365
|\ \ \
| * | | Source mapping documentation.chriseth2016-07-211-0/+53
| * | | Source location as part of AST.chriseth2016-07-217-64/+312
|/ / /
* | | Merge pull request #720 from chriseth/formalStatechriseth2016-07-212-48/+169
|\ \ \
| * | | Handle external effects.chriseth2016-07-132-48/+169
| | |/ | |/|
* | | Merge pull request #728 from chriseth/formaloutchriseth2016-07-193-3/+22
|\ \ \
| * | | Provide formal version in json output.chriseth2016-07-193-3/+22
* | | | Merge pull request #704 from ethereum/malleabilitychriseth2016-07-191-1/+5
|\ \ \ \ | |_|_|/ |/| | |
generated by cgit (git 2.34.1) at 2024-11-15 04:27:56 +0800