schaeff
|
6fddd74432
|
clean, fix native le test
|
2021-04-21 16:33:45 +02:00 |
|
schaeff
|
c105e801e5
|
fix to_bits, improve naming
|
2021-04-20 18:35:03 +02:00 |
|
schaeff
|
c8322bf0db
|
wip
|
2021-04-15 15:58:10 +02:00 |
|
schaeff
|
56146cd95f
|
merge dev, < not working, wip
|
2021-04-08 20:00:15 +02:00 |
|
Thibaut Schaeffer
|
80ff39d428
|
Merge pull request #772 from Zokrates/u64-playground
Adding u64 support, keccak and sha3 hashes
|
2021-04-07 15:49:32 +02:00 |
|
dark64
|
3cd2755c3e
|
update book and spacing
|
2021-04-06 19:33:31 +02:00 |
|
dark64
|
e6cfec4276
|
add uint arithmetic tests
|
2021-04-06 19:23:43 +02:00 |
|
schaeff
|
9d13b4129d
|
merge dev, implement inference for neg and pos, fix conclicts
|
2021-04-01 17:34:05 +02:00 |
|
schaeff
|
af0f1f0987
|
merge dev, fix conflicts, add changelog
|
2021-04-01 16:14:48 +02:00 |
|
schaeff
|
38b6fc76a4
|
merge dev and fix conflicts
|
2021-04-01 12:52:05 +02:00 |
|
schaeff
|
0ed25a5127
|
fix conflicts
|
2021-04-01 11:01:36 +02:00 |
|
schaeff
|
186a4f6511
|
merge dev
|
2021-03-31 11:25:24 +02:00 |
|
schaeff
|
a9cfba76a5
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into constant-range-check
|
2021-03-30 19:03:39 +02:00 |
|
schaeff
|
13be74de8d
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into neg-pos
|
2021-03-30 17:36:31 +02:00 |
|
schaeff
|
2690bcf139
|
fix zok source
|
2021-03-30 10:50:28 +02:00 |
|
schaeff
|
2306420c3b
|
add compile errors
|
2021-03-24 15:37:38 +01:00 |
|
schaeff
|
6f4501ba8a
|
implement python precedence in the parser, use derives in ast generation
|
2021-03-23 12:24:35 +01:00 |
|
schaeff
|
24bdebb524
|
bump versions
|
2021-03-19 13:35:30 +01:00 |
|
schaeff
|
1246438ae9
|
merge dev
|
2021-03-18 23:47:24 +01:00 |
|
schaeff
|
97ac8da31b
|
fix propagation and add test
|
2021-03-16 19:57:22 +01:00 |
|
schaeff
|
5897a6f172
|
add negative and positive operators
|
2021-03-16 19:22:32 +01:00 |
|
schaeff
|
0a963dd152
|
extract eq check code, implement c < x checks, update tests to use dynamic comparison
|
2021-03-16 12:24:32 +01:00 |
|
schaeff
|
218db3e508
|
introduce EmbedCall, replace FunctionCall by it in inline, simplify zir as a result
|
2021-03-04 20:37:21 +01:00 |
|
dark64
|
d380820c47
|
refactor
|
2021-02-24 22:06:44 +01:00 |
|
schaeff
|
bf8369c362
|
merge dev and make array memoize test pass
|
2021-02-04 14:02:37 +01:00 |
|
schaeff
|
cdf0e1c4d6
|
add test
|
2021-02-04 13:13:14 +01:00 |
|
schaeff
|
2793e77eac
|
merge dev, clippy, fix conflicts
|
2021-01-21 17:53:18 +01:00 |
|
schaeff
|
0537b1b256
|
make tests pass, simplify stdlib
|
2021-01-21 01:00:56 +01:00 |
|
schaeff
|
1938a98d2a
|
merge clippy
|
2020-12-20 20:30:40 +01:00 |
|
schaeff
|
a6569d506a
|
fix conflict
|
2020-12-20 13:41:09 +01:00 |
|
schaeff
|
6e769f30c5
|
merge dev
|
2020-11-24 16:41:40 +00:00 |
|
Thibaut Schaeffer
|
6dab8a4bc6
|
Merge pull request #706 from Zokrates/uint-division
uint division
|
2020-11-24 10:58:29 +00:00 |
|
schaeff
|
4bbde1f02e
|
fix conflict
|
2020-11-23 14:47:00 +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 |
|
schaeff
|
285b9d781a
|
fix all tests
|
2020-11-09 18:04:28 +00:00 |
|
schaeff
|
898b3eb7e8
|
wip
|
2020-11-04 21:50:44 +00:00 |
|
schaeff
|
e8cdbcc318
|
wip
|
2020-09-29 09:56:07 +02: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 |
|