| Commit message (Expand) | Author | Age | Files | Lines |
* | Warn about unreachable code. | Daniel Kirchner | 2019-01-10 | 5 | -11/+74 |
* | Make the dialect available everywhere. | chriseth | 2019-01-07 | 1 | -1/+1 |
* | Merge pull request #5681 from ethereum/limitOutput | chriseth | 2018-12-20 | 2 | -20/+100 |
|\ |
|
| * | Do not include empty JSON objects in output. | chriseth | 2018-12-19 | 1 | -6/+10 |
| * | Only fully compile if binaries requested. | chriseth | 2018-12-19 | 1 | -9/+40 |
| * | Some more compiler state tests. | chriseth | 2018-12-19 | 1 | -5/+50 |
* | | make use of C++ `= default` constructor declarations as well as more non-stat... | Christian Parpart | 2018-12-19 | 6 | -8/+11 |
* | | liblangutil: SourceLocation to default initialize data members (w/o the use o... | Christian Parpart | 2018-12-19 | 1 | -1/+1 |
|/ |
|
* | Merge pull request #5686 from ethereum/someStyle | chriseth | 2018-12-19 | 1 | -4/+6 |
|\ |
|
| * | Formatting. | chriseth | 2018-12-19 | 1 | -4/+6 |
* | | Merge pull request #5637 from ethereum/better-json-error-reporting | chriseth | 2018-12-19 | 1 | -13/+77 |
|\ \
| |/
|/| |
|
| * | Json: Provide better error messages for wrong types | Mathias Baumann | 2018-12-19 | 1 | -13/+77 |
* | | Merge pull request #5679 from ethereum/hashCache | chriseth | 2018-12-19 | 2 | -8/+25 |
|\ \ |
|
| * | | Cache hash computations. | chriseth | 2018-12-18 | 2 | -8/+25 |
| |/ |
|
* | | Merge pull request #5664 from ethereum/cmakeUpdates | chriseth | 2018-12-19 | 1 | -4/+2 |
|\ \ |
|
| * | | Use imported CMake targets. | Daniel Kirchner | 2018-12-17 | 1 | -4/+2 |
* | | | Add version pragma parsing to Parser | Alex Beregszaszi | 2018-12-18 | 3 | -1/+27 |
| |/
|/| |
|
* | | Merge pull request #5625 from ethereum/single-check | chriseth | 2018-12-18 | 1 | -10/+41 |
|\ \ |
|
| * | | Only generate sort/search code when interface functions exist | Mathias Baumann | 2018-12-18 | 1 | -10/+41 |
* | | | Merge pull request #5671 from ethereum/sort_includes_interface | chriseth | 2018-12-18 | 14 | -45/+49 |
|\ \ \ |
|
| * | | | Sort includes in libsolidity/interface | Leonardo Alt | 2018-12-18 | 14 | -45/+49 |
* | | | | Sort includes in libsolidity/parsing | Leonardo Alt | 2018-12-18 | 3 | -6/+23 |
|/ / / |
|
* / / | Sort includes in libsolidity/formal | Leonardo Alt | 2018-12-18 | 14 | -36/+11 |
|/ / |
|
* | | Merge pull request #5665 from ethereum/cmakeHeaders | chriseth | 2018-12-18 | 1 | -2/+56 |
|\ \ |
|
| * | | Add headers to targets in CMakeLists.txt. | Daniel Kirchner | 2018-12-17 | 1 | -2/+56 |
| |/ |
|
* | | Merge pull request #5667 from ethereum/sort_includes_codegen | chriseth | 2018-12-18 | 16 | -54/+52 |
|\ \ |
|
| * | | Sort includes in libsolidity/codegen | Leonardo Alt | 2018-12-18 | 16 | -54/+52 |
* | | | Sort includes in libsolidity/ast | Leonardo Alt | 2018-12-17 | 11 | -31/+29 |
|/ / |
|
* | | Merge pull request #5388 from ethereum/smt_mapping | chriseth | 2018-12-17 | 7 | -16/+178 |
|\ \ |
|
| * | | Clear all mapping knowledge after array variable assignment | Leonardo Alt | 2018-12-14 | 2 | -4/+38 |
| * | | [SMTChecker] Support to mapping | Leonardo Alt | 2018-12-14 | 7 | -15/+143 |
| |/ |
|
* / | Sort includes in libsolidity/analysis | Leonardo Alt | 2018-12-17 | 22 | -41/+44 |
|/ |
|
* | Merge pull request #5624 from ethereum/standard_json_unknown_keys | chriseth | 2018-12-13 | 1 | -0/+68 |
|\ |
|
| * | Disallow unknown JSON keys in standard-json | Leonardo Alt | 2018-12-13 | 1 | -0/+68 |
* | | Merge pull request #5638 from ethereum/header-guard | chriseth | 2018-12-13 | 1 | -0/+2 |
|\ \
| |/
|/| |
|
| * | Add missing header guards | Alex Beregszaszi | 2018-12-12 | 1 | -0/+2 |
* | | Merge pull request #5630 from ethereum/warn_functions_empty_body | chriseth | 2018-12-13 | 2 | -14/+15 |
|\ \
| |/
|/| |
|
| * | Disable state mutability warning for functions with empty body | Leonardo Alt | 2018-12-12 | 1 | -0/+1 |
| * | Disable unused var warning for functions with empty body | Leonardo Alt | 2018-12-12 | 1 | -14/+14 |
* | | Refactoring of the ControlFlowGraph and use for detecting all uninitialized s... | Daniel Kirchner | 2018-12-12 | 6 | -326/+348 |
|/ |
|
* | Codegen for object access. | chriseth | 2018-12-12 | 7 | -11/+39 |
* | Provide Dialect to EVMCodeTransform. | chriseth | 2018-12-12 | 2 | -3/+3 |
* | Merge pull request #5454 from ethereum/smt_math_functions | chriseth | 2018-12-12 | 4 | -85/+133 |
|\ |
|
| * | [SMTChecker] Use SymbolicFunctionVariable for uninterpreted functions | Leonardo Alt | 2018-12-11 | 4 | -85/+133 |
* | | Merge pull request #4779 from ethereum/optimise-string-literals | chriseth | 2018-12-12 | 1 | -1/+1 |
|\ \
| |/
|/| |
|
| * | Set codecopy limit for data to 32 bytes. | chriseth | 2018-12-11 | 1 | -1/+1 |
* | | Merge pull request #5619 from ethereum/cleanup-abc | chriseth | 2018-12-11 | 7 | -56/+49 |
|\ \ |
|
| * | | Replace push_back with emplace_back where it makes sense | Mathias Baumann | 2018-12-11 | 7 | -56/+49 |
| |/ |
|
* / | Add tests for implcit conversions from literals to fixed-point numbers. | Yi Huang | 2018-12-11 | 2 | -54/+68 |
|/ |
|
* | Merge pull request #5008 from liangdzou/yul_stack_reuse | chriseth | 2018-12-10 | 4 | -6/+11 |
|\ |
|
| * | Reuse stack slots in Yul to EVM code generation. | liangdzou | 2018-12-10 | 4 | -6/+11 |
* | | [SMTChecker] Introduce SymbolicFunctionVariable | Leonardo Alt | 2018-12-10 | 2 | -1/+56 |
|/ |
|
* | Adds more detailed type errors and tests. | Erik Kundt | 2018-12-07 | 1 | -4/+4 |
* | Adds an additional message to failing type conversions. | Erik Kundt | 2018-12-07 | 2 | -9/+8 |
* | Merge pull request #4936 from ethereum/binSelect | chriseth | 2018-12-07 | 3 | -6/+81 |
|\ |
|
| * | Binary search for dispatch. | chriseth | 2018-12-06 | 3 | -6/+81 |
* | | Merge pull request #5587 from ethereum/yulCodeBuiltins | chriseth | 2018-12-06 | 1 | -1/+1 |
|\ \ |
|
| * | | Provide Yul Object builtins. | chriseth | 2018-12-04 | 1 | -1/+1 |
* | | | Analyze and compile sub-objects. | chriseth | 2018-12-06 | 2 | -7/+34 |
* | | | Extend abstract assembly to be able to handle sub-objects. | chriseth | 2018-12-06 | 2 | -0/+42 |
* | | | Expose EthAssemblyAdapter. | chriseth | 2018-12-06 | 2 | -91/+128 |
* | | | Merge pull request #5554 from ethereum/cp-SourceReferenceFormatter-refactor | chriseth | 2018-12-06 | 2 | -17/+8 |
|\ \ \
| |_|/
|/| | |
|
| * | | liblangutil: refactor SourceReferenceFormatter, splitting out retrieval and m... | Christian Parpart | 2018-12-06 | 2 | -17/+8 |
* | | | Merge pull request #5514 from corollari/develop | chriseth | 2018-12-06 | 1 | -4/+3 |
|\ \ \ |
|
| * | | | Fix #5470 | Albert | 2018-12-06 | 1 | -4/+3 |
* | | | | Restrict toHex to `bytes`. | chriseth | 2018-12-06 | 2 | -2/+2 |
|/ / / |
|
* | | | add a 'readable' format for large hex values | Kevin Kelley | 2018-12-06 | 1 | -3/+5 |
* | | | Merge pull request #5591 from ethereum/smt_simplify_sort | chriseth | 2018-12-06 | 2 | -29/+19 |
|\ \ \ |
|
| * | | | [SMTChecker] Simplify symbolic variables | Leonardo Alt | 2018-12-05 | 2 | -29/+19 |
| |/ / |
|
* | | | Simplifies Result<T> and prevents undefined behaviour. | Erik Kundt | 2018-12-05 | 1 | -3/+3 |
* | | | Introduces Result<T> for operator and implicit conversion type checks. | Erik Kundt | 2018-12-05 | 3 | -102/+105 |
|/ / |
|
* | | Merge pull request #5390 from ethereum/smt_one_loop | chriseth | 2018-12-05 | 1 | -10/+40 |
|\ \ |
|
| * | | [SMTChecker] Loops are unrolled once | Leonardo Alt | 2018-12-04 | 1 | -10/+40 |
* | | | Switch namespaces. | chriseth | 2018-12-04 | 4 | -8/+12 |
* | | | Remove some includes. | chriseth | 2018-12-04 | 1 | -9/+0 |
* | | | Adjust include paths. | chriseth | 2018-12-04 | 5 | -10/+7 |
* | | | Move AsmCodeGen. | chriseth | 2018-12-04 | 3 | -0/+218 |
| |/
|/| |
|
* | | Introduce the concept of builtin functions. | chriseth | 2018-12-04 | 4 | -11/+18 |
|/ |
|
* | Fix internal compiler error for unimplemented base contract function. | Anurag Dashputre | 2018-12-03 | 1 | -1/+2 |
* | Merge pull request #5341 from ethereum/optimizeAssemblyCommandline | chriseth | 2018-12-03 | 2 | -0/+12 |
|\ |
|
| * | Apply the optimize commandline parameter to assembly mode. | chriseth | 2018-12-01 | 2 | -0/+12 |
* | | Merge pull request #5568 from ethereum/smt_remove_unary_plus | chriseth | 2018-12-03 | 1 | -3/+0 |
|\ \ |
|
| * | | [SMTChecker] Remove unary plus operator | Leonardo Alt | 2018-12-03 | 1 | -3/+0 |
* | | | Merge pull request #5557 from ethereum/fixInterfaceImplementedByPublicStateVa... | chriseth | 2018-12-03 | 1 | -21/+32 |
|\ \ \
| |/ /
|/| | |
|
| * | | Public state variables are implementing external functions. | chriseth | 2018-12-03 | 1 | -21/+32 |
| |/ |
|
* | | Merge pull request #5537 from ethereum/cp-SourceLocation-related-refactoring | chriseth | 2018-12-01 | 7 | -17/+17 |
|\ \
| |/
|/| |
|
| * | liblangutil: Scanner: remove superfluous sourceName field (it's in CharStream... | Christian Parpart | 2018-12-01 | 3 | -4/+4 |
| * | liblangutil: SourceLocation: adds (shared) pointer to underlying CharStream s... | Christian Parpart | 2018-12-01 | 5 | -13/+13 |
| * | liblangutil: extends CharStream to know about the respective (file-)name (and... | Christian Parpart | 2018-11-29 | 3 | -4/+4 |
* | | Merge pull request #5528 from ethereum/smt_sorts_virtual | chriseth | 2018-11-30 | 1 | -6/+16 |
|\ \ |
|
| * | | [SMTChecker] Make smt::Sort::operator== virtual | Leonardo Alt | 2018-11-30 | 1 | -6/+16 |
* | | | Move library related checks. | chriseth | 2018-11-30 | 4 | -16/+16 |
* | | | Move hash collisions checks. | chriseth | 2018-11-30 | 3 | -13/+18 |
* | | | Move external type clash check. | chriseth | 2018-11-30 | 4 | -40/+40 |
* | | | Move fallback function checks. | chriseth | 2018-11-30 | 3 | -20/+25 |
* | | | Move constructor checks. | chriseth | 2018-11-30 | 3 | -16/+21 |
* | | | Rename functions. | chriseth | 2018-11-30 | 2 | -15/+15 |
* | | | No need to visit structs early. | chriseth | 2018-11-30 | 1 | -7/+1 |
* | | | Move base constructor argument checks. | chriseth | 2018-11-30 | 4 | -93/+97 |
* | | | Move abstract function check. | chriseth | 2018-11-30 | 4 | -46/+46 |
* | | | Move override checks. | chriseth | 2018-11-30 | 4 | -87/+88 |
* | | | Move duplication checks. | chriseth | 2018-11-30 | 4 | -92/+93 |
* | | | Add skeleton for contract level checker. | chriseth | 2018-11-30 | 4 | -2/+113 |
|/ / |
|
* | | Merge pull request #5548 from ethereum/fixMemberAccess | chriseth | 2018-11-30 | 1 | -3/+3 |
|\ \ |
|
| * | | Fix bug related to state variables of function type accessed via base contract. | chriseth | 2018-11-30 | 1 | -3/+3 |
* | | | Disallow inline arrays of mapping type. | chriseth | 2018-11-30 | 1 | -0/+3 |
|/ / |
|
* | | Merge pull request #5543 from ethereum/fixSortMOve | chriseth | 2018-11-29 | 1 | -1/+2 |
|\ \ |
|
| * | | Fix move bug. | chriseth | 2018-11-29 | 1 | -1/+2 |
* | | | Report deprecation error on functions sha3 and suicide also without call. | Leonardo Alt | 2018-11-29 | 1 | -20/+17 |
|/ / |
|
* | | Merge pull request #5538 from hydai/static_uint256 | chriseth | 2018-11-29 | 6 | -22/+24 |
|\ \ |
|
| * | | Replace IntegerType(256) with static function IntegerType::uint256() | hydai | 2018-11-29 | 6 | -22/+24 |
* | | | Fix ICE when function type struct parameter has field of non-existent type | Leonardo Alt | 2018-11-29 | 1 | -1/+7 |
|/ / |
|
* | | Merge pull request #5526 from ethereum/fixGetterNewCoder | chriseth | 2018-11-29 | 1 | -10/+31 |
|\ \
| |/
|/| |
|
| * | Properly check getter types to be old-abi-coder-compatible. | chriseth | 2018-11-28 | 1 | -10/+31 |
* | | Merge pull request #5525 from ethereum/obsoleteComment | chriseth | 2018-11-28 | 1 | -6/+1 |
|\ \
| |/
|/| |
|
| * | Remove obsolete comment. | chriseth | 2018-11-28 | 1 | -6/+1 |
* | | Use yul parser in assembly stack. | chriseth | 2018-11-27 | 2 | -18/+17 |
* | | Yul objects. | chriseth | 2018-11-27 | 2 | -18/+6 |
|/ |
|
* | Merge pull request #5382 from ethereum/libraryMappingPublic | chriseth | 2018-11-27 | 2 | -13/+17 |
|\ |
|
| * | Allow mapping arguments for public and external library functions. | Daniel Kirchner | 2018-11-26 | 2 | -13/+17 |
* | | Properly disallow different return types for interface overloads with differe... | chriseth | 2018-11-26 | 1 | -3/+3 |
* | | Merge pull request #5445 from ethereum/publicExternalOverwrite | chriseth | 2018-11-26 | 1 | -8/+10 |
|\ \
| |/
|/| |
|
| * | Use asCallableFunction for definition clashes in the same contract. | chriseth | 2018-11-26 | 1 | -1/+3 |
| * | Use asCallableFunction for external interface clash check. | chriseth | 2018-11-26 | 1 | -2/+2 |
| * | Use callable types for override check. | chriseth | 2018-11-26 | 1 | -4/+4 |
| * | Use asCallableFunction in override check (part 1). | chriseth | 2018-11-26 | 1 | -1/+1 |
* | | Merge pull request #5504 from ethereum/smt_fix_emscripten | chriseth | 2018-11-26 | 1 | -0/+4 |
|\ \ |
|
| * | | [SMTChecker] Unknown answer for constant condition check should not do anything | Leonardo Alt | 2018-11-26 | 1 | -0/+4 |
* | | | Merge pull request #5404 from ethereum/jumpFixes | chriseth | 2018-11-26 | 2 | -2/+8 |
|\ \ \ |
|
| * | | | Use "in" tag for jumps from unpacker to function. | chriseth | 2018-11-26 | 2 | -2/+8 |
* | | | | Fix merge problem in CMake files. | chriseth | 2018-11-26 | 1 | -1/+0 |
* | | | | Merge pull request #5493 from ethereum/cmake-no-globbing | chriseth | 2018-11-26 | 1 | -5/+52 |
|\ \ \ \
| |_|_|/
|/| | | |
|
| * | | | CMake: Explicitly state which files to compile instead of relying on globbing. | Christian Parpart | 2018-11-26 | 1 | -5/+52 |
| |/ / |
|
* | | | Merge pull request #5486 from ethereum/allowExternalPublicOverride | chriseth | 2018-11-26 | 1 | -9/+6 |
|\ \ \ |
|
| * | | | Allow visibility change from external to public. | chriseth | 2018-11-26 | 1 | -9/+6 |
* | | | | Merge pull request #5494 from ethereum/scanner-error-handling | chriseth | 2018-11-26 | 1 | -2/+2 |
|\ \ \ \
| |_|_|/
|/| | | |
|
| * | | | Change scanner error diagnostics to be non-intrusive to the token API. | Christian Parpart | 2018-11-24 | 1 | -26/+2 |
| * | | | adapt to latest code changes | Lazaridis | 2018-11-24 | 1 | -0/+24 |
| | |/
| |/| |
|
* | | | Merge pull request #5497 from ethereum/langutil-SourceReferenceFormatter | chriseth | 2018-11-26 | 4 | -221/+2 |
|\ \ \
| |_|/
|/| | |
|
| * | | Moving SourceReferenceFormatter into langutil namespace. | Christian Parpart | 2018-11-24 | 4 | -221/+2 |
| |/ |
|
* | | Merge pull request #5485 from ethereum/refactorCallableFunction | chriseth | 2018-11-26 | 4 | -33/+33 |
|\ \
| |/
|/| |
|
| * | Correct style. | chriseth | 2018-11-23 | 1 | -16/+16 |
| * | Use callable function for virtual resolution. | chriseth | 2018-11-22 | 1 | -1/+1 |
| * | Make asCallableFunction to never fail and assert abount parameter size if bou... | chriseth | 2018-11-22 | 2 | -8/+8 |
| * | Rename 'asMemberFunction' to widen its purpose. | chriseth | 2018-11-22 | 2 | -9/+9 |
* | | Merge pull request #5491 from ethereum/libyul-as-library | chriseth | 2018-11-24 | 30 | -2839/+113 |
|\ \ |
|
| * | | Isolating libyul library API into its own namespace `yul`. | Christian Parpart | 2018-11-23 | 12 | -75/+76 |
| * | | CMake: Isolate libyul into its own static library | Christian Parpart | 2018-11-23 | 1 | -3/+3 |
| * | | Reorder some include files and group <libyul/>'s together (as much as possible) | Christian Parpart | 2018-11-23 | 7 | -16/+15 |
| * | | Rewrite header paths to adapt to recent `git mv` of libsolidity/inlineasm to ... | Christian Parpart | 2018-11-23 | 8 | -21/+21 |
| * | | Moving files from libsolidity/inlineasm/*.{cpp,h} to libyul/. | Christian Parpart | 2018-11-23 | 16 | -2726/+0 |
* | | | Testing with smtlib2 interface always there | Leonardo Alt | 2018-11-23 | 1 | -6/+1 |
* | | | Error message stays in the SMTChecker | Leonardo Alt | 2018-11-23 | 2 | -8/+9 |
* | | | Display better error message in SMTLib2 | Leonardo Alt | 2018-11-23 | 3 | -8/+10 |
* | | | Renaming json fields smtlib2queries and smtlib2responses | Leonardo Alt | 2018-11-23 | 1 | -2/+2 |
* | | | Rename function and warn if responses are supplied for Z3. | chriseth | 2018-11-23 | 3 | -7/+13 |
* | | | Inject SMTLIB2 queries and responses via standard-json-io. | chriseth | 2018-11-23 | 10 | -20/+77 |
|/ / |
|
* | | Style | chriseth | 2018-11-23 | 1 | -7/+9 |
* | | Merge pull request #5451 from ethereum/bound_function_tests | chriseth | 2018-11-23 | 1 | -0/+3 |
|\ \ |
|
| * | | Add assert and tests for bound functions | Leonardo Alt | 2018-11-22 | 1 | -0/+3 |
* | | | [SMTChecker] Refactor setZeroValue and setUnknownValue | Leonardo Alt | 2018-11-22 | 6 | -44/+58 |
|/ / |
|
* | | [SMTChecker] Add ArraySort and array operations | Leonardo Alt | 2018-11-22 | 5 | -2/+76 |
* | | [SMTChecker] Add FunctionSort and refactors the solver interface to create va... | Leonardo Alt | 2018-11-22 | 14 | -128/+134 |
|/ |
|
* | Introduce namespace `langutil` in liblangutil directory. | Christian Parpart | 2018-11-22 | 58 | -160/+314 |
* | Ensure liblangutil is compiled and linked as its own static library. | Christian Parpart | 2018-11-22 | 1 | -3/+3 |
* | Isolating files shared between Yul- and Solidity language frontend. | Christian Parpart | 2018-11-22 | 64 | -2720/+68 |
* | Merge pull request #5466 from ethereum/smt_refactor_sort_patch1 | Alex Beregszaszi | 2018-11-21 | 13 | -100/+102 |
|\ |
|
| * | [SMTChecker] Refactor smt::Sort and its usage | Leonardo Alt | 2018-11-21 | 13 | -100/+102 |
* | | Removing redundant virtual from override function declaration | mordax | 2018-11-21 | 17 | -565/+565 |
|/ |
|
* | [SMTChecker] Support bound function calls | Leonardo Alt | 2018-11-19 | 1 | -0/+12 |
* | [SMTChecker] Implement uninterpreted functions and use it for blockhash() | Leonardo Alt | 2018-11-15 | 15 | -25/+102 |
* | Do not perform cleanup on unsigned integers when loading from calldata. | chriseth | 2018-11-15 | 1 | -1/+8 |
* | Add CompilerStack state assertions in internal methods | Alex Beregszaszi | 2018-11-14 | 1 | -6/+12 |
* | Move lastContractName closer to contractNames | Alex Beregszaszi | 2018-11-14 | 1 | -13/+13 |
* | Do not crash on filesystemFriendlyName if no contracts were compiled | Alex Beregszaszi | 2018-11-14 | 1 | -0/+3 |
* | Add Scanner function that prints source based on SourceLocation | Leonardo Alt | 2018-11-13 | 4 | -3/+15 |
* | Merge pull request #5406 from ethereum/uninitializedStorageUnimplemented | chriseth | 2018-11-13 | 1 | -2/+5 |
|\ |
|
| * | Ignore unimplemented functions for storage returns. | Daniel Kirchner | 2018-11-13 | 1 | -2/+5 |
* | | Deterministic YulStringRepository using string hashes. | Daniel Kirchner | 2018-11-13 | 1 | -1/+0 |
|/ |
|
* | Fix for style. | chriseth | 2018-11-12 | 1 | -3/+3 |
* | Remove trailing whitespace. | chriseth | 2018-11-12 | 1 | -1/+1 |
* | Refactor of bool TypeChecker::visit(FunctionCall const& _functionCall). | Kristofer Peterson | 2018-11-10 | 2 | -277/+521 |
* | Reset yul string repository. | chriseth | 2018-11-09 | 1 | -0/+3 |
* | Merge pull request #5265 from ethereum/cleanupsha3 | chriseth | 2018-11-09 | 5 | -5/+5 |
|\ |
|
| * | Renamed SHA3.{h,cpp} files. | chriseth | 2018-10-18 | 5 | -5/+5 |
* | | Merge pull request #5365 from ethereum/improveNameDispenser | chriseth | 2018-11-08 | 1 | -1/+0 |
|\ \ |
|
| * | | Use single counter for name dispenser for performance reasons. | chriseth | 2018-11-08 | 1 | -1/+1 |
* | | | Merge pull request #5370 from ethereum/fixWindows | Daniel Kirchner | 2018-11-08 | 1 | -0/+1 |
|\ \ \ |
|
| * | | | Fix windows build. | chriseth | 2018-11-08 | 1 | -0/+1 |
| |/ / |
|
* | | | Merge pull request #5351 from ethereum/functionTypeConversion | chriseth | 2018-11-08 | 1 | -2/+16 |
|\ \ \ |
|
| * | | | Function type conversion test cases. | Daniel Kirchner | 2018-11-08 | 1 | -4/+16 |
| * | | | Relax identity requirement of function type conversions during code generation. | Daniel Kirchner | 2018-11-06 | 1 | -0/+2 |
* | | | | Merge pull request #5348 from ethereum/boostRationalNegativeDenominatorFix | chriseth | 2018-11-08 | 2 | -2/+11 |
|\ \ \ \
| |_|/ /
|/| | | |
|
| * | | | Fix negative denominator in ``boost::rational`` during exponentiation. | Daniel Kirchner | 2018-11-06 | 2 | -2/+11 |
| |/ / |
|
* | | | Performance: Replace string by special single-copy YulString class. | chriseth | 2018-11-08 | 11 | -64/+76 |
* | | | Eliminate `byte`-typedef and use `uint8_t` in all their places instead. | Christian Parpart | 2018-11-07 | 1 | -3/+3 |
|/ / |
|
* | | Fixes crash while encoding too large arrays. | Erik Kundt | 2018-10-30 | 1 | -0/+3 |
* | | Merge pull request #5316 from lazaridiscom/4891-memory-store-asserts | chriseth | 2018-10-29 | 1 | -21/+37 |
|\ \ |
|
| * | | refine memory-store assertions, closes #4891 | Lazaridis | 2018-10-27 | 1 | -21/+37 |
* | | | Remove unused AST utils. | chriseth | 2018-10-25 | 2 | -102/+0 |
* | | | Merge pull request #5283 from ethereum/smt_fixed_bytes | chriseth | 2018-10-25 | 12 | -280/+144 |
|\ \ \ |
|
| * | | | Grouping of symbolic variables in the same file and support to FixedBytes | Leonardo Alt | 2018-10-25 | 12 | -280/+144 |
* | | | | Merge pull request #5242 from ethereum/someChecks | chriseth | 2018-10-25 | 2 | -4/+24 |
|\ \ \ \
| |/ / /
|/| | | |
|
| * | | | Some well-formedness checks for the Yul AST. | chriseth | 2018-10-22 | 2 | -4/+24 |
* | | | | Merge pull request #5272 from ethereum/smt_special_vars | chriseth | 2018-10-24 | 13 | -61/+144 |
|\ \ \ \ |
|
| * | | | | Add gasleft constraint and use full member access name | Leonardo Alt | 2018-10-23 | 5 | -16/+31 |
| * | | | | [SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhash | Leonardo Alt | 2018-10-19 | 11 | -51/+119 |
| |/ / / |
|
* / / / | Refactor `solidity::Token` into an `enum class` with `TokenTraits` helper nam... | Christian Parpart | 2018-10-22 | 21 | -359/+352 |
|/ / / |
|
* | | | Merge pull request #5256 from ethereum/lvalueCleanup | chriseth | 2018-10-19 | 1 | -42/+7 |
|\ \ \ |
|
| * | | | Removed unreachable cases in LValue.cpp. | chriseth | 2018-10-18 | 1 | -42/+7 |
* | | | | Merge pull request #5257 from ethereum/assertAboutRemoved | chriseth | 2018-10-19 | 1 | -10/+9 |
|\ \ \ \
| |_|_|/
|/| | | |
|
| * | | | Assert about some removed language concepts in the code generator. | chriseth | 2018-10-18 | 1 | -10/+9 |
| |/ / |
|
* | | | Fix possibly effectless map emplace | Leonardo Alt | 2018-10-18 | 1 | -7/+10 |
* | | | [SMTChecker] Refactor expressions such that they also use SymbolicVariable | Leonardo Alt | 2018-10-18 | 4 | -77/+57 |
|/ / |
|
* | | Merge pull request #5235 from ethereum/smt_refactor_types | Leonardo | 2018-10-18 | 14 | -218/+378 |
|\ \ |
|
| * | | Refactor SymbolicAddressVariable and SymbolicVariable allocation | Leonardo Alt | 2018-10-17 | 8 | -51/+159 |
| * | | Consistent renaming of 'counters' and 'sequence' to 'index' | Leonardo Alt | 2018-10-17 | 10 | -71/+71 |
| * | | [SMTChecker] Refactoring types | Leonardo Alt | 2018-10-17 | 12 | -150/+202 |
* | | | Merge pull request #5224 from bshastry/compilerwarn-fix | chriseth | 2018-10-17 | 1 | -2/+2 |
|\ \ \ |
|
| * | | | Retained move/copy semantics; removed const qualifier from Expression's membe... | Bhargava Shastry | 2018-10-17 | 1 | -2/+4 |
| * | | | Fix compiler warning: clang-8 warns of explicitly-defined op implicitly delet... | Bhargava Shastry | 2018-10-17 | 1 | -2/+0 |
| |/ / |
|
* / / | Prevent externally used functions from being removed. | chriseth | 2018-10-17 | 5 | -10/+29 |
|/ / |
|
* | | Merge pull request #5209 from ethereum/smt_ssa_refactor | chriseth | 2018-10-15 | 9 | -37/+48 |
|\ \ |
|
| * | | Refactor SSAVariable such that it only uses Type and not Declaration | Leonardo Alt | 2018-10-15 | 9 | -37/+48 |
* | | | [SMTChecker] Inline calls to internal functions | Leonardo Alt | 2018-10-15 | 2 | -68/+243 |
|/ / |
|
* | | Merge pull request #5208 from mestorlx/bug4156 | chriseth | 2018-10-15 | 1 | -4/+4 |
|\ \ |
|
| * | | Updated MAXIMUM_STRING_DISTANCE to non static maximumStringDistance taking in... | mestorlx | 2018-10-13 | 1 | -4/+4 |
| |/ |
|
* | | Renaming namespace dev::julia to dev::yul. | Christian Parpart | 2018-10-15 | 9 | -27/+27 |
* | | Renaming libjulia to libyul | Christian Parpart | 2018-10-15 | 4 | -8/+8 |
* | | Fixes invalid function calls to literals inside tuple assignment's LHS. | Christian Parpart | 2018-10-15 | 1 | -2/+6 |
|/ |
|
* | Merge pull request #5195 from ethereum/unsigned-array-index | chriseth | 2018-10-11 | 2 | -3/+6 |
|\ |
|
| * | Fixes crash on non-unsigned array index. | Erik Kundt | 2018-10-11 | 2 | -3/+6 |
* | | Improved error message for lookup in function types. | Martin Diz | 2018-10-10 | 1 | -2/+19 |
* | | Merge pull request #5132 from ethereum/genericVisitor | chriseth | 2018-10-10 | 1 | -25/+2 |
|\ \
| |/
|/| |
|
| * | Generic visitor. | chriseth | 2018-10-09 | 1 | -25/+2 |
* | | Merge pull request #5180 from ethereum/cpp-cleanup | chriseth | 2018-10-10 | 8 | -10/+10 |
|\ \ |
|
| * | | Do not require ctype/stdio if not needed | Alex Beregszaszi | 2018-10-10 | 2 | -2/+2 |
| * | | Change find to use a single character | Alex Beregszaszi | 2018-10-10 | 1 | -1/+1 |
| * | | Use empty() instead of size() == 0 | Alex Beregszaszi | 2018-10-09 | 7 | -7/+7 |
* | | | Fixes large rational number literals being wrongly interpreted. | Christian Parpart | 2018-10-09 | 1 | -9/+3 |
| |/
|/| |
|
* | | Merge pull request #5124 from lazaridiscom/1802-hex-error-reporting | chriseth | 2018-10-09 | 3 | -3/+8 |
|\ \ |
|
| * | | provide general hex-literal error message, fixes #1802 | Lazaridis | 2018-10-09 | 3 | -3/+8 |
| |/ |
|
* / | Fix pragma error suggestion. | chriseth | 2018-10-09 | 1 | -1/+1 |
|/ |
|
* | Merge pull request #4734 from ethereum/astUpdate | chriseth | 2018-10-09 | 1 | -1/+3 |
|\ |
|
| * | Restore ``isConstructor`` in the legacy AST. | Daniel Kirchner | 2018-09-11 | 1 | -0/+2 |
| * | Replace ``isConstructor`` field in the JSON AST by a ``kind`` field. | Daniel Kirchner | 2018-09-11 | 1 | -1/+1 |
* | | Fix typos. | chriseth | 2018-10-04 | 3 | -6/+6 |
* | | Fixes #5051 (introduced in #4684), effectively allowing underscores in addres... | Christian Parpart | 2018-10-02 | 4 | -6/+13 |
* | | Merge pull request #4962 from anurag-git/anurag_issue_3667-1 | chriseth | 2018-10-01 | 8 | -30/+5 |
|\ \ |
|
| * | | Removing extra default cases to force compile time error, instead of runtime. | Anurag Dashputre | 2018-09-30 | 7 | -28/+5 |