schaeff
|
2690bcf139
|
fix zok source
|
2021-03-30 10:50:28 +02:00 |
|
schaeff
|
24bdebb524
|
bump versions
|
2021-03-19 13:35:30 +01:00 |
|
dark64
|
d380820c47
|
refactor
|
2021-02-24 22:06:44 +01:00 |
|
schaeff
|
cdf0e1c4d6
|
add test
|
2021-02-04 13:13:14 +01:00 |
|
schaeff
|
a6569d506a
|
fix conflict
|
2020-12-20 13:41:09 +01:00 |
|
Thibaut Schaeffer
|
6dab8a4bc6
|
Merge pull request #706 from Zokrates/uint-division
uint division
|
2020-11-24 10:58:29 +00:00 |
|
schaeff
|
1abf7d383f
|
add test for /0, adjust field implementation to recover from error
|
2020-11-20 15:10:01 +00:00 |
|
schaeff
|
9f3ccdb7f2
|
add remainder operation
|
2020-11-19 12:35:42 +00:00 |
|
schaeff
|
375c7667e9
|
implement uint division
|
2020-11-18 19:35:35 +00:00 |
|
schaeff
|
5c39785b9b
|
remove unused deps, split zokrates_test
|
2020-11-18 13:04:50 +00:00 |
|
dark64
|
287b2b8f47
|
zexe iter-1
|
2020-09-23 21:08:31 +02:00 |
|
schaeff
|
f502120508
|
bump versions
|
2020-08-06 18:50:12 +02:00 |
|
schaeff
|
58b3c00efe
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
schaeff
|
a983f1e145
|
fix conflicts
|
2020-07-16 00:12:39 +02:00 |
|
schaeff
|
9f2fecf7ec
|
update zok to new assert syntax, rewrite NotEq
|
2020-07-15 22:23:37 +02:00 |
|
schaeff
|
aede64faf3
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into u8-playground
|
2020-07-15 16:48:16 +02:00 |
|
schaeff
|
edb18474e8
|
update stdlib and core tests
|
2020-07-13 17:32:05 +02:00 |
|
schaeff
|
23365529aa
|
change precedence rules to follow python
|
2020-07-09 16:10:01 +02:00 |
|
schaeff
|
ee97e41334
|
force reduction of UintEq members
|
2020-07-06 22:49:57 +02:00 |
|
schaeff
|
057d5883aa
|
remove bellman embeds, add u32 to stdlib
|
2020-07-03 18:10:33 +02:00 |
|
JacobEberhardt
|
e6de36c9c9
|
Merge pull request #612 from Zokrates/boolean-stdlib
Use booleans when possible in stdlib
|
2020-06-09 10:54:11 +02:00 |
|
schaeff
|
23eeb9c9bb
|
merge boolean embeds
|
2020-06-08 20:41:36 +02:00 |
|
schaeff
|
9a2e61aa1f
|
update docs, make tests pass
|
2020-06-08 18:43:10 +02:00 |
|
schaeff
|
e2b2fd86d6
|
merge dev
|
2020-06-05 14:09:53 +02:00 |
|
Thibaut Schaeffer
|
ed555b3259
|
Merge pull request #602 from Zokrates/add-struct-names
Add struct names to typed_absy types
|
2020-06-05 11:26:40 +02:00 |
|
schaeff
|
3f2cc02d9e
|
merge dev
|
2020-06-04 17:01:32 +02:00 |
|
schaeff
|
52d50d12ad
|
fix conflicts
|
2020-06-04 16:15:10 +02:00 |
|
schaeff
|
7b13fb2233
|
update example to that of issue, bump version numbers
|
2020-06-04 12:34:13 +02:00 |
|
schaeff
|
cbd573a17c
|
implement all unsigned types
|
2020-05-29 17:14:52 +02:00 |
|
schaeff
|
c8111c77c2
|
simplify uint optimizer with with_max helper, change strategy for if_else
|
2020-05-20 17:45:50 +02:00 |
|
schaeff
|
2c07fee812
|
remove if else
|
2020-05-14 20:17:50 +02:00 |
|
schaeff
|
092f74b2f8
|
start if_else
|
2020-05-14 19:44:35 +02:00 |
|
schaeff
|
716f9e45ce
|
merge dev
|
2020-05-07 17:18:22 +02:00 |
|
schaeff
|
84d3eb38e4
|
implement or
|
2020-05-05 14:30:24 +02:00 |
|
schaeff
|
c802077b74
|
add macro to restrict compilation to a given curve
|
2020-04-22 19:53:10 +02:00 |
|
schaeff
|
ddc4c196bf
|
merge dev
|
2020-04-21 13:19:18 +02:00 |
|
schaeff
|
d05ee17640
|
make add readjustment logarithmic
|
2020-04-21 09:34:24 +02:00 |
|
JacobEberhardt
|
e2599ee2ae
|
Merge pull request #591 from Zokrates/remove-inference
Require variables to be defined
|
2020-04-17 12:53:57 +02:00 |
|
schaeff
|
12bfb538e1
|
cache bits when calling u32 from bits
|
2020-04-16 20:10:56 +02:00 |
|
schaeff
|
ba54e346f2
|
update code for new semantics
|
2020-04-14 16:32:14 +02:00 |
|
schaeff
|
1f97577290
|
fix test
|
2020-04-09 11:16:37 +02:00 |
|
schaeff
|
51cfbd11cd
|
rewrite other calls, if else wip
|
2020-04-06 12:11:35 +02:00 |
|
schaeff
|
76ebc229c2
|
merge
|
2020-04-03 15:19:50 +02:00 |
|
schaeff
|
fcdbed507a
|
implement function call memoization
|
2020-03-02 18:14:05 +01:00 |
|
schaeff
|
91c0b6e8e5
|
add optional field, use it on one test
|
2020-03-02 12:00:31 +01:00 |
|
schaeff
|
6d65801b9b
|
fix parser, fmt
|
2020-03-02 11:42:24 +01:00 |
|
schaeff
|
f8521fd33c
|
make sha256 pass tests and constant propagate to 0 constraints
|
2020-03-02 10:47:06 +01:00 |
|
schaeff
|
6b988c1dae
|
add add test
|
2020-02-25 10:44:11 +01:00 |
|
schaeff
|
ca53a928ee
|
add tests, add log
|
2020-02-24 10:59:11 +01:00 |
|
schaeff
|
f680a363b6
|
bump versions
|
2020-02-20 15:33:07 +01:00 |
|