schaeff
|
81bd3671c3
|
fix libsnark, fix rng tutorial
|
2021-11-03 13:49:09 +01:00 |
|
schaeff
|
0b1b2dd762
|
clippy
|
2021-11-03 11:58:53 +01:00 |
|
schaeff
|
3c12feb74e
|
fix clippy, implement embeds, fix tutorial
|
2021-11-03 11:52:24 +01:00 |
|
schaeff
|
d045121a7c
|
remove unconstrained detection
|
2021-11-02 17:39:36 +01:00 |
|
schaeff
|
b146b5b2d1
|
fix libsnark
|
2021-10-29 14:28:55 +02:00 |
|
schaeff
|
3b41173909
|
fix libsnark
|
2021-10-29 14:23:38 +02:00 |
|
schaeff
|
ef8c9a4958
|
clippy wip
|
2021-10-29 14:07:42 +02:00 |
|
schaeff
|
215dad8fcd
|
fmt
|
2021-10-29 13:54:33 +02:00 |
|
schaeff
|
30a04734b5
|
use iterators where possible, switch to cbor
|
2021-10-29 13:51:43 +02:00 |
|
schaeff
|
dad17b79e0
|
proof of concept of iterator treatment starting at flattening
|
2021-10-25 16:08:45 +02:00 |
|
schaeff
|
0d0d9e04a3
|
merge dev
|
2021-10-15 13:54:41 +02:00 |
|
dark64
|
740b7ee935
|
merge dev, add tests
|
2021-10-14 21:44:21 +02:00 |
|
dark64
|
035a193f58
|
apply suggestions
|
2021-10-13 18:48:18 +02:00 |
|
dark64
|
9474406aaf
|
make tests pass
|
2021-10-13 12:43:49 +02:00 |
|
dark64
|
37940bb067
|
introduce assertion type
|
2021-10-13 12:07:28 +02:00 |
|
dark64
|
501c69ec60
|
Merge branch 'develop' into assertion-messages
|
2021-10-13 11:02:03 +02:00 |
|
schaeff
|
433a32579f
|
merge dev
|
2021-10-13 02:02:03 +03:00 |
|
schaeff
|
99fdb5ed2f
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into fail-early-on-complex-value-inequality
|
2021-10-13 01:47:42 +03:00 |
|
dark64
|
0a22a23bbb
|
reverting
|
2021-10-12 23:08:24 +02:00 |
|
dark64
|
b4c3903150
|
change cmake version
|
2021-10-12 22:56:59 +02:00 |
|
schaeff
|
e454f89b3d
|
disable parallel
|
2021-10-12 20:47:24 +03:00 |
|
schaeff
|
43b2a1d350
|
move to non breaking nightly, fix conflicts
|
2021-10-12 16:37:30 +03:00 |
|
Thibaut Schaeffer
|
1f8b15a114
|
Merge pull request #1029 from Zokrates/upgrade-rust-toolchain
Upgrade rust toolchain
|
2021-10-12 15:56:43 +03:00 |
|
schaeff
|
60569586fd
|
fail in zir propagation when an assertion is false
|
2021-10-11 10:34:49 +03:00 |
|
Thibaut Schaeffer
|
65c4ccb316
|
Merge pull request #997 from Zokrates/strict-field-to-uint
Make field to uint casts truncate values bigger than uint max
|
2021-10-11 10:17:29 +03:00 |
|
schaeff
|
be629093ec
|
remove clone
|
2021-10-11 09:33:23 +03:00 |
|
schaeff
|
69cb867a8e
|
fix incorrect propagation
|
2021-10-05 21:39:18 +03:00 |
|
schaeff
|
f3f400a6bd
|
fix tests, add breaking example
|
2021-10-05 21:20:55 +03:00 |
|
schaeff
|
c8ddc8913e
|
enable general postfix expressions in the parser, move function name check to semantics
|
2021-10-05 19:56:43 +03:00 |
|
dark64
|
13c0af63a8
|
merge develop, fix conflicts
|
2021-10-05 17:56:47 +02:00 |
|
schaeff
|
2169010cf7
|
fix clippy
|
2021-10-05 14:01:50 +03:00 |
|
dark64
|
044456418a
|
update changelog, bump versions
|
2021-10-04 17:45:29 +02:00 |
|
Thibaut Schaeffer
|
264e4d3bc0
|
Merge pull request #1023 from Zokrates/fix-compile-config
Add serde `default` attribute to compile config to accept partial objects
|
2021-10-03 22:39:48 +03:00 |
|
Thibaut Schaeffer
|
5f2d65124b
|
Merge pull request #975 from Zokrates/allow-calls-in-constants
Allow calls in constants
|
2021-10-01 18:01:52 +03:00 |
|
dark64
|
99fe006268
|
fix tests
|
2021-09-29 19:02:56 +02:00 |
|
dark64
|
ef7183cae0
|
differentiate between if-expression and ternary expression in typed_absy
|
2021-09-29 18:46:12 +02:00 |
|
dark64
|
e30678f558
|
add serde default attribute to compile config to accept partial objects
|
2021-09-29 16:01:03 +02:00 |
|
dark64
|
6d7482f347
|
use expect instead of unwrap
|
2021-09-29 15:14:17 +02:00 |
|
dark64
|
fe6a334997
|
fix interpreter error display
|
2021-09-29 15:11:45 +02:00 |
|
Thibaut Schaeffer
|
018a6be7ff
|
Merge pull request #1008 from BlockInfinity/improvement-reduce-verifier-size-g16
Reduce the size of the verifier for schemes G16 and PGHR13
|
2021-09-29 15:32:42 +03:00 |
|
dark64
|
95b4c9db57
|
remove g2 addition lib in pghr13
|
2021-09-28 17:53:03 +02:00 |
|
dark64
|
f41639864a
|
minor refactor
|
2021-09-28 14:23:29 +02:00 |
|
schaeff
|
0fd1e0fb5c
|
include g2 lib for gm17
|
2021-09-27 21:37:09 +03:00 |
|
schaeff
|
2e2360c4c3
|
fix renaming
|
2021-09-27 10:33:19 +03:00 |
|
schaeff
|
ca55c984e3
|
address review comments
|
2021-09-24 17:54:16 +03:00 |
|
Christoph Michelbach
|
3c97ecfbcf
|
Apply cargo clippy rules.
|
2021-09-24 14:41:05 +02:00 |
|
dark64
|
58389bf809
|
fix tests
|
2021-09-24 13:32:59 +02:00 |
|
Christoph Michelbach
|
4993b71455
|
Format code again.
|
2021-09-23 21:53:23 +02:00 |
|
Darko Macesic
|
d55ddc639d
|
Update unconstrained_vars.rs
|
2021-09-23 15:33:09 +02:00 |
|
dark64
|
018e5bf29e
|
cleanup
|
2021-09-23 13:26:15 +02:00 |
|