schaeff
cb799a980f
branch based on first path component
2019-01-15 16:18:44 +01:00
schaeff
cf2d241cd5
base decision on first character of path
2019-01-14 23:51:08 +01:00
schaeff
f8b029ea28
fallback to /Users/obit/.zokrates when importing source files
2019-01-14 19:45:17 +01:00
JacobEberhardt
78a8c33b72
Merge pull request #219 from Zokrates/merge-0.3.3-into-dev
...
Merge 0.3.3 into dev
2019-01-14 00:18:34 +01:00
schaeff
8e1821dca8
merge, solve conflicts, make tests pass
2019-01-14 00:03:28 +01:00
Thibaut Schaeffer
6d1ac33823
Merge pull request #218 from Zokrates/patch/upgrade-rust-image
...
upgrade rust version in dockerfiles
2019-01-11 17:43:29 +01:00
schaeff
38e31b1d01
upgrade rust version in dockerfiles
2019-01-11 17:33:16 +01:00
JacobEberhardt
fb911c46e3
Merge pull request #215 from Zokrates/patch/0.3.3
...
Add input binding checks on libsnark directives
2019-01-07 16:44:08 +01:00
schaeff
29403cfb50
bump patch
2019-01-06 22:41:43 +01:00
schaeff
bc107db32d
change array to range
2019-01-06 22:15:31 +01:00
schaeff
91f290933f
fix test
2019-01-06 21:43:02 +01:00
schaeff
9718a96c75
add input binding checks, make R1CS format more explicit
2019-01-06 21:08:16 +01:00
Thibaut Schaeffer
44caf701b0
Merge pull request #210 from Zokrates/add-core-e2e-tests
...
[Preview] Add core e2e tests
2019-01-04 14:36:14 +01:00
Thibaut Schaeffer
87d9363e6a
Merge pull request #199 from Zokrates/doc_upload
...
add doc update to circleci job for base branch
2019-01-02 14:40:17 +01:00
schaeff
3cfbd78529
simplify, use strings for constraint errors, compare errors
2019-01-02 13:19:08 +01:00
schaeff
c570e3a06e
use absolute paths in macro definition to make it self contained
2019-01-01 23:10:58 +01:00
schaeff
3169d6da0c
make computaion test pass
2018-12-31 09:32:54 +01:00
schaeff
9f10aae2ba
fix tests
2018-12-31 08:18:35 +01:00
schaeff
e196d67b07
put trait in scope
2018-12-31 08:14:17 +01:00
schaeff
1f71554584
hide witness operations away from cli
2018-12-31 08:10:33 +01:00
schaeff
baec52e239
use macro to generate tests
2018-12-30 21:27:37 +01:00
Thibaut Schaeffer
30d1788658
Merge pull request #208 from gballet/field-as-crate
...
Make field its own crate
2018-12-30 21:24:52 +01:00
Guillaume Ballet
5a9f5c8060
Make field its own crate
2018-12-27 11:02:48 +01:00
schaeff
d7d53eca2b
improve interpreter api, add e2e tests to zokrates_core
2018-12-21 17:27:44 +01:00
Thibaut Schaeffer
5dc8690e24
Update scripts/publish_book.sh
...
Co-Authored-By: stefandeml <stefandeml@gmail.com>
2018-12-19 09:19:59 +01:00
Thibaut Schaeffer
dcb5cb1592
Merge pull request #152 from CornellBlockchain/greater_than
...
Implement Le, Gt, Ge
2018-12-17 18:38:08 +01:00
schaeff
82a18e99f5
Merge branch 'develop' of github.com:JacobEberhardt/ZoKrates into greater_than
2018-12-17 18:19:14 +01:00
schaeff
302d75a501
remove subtraction
2018-12-17 18:19:05 +01:00
JacobEberhardt
44a8764e78
Merge pull request #166 from Schaeff/gm17
...
Implement GM17 scheme
2018-12-17 15:38:19 +01:00
sdeml
86aa43081f
use cargo version number instead of git tag
2018-12-17 10:08:37 +01:00
schaeff
9dcd6d9206
reuse backend detection
2018-12-11 18:50:58 +01:00
sdeml
5b18de685e
trigger with develop branch
2018-12-08 17:18:49 +01:00
sdeml
cb9a482fe4
only publish master branch and add tag to commit msg
2018-12-08 16:53:42 +01:00
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
schaeff
fe964c57a8
add missing import
2018-12-07 18:41:25 +01:00
schaeff
9160aa4164
fix conflicts
2018-12-07 18:01:17 +01:00
schaeff
57fc5453dd
Merge branch 'master' of github.com:JacobEberhardt/ZoKrates into gm17
2018-12-07 17:54:08 +01: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
