aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity
Commit message (Collapse)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 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-193-0/+20
|\ \ | | | | | | Addmod and mulmod.
| * | Addmod and mulmod.chriseth2015-11-193-0/+20
| |/
* | Merge pull request #204 from ethereum/hot_gavGav Wood2015-11-191-2/+4
|\ \ | |/ |/| The Big Refactor
| * Minor API change - must provide SealEngine to Executive now.Gav Wood2015-11-191-2/+4
| |
* | Merge pull request #218 from chriseth/fix_overwriteMemorychriseth2015-11-171-3/+13
|\ \ | | | | | | Fix memory overwrite problem for arrays.
| * | Fix memory overwrite problem for arrays.chriseth2015-11-171-3/+13
| | |
* | | Fix dynamic indexed event arguments - applies sha3.chriseth2015-11-171-5/+18
|/ /
* | Fix problems with statement blocks.chriseth2015-11-113-21/+48
| |
* | style fixLianaHus2015-11-072-12/+14
| |
* | style fixesLianaHus2015-11-073-25/+26
| |
* | fixed test frameworkLianaHus2015-11-072-10/+8
| |
* | 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
|/
* Fix: Cope with non-existing commit hash.chriseth2015-11-031-1/+4
|
* Bugfix: Returning literal strings in tuples.chriseth2015-11-012-2/+6
|
* Rename error type.chriseth2015-10-283-4/+4
|
* Preliminary why3 code output.chriseth2015-10-277-19/+682
|
* Allow docstrings for statements.chriseth2015-10-277-64/+126
|
* Fix indent.chriseth2015-10-271-3/+3
|
* Store docstrings in AST annotations.chriseth2015-10-2611-335/+509
|
* Merge pull request #171 from LianaHus/sol_change_expected_error_in_parserchriseth2015-10-231-3/+19
|\ | | | | Sol change "expected" errors in parser
| * more correctionsLianaHus2015-10-231-4/+14
| |
| * modified error msgLianaHus2015-10-231-1/+7
| |
* | Fix override warning.chriseth2015-10-231-1/+1
|/
* File reorganisation.chriseth2015-10-2159-144/+150
|
* Correctly parse ambiguities like `A.B[10] x` and `x.y[10] = 3`.chriseth2015-10-162-27/+60
|
* Merge pull request #143 from chriseth/loneStructArraychriseth2015-10-161-0/+10
|\ | | | | Fix errors when struct array type is used on its own.
| * Fix errors when struct array type is used on its own.chriseth2015-10-161-0/+10
| |
* | Merge pull request #142 from chriseth/fixWarningschriseth2015-10-161-1/+1
|\ \ | | | | | | Fix warning.
| * | 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.
| * | Do not include function in interface list if there are errors.chriseth2015-10-161-14/+11
| |/
* / Do not catch InternalCompilerErrors as part of fatal error handling.chriseth2015-10-164-9/+15
|/ | | | InternalCompilerErrors always have to end the whole compilation process because a serious inconsistency was detected.
* Merge pull request #132 from chriseth/tupleExpressionchriseth2015-10-1620-105/+532
|\ | | | | Tuple expressions and destructuring assignments
| * Fixed indentation.chriseth2015-10-161-2/+3
| |
| * Some fixes taking other pull requests into account.chriseth2015-10-161-3/+2
| |
| * MacOS fix.chriseth2015-10-151-2/+2
| |
| * Fix compiler warnings.chriseth2015-10-151-1/+3
| |
| * Wildcards.chriseth2015-10-154-30/+29
| |
| * Destructuring assignments.chriseth2015-10-1510-100/+347
| |
| * Tuple expressions.chriseth2015-10-1514-17/+196
| |
* | Merge pull request #136 from LianaHus/sol_error_types_refuctoringchriseth2015-10-161-9/+3
|\ \ | |/ |/| changed the way of reporting error during contract checking
| * changed the way of reporting error during contract checkingLianaHus2015-10-161-9/+3
| |
* | Merge pull request #130 from LefterisJP/dynamic_array_pushchriseth2015-10-153-24/+95
|\ \ | |/ |/| Dynamic array push
| * push() for byte arrays also properly implementedLefteris Karapetsas2015-10-151-4/+6
| |
| * Working implementation of arraypushLefteris Karapetsas2015-10-151-12/+10
| | | | | | | | | | ByteArrayPush() gets a test but is ignored for now, since there are still some issues with its implementation
| * Implement Dynamic array push and fix testLefteris Karapetsas2015-10-153-17/+72
| | | | | | | | | | 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 pushLefteris Karapetsas2015-10-151-15/+31
| |
* | missing constLianaHus2015-10-152-2/+2
| |
* | indentLianaHus2015-10-151-2/+2
| |
* | added constLianaHus2015-10-152-4/+4
| |
* | some more style fixesLianaHus2015-10-155-21/+8
| |
* | style fixesLianaHus2015-10-152-16/+16
| |
* | style fixes mostlyLianaHus2015-10-154-18/+42
| |
* | removed commitLianaHus2015-10-151-1/+0
| |
* | mainly style fixes/renamingLianaHus2015-10-155-13/+13
| |
* | fixed new testsLianaHus2015-10-153-26/+62
| |
* | fixes error after conflict resolvingLianaHus2015-10-154-5/+3
| |
* | errors instead of exceptionsLianaHus2015-10-1510-155/+337
| | | | | | | | | | | | | | | | | | Conflicts: libsolidity/CompilerStack.cpp libsolidity/NameAndTypeResolver.cpp libsolidity/NameAndTypeResolver.h libsolidity/TypeChecker.cpp test/libsolidity/SolidityNameAndTypeResolution.cpp
* | some fixesLianaHus2015-10-153-4/+8
| |
* | added Error class for all kind of errorsLianaHus2015-10-1512-40/+89
| | | | | | | | | | Conflicts: libsolidity/Exceptions.h
* | added Error class for all kind of errorsLianaHus2015-10-151-3/+3
|/ | | | | | | | Conflicts: libsolidity/Exceptions.h Conflicts: libsolidity/ReferencesResolver.cpp
* Some further test fixes.chriseth2015-10-132-25/+35
|
* Some more tests and typos fixed.chriseth2015-10-132-3/+4
|
* Multi-variable declarations.chriseth2015-10-137-65/+107
|
* Introduced tuple type and added multi variable declarations to typechriseth2015-10-105-87/+184
| | | | checker.
* Refactoring to allow multi-variable declarations.chriseth2015-10-097-55/+120
|
* Check invalid integer constants for functions accepting arbitrary arguments.chriseth2015-10-081-4/+10
|
* Resolve binary dependencies properly.chriseth2015-10-076-20/+68
|
* Merge pull request #122 from chriseth/anonymousEventsWithFourIndexedParamschriseth2015-10-071-1/+3
|\ | | | | Allow four indexed arguments for anynomous events.
| * Allow four indexed arguments for anynomous events.chriseth2015-10-071-1/+3
| |
* | Merge pull request #118 from chriseth/rejectEtherSentToLibrarychriseth2015-10-071-0/+3
|\ \ | |/ |/| Reject ether sent to library.
| * Reject ether sent to library.chriseth2015-10-071-0/+3
| |
* | Fix boost error.chriseth2015-10-071-11/+12
|/
* Add const.chriseth2015-10-062-4/+4
|
* Compiler version stamp.chriseth2015-10-066-2/+59
|
* Add structs to library interface.chriseth2015-10-061-6/+29
|
* Provide access to scoped structs.chriseth2015-10-067-21/+45
|
* Compute canonical names of types for function signatures.chriseth2015-10-0612-39/+145
|
* Encode storage items correctly for library calls.chriseth2015-10-062-2/+10
|
* 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
|
* Store small byte arrays and strings in storage in one slot with theirchriseth2015-10-024-50/+229
| | | | length.
* -fixed the warning printingLianaHus2015-10-022-5/+6
| | | | -style fixes
* -added warning case to cl compilerLianaHus2015-10-021-1/+1
| | | | -modified warning msg
* removed unnecessary function declarationLianaHus2015-10-021-2/+0
|
* added warning for noninitialized references in storage.LianaHus2015-10-023-6/+26
|
* style fixesLianaHus2015-10-021-8/+16
|
* style fixesLianaHus2015-10-021-12/+31
|
* Bugfix in calldata unpacker.chriseth2015-10-012-33/+27
| | | | | The offset was not specified correctly if memory activity preceded the unpacker.
* Provide types for VariableDeclaration.chriseth2015-09-243-1/+15
|
* Merge pull request #95 from chriseth/styleCleanupchriseth2015-09-241-39/+95
|\ | | | | Style cleanup.
| * Style cleanup.chriseth2015-09-241-39/+95
| |
* | improved overflow check in memorySize for ArrayTypeLianaHus2015-09-241-3/+3
|/
* Merge pull request #91 from chriseth/literalStringsToStoragePointerchriseth2015-09-241-1/+3
|\ | | | | Literal strings to storage pointer
| * Do not allow assignment from literal strings to storage pointers.chriseth2015-09-231-1/+3
| | | | | | | | Fixes #90
* | improved the testLianaHus2015-09-231-2/+3
| |
* | style fixLianaHus2015-09-231-1/+0
| |
* | fixed-sized arrays as return typeLianaHus2015-09-234-10/+35
|/ | | | | Conflicts: test/libsolidity/SolidityEndToEndTest.cpp
* Merge pull request #85 from chriseth/warningschriseth2015-09-2330-1586/+2176
|\ | | | | Support mulitple errors and warnings.
| * Style fix.chriseth2015-09-221-1/+2
| |
| * Build fix for MacOS.chriseth2015-09-221-4/+4
| |
| * Error formatting.chriseth2015-09-224-36/+38
| |
| * Refactored annotations.chriseth2015-09-228-45/+186
| |
| * Refactoring: Check types outside of AST and recover from some errors.chriseth2015-09-2229-1587/+2035
| |
* | Merge pull request #87 from chriseth/fixVersionchriseth2015-09-231-2/+4
|\ \ | | | | | | Add libevmasm version string.
| * | Add libevmasm version string.chriseth2015-09-221-2/+4
| |/
* / fixed using string as a type for struct memberLianaHus2015-09-172-4/+7
|/
* Merge pull request #79 from arkpar/cmakeMarek Kotewicz2015-09-171-1/+1
|\ | | | | Per project versioning
| * per project versioningarkpar2015-09-161-1/+1
| |
* | styleLianaHus2015-09-161-6/+2
| |
* | style fixesLianaHus2015-09-163-5/+5
| |
* | throw statement implementationLianaHus2015-09-1613-1/+76
| |
* | 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-36/+53
| | | | | | | | | | | | | | - style fixes Conflicts: libsolidity/AST.cpp
* | Update ExpressionCompiler.cppLianaHus2015-09-151-1/+2
| | | | | | | | | | Conflicts: libsolidity/ExpressionCompiler.cpp
* | added compile time check for out of bounds access for ordinary arraysLianaHus2015-09-151-0/+14
| | | | | | | | | | | | | | todo: check for dynamicaly sized arrays Conflicts: libsolidity/ExpressionCompiler.cpp
* | Merge pull request #70 from chriseth/sol_libraries2chriseth2015-09-143-4/+20
|\ \ | |/ |/| Commandline interface for linker.
| * Commandline interface for the linker.chriseth2015-09-122-2/+15
| |
| * Small fixes to the type system concerning libraries.chriseth2015-09-111-2/+5
| |
* | Merge pull request #66 from chriseth/sol_librarieschriseth2015-09-1215-87/+159
|\| | | | | Calling libraries.
| * Style.chriseth2015-09-111-1/+2
| |
| * Possibility to call library functions.chriseth2015-09-114-18/+48
| |
| * Transition from bytecode to more general linker objects.chriseth2015-09-117-56/+68
| |
| * Parsing and type checking of libraries without inheritance.chriseth2015-09-116-13/+42
| |
* | Merge pull request #69 from LianaHus/sol_enum_too_many_indexed_argschriseth2015-09-111-2/+5
|\ \ | |/ |/| too many indexed arguments for event
| * add call for EventDefinition::checkTypeRequirements()LianaHus2015-09-111-2/+5
| |
* | Merge pull request #65 from LianaHus/sol_Creating_a_contract_from_within_itselfchriseth2015-09-112-3/+12
|\ \ | |/ |/| Added error when creating a contract from within itself
| * style fixesLianaHus2015-09-111-1/+1
| |
| * added type check if the type of the var decl is one of base contract typeLianaHus2015-09-102-3/+12
| |
* | - added tests to test empty commentLianaHus2015-09-102-4/+7
|/ | | | | - fixed skipSingleLineComment - some style fixes
* Stylistic corrections.chriseth2015-09-091-1/+1
|
* Fix for constant strings.chriseth2015-09-083-6/+28
|
* Merge pull request #41 from LianaHus/sol_rename_getterschriseth2015-09-0837-1418/+1444
|\ | | | | solidity interface changes. removing get prefix
| * - renamed AST to ast and ABI to abiLianaHus2015-09-087-16/+23
| | | | | | | | - style fixes
| * removed get prefixLianaHus2015-09-0811-37/+49
| | | | | | | | style fixes
| * renamed getter functionsLianaHus2015-09-0835-1391/+1398
| |
* | changes required to compile solidity in a single projectdebris2015-09-011-4/+1
|/
* Merge pull request #24 from LianaHus/sol_fix_error_checkGav Wood2015-08-271-1/+1
|\ | | | | added check for having type in VariableDeclaration::checkTypeRequirem…
| * added check for having type in VariableDeclaration::checkTypeRequirements()LianaHus2015-08-241-1/+1
| |
* | client refactordebris2015-08-271-4/+1
| |
* | Merge pull request #26 from arkpar/cmakeMarek Kotewicz2015-08-241-6/+3
|\ \ | |/ |/| Refactored CMakeLists for new module system
| * Refactoreed CMakeLists for new module systemarkpar2015-08-241-6/+3
| |
* | Merge pull request #22 from LianaHus/sol_accessors_for_const_state_varchriseth2015-08-225-4/+24
|\ \ | | | | | | fixed the issue with accessors for constant state variables
| * | add tests for state variables accessors. normal and constantLianaHus2015-08-215-4/+24
| |/ | | | | | | fixed the issue with accessors for constant state variables
* / Propagate exceptions in clone calls.chriseth2015-08-211-0/+3
|/
* Merge pull request #7 from chriseth/moreInfoForCommandlineOptionsGav Wood2015-08-201-1/+1
|\ | | | | More information for help screen, some fixes for argument parsing.
| * More information for help screen, some fixes for argument parsing.chriseth2015-08-201-1/+1
| |
* | Modularise CMakeLists files and integrate tests.chriseth2015-08-201-6/+6
|/
* include Version.h under libsolidityLefteris Karapetsas2015-08-191-1/+1
|
* Add CMakeLists.txt for libsolidityLefteris Karapetsas2015-08-1951-0/+18332
generated by cgit (git 2.34.1) at 2024-09-30 16:39:30 +0800