Merge pull request #5571 from ethereum/develop

Version 0.5.1

Author: chriseth

.circleci/config.yml

@@ -14,6 +14,7 @@ defaults:
       command: |
         mkdir -p build
         cd build
+        [ -n "$COVERAGE" -a "$CIRCLE_BRANCH" != release -a -z "$CIRCLE_TAG" ] && CMAKE_OPTIONS="$CMAKE_OPTIONS -DCOVERAGE=ON"
         cmake .. -DCMAKE_BUILD_TYPE=RelWithDebInfo $CMAKE_OPTIONS
         make -j4
   - run_tests: &run_tests
@@ -53,7 +54,7 @@ jobs:
           name: Save Boost build
           key: *boost-cache-key
           paths:
-            - boost_1_57_0
+            - boost_1_67_0
       - store_artifacts:
           path: build/libsolc/soljson.js
           destination: soljson.js
@@ -122,7 +123,7 @@ jobs:
       - image: buildpack-deps:artful
     environment:
       TERM: xterm
-      CMAKE_OPTIONS: -DCOVERAGE=OFF
+      COVERAGE: "ON"
     steps:
       - checkout
       - run:
@@ -139,13 +140,35 @@ jobs:
           paths:
             - "*"
 
+  build_x86_archlinux:
+    docker:
+      - image: archlinux/base
+    environment:
+      TERM: xterm
+    steps:
+      - run:
+          name: Install build dependencies
+          command: |
+            pacman --noconfirm -Syu --noprogressbar --needed base-devel boost cmake z3 cvc4 git openssh tar
+      - checkout
+      - run: *setup_prerelease_commit_hash
+      - run: *run_build
+      - store_artifacts: *solc_artifact
+      - persist_to_workspace:
+          root: build
+          paths:
+            - solc/solc
+            - test/soltest
+            - test/tools/solfuzzer
+
   build_x86_clang7:
     docker:
       - image: buildpack-deps:cosmic
     environment:
       TERM: xterm
       CC: /usr/bin/clang-7
       CXX: /usr/bin/clang++-7
+      CMAKE_OPTIONS: -DLLL=ON
     steps:
       - checkout
       - run:
@@ -167,6 +190,7 @@ jobs:
       xcode: "10.0.0"
     environment:
       TERM: xterm
+      CMAKE_OPTIONS: -DLLL=ON
     steps:
       - checkout
       - run:
@@ -260,6 +284,27 @@ jobs:
           path: test_results/
           destination: test_results/
 
+  test_x86_archlinux:
+    docker:
+      - image: archlinux/base
+    environment:
+      TERM: xterm
+    steps:
+      - run:
+          name: Install dependencies
+          command: |
+            pacman --noconfirm -Syu --noprogressbar --needed boost z3 cvc4 git openssh tar
+      - checkout
+      - attach_workspace:
+          at: build
+      - run: mkdir -p test_results
+      - run: build/test/soltest --logger=JUNIT,test_suite,test_results/result.xml -- --no-ipc --testpath test
+      - store_test_results:
+          path: test_results/
+      - store_artifacts:
+          path: test_results/
+          destination: test_results/
+
   test_x86_mac:
     macos:
       xcode: "10.0.0"
@@ -330,3 +375,8 @@ workflows:
           requires:
             - build_x86_mac
       - docs: *build_on_tags
+      - build_x86_archlinux: *build_on_tags
+      - test_x86_archlinux:
+          <<: *build_on_tags
+          requires:
+            - build_x86_archlinux

.github/ISSUE_TEMPLATE/bug_report.md

@@ -21,6 +21,7 @@ about: Bug reports about the Solidity Compiler.
 ## Environment
 
 - Compiler version:
+- Target EVM version (as per compiler settings):
 - Framework/IDE (e.g. Truffle or Remix):
 - EVM execution environment / backend / blockchain client:
 - Operating system:

.travis.yml

@@ -90,7 +90,7 @@ matrix:
           before_install:
               - nvm install 8
               - nvm use 8
-              - docker pull trzeci/emscripten:sdk-tag-1.35.4-64bit
+              - docker pull trzeci/emscripten:sdk-tag-1.37.21-64bit
           env:
               - SOLC_EMSCRIPTEN=On
               - SOLC_INSTALL_DEPS_TRAVIS=Off
@@ -153,7 +153,7 @@ git:
 cache:
     ccache: true
     directories:
-        - boost_1_57_0
+        - boost_1_67_0
         - $HOME/.local
 
 install:

CMakeLists.txt

@@ -8,12 +8,13 @@ include(EthPolicy)
 eth_policy()
 
 # project name and version should be set after cmake_policy CMP0048
-set(PROJECT_VERSION "0.5.0")
+set(PROJECT_VERSION "0.5.1")
 project(solidity VERSION ${PROJECT_VERSION})
 
+option(LLL "Build LLL" OFF)
 option(SOLC_LINK_STATIC "Link solc executable statically on supported platforms" OFF)
 option(LLLC_LINK_STATIC "Link lllc executable statically on supported platforms" OFF)
-option(INSTALL_LLLC "Include lllc executable in installation" OFF)
+option(INSTALL_LLLC "Include lllc executable in installation" ${LLL})
 
 # Setup cccache.
 include(EthCcache)
@@ -44,14 +45,18 @@ include(EthOptions)
 configure_project(TESTS)
 
 add_subdirectory(libdevcore)
+add_subdirectory(liblangutil)
 add_subdirectory(libevmasm)
+add_subdirectory(libyul)
 add_subdirectory(libsolidity)
 add_subdirectory(libsolc)
 
 if (NOT EMSCRIPTEN)
 	add_subdirectory(solc)
-	add_subdirectory(liblll)
-	add_subdirectory(lllc)
+	if (LLL)
+		add_subdirectory(liblll)
+		add_subdirectory(lllc)
+	endif()
 endif()
 
 if (TESTS AND NOT EMSCRIPTEN)

Changelog.md

@@ -1,3 +1,44 @@
+### 0.5.1 (2018-12-03)
+
+Language Features:
+ * Allow mapping type for parameters and return variables of public and external library functions.
+ * Allow public functions to override external functions.
+
+Compiler Features:
+ * Code generator: Do not perform redundant double cleanup on unsigned integers when loading from calldata.
+ * Commandline interface: Experimental ``--optimize`` option for assembly mode (``--strict-assembly`` and ``--yul``).
+ * SMTChecker: SMTLib2 queries and responses passed via standard JSON compiler interface.
+ * SMTChecker: Support ``msg``, ``tx`` and ``block`` member variables.
+ * SMTChecker: Support ``gasleft()`` and ``blockhash()`` functions.
+ * SMTChecker: Support internal bound function calls.
+ * Yul: Support Yul objects in ``--assemble``, ``--strict-assembly`` and ``--yul`` commandline options.
+
+Bugfixes:
+ * Assembly output: Do not mix in/out jump annotations with arguments.
+ * Commandline interface: Fix crash when using ``--ast`` on empty runtime code.
+ * Code Generator: Annotate jump from calldata decoder to function as "jump in".
+ * Code Generator: Fix internal error related to state variables of function type access via base contract name.
+ * Optimizer: Fix nondeterminism bug related to the boost version and constants representation. The bug only resulted in less optimal but still correct code because the generated routine is always verified to be correct.
+ * Type Checker: Properly detect different return types when overriding an external interface function with a public contract function.
+ * Type Checker: Disallow struct return types for getters of public state variables unless the new ABI encoder is active.
+ * Type Checker: Fix internal compiler error when a field of a struct used as a parameter in a function type has a non-existent type.
+ * Type Checker: Disallow functions ``sha3`` and ``suicide`` also without a function call.
+ * Type Checker: Fix internal compiler error with ``super`` when base contract function is not implemented.
+ * Type Checker: Fixed internal error when trying to create abstract contract in some cases.
+ * Type Checker: Fixed internal error related to double declaration of events.
+ * Type Checker: Disallow inline arrays of mapping type.
+ * Type Checker: Consider abstract function to be implemented by public state variable.
+
+Build System:
+ * CMake: LLL is not built anymore by default. Must configure it with CMake as `-DLLL=ON`.
+ * Docker: Includes both Scratch and Alpine images.
+ * Emscripten: Upgrade to Emscripten SDK 1.37.21 and boost 1.67.
+
+Solc-Js:
+ * Fix handling of standard-json in the commandline executable.
+ * Remove support of nodejs 4.
+
+
 ### 0.5.0 (2018-11-13)
 
 How to update your code:

README.md

@@ -62,5 +62,6 @@ if you want to help.
 [@chriseth](https://github.com/chriseth)
 
 ## License
-Solidity is licensed under [GNU General Public License v3.0](https://github.com/ethereum/solidity/blob/develop/LICENSE.txt)
+Solidity is licensed under [GNU General Public License v3.0](LICENSE.txt)
 
+Some third-party code has its [own licensing terms](cmake/templates/license.h.in).

cmake/templates/license.h.in

@@ -67,7 +67,7 @@ jsoncpp:
   license you like.
 
 scanner/token:
-  The libsolidity/parsing/{scanner,token}.{h,cpp} files are dervied from
+  The liblangutil/{CharStream,Scanner,Token}.{h,cpp} files are dervied from
   code originating from the V8 project licensed under the following terms:
 
   Copyright 2006-2012, the V8 project authors. All rights reserved.

docs/bugs_by_version.json

@@ -612,5 +612,9 @@
     "0.5.0": {
         "bugs": [],
         "released": "2018-11-13"
+    },
+    "0.5.1": {
+        "bugs": [],
+        "released": "2018-12-03"
     }
 }