Merge pull request #805 from Zokrates/rc/0.7.0

Release 0.7.0

.circleci/config.yml

@@ -4,6 +4,7 @@ jobs:
   build:
     docker:
       - image: zokrates/env:latest
+    resource_class: large
     steps:
       - checkout
       - run:
@@ -28,6 +29,7 @@ jobs:
   test:
     docker:
       - image: zokrates/env:latest
+    resource_class: large
     steps:
       - checkout
       - run:
@@ -42,6 +44,9 @@ jobs:
       - run:
           name: Check format
           command: cargo fmt --all -- --check
+      - run:
+          name: Run clippy
+          command: cargo clippy -- -D warnings
       - run:
           name: Build
           command: WITH_LIBSNARK=1 RUSTFLAGS="-D warnings" ./build.sh
@@ -80,6 +85,7 @@ jobs:
     docker:
       - image: zokrates/env:latest
       - image: trufflesuite/ganache-cli:next
+    resource_class: large
     steps:
       - checkout
       - run:
@@ -134,7 +140,7 @@ workflows:
           filters:
             branches:
               only:
-                - master
+                - deploy
           requires:
             - build
             - test

.github/ISSUE_TEMPLATE/bug_report.md

@@ -0,0 +1,37 @@
+---
+name: Bug Report
+about: Bug reports about the ZoKrates toolbox.
+---
+
+<!--## Prerequisites
+
+- First, many thanks for taking part in the community. We really appreciate that.
+- Support questions are better asked on our [gitter channel](https://gitter.im/ZoKrates/ZoKrates)
+- Ensure the issue isn't already reported.
+- The issue should be reproducible with the latest ZoKrates version; however, this isn't a hard requirement and being reproducible with an older version is sufficient.
+
+*Delete the above section and the instructions in the sections below before submitting*
+
+-->
+
+## Description
+
+<!--Please shortly describe the bug you have found, and what you expect instead.-->
+
+## Environment
+
+- Compiler version:
+- Operating system:
+
+## Steps to Reproduce
+
+<!--
+Please provide a *minimal* source code example to trigger the bug you have found.
+Please also mention any command line flags that are necessary for triggering the bug.
+Provide as much information as necessary to reproduce the bug.
+
+```zokrates
+// Some *minimal* ZoKrates source code to reproduce the bug.
+// ...
+```
+-->

.github/ISSUE_TEMPLATE/feature_request.md

@@ -0,0 +1,43 @@
+---
+name: Feature Request
+about: ZoKrates toolbox feature requests.
+---
+
+<!--## Prerequisites
+
+- First, many thanks for taking part in the community. We really appreciate that.
+- Support questions are better asked on our [gitter channel](https://gitter.im/ZoKrates/ZoKrates)
+- Ensure the issue isn't already reported.
+
+*Delete the above section and the instructions in the sections below before submitting*
+
+-->
+
+## Abstract
+
+<!--
+Please describe with an example what problem you see in the current ZoKrates toolbox.
+-->
+
+## Motivation
+
+<!--
+In this section you describe how you propose to address the problem you described earlier,
+including by giving one or more exemplary source code snippets for demonstration.
+-->
+
+## Specification
+
+<!--
+The technical specification should describe the syntax and semantics of any new feature. The
+specification should be detailed enough to allow any developer to implement the functionality.
+-->
+
+## Backwards Compatibility
+
+<!--
+All language changes that introduce backwards incompatibilities must include a section describing
+these incompatibilities and their severity.
+
+Please describe how you propose to deal with these incompatibilities.
+-->

.github/workflows/pr-changelog-check.yml

@@ -0,0 +1,14 @@
+name: Pull request changelog check
+on:
+  pull_request:
+    types: [opened, labeled, unlabeled, synchronize]
+jobs:
+  build:
+    if: ${{ !(contains(github.event.pull_request.labels.*.name, 'changelog-not-required')) }}
+    name: Run changelog check
+    runs-on: ubuntu-latest
+    steps:
+      - name: Check out the code
+        uses: actions/checkout@v2
+      - name: Changelog check
+        run: ./scripts/changelog-check.sh

.travis.yml

@@ -11,6 +11,7 @@ sudo: required
 env:
   global:
     - CRATE_NAME=zokrates
+
 
 matrix:
   include:
@@ -67,7 +68,7 @@ branches:
   only:
     # release tags
     - /^\d+\.\d+\.\d+.*$/
-    - master
+    - deploy
 
 notifications:
   email:

CHANGELOG.md

@@ -0,0 +1,34 @@
+# Changelog
+All notable changes to this project will be documented in this file.
+
+## [Unreleased]
+https://github.com/Zokrates/ZoKrates/compare/latest...develop
+
+## [0.7.0] - 2021-04-09
+
+### Release
+- https://github.com/Zokrates/ZoKrates/releases/tag/0.7.0
+
+### Changes
+- Re-export embed functions as stdlib modules, add field to uint casts to stdlib (#801, @dark64)
+- Change left `<<` and right `>>` shifts to take `u32` as a second parameter (#783, @schaeff)
+- Introduce u64 type, add keccak{256,384,512} and sha3{256,384,512} hash functions to stdlib (#772, @dark64)
+- Add negative `-` and positive `+` unary operators, restricting accepted expressions in some places (exponent) to allow for better parsing (#762, @schaeff)
+- Make embed functions generic, enabling unpacking to any width at minimal cost (#754, @schaeff)
+- Add global `--verbose` flag to CLI for verbose logging, add `--ztf` flag to `compile` command, deprecate `--light` flag as its behaviour is now a default. (#751, @dark64)
+- Introduce constant generics for `u32` values. Introduce literal inference (#695, @schaeff)
+
+## [0.6.4] - 2021-03-19
+### Release
+- https://github.com/Zokrates/ZoKrates/releases/tag/0.6.4
+
+### Changes
+- re-include embeds for a slightly cheaper sha256
+- remove array ssa
+- add flag to allow unconstrained variables
+- better flattening of conjunctions
+- put backends behind features
+- accept any assignee in multidef
+- minor performance and stability improvements
+
+For older releases and changes, visit https://github.com/Zokrates/ZoKrates/releases.