Stefan Deml
614b9f118a
use GH_TOKEN as env
2018-12-08 10:36:33 +01:00
Stefan Deml
fd0c512bfd
add publishing job
2018-12-08 00:14:15 +00:00
Thibaut Schaeffer
80b20082a0
disable codecov comments ( #197 )
2018-12-07 17:47:07 +01:00
Thibaut Schaeffer
7049756e37
Add code coverage analysis ( #191 )
...
* test
* test
* test
* test
* test
* test
* test
* test
* test
* test
* test
* weird fmt error
* test
* test
* test
* test
* test
* test
* test
* test
* test
2018-12-06 10:30:08 +01:00
JacobEberhardt
083b2b2228
Merge pull request #177 from stefandeml/fix-doc
...
add if to control flow to doc
2018-12-05 01:43:47 +01:00
JacobEberhardt
d60be3bcaf
Merge pull request #180 from Schaeff/use-lincomb-ir
...
[WIP] Implement Linear-Combination based IR
2018-12-05 01:42:32 +01:00
schaeff
c20fd5cd6c
rename cryptic variables
2018-12-04 23:25:14 +00:00
schaeff
6613ae46b8
fix format test
2018-12-04 23:14:17 +00:00
schaeff
4ccb0c1ba4
remove print
2018-12-05 00:10:19 +01:00
schaeff
dfea1fe578
handle main specific behaviour in prog, introduce quadcomb for return statements
2018-12-05 00:08:36 +01:00
schaeff
7a46f15e74
Merge branch 'develop' of github.com:JacobEberhardt/ZoKrates into use-lincomb-ir
2018-12-04 19:41:45 +01:00
Thibaut Schaeffer
cee8308a79
Merge pull request #193 from Schaeff/run-fmt
...
Run upgraded fmt
2018-12-04 17:03:56 +01:00
schaeff
e8bb5fe925
run upgraded fmt
2018-12-04 16:57:39 +01:00
Thibaut Schaeffer
b191f18698
Merge pull request #185 from Zokrates/master
...
Master
2018-12-03 15:46:28 +01:00
JacobEberhardt
a3de0428c0
Merge pull request #183 from Schaeff/rc/0.3.2
...
Release 0.3.2
2018-12-03 15:41:29 +01:00
schaeff
024d81bf99
adjust div test
2018-12-03 12:17:09 +01:00
schaeff
7660216672
fmt
2018-12-03 12:01:28 +01:00
schaeff
64e3c5268b
add non-zero check for division
2018-12-03 11:59:36 +01:00
schaeff
1e33f8b564
remove example
2018-11-30 17:21:05 +01:00
schaeff
648a78601a
bump patch
2018-11-30 17:10:30 +01:00
JacobEberhardt
45657acb9b
Merge pull request #173 from Schaeff/fix-terms-precedence
...
Fix terms precedence
2018-11-30 16:31:38 +01:00
schaeff
b4b2d43080
fix fmt, fix argument count in compute-witness
2018-11-30 12:05:30 +01:00
schaeff
5013ddb3ea
output ir in compilation, fix tests
2018-11-30 11:53:13 +01:00
schaeff
369e2ef776
implement ir interpreter, use ir for serialization
2018-11-30 11:31:48 +01:00
schaeff
e077083985
remove print
2018-11-29 12:04:35 +01:00
schaeff
f7f0c51adf
keep same API as before, add definition of outputs to ir, fix test
2018-11-29 11:48:52 +01:00
schaeff
813a2632a8
implement linear combination based IR, use it for setup phase
2018-11-29 00:03:39 +01:00
JacobEberhardt
f2478e2a06
Merge pull request #178 from Schaeff/remove-div-from-flat-ast
...
Remove flat division
2018-11-27 14:07:01 +01:00
schaeff
3778f22004
implement div rather than inverse
2018-11-27 13:54:57 +01:00
schaeff
96b7cca101
remove div from flatast, refactor Div flattening to use flat mult
2018-11-27 01:08:57 +01:00
sdeml
2bbff8c1f5
add if to control flow
2018-11-26 18:32:18 +01:00
Thibaut Schaeffer
87ba7005bd
Merge pull request #174 from kendricktan/develop
...
Fixed Documentation hashexample.code
2018-11-26 11:28:32 +01:00
Kendrick Tan
e2acdbff37
fixed hashexample.code example
2018-11-25 00:14:21 +00:00
schaeff
ab159321de
factor identifiers fcalls and selects, produce terms outside of parse_expr
2018-11-23 18:02:21 +01:00
JacobEberhardt
82db56cdef
Merge pull request #171 from Zokrates/patch-readme
...
Clean readme links, add contributor line
2018-11-23 14:36:02 +01:00
JacobEberhardt
4bbca45d1d
ZoKrates spelling + typo fix.
2018-11-23 13:31:36 +01:00
JacobEberhardt
ae2d562665
Merge pull request #169 from Schaeff/stabilize-ci
...
Limit number of threads in CI testing to 1
2018-11-23 01:19:49 +01:00
schaeff
5dcf0f8fc4
Merge branch 'develop' of github.com:JacobEberhardt/ZoKrates into patch-readme
2018-11-23 00:59:32 +01:00
schaeff
e15c5f39ff
remove dummy file
2018-11-23 00:52:30 +01:00
schaeff
c167039ac0
limit thread number on tests
2018-11-23 00:26:24 +01:00
schaeff
dc17427808
add backtrace
2018-11-23 00:21:50 +01:00
JacobEberhardt
e07603199f
Merge pull request #172 from Schaeff/remove-jenkins
...
Make circleci stricter, remove jenkins
2018-11-23 00:20:54 +01:00
schaeff
6cf7bb8181
Merge branch 'develop' of github.com:JacobEberhardt/ZoKrates into stabilize-ci
2018-11-23 00:20:36 +01:00
schaeff
6e972a6ab6
Merge branch 'develop' of github.com:JacobEberhardt/ZoKrates into stabilize-ci
2018-11-23 00:05:54 +01:00
schaeff
8d86546511
add libsnark to build
2018-11-22 23:37:04 +01:00
schaeff
c5ddb60648
make circle stricter, remove jenkins
2018-11-22 23:31:07 +01:00
Thibaut Schaeffer
a768a41690
Clean readme links, add contributor line
2018-11-22 23:21:34 +01:00
Thibaut Schaeffer
a70e225a62
Merge pull request #168 from stefandeml/update_readme
...
link readme to docs
2018-11-22 23:15:31 +01:00
Thibaut Schaeffer
479d8ef78e
Merge pull request #170 from Schaeff/integration-tests-in-circleci
...
Add integration tests to circle
2018-11-22 23:15:01 +01:00
schaeff
aef2925b15
format
2018-11-22 23:03:09 +01:00
