aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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 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.chriseth2015-11-192-20/+70
* | | Merge pull request #227 from chriseth/addmodchriseth2015-11-194-0/+38
|\ \ \
| * | | Addmod and mulmod.chriseth2015-11-194-0/+38
| |/ /
* | | Merge pull request #204 from ethereum/hot_gavGav Wood2015-11-193-4/+7
|\ \ \ | |/ / |/| / | |/
| * 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.7chriseth2015-11-171-1/+1
|/ / /
* | | Merge pull request #218 from chriseth/fix_overwriteMemorychriseth2015-11-172-3/+28
|\ \ \
| * | | 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.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.chriseth2015-11-161-1/+5
| |/ / /
* | | | Merge pull request #213 from chriseth/fix_testLeakchriseth2015-11-171-1/+1
|\ \ \ \ | |/ / / |/| | |
| * | | 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.chriseth2015-11-161-0/+10
|/ / /
* | | Merge pull request #209 from chriseth/formalchriseth2015-11-133-21/+48
|\ \ \
| * | | 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
|\ \ \ | |/ / |/| |
| * | 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 tutorialethers2015-11-031-1/+1
|/ /
* | Merge pull request #188 from chriseth/fix_copeWithNonExistingCommitHashchriseth2015-11-031-1/+4
|\ \
| * | 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.chriseth2015-11-013-2/+26
* | | Merge pull request #176 from chriseth/why3chriseth2015-10-2816-108/+856
|\| |
| * | 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
|/ /
* | Merge pull request #174 from chriseth/docstringInASTchriseth2015-10-2714-383/+540
|\ \
| * | Fix indent.chriseth2015-10-271-3/+3
| * | Store docstrings in AST annotations.chriseth2015-10-2614-383/+540
|/ /
* | Merge pull request #172 from LefterisJP/build_with_boost_159Lefteris Karapetsas2015-10-261-7/+27
|\ \
| * | Allow building with new boost version 1.59Lefteris Karapetsas2015-10-251-7/+27
|/ /
* | Merge pull request #171 from LianaHus/sol_change_expected_error_in_parserchriseth2015-10-231-3/+19
|\ \
| * | more correctionsLianaHus2015-10-231-4/+14
| * | modified error msgLianaHus2015-10-231-1/+7
* | | Merge pull request #170 from chriseth/warningFixchriseth2015-10-231-1/+1
|\ \ \ | |/ / |/| |
| * | Fix override warning.chriseth2015-10-231-1/+1
|/ /
* | Merge pull request #163 from chriseth/fileReorgchriseth2015-10-2274-199/+205
|\ \ | |/ |/|
| * File reorganisation.chriseth2015-10-2174-199/+205
|/
* Merge pull request #146 from chriseth/versionchriseth2015-10-161-1/+1
|\
| * Increment version to 0.1.6chriseth2015-10-161-1/+1
|/
* Merge pull request #145 from chriseth/parsingAmbiguityIndexAccesschriseth2015-10-164-27/+99
|\
| * Correctly parse ambiguities like `A.B[10] x` and `x.y[10] = 3`.chriseth2015-10-164-27/+99
|/
* Merge pull request #143 from chriseth/loneStructArraychriseth2015-10-162-0/+25
|\
| * Fix errors when struct array type is used on its own.chriseth2015-10-162-0/+25
* | Merge pull request #142 from chriseth/fixWarningschriseth2015-10-161-1/+1
|\ \
| * | Fix warning.chriseth2015-10-161-1/+1
| |/
* | Merge pull request #141 from chriseth/fixExternalTypeschriseth2015-10-161-14/+11
|\ \
| * | Do not include function in interface list if there are errors.chriseth2015-10-161-14/+11
| |/
* | Merge pull request #144 from chriseth/doNotCatchInternalErrorschriseth2015-10-164-9/+15
|\ \ | |/ |/|
| * Do not catch InternalCompilerErrors as part of fatal error handling.chriseth2015-10-164-9/+15
|/
* Merge pull request #132 from chriseth/tupleExpressionchriseth2015-10-1623-112/+672
|\
| * Fixed indentation.chriseth2015-10-161-2/+3
| * Some fixes taking other pull requests into account.chriseth2015-10-163-12/+7
| * MacOS fix.chriseth2015-10-151-2/+2
| * Fix compiler warnings.chriseth2015-10-151-1/+3
| * Wildcards.chriseth2015-10-155-33/+35
| * Destructuring assignments.chriseth2015-10-1511-105/+389
| * Tuple expressions.chriseth2015-10-1517-18/+294
* | Merge pull request #139 from chriseth/multiJsonchriseth2015-10-161-1/+1
|\ \
| * | Do not forget to export the new symbol.chriseth2015-10-161-1/+1
* | | Merge pull request #135 from chriseth/multiJsonchriseth2015-10-161-11/+47
|\| |
| * | Style.chriseth2015-10-161-5/+5
| * | Multiple sources for json compiler.chriseth2015-10-161-9/+45
| |/
* | Merge pull request #136 from LianaHus/sol_error_types_refuctoringchriseth2015-10-161-9/+3
|\ \ | |/ |/|
| * changed the way of reporting error during contract checkingLianaHus2015-10-161-9/+3
* | Merge pull request #130 from LefterisJP/dynamic_array_pushchriseth2015-10-154-24/+135
|\ \
| * | push() for byte arrays also properly implementedLefteris Karapetsas2015-10-152-13/+16
| * | Working implementation of arraypushLefteris Karapetsas2015-10-152-14/+31
| * | Implement Dynamic array push and fix testLefteris Karapetsas2015-10-154-21/+79
| * | WIP - Expression compiler for array pushLefteris Karapetsas2015-10-151-15/+31
| * | Add a dynamic array push() testLefteris Karapetsas2015-10-151-0/+17
* | | Merge pull request #134 from LianaHus/sol_error_types_refuctoringchriseth2015-10-1526-533/+860
|\ \ \ | |/ / |/| / | |/
| * missing constLianaHus2015-10-152-2/+2
| * indentLianaHus2015-10-151-2/+2
| * added constLianaHus2015-10-152-4/+4
| * renaming in test frameworkLianaHus2015-10-151-195/+195
| * some more style fixesLianaHus2015-10-157-27/+14
| * style fixesLianaHus2015-10-152-16/+16
| * style fixes mostlyLianaHus2015-10-154-18/+42
| * removed commitLianaHus2015-10-151-1/+0
| * mainly style fixes/renamingLianaHus2015-10-157-95/+105
| * fixLianaHus2015-10-151-2/+0
| * fixed new testsLianaHus2015-10-156-50/+81
| * fixes error after conflict resolvingLianaHus2015-10-154-5/+3
| * errors instead of exceptionsLianaHus2015-10-1518-406/+651
| * some fixesLianaHus2015-10-153-4/+8
| * added Error class for all kind of errorsLianaHus2015-10-1516-76/+107
| * added Error class for all kind of errorsLianaHus2015-10-151-3/+3
|/
* Merge pull request #126 from chriseth/destructuringAssignmentchriseth2015-10-1415-128/+480
|\
| * Some further test fixes.chriseth2015-10-133-26/+37
| * Some more tests and typos fixed.chriseth2015-10-134-3/+31
| * Multi-variable declarations.chriseth2015-10-139-77/+166
| * Introduced tuple type and added multi variable declarations to typechriseth2015-10-107-89/+198
| * Tests for multi variable declaration.chriseth2015-10-093-0/+50
| * Refactoring to allow multi-variable declarations.chriseth2015-10-097-55/+120
|/
* Merge pull request #124 from chriseth/versionchriseth2015-10-081-1/+1
|\
| * Set version to 0.1.5.chriseth2015-10-081-1/+1
|/
* Merge pull request #123 from chriseth/largeHexConstantschriseth2015-10-082-6/+23
|\
| * Check invalid integer constants for functions accepting arbitrary arguments.chriseth2015-10-082-6/+23
|/
* Merge pull request #121 from chriseth/dependencieschriseth2015-10-088-28/+106
|\
| * Resolve binary dependencies properly.chriseth2015-10-078-28/+106
|/
* Merge pull request #122 from chriseth/anonymousEventsWithFourIndexedParamschriseth2015-10-073-5/+27
|\
| * Allow four indexed arguments for anynomous events.chriseth2015-10-073-5/+27
* | Merge pull request #118 from chriseth/rejectEtherSentToLibrarychriseth2015-10-072-0/+26
|\ \ | |/ |/|
| * Reject ether sent to library.chriseth2015-10-072-0/+26
* | Merge pull request #119 from chriseth/winfailLefteris Karapetsas2015-10-071-11/+12
|\ \ | |/ |/|
| * Fix boost error.chriseth2015-10-071-11/+12
|/
* Merge pull request #117 from chriseth/internalTypesForLibrarychriseth2015-10-0729-131/+547
|\
| * Add const.chriseth2015-10-062-4/+4
| * Compiler version stamp.chriseth2015-10-067-2/+70
| * Add structs to library interface.chriseth2015-10-062-7/+31
| * Provide access to scoped structs.chriseth2015-10-068-21/+72
| * Compute canonical names of types for function signatures.chriseth2015-10-0616-70/+195
| * Encode storage items correctly for library calls.chriseth2015-10-063-2/+36
| * Tests apart from new one work fine.chriseth2015-10-067-38/+50
| * Split external type into ecoding and interface type.chriseth2015-10-067-55/+128
| * Test for internal types.chriseth2015-10-061-0/+29
* | Merge pull request #115 from chriseth/testLongConstructorArgumentschriseth2015-10-061-0/+28
|\ \ | |/ |/|
| * Test long constructor arguments.chriseth2015-10-051-0/+28
* | Update README.mdLiana Husikyan2015-10-051-1/+1
* | Update README.mdLiana Husikyan2015-10-051-1/+1
* | Update README.mdLiana Husikyan2015-10-051-1/+1
* | Update README.mdLiana Husikyan2015-10-051-1/+1
* | Merge pull request #107 from chriseth/warningsForSoljsonchriseth2015-10-051-25/+29
|\ \
| * | Support warnings.chriseth2015-10-031-25/+29
| |/
* | Merge pull request #108 from chriseth/fixWarningschriseth2015-10-051-13/+11
|\ \ | |/ |/|
| * Report warning in tests if requested.chriseth2015-10-031-13/+11
|/
* Merge pull request #102 from chriseth/tightlyEncodedStringschriseth2015-10-025-50/+339
|\
| * Store small byte arrays and strings in storage in one slot with theirchriseth2015-10-025-50/+339
|/
* Merge pull request #101 from LianaHus/sol_Disallow_access_if_not_initializedchriseth2015-10-028-43/+124
|\
| * -fixed the warning printingLianaHus2015-10-024-17/+17
| * -added warning case to cl compilerLianaHus2015-10-022-2/+6
| * removed unnecessary function declarationLianaHus2015-10-021-2/+0
| * added warning for noninitialized references in storage.LianaHus2015-10-024-15/+49
| * style fixesLianaHus2015-10-021-8/+16
| * style fixesLianaHus2015-10-021-12/+31
| * added testLianaHus2015-10-021-0/+18
|/
* Merge pull request #105 from chriseth/fix_calldataUnpackerchriseth2015-10-024-34/+47
|\
| * Bugfix in calldata unpacker.chriseth2015-10-014-34/+47
|/
* Merge pull request #103 from chriseth/versionchriseth2015-09-301-1/+1
|\
| * Version change.chriseth2015-09-301-1/+1
|/
* Merge pull request #100 from LianaHus/use_throw_in_action_registrarchriseth2015-09-301-9/+4
|\
| * used throw statement instead of __throw()LianaHus2015-09-301-9/+4
|/
* Merge pull request #96 from chriseth/moreASTOutputchriseth2015-09-253-1/+15
|\
| * Provide types for VariableDeclaration.chriseth2015-09-243-1/+15
|/
* Merge pull request #95 from chriseth/styleCleanupchriseth2015-09-241-39/+95
|\
| * Style cleanup.chriseth2015-09-241-39/+95
* | Merge pull request #94 from LianaHus/sol_improve_PR_83chriseth2015-09-241-3/+3
|\ \ | |/ |/|
| * improved overflow check in memorySize for ArrayTypeLianaHus2015-09-241-3/+3
|/
* Merge pull request #91 from chriseth/literalStringsToStoragePointerchriseth2015-09-242-1/+13
|\
| * Do not allow assignment from literal strings to storage pointers.chriseth2015-09-231-1/+3
| * Test that literal strings cannot be assigned to storage pointers.chriseth2015-09-231-0/+10
* | Merge pull request #83 from LianaHus/sol_split_the_source_treechriseth2015-09-245-10/+64
|\ \ | |/ |/|
| * improved the testLianaHus2015-09-232-5/+16
| * style fixLianaHus2015-09-231-1/+0
| * fixed-sized arrays as return typeLianaHus2015-09-235-10/+54
|/
* Merge pull request #89 from chriseth/fixCombinedJsonchriseth2015-09-231-2/+6
|\
| * Fix "combined json" output.chriseth2015-09-231-2/+6
* | Merge pull request #85 from chriseth/warningschriseth2015-09-2336-1814/+2460
|\ \ | |/ |/|
| * Style fix.chriseth2015-09-221-1/+2
| * Build fix for MacOS.chriseth2015-09-221-4/+4
| * Error formatting.chriseth2015-09-226-51/+64
| * Refactored annotations.chriseth2015-09-228-45/+186
| * Refactoring: Check types outside of AST and recover from some errors.chriseth2015-09-2233-1800/+2293
* | Merge pull request #88 from chriseth/versionBumpchriseth2015-09-231-1/+1
|\ \
| * | Version 0.1.3.chriseth2015-09-231-1/+1
|/ /
* | Merge pull request #87 from chriseth/fixVersionchriseth2015-09-232-3/+5
|\ \
| * | Add libevmasm version string.chriseth2015-09-222-3/+5
| |/
* | Merge pull request #81 from LianaHus/sol_strings_in_structchriseth2015-09-223-4/+49
|\ \ | |/ |/|
| * fixed the testLianaHus2015-09-221-4/+1
| * fixed using string as a type for struct memberLianaHus2015-09-173-10/+13
| * testLianaHus2015-09-171-0/+45
|/
* Merge pull request #79 from arkpar/cmakeMarek Kotewicz2015-09-173-4/+3
|\
| * per project versioningarkpar2015-09-163-4/+3
* | Merge pull request #77 from LianaHus/sol_throwchriseth2015-09-1614-1/+90
|\ \
| * | styleLianaHus2015-09-161-6/+2
| * | style fixesLianaHus2015-09-163-5/+5
| * | throw statement implementationLianaHus2015-09-1614-1/+94
|/ /
* | Merge pull request #32 from LianaHus/sol_compiletime_check_for_out_of_bound_a...chriseth2015-09-154-36/+71
|\ \
| * | style fixLianaHus2015-09-152-7/+7
| * | fixed rebaseLianaHus2015-09-151-17/+0
| * | moved the testLianaHus2015-09-152-1/+17
| * | returned test for exceptions in constructorLianaHus2015-09-151-0/+17
| * | removed unneccessary check from ExpresiionCompilerLianaHus2015-09-151-14/+0
| * | style fixesLianaHus2015-09-151-2/+3
| * | fixed conflict mergeingLianaHus2015-09-151-2/+2
| * | - changed implementationLianaHus2015-09-151-1/+1
| * | - changed implementationLianaHus2015-09-151-36/+53
| * | some fixes in testsLianaHus2015-09-151-48/+5
| * | Update ExpressionCompiler.cppLianaHus2015-09-151-1/+2
| * | added compile time check for out of bounds access for ordinary arraysLianaHus2015-09-151-26/+52
| * | added compile time check for out of bounds access for ordinary arraysLianaHus2015-09-151-0/+14
| * | testLianaHus2015-09-151-0/+17
* | | Merge pull request #75 from chriseth/exportRuntimeBytecodeForJsonchriseth2015-09-151-0/+6
|\ \ \ | |/ / |/| |
| * | Export runtime bytecode and version.chriseth2015-09-151-0/+6
* | | Merge pull request #73 from chriseth/emscriptenArkadiy Paronyan2015-09-152-3/+11
|\| |
| * | Changes required to compile on emscripten target.chriseth2015-09-152-3/+11
| |/
* | Merge pull request #70 from chriseth/sol_libraries2chriseth2015-09-145-6/+148
|\ \ | |/ |/|
| * Commandline interface for the linker.chriseth2015-09-124-4/+143
| * Small fixes to the type system concerning libraries.chriseth2015-09-111-2/+5
* | Merge pull request #66 from chriseth/sol_librarieschriseth2015-09-1227-113/+280
|\|
| * Style.chriseth2015-09-111-1/+2
| * Possibility to call library functions.chriseth2015-09-117-23/+105
| * Transition from bytecode to more general linker objects.chriseth2015-09-1116-78/+90
| * Parsing and type checking of libraries without inheritance.chriseth2015-09-118-13/+85
* | Merge pull request #69 from LianaHus/sol_enum_too_many_indexed_argschriseth2015-09-112-3/+5
|\ \ | |/ |/|
| * add call for EventDefinition::checkTypeRequirements()LianaHus2015-09-113-17/+5
| * added testLianaHus2015-09-111-0/+14
* | Merge pull request #65 from LianaHus/sol_Creating_a_contract_from_within_itselfchriseth2015-09-113-3/+24
|\ \
| * | style fixesLianaHus2015-09-112-2/+2
| * | added type check if the type of the var decl is one of base contract typeLianaHus2015-09-104-14/+24
| * | added testLianaHus2015-09-101-0/+11
* | | Merge pull request #68 from LefterisJP/add_cmake_defaultschriseth2015-09-111-0/+4
|\ \ \ | |_|/ |/| |
| * | Add cmake defaults for split repo builds.Lefteris Karapetsas2015-09-111-0/+4
|/ /
* | Merge pull request #64 from LianaHus/sol_empty_commentchriseth2015-09-105-4/+43
|\ \ | |/ |/|
| * - added tests to test empty commentLianaHus2015-09-105-4/+43
|/
* Merge pull request #51 from ethereum/revert-25-sol_strings_as_mapping_keyschriseth2015-09-091-7/+4
|\
| * Revert "added check for string as mapping key for local var."chriseth2015-09-081-7/+4
* | Merge pull request #54 from chriseth/sol_fixConstantStringschriseth2015-09-094-7/+61
|\ \
| * | Stylistic corrections.chriseth2015-09-092-2/+2
| * | Fix for constant strings.chriseth2015-09-084-6/+60
* | | Merge pull request #57 from ethereum/reflect_namesMarek Kotewicz2015-09-091-1/+1
|\ \ \ | |/ / |/| |
| * | reflect_namesdebris2015-09-091-1/+1
|/ /
* | Merge pull request #41 from LianaHus/sol_rename_getterschriseth2015-09-0854-1652/+1678
|\ \
| * | - renamed AST to ast and ABI to abiLianaHus2015-09-0810-24/+31
| * | removed get prefixLianaHus2015-09-0815-60/+72
generated by cgit (git 2.34.1) at 2024-11-17 15:05:01 +0800