Merge pull request #490 from Zokrates/rc/0.5.0

Release 0.5.0
Zokrates · Oct 8, 2019 · f7602b9 · f7602b9
2 parents 6522cf0 + 2ae2a1e
commit f7602b9
Show file tree

Hide file tree

Showing 355 changed files with 12,064 additions and 6,150 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -44,7 +44,7 @@ jobs:
             - v4-cargo-cache-{{ arch }}-{{ checksum "Cargo.lock" }}
       # - run:
       #     name: Check format
-      #     command: rustup component add rustfmt-preview; cargo fmt --all -- --check
+      #     command: rustup component add rustfmt; cargo fmt --all -- --check
       - run:
           name: Install libsnark prerequisites
           command: ./scripts/install_libsnark_prerequisites.sh
@@ -54,9 +54,9 @@ jobs:
       - run:
           name: Run tests
           command: ZOKRATES_HOME=$(pwd)/zokrates_stdlib/stdlib/ WITH_LIBSNARK=1 RUSTFLAGS="-D warnings" ./test.sh
-      - run:
-          name: Generate code coverage report
-          command: ./scripts/cov.sh
+      # - run:
+      #     name: Generate code coverage report
+      #     command: ./scripts/cov.sh
   wasm_test:
     docker:
       - image: rustlang/rust:nightly-slim

diff --git a/.gitignore b/.gitignore
@@ -4,11 +4,9 @@
 
 # ZoKrates default files
 out
-out.code
-out.wit
+out.ztf
 proof.json
 proving.key
-variables.inf
 verification.key
 verifier.sol
 proof.json

diff --git a/.travis.yml b/.travis.yml
@@ -27,7 +27,7 @@ matrix:
       os: osx
 
     # *BSD
-    - env: TARGET=x86_64-unknown-freebsd
+    # - env: TARGET=x86_64-unknown-freebsd
 
     # Windows
     - env: TARGET=x86_64-pc-windows-gnu