aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
| | * | | Move unsatisfied_version test from SolidityNameAndTypeResolution to ↵Alex Beregszaszi2018-12-182-12/+8
| | | | | | | | | | | | | | | | | | | | SolidityParser
| | * | | Fail if parsing failed in AnalysisFrameworkAlex Beregszaszi2018-12-181-1/+1
| | | | | | | | | | | | | | | | | | | | Otherwise Compilerstack::analyze will throw an exception.
| | * | | Add version pragma parsing to ParserAlex Beregszaszi2018-12-184-1/+36
| | | | |
| * | | | Merge pull request #5676 from ethereum/someOptsAlex Beregszaszi2018-12-181-1/+1
| |\ \ \ \ | | |/ / / | |/| | | Make swappable instructions static.
| | * | | Make swappable instructions static.chriseth2018-12-181-1/+1
| | | |/ | | |/|
| * | | Merge pull request #5246 from ethereum/abi-type-arraychriseth2018-12-181-25/+37
| |\ \ \ | | |/ / | |/| | Updates arrays section to improve order and clarify concepts
| | * | Updates arrays section to improve order and clarify conceptsChris Ward2018-12-181-25/+37
| |/ /
| * | Merge pull request #5625 from ethereum/single-checkchriseth2018-12-184-15/+90
| |\ \ | | | | | | | | Do check for callvalue only once if no payable functions
| | * | Only generate sort/search code when interface functions existMathias Baumann2018-12-184-15/+90
| | | |
| * | | Merge pull request #5671 from ethereum/sort_includes_interfacechriseth2018-12-1814-45/+49
| |\ \ \ | | | | | | | | | | Sort includes in libsolidity/interface
| | * | | Sort includes in libsolidity/interfaceLeonardo Alt2018-12-1814-45/+49
| | | | |
| * | | | Merge pull request #5672 from ethereum/sort_includes_parsingchriseth2018-12-183-6/+23
| |\ \ \ \ | | | | | | | | | | | | Sort includes in libsolidity/parsing
| | * | | | Sort includes in libsolidity/parsingLeonardo Alt2018-12-183-6/+23
| | |/ / /
| * | | | Merge pull request #5669 from ethereum/retire2015chriseth2018-12-183-11/+6
| |\ \ \ \ | | |/ / / | |/| | | Remove support for Visual Studio 2015.
| | * | | Remove support for Visual Studio 2015.chriseth2018-12-183-11/+6
| |/ / /
| * | | Merge pull request #5668 from ethereum/sort_includes_formalchriseth2018-12-1814-36/+11
| |\ \ \ | | |/ / | |/| | Sort includes in libsolidity/formal
| | * | Sort includes in libsolidity/formalLeonardo Alt2018-12-1814-36/+11
| |/ /
| * | Merge pull request #5665 from ethereum/cmakeHeaderschriseth2018-12-187-4/+160
| |\ \ | | | | | | | | Add headers to targets in CMakeLists.txt.
| | * | Add headers to targets in CMakeLists.txt.Daniel Kirchner2018-12-177-4/+160
| | |/
| * | Merge pull request #5667 from ethereum/sort_includes_codegenchriseth2018-12-1816-54/+52
| |\ \ | | | | | | | | Sort includes in libsolidity/codegen
| | * | Sort includes in libsolidity/codegenLeonardo Alt2018-12-1816-54/+52
| | | |
| * | | Merge pull request #5666 from ethereum/sort_includes_astchriseth2018-12-1811-31/+29
| |\ \ \ | | | | | | | | | | Sort includes in libsolidity/ast
| | * | | Sort includes in libsolidity/astLeonardo Alt2018-12-1711-31/+29
| | |/ /
| * | | Merge pull request #4859 from ethereum/input-outputchriseth2018-12-181-9/+16
| |\ \ \ | | |/ / | |/| | Create section that covers input and output function types
| | * | Clean input and output function typesChris Ward2018-12-181-9/+16
| |/ / | | | | | | | | | Updates from review
| * | Merge pull request #5388 from ethereum/smt_mappingchriseth2018-12-1723-16/+396
| |\ \ | | | | | | | | [SMTChecker] Support for mapping
| | * | Clear all mapping knowledge after array variable assignmentLeonardo Alt2018-12-143-5/+42
| | | |
| | * | [SMTChecker] Support to mappingLeonardo Alt2018-12-1423-15/+358
| | |/
| * | Merge pull request #5613 from ethereum/yulStringLiteralschriseth2018-12-178-13/+18
| |\ \ | | | | | | | | [Yul] Use C++ user-defined literals for creating YulString constants.
| | * | Use C++ user-defined literals for creating YulString constants.Daniel Kirchner2018-12-138-13/+18
| | | |
| * | | Merge pull request #5639 from ethereum/docs-array-deletechriseth2018-12-171-1/+8
| |\ \ \ | | | | | | | | | | DOCS: Add array item deletion idiosyncrasy
| | * | | Add array item deletion idiosyncracyChris Ward2018-12-171-1/+8
| |/ / /
| * | | Merge pull request #5662 from ethereum/sort_includeschriseth2018-12-1722-41/+44
| |\ \ \ | | | | | | | | | | Sort includes in libsolidity/analysis
| | * | | Sort includes in libsolidity/analysisLeonardo Alt2018-12-1722-41/+44
| | | |/ | | |/|
| * | | Merge pull request #5658 from ethereum/chriseth-patch-1chriseth2018-12-172-18/+5
| |\ \ \ | | | | | | | | | | Add gnosis safe as external test.
| | * | | Add gnosis safe as external test.chriseth2018-12-151-0/+3
| | | | |
| | * | | Do not use nvm.chriseth2018-12-151-18/+2
| | |/ /
| * | | Merge pull request #5663 from ethereum/docs-formatting-issuechriseth2018-12-171-1/+1
| |\ \ \ | | |/ / | |/| | DOCS: Fix italics formatting issue
| | * | Fix italics formatting issueChris Ward2018-12-171-1/+1
| |/ /
| * | Merge pull request #5655 from ethereum/removeUnassignedVarDefschriseth2018-12-1437-349/+249
| |\ \ | | | | | | | | Add variable declaration initializer.
| | * | Remove VarDeclPropagator.chriseth2018-12-1314-302/+3
| | | |
| | * | Do not create unassigned variables.chriseth2018-12-1316-47/+50
| | | |
| | * | Add variable declaration initializer.chriseth2018-12-1310-0/+196
| |/ /
| * | Merge pull request #5649 from ethereum/returnsAreZerochriseth2018-12-136-36/+79
| |\ \ | | | | | | | | [Yul] Consider return variables to be zero initially.
| | * | Consider return variables to be zero initially.chriseth2018-12-136-36/+79
| |/ /
| * | Merge pull request #5648 from ethereum/useMemoryDBchriseth2018-12-132-3/+3
| |\ \ | | | | | | | | Update to use memorydb for aleth.
| | * | Update to use memorydb for aleth.chriseth2018-12-132-3/+3
| | | |
| * | | Merge pull request #5644 from ethereum/noInlineIntoLargechriseth2018-12-138-161/+277
| |\ \ \ | | | | | | | | | | [Yul] Do not inline into already big functions.
| | * | | Do not inline into already big functions.chriseth2018-12-138-161/+277
| | |/ /
| * | | Merge pull request #5636 from ethereum/faq-array-literalchriseth2018-12-131-25/+0
| |\ \ \ | | | | | | | | | | DOCS: Remove FAQ item that covers array literals
| | * | | Remove FAQ item that covers array literalsChris Ward2018-12-121-25/+0
| | | | |
| * | | | Merge pull request #5651 from ethereum/cmdlineJsonTestschriseth2018-12-132-3/+8
| |\ \ \ \ | | | | | | | | | | | | Remove pre-release warning from standard json cmdline tests.
| | * | | | Remove pre-release warning from standard json cmdline tests.Daniel Kirchner2018-12-132-3/+8
| | | | | |
| * | | | | Merge pull request #5650 from ethereum/printerConstchriseth2018-12-132-30/+30
| |\ \ \ \ \ | | |_|_|/ / | |/| | | | AsmPrinter functions should be const.
| | * | | | AsmPrinter functions should be const.chriseth2018-12-132-30/+30
| |/ / / /
| * | | | Merge pull request #5641 from ethereum/supportUnassignedchriseth2018-12-1310-13/+65
| |\ \ \ \ | | |/ / / | |/| | | [Yul] Support unassigned variables in the SSA value tracker and the data flow analyzer.
| | * | | Support unassigned variables in the SSA value tracker and the data flow ↵chriseth2018-12-1310-13/+65
| | | | | | | | | | | | | | | | | | | | analyzer.
| * | | | Merge pull request #5624 from ethereum/standard_json_unknown_keyschriseth2018-12-1324-9/+224
| |\ \ \ \ | | | | | | | | | | | | Disallow unknown JSON keys in standard-json
| | * | | | Disallow unknown JSON keys in standard-jsonLeonardo Alt2018-12-1324-9/+224
| | | | | |
| * | | | | Merge pull request #5643 from ethereum/releaseChecklistchriseth2018-12-131-1/+1
| |\ \ \ \ \ | | |_|_|_|/ | |/| | | | Clarify the need to wait for the static PPA build to finish in the release checklist.
| | * | | | Clarify the need to wait for the static PPA build to finish in the release ↵Daniel Kirchner2018-12-131-1/+1
| |/ / / / | | | | | | | | | | | | | | | checklist.
| * | | | Merge pull request #5634 from ethereum/staticPPAchriseth2018-12-133-15/+32
| |\ \ \ \ | | | | | | | | | | | | Replace trusty PPA build by static PPA build.
| | * | | | Update changelog and release checklist.Daniel Kirchner2018-12-132-0/+4
| | | | | |
| | * | | | Replace trusty PPA build by static PPA build.Daniel Kirchner2018-12-131-15/+28
| | | |_|/ | | |/| |
| * | | | Merge pull request #5638 from ethereum/header-guardchriseth2018-12-134-0/+7
| |\ \ \ \ | | | | | | | | | | | | Add missing header guards
| | * | | | Add missing header guardsAlex Beregszaszi2018-12-124-0/+7
| | | |_|/ | | |/| |
| * | | | Merge pull request #4951 from ethereum/alethUpdateschriseth2018-12-137-60/+20
| |\ \ \ \ | | |_|_|/ | |/| | | Use current aleth release for testing.
| | * | | Add tolerance to gas meter tests.Daniel Kirchner2018-12-131-5/+7
| | | | |
| | * | | Test updates for recent versions of aleth.Daniel Kirchner2018-12-116-55/+13
| | | | |
| * | | | Merge pull request #5633 from ethereum/faq-killchriseth2018-12-131-23/+0
| |\ \ \ \ | | | | | | | | | | | | DOCS: Remove FAQ item on killing contracts
| | * | | | Remove FAQ item on killing contractsChris Ward2018-12-131-23/+0
| |/ / / /
| * | | | Merge pull request #5630 from ethereum/warn_functions_empty_bodychriseth2018-12-1338-89/+16
| |\ \ \ \ | | | | | | | | | | | | Supress unused var and state mut warnings for functions with empty body
| | * | | | Changelog entryLeonardo Alt2018-12-121-0/+1
| | | | | |
| | * | | | Disable state mutability warning for functions with empty bodyLeonardo Alt2018-12-1232-45/+1
| | | | | |
| | * | | | Disable unused var warning for functions with empty bodyLeonardo Alt2018-12-1216-44/+14
| | | |_|/ | | |/| |
| * | | | Merge pull request #2271 from 3esmit/patch-1chriseth2018-12-122-1/+62
| |\ \ \ \ | | |_|_|/ | |/| | | Add NatSpec to Style-Guide
| | * | | Add NatSpec to Style-GuideRicardo Guilherme Schmidt2018-12-122-1/+62
| |/ / / | | | | | | | | | | | | related to #2270
| * | | Merge pull request #5632 from ethereum/faq-payloadchriseth2018-12-121-6/+0
| |\ \ \ | | | | | | | | | | DOCS: Remove payload FAQ item
| | * | | Remove payload FAQ itemChris Ward2018-12-121-6/+0
| | |/ /
| * | | Merge pull request #5617 from ethereum/controlFlowReworkchriseth2018-12-1229-372/+471
| |\ \ \ | | |/ / | |/| | Rework of ControlFlowGraph and analysis.
| | * | Refactoring of the ControlFlowGraph and use for detecting all uninitialized ↵Daniel Kirchner2018-12-1229-372/+471
| | | | | | | | | | | | | | | | storage accesses.
| * | | Merge pull request #5628 from ethereum/structuralSimplifierCompilationFixDaniel Kirchner2018-12-121-1/+1
| |\ \ \ | | |/ / | |/| | [Yul] Fix compilation for certain combinations of boost and gcc.
| | * | Fix compilation for certain combinations of boost and gcc.Daniel Kirchner2018-12-121-1/+1
| |/ /
| * | Merge pull request #5502 from ethereum/cpp14chriseth2018-12-124-14/+35
| |\ \ | | | | | | | | Enables C++14 standard (was C++11) within the Solidity compiler project.
| | * | Enables C++14 standard (was C++11) within the Solidity compiler project.Christian Parpart2018-12-124-14/+35
| | | |
| * | | Merge pull request #5616 from ethereum/codegenForObjectsAccesschriseth2018-12-1233-177/+565
| |\ \ \ | | | | | | | | | | [Yul] Codegen for objects access
| | * | | Codegen for object access.chriseth2018-12-1233-173/+560
| | | | |
| | * | | Provide Dialect to EVMCodeTransform.chriseth2018-12-126-17/+18
| |/ / /
| * | | Merge pull request #5454 from ethereum/smt_math_functionschriseth2018-12-1211-103/+169
| |\ \ \ | | | | | | | | | | [SMTChecker] Abstract math functions
| | * | | [SMTChecker] Use SymbolicFunctionVariable for uninterpreted functionsLeonardo Alt2018-12-1111-103/+169
| | | |/ | | |/|
| * | | Merge pull request #4779 from ethereum/optimise-string-literalschriseth2018-12-128-2/+116
| |\ \ \ | | | | | | | | | | Decide better in storing string literals as data
| | * | | Tests for gas costs.chriseth2018-12-116-1/+114
| | | | |
| | * | | Changelog entry.chriseth2018-12-111-0/+1
| | | | |
| | * | | Set codecopy limit for data to 32 bytes.chriseth2018-12-111-1/+1
| | | | |
| * | | | Merge pull request #5621 from ethereum/explainASTchriseth2018-12-112-9/+21
| |\ \ \ \ | | |_|/ / | |/| | | Improve explanation how to get abi output.
| | * | | Explain source IDs.chriseth2018-12-112-4/+4
| | | | |
| | * | | Improve explanation how to get abi output.chriseth2018-12-111-5/+17
| | | | |
| * | | | Merge pull request #5619 from ethereum/cleanup-abcchriseth2018-12-1116-89/+82
| |\ \ \ \ | | |/ / / | |/| | | Some code cleanup
| | * | | Use curly-brackets initializationMathias Baumann2018-12-112-14/+14
| | | | |
| | * | | Replace push_back with emplace_back where it makes senseMathias Baumann2018-12-1115-75/+68
| | |/ /
| * | | Merge pull request #5552 from 0yi0/5551-rational-convertible-to-fixed-pointchriseth2018-12-115-55/+86
| |\ \ \ | | | | | | | | | | Fix conversions from rational number literals to fixed-point types.
| | * | | Add tests for implcit conversions from literals to fixed-point numbers.Yi Huang2018-12-115-55/+86
| |/ / /
| * | | Merge pull request #5599 from ethereum/cleanup-testsuitechriseth2018-12-113-96/+87
| |\ \ \ | | | | | | | | | | Have only one source where testsuites are defined
| | * | | Have only one source where testsuits are definedMathias Baumann2018-12-103-96/+87
| | |/ /
| * | | Merge pull request #5615 from ethereum/contrib-linkchriseth2018-12-101-1/+1
| |\ \ \ | | |/ / | |/| | ContribDoc: Link formatted instead of raw version of coding guidlines
| | * | ContribDoc: Link formatted instead of raw version of coding guidlinesMathias Baumann2018-12-101-1/+1
| |/ /
| * | Merge pull request #5008 from liangdzou/yul_stack_reusechriseth2018-12-1012-54/+666
| |\ \ | | |/ | |/| Reuse stack slots in Yul codegen
| | * Tests for stack reusing code generator.chriseth2018-12-101-0/+353
| | |
| | * Reuse stack slots in Yul to EVM code generation.liangdzou2018-12-1011-54/+313
| | |
| * | Merge pull request #5610 from ethereum/shell-script-cleanupschriseth2018-12-101-15/+13
| |\ \ | | | | | | | | build.sh bash script cleanup
| | * | build.sh bash script cleanupChristian Parpart2018-12-101-15/+13
| |/ / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * use `set -e` to abort script execution when error codes fail (and haven't been checked) * use [[ ]] instead of [ ] or test. * use ROOTDIR/BUILDDIR variables for better readability * use mktemp in order to avoid accidental name clashes. * use `make install` instead of `install ...` as cleaner installation process * this however doesn't install soltest anymore, which I believe is right, as normal users should not need it installed in their system. Those who want to run the test suite, can do so manually * allow optional passing of more additional custom args to cmake
| * | Merge pull request #5614 from ethereum/smt_symb_functionLeonardo2018-12-102-1/+56
| |\ \ | | |/ | |/| [SMTChecker] Introduce SymbolicFunctionVariable
| | * [SMTChecker] Introduce SymbolicFunctionVariableLeonardo Alt2018-12-102-1/+56
| |/
| * Merge pull request #5391 from ethereum/improve-type-errorschriseth2018-12-108-20/+41
| |\ | | | | | | Provide additional error messages during type checks
| | * Adds more detailed type errors and tests.Erik Kundt2018-12-076-19/+25
| | |
| | * Adds an additional message to failing type conversions.Erik Kundt2018-12-078-19/+34
| |/
| * Merge pull request #5607 from enumatech/fix-makefileschriseth2018-12-071-1/+1
| |\ | | | | | | WIP: Fix makefiles to silence linker errors
| | * Fix makefilesLionello Lunesu2018-12-071-1/+1
| |/ |/|
| * Merge pull request #4936 from ethereum/binSelectchriseth2018-12-0710-6/+276
| |\ | | | | | | Binary search for dispatch.
| | * Changelog entry.chriseth2018-12-061-0/+1
| | |
| | * Gas tests for the binary search dispatch routine.chriseth2018-12-066-0/+194
| | |
| | * Binary search for dispatch.chriseth2018-12-063-6/+81
| | |
| * | Merge pull request #5584 from ethereum/structuralSimplifierchriseth2018-12-0719-15/+292
| |\ \ | | | | | | | | [Yul] Add structural simplifier.
| | * | Add structural simplifier as optimization step for Yul.Daniel Kirchner2018-12-0719-15/+292
| |/ /
| * | Merge pull request #5587 from ethereum/yulCodeBuiltinschriseth2018-12-064-1/+79
| |\ \ | | | | | | | | Builtin functions to access Yul objects.
| | * | Provide Yul Object builtins.chriseth2018-12-044-1/+79
| | | |
| * | | Merge pull request #5589 from ethereum/yulObjectCodegenchriseth2018-12-0624-101/+755
| |\ \ \ | | | | | | | | | | Yul object codegen
| | * | | Add tests.chriseth2018-12-0614-3/+417
| | | | |
| | * | | Analyze and compile sub-objects.chriseth2018-12-065-7/+133
| | | | |
| | * | | Extend abstract assembly to be able to handle sub-objects.chriseth2018-12-065-0/+77
| | | | |
| | * | | Expose EthAssemblyAdapter.chriseth2018-12-062-91/+128
| |/ / /
| * | | Merge pull request #5554 from ethereum/cp-SourceReferenceFormatter-refactorchriseth2018-12-0616-126/+234
| |\ \ \ | | |_|/ | |/| | [2/3] Refactor SourceReferenceFormatter (split-out data extraction & make use of new SourceLocation knowledge)
| | * | liblangutil: refactor SourceReferenceFormatter, splitting out retrieval and ↵Christian Parpart2018-12-0616-126/+234
| | | | | | | | | | | | | | | | making use of new SourceLocation's CharStream knowledge
| * | | Merge pull request #5605 from ethereum/cmdlineTestschriseth2018-12-0619-13/+25
| |\ \ \ | | | | | | | | | | Extend capabilities of the generic commandline test.
| | * | | Extend capabilities of the generic commandline test.chriseth2018-12-0619-13/+25
| |/ / /
| * | | Merge pull request #5514 from corollari/developchriseth2018-12-063-5/+5
| |\ \ \ | | | | | | | | | | Remove unary + from the type system
| | * | | Update testAlbert2018-12-061-1/+1
| | | | |
| | * | | Fix #5470Albert2018-12-062-4/+4
| | | | | | | | | | | | | | | | | | | | Remove unary + from the type system
| * | | | Merge pull request #5600 from ethereum/simplifyToHexchriseth2018-12-0611-35/+38
| |\ \ \ \ | | |/ / / | |/| | | Simplify toHex()
| | * | | Simplify hex prefix.chriseth2018-12-061-1/+4
| | | | |
| | * | | Remove `w` parameter for toHex.chriseth2018-12-068-16/+15
| | | | |
| | * | | Move toHex implementation to cpp file.chriseth2018-12-062-19/+21
| | | | |
| | * | | Restrict toHex to `bytes`.chriseth2018-12-064-7/+6
| |/ / /
| * | | Merge pull request #5476 from KevinKelley/readable-hexchriseth2018-12-0611-17/+264
| |\ \ \ | | | | | | | | | | add a 'readable' format for large hex values
| | * | | add a 'readable' format for large hex valuesKevin Kelley2018-12-0611-17/+264
| |/ / /
| * | | Merge pull request #5595 from ethereum/ssavaluetracker-fixchriseth2018-12-064-1/+29
| |\ \ \ | | | | | | | | | | SSAValueTracker should only use nullptr for default values
| | * | | SSAValueTracker should only use nullptr for default valuesMathias Baumann2018-12-062-1/+3
| | | | |
| | * | | Tests for SSAValueTracker ignoring function call on rhsMathias Baumann2018-12-062-0/+26
| |/ / /
| * | | Merge pull request #5593 from ethereum/issue-5384chriseth2018-12-062-1/+16
| |\ \ \ | | | | | | | | | | Fix expression simplifier asserting on default values
| | * | | Fix expression simplifier asserting on default valuesMathias Baumann2018-12-051-1/+2
| | | | |
| | * | | Test for unhandled default values in expression simplifierMathias Baumann2018-12-051-0/+14
| | | | |
| * | | | Merge pull request #5591 from ethereum/smt_simplify_sortchriseth2018-12-062-29/+19
| |\ \ \ \ | | | | | | | | | | | | [SMTChecker] Simplify symbolic variables
| | * | | | [SMTChecker] Simplify symbolic variablesLeonardo Alt2018-12-052-29/+19
| | | |/ / | | |/| |
| * | | | Merge pull request #4098 from ethereum/typedResultschriseth2018-12-054-102/+171
| |\ \ \ \ | | | | | | | | | | | | Introduce Result<T> for type checker functions
| | * | | | Cleans up Result<T> and adds additional documentation.Erik Kundt2018-12-051-8/+8
| | | | | |
| | * | | | Simplifies Result<T> and prevents undefined behaviour.Erik Kundt2018-12-052-29/+12
| | | | | |
| | * | | | Introduces Result<T> for operator and implicit conversion type checks.Erik Kundt2018-12-054-102/+188
| | |/ / /
| * | | | Merge pull request #5594 from ethereum/fullInlinerNoHoisterchriseth2018-12-052-13/+23
| |\ \ \ \ | | | | | | | | | | | | [Yul] Relax dependency of FullInliner on FunctionHoister.
| | * | | | Relax dependency of FullInliner on FunctionHoister.Daniel Kirchner2018-12-052-13/+23
| | |/ / /
| * | | | Merge pull request #5576 from ethereum/fixDockerScriptchriseth2018-12-051-0/+6
| |\ \ \ \ | | | | | | | | | | | | Fix manual deploy script for alpine.
| | * | | | Fix manual deploy script for alpine.chriseth2018-12-051-0/+6
| |/ / / /
| * | | | Merge pull request #5592 from ethereum/fix-issue-5446chriseth2018-12-052-2/+4
| |\ \ \ \ | | |/ / / | |/| | | Relax assertion about jumps in loose mode
| | * | | Relax assertion about jumps in loose modeMathias Baumann2018-12-052-2/+4
| | |/ /
| * | | Merge pull request #5390 from ethereum/smt_one_loopchriseth2018-12-0518-18/+217
| |\ \ \ | | |/ / | |/| | [SMTChecker] Unroll loops once
| | * | [SMTChecker] Loops are unrolled onceLeonardo Alt2018-12-0418-18/+217
| | | |
| * | | Merge pull request #5586 from ethereum/refactorEVMAssemblychriseth2018-12-047-28/+20
| |\ \ \ | | |_|/ | |/| | Refactor evm assembly
| | * | Switch namespaces.chriseth2018-12-044-8/+12
| | | |
| | * | Remove some includes.chriseth2018-12-041-9/+0
| | | |
| | * | Adjust include paths.chriseth2018-12-045-10/+7
| | | |
| | * | Move AsmCodeGen.chriseth2018-12-044-1/+1
| | | |
| * | | Merge pull request #5583 from ethereum/builtins3chriseth2018-12-043-16/+68
| |\ \ \ | | |/ / | |/| | Analysis phase for builtin funtions.
| | * | Builtin functions for yul analysis.chriseth2018-12-042-1/+26
| | | |
| | * | Tests for parser for builtins.chriseth2018-12-041-0/+17
| | | |
| | * | Use dialect option in yul parser tests.chriseth2018-12-041-11/+13
| | | |
| | * | Use builtin functions in the yul parser.chriseth2018-12-041-4/+12
| |/ /
| * | Merge pull request #5573 from ethereum/builtinschriseth2018-12-0416-62/+148
| |\ \ | | | | | | | | [Yul] Introduce the concept of builtin functions.
| | * | Introduce the concept of builtin functions.chriseth2018-12-0416-62/+148
| | |/
| * | Merge pull request #5585 from ethereum/forInitRewriteNestedchriseth2018-12-043-7/+62
| |\ \ | | |/ | |/| [Yul] Proper recursion in ForLoopInitRewriter.
| | * Properly recurse in ForLoopInitRewriterDaniel Kirchner2018-12-043-7/+62
| |/
| * Merge pull request #5582 from ethereum/yulErrorMessageschriseth2018-12-045-16/+26
| |\ | | | | | | Improve error messages around invalid function argument count.
| | * Do not stop if there is more than one error.chriseth2018-12-041-1/+2
| | |
| | * Improve yul error messages around number of arguments and variables.chriseth2018-12-044-15/+24
| |/
| * Merge pull request #5578 from ethereum/yulStringRefactorchriseth2018-12-042-16/+16
| |\ | | | | | | Use YulString also in expectAsmIdentifier.
| | * Use YulString also in expectAsmIdentifier.chriseth2018-12-042-16/+16
| |/
| * Merge pull request #5575 from ethereum/releasechriseth2018-12-040-0/+0
| |\ | |/ |/| Merge release back into develop.
* | Merge pull request #5571 from ethereum/developchriseth2018-12-03425-4602/+7166
|\ \ | | | | | | Version 0.5.1
| | * Merge pull request #5574 from ethereum/version0.5.2chriseth2018-12-032-1/+12
| |/| | | | | | | Set version to 0.5.2.
| | * Set version to 0.5.2.chriseth2018-12-032-1/+12
| |/
| * Merge pull request #5570 from ethereum/updateChangelog051chriseth2018-12-032-5/+9
| |\ | | | | | | Massage changelog for 0.5.1
| | * Massage changelog for 0.5.1chriseth2018-12-032-5/+9
| |/
| * Merge pull request #5558 from anurag-git/issue_5130chriseth2018-12-034-1/+23
| |\ | | | | | | Fix internal compiler error for unimplemented base contract function.
| | * Fix internal compiler error for unimplemented base contract function.Anurag Dashputre2018-12-034-1/+23
| | |
| * | Merge pull request #5569 from ethereum/chriseth-patch-1chriseth2018-12-031-1/+3
| |\ \ | | |/ | |/| Add solc-js changes.
| | * Add solc-js changes.chriseth2018-12-031-1/+3
| |/
| * Merge pull request #5341 from ethereum/optimizeAssemblyCommandlinechriseth2018-12-036-10/+73
| |\ | | | | | | Apply the optimize commandline parameter to assembly mode.
| | * Improves assembly output commandline tests.Erik Kundt2018-12-011-2/+28
| | |
| | * Adds tests for --optimize in assembly mode.Erik Kundt2018-12-011-4/+13
| | |
| | * Apply the optimize commandline parameter to assembly mode.chriseth2018-12-015-6/+34
| | |
| * | Merge pull request #5437 from ethereum/docs-faq-types-inline-arraychriseth2018-12-032-56/+19
| |\ \ | | | | | | | | DOCS: Move String literal and inline array FAQ items
| | * | Move String literal and inline array FAQ itemsChris Ward2018-12-032-56/+19
| |/ / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fix tab Update docs/types.rst Co-Authored-By: ChrisChinchilla <chriswhward@gmail.com> Update docs/types.rst Co-Authored-By: ChrisChinchilla <chriswhward@gmail.com>
| * | Merge pull request #5524 from ethereum/yulGrammarChangeschriseth2018-12-031-2/+1
| |\ \ | | | | | | | | Yul grammar changes.
| | * | Yul grammar changes.chriseth2018-11-281-2/+1
| | | | | | | | | | | | | | | | | | | | - also the top level object needs to be named - code is not optional
| * | | Merge pull request #5568 from ethereum/smt_remove_unary_pluschriseth2018-12-031-3/+0
| |\ \ \ | | | | | | | | | | [SMTChecker] Remove unary plus operator
| | * | | [SMTChecker] Remove unary plus operatorLeonardo Alt2018-12-031-3/+0
| | | | |
| * | | | Merge pull request #5532 from ethereum/docs-style-add-mappingchriseth2018-12-031-1/+17
| |\ \ \ \ | | | | | | | | | | | | DOCS: Add mapping guide to style docs
| | * | | | Add mapping guide to style docs thanks to @aupiffChris Ward2018-12-031-1/+17
| | | | | |
| * | | | | Merge pull request #5547 from ethereum/assemblySyntaxchriseth2018-12-031-8/+27
| |\ \ \ \ \ | | | | | | | | | | | | | | Update assembly grammar part.
| | * | | | | Update assembly grammar part.chriseth2018-12-011-8/+27
| | | |_|_|/ | | |/| | |
| * | | | | Merge pull request #5565 from ethereum/listTestschriseth2018-12-031-0/+3
| |\ \ \ \ \ | | | | | | | | | | | | | | Explain how to get a list of all tests.
| | * | | | | Explain how to get a list of all tests.chriseth2018-12-031-0/+3
| | | |_|/ / | | |/| | |
| * | | | | Merge pull request #5557 from ↵chriseth2018-12-037-21/+66
| |\ \ \ \ \ | | |_|_|/ / | |/| | | | | | | | | | | | | | | | ethereum/fixInterfaceImplementedByPublicStateVariable Public state variables are implementing external functions.
| | * | | | Public state variables are implementing external functions.chriseth2018-12-037-21/+66
| | | |/ / | | |/| |
| * | | | Merge pull request #5553 from ethereum/docs-add-link-structurechriseth2018-12-032-1/+4
| |\ \ \ \ | | |_|/ / | |/| | | DOCS: Add link between functions in contract structure and more details
| | * | | Add link between functions in contract structure and more detailsChris Ward2018-12-032-1/+4
| |/ / / | | | | | | | | | | | | Fix missing label
| * | | Merge pull request #5562 from Altrum/debugDocschriseth2018-12-031-0/+14
| |\ \ \ | | | | | | | | | | Updated docs on information about debugging and how to run commands.
| | * | | Added information about debugging and examples on how to run subsets of tests.Robert Chung2018-12-021-0/+14
| | | | |
| * | | | Merge pull request #5537 from ethereum/cp-SourceLocation-related-refactoringchriseth2018-12-0128-208/+215
| |\| | | | | |/ / | |/| | [1/3] SourceLocation related refactoring.
| | * | liblangutil: SourceLocation: Retricts == and != operatorChristian Parpart2018-12-012-6/+5
| | | |
| | * | liblangutil: small refactors wrt. API cleanupsChristian Parpart2018-12-013-16/+2
| | | | | | | | | | | | | | | | Especially also remove SourceLocation ctor's that the compiler can default-implement.
| | * | liblangutil: Scanner: remove superfluous sourceName field (it's in ↵Christian Parpart2018-12-0111-35/+25
| | | | | | | | | | | | | | | | | | | | | | | | | | | | CharStream already) Also, ParserBase::sourceName() was dead code. Eliminating it should increase test coverage (how sneaky) :-)
| | * | liblangutil: SourceLocation: adds (shared) pointer to underlying CharStream ↵Christian Parpart2018-12-0117-102/+127
| | | | | | | | | | | | | | | | | | | | | | | | source, eliminating sourceName Also, adapted affecting code to those changes.
| | * | liblangutil: extends CharStream to know about the respective (file-)name ↵Christian Parpart2018-11-2913-80/+83
| | | | | | | | | | | | | | | | (and adapt codebase to it)
| | * | liblangutil: adds Scanner.charStream() accessorChristian Parpart2018-11-291-0/+2
| | | |
| | * | liblangutil: adds ParserBase::charStream() accessorChristian Parpart2018-11-291-0/+2
| | | |
| * | | Merge pull request #5528 from ethereum/smt_sorts_virtualchriseth2018-11-301-6/+16
| |\ \ \ | | | | | | | | | | [SMTChecker] Make smt::Sort::operator== virtual
| | * | | [SMTChecker] Make smt::Sort::operator== virtualLeonardo Alt2018-11-301-6/+16
| | | | |
| * | | | Merge pull request #5541 from ethereum/clarifyCopyInheritancechriseth2018-11-301-3/+4
| |\ \ \ \ | | | | | | | | | | | | [DOCS] Clarify "copying bytecode" in inheritance.
| | * | | | Clarify "copying bytecode" in inheritance.chriseth2018-11-291-3/+4
| | | | | |
| * | | | | Merge pull request #5546 from ethereum/inheritanceCheckerchriseth2018-11-309-431/+585
| |\ \ \ \ \ | | | | | | | | | | | | | | Move some checks out of type checker.
| | * | | | | Changelog entry.chriseth2018-11-301-0/+2
| | | | | | |
| | * | | | | Move library related checks.chriseth2018-11-304-16/+16
| | | | | | |
| | * | | | | Move hash collisions checks.chriseth2018-11-303-13/+18
| | | | | | |
| | * | | | | Move external type clash check.chriseth2018-11-304-40/+40
| | | | | | |
| | * | | | | Move fallback function checks.chriseth2018-11-303-20/+25
| | | | | | |
| | * | | | | Move constructor checks.chriseth2018-11-303-16/+21
| | | | | | |
| | * | | | | Rename functions.chriseth2018-11-302-15/+15
| | | | | | |
| | * | | | | No need to visit structs early.chriseth2018-11-301-7/+1
| | | | | | |
| | * | | | | Test.chriseth2018-11-302-0/+26
| | | | | | |
| | * | | | | Move base constructor argument checks.chriseth2018-11-304-93/+97
| | | | | | |
| | * | | | | Move abstract function check.chriseth2018-11-304-46/+46
| | | | | | |
| | * | | | | Move override checks.chriseth2018-11-304-87/+88
| | | | | | |
| | * | | | | Move duplication checks.chriseth2018-11-304-92/+93
| | | | | | |
| | * | | | | Add skeleton for contract level checker.chriseth2018-11-304-2/+113
| | | |/ / / | | |/| | |
| * | | | | Merge pull request #5529 from ethereum/noCoverageOnReleasechriseth2018-11-301-1/+2
| |\ \ \ \ \ | | |/ / / / | |/| | | | Disable coverage generation for release branch.
| | * | | | Disable coverage generation for release branch.chriseth2018-11-291-1/+2
| | | | | |
| * | | | | Merge pull request #5550 from ethereum/moveSomeTestschriseth2018-11-3011-0/+0
| |\ \ \ \ \ | | | | | | | | | | | | | | Move inline array tests.
| | * | | | | Move inline array tests.chriseth2018-11-3011-0/+0
| | | | | | |
| * | | | | | Merge pull request #5548 from ethereum/fixMemberAccesschriseth2018-11-304-3/+31
| |\ \ \ \ \ \ | | | | | | | | | | | | | | | | Fix bug related to state variables of function type accessed via base contract.
| | * | | | | | Fix bug related to state variables of function type accessed via base contract.chriseth2018-11-304-3/+31
| | |/ / / / /
| * | | | | | Merge pull request #5549 from ethereum/disallowInlineArraysOfMappingTypechriseth2018-11-303-0/+12
| |\ \ \ \ \ \ | | |/ / / / / | |/| | | | | Disallow inline arrays of mapping type.
generated by cgit (git 2.34.1) at 2024-11-17 08:58:53 +0800