schaeff
727360fa8a
rewrite return statements to always wrap identifiers
2020-04-09 15:45:32 +02:00
schaeff
c447b29c6e
disable fmt
2020-03-30 13:28:42 +02:00
schaeff
2868401f0c
add back fmt
2020-02-20 15:45:56 +01:00
schaeff
ffa837b4be
remove fmt as it's not available
2020-02-11 12:48:18 +01:00
dark64
e1c26afe5d
use rust-wasm-env image in ci
2020-02-04 17:44:49 +01:00
dark64
2949b42757
update zokrates_js build step in ci
2020-01-30 17:06:42 +01:00
dark64
62171cccf4
Add dockerfile for building zokrates_js, modify ci steps
2020-01-14 02:51:29 +01:00
dark64
201d9b887e
make imports public in core, remove ci steps for zokrates_js
2020-01-06 20:55:54 +01:00
dark64
95b7a96a1c
Merge branch 'wasm-friendly' of github.com:Zokrates/ZoKrates into zokrates_js
2020-01-06 19:55:27 +01:00
dark64
55cc882fc5
update ci
2019-12-16 15:06:07 +01:00
schaeff
a57a3030f7
fix circleci conflict
2019-12-09 17:35:34 +01:00
schaeff
85514eefab
merge dev
2019-12-09 17:32:00 +01:00
dark64
35b20ec2f7
fix deploy docker image
2019-12-03 17:39:28 +01:00
dark64
9b9522cb39
Add zokrates_js deploy step to CI, update publish.sh script
2019-12-03 17:29:24 +01:00
schaeff
d3a411a616
remove circle wasm test
2019-11-25 20:08:53 +01:00
Thibaut Schaeffer
86ba4b708c
add firefox testing. wip ( #517 )
...
* add firefox testing. wip
* fix config
* use crates bellman
* install curl
* move wasm install test install script to sh
* make sh executable
* remove firefox as its suppose to be there already
* confirm install..
* seems like firefox isnt there after all
* firefox-esr
* use fixed bellman
* revert backend api change, only touch env outside wasm
* fix typo in cfg flag
2019-11-22 13:02:02 +01:00
schaeff
4b409af47c
merge dev, use multicore in cli
2019-11-21 14:24:31 +01:00
schaeff
bedb899de9
fix test, reactivate fmt
2019-10-28 15:53:14 +01:00
schaeff
400a2205f3
merge dev, fix flags
2019-10-25 13:13:14 +02:00
Thibaut
6517702606
remove rustfmt temporarilly as it didnt ship
2019-10-07 11:56:16 +09:00
Thibaut
e15d524e7b
Merge branch 'structs' of github.com:Zokrates/ZoKrates into wasm-friendly
2019-10-06 13:00:56 +09:00
Thibaut
925ef977f2
merge dev
2019-10-03 16:53:19 +02:00
Thibaut
210a8b9f3a
remove web incompatible crates, change wasm flag to wasm_solvers, introduce wasm flag
2019-10-03 16:42:15 +02:00
Thibaut
6dc8c68f24
Merge branch 'develop' of github.com:Zokrates/ZoKrates into structs
2019-10-02 19:56:25 +02:00
Thibaut
3dd57830bb
remove codecov
2019-10-01 14:38:58 +02:00
schaeff
0865bfdcea
add rustfmt back
2019-08-14 11:07:38 +02:00
schaeff
dcc13af656
try non preveiw fmt, fix test
2019-08-08 02:15:20 +02:00
schaeff
777bd7fe3f
disable fmt check as it didn't ship
2019-07-29 13:06:42 +02:00
schaeff
ea138eadf9
remove git install
2019-07-04 13:26:31 +02:00
Paul E
e0510d0518
moved contract nesting to another folder due to test error and changed build step
2019-06-29 16:25:47 +02:00
Paul E
ae7ee29a5b
added contract tests to integration_test circleci job
2019-06-29 15:22:21 +02:00
Paul E
a12201060e
testing integration test integration
2019-06-29 14:44:05 +02:00
schaeff
26e12584e9
remove proof.json, use scripts on CI to make sure libsnark is enabled
2019-04-12 13:45:04 +02:00
schaeff
7597234d54
Merge branch 'develop' of github.com:JacobEberhardt/ZoKrates into stdlib-crate
2019-03-14 12:32:41 +01:00
schaeff
99aae5544b
rename script, add to CI
2019-02-28 13:28:17 +01:00
schaeff
440a1887e9
make stdlib a crate, add integration tests using fs resolver
2019-02-26 15:20:43 +01:00
schaeff
f995d20cc2
install libsnark for wasm test
2019-02-08 18:20:39 +01:00
schaeff
5e3209442a
remove libsnark source from ci
2019-02-07 17:34:18 +01:00
schaeff
bea858dc9b
remove libsnark buid from ci
2019-02-07 17:25:38 +01:00
schaeff
826168240b
move libsnark fetch to build
2019-02-07 17:22:28 +01:00
sdeml
fe6396950b
resolve PR comments
2019-01-31 21:06:43 +01:00
sdeml
a7e5477d2b
Merge branch 'develop' into add-sharound
...
* develop:
Remove the tools directory
add doc, example and failing test for out of scope
Add zokrates_field to kcov
first build docker, then tag gh
clean env
revert dockerfile to original, enable master filter, enable push to dockerhub, git tag and mdbook
clean, move bot addr to env, silence commands
pass pw through stdin to silence warning
remove useless checks, rename env var
enable docker remote
add docker login, get mdbook from tar
allow wasm tests to fail
add integration_test job
use workflows
# Conflicts:
# .circleci/config.yml
2019-01-31 08:59:59 +01:00
schaeff
14ea912ea2
revert dockerfile to original, enable master filter, enable push to dockerhub, git tag and mdbook
2019-01-28 20:35:19 +01:00
schaeff
08cda8ed33
remove useless checks, rename env var
2019-01-28 20:05:43 +01:00
schaeff
7a14e0025f
enable docker remote
2019-01-28 19:55:09 +01:00
schaeff
3bc6ecae6a
add docker login, get mdbook from tar
2019-01-28 19:52:00 +01:00
schaeff
c594886596
allow wasm tests to fail
2019-01-28 15:02:30 +01:00
schaeff
ddaa961b89
add integration_test job
2019-01-28 14:55:13 +01:00
schaeff
d72169dba9
use workflows
2019-01-28 14:52:40 +01:00
Thibaut Schaeffer
17682a94af
Merge branch 'develop' into add-sharound
2019-01-28 10:22:21 +01:00
