schaeff
|
2d7b32f97d
|
print cmake version
|
2021-10-12 22:05:09 +03:00 |
|
schaeff
|
e454f89b3d
|
disable parallel
|
2021-10-12 20:47:24 +03:00 |
|
schaeff
|
86acffe23b
|
revert toolchain
|
2021-10-12 20:11:01 +03:00 |
|
schaeff
|
bb3632f57d
|
upgrade cargo lock
|
2021-10-12 19:56:34 +03:00 |
|
schaeff
|
bdd68fb922
|
try with previous nightly
|
2021-10-12 19:45:17 +03:00 |
|
schaeff
|
d738937823
|
try with older nightly
|
2021-10-12 19:35:25 +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
|
eb492153f4
|
add docs, use alias in example
|
2021-10-12 12:10:02 +03:00 |
|
schaeff
|
ba3752307c
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into type-alias
|
2021-10-11 11:17:20 +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
|
60ed48be23
|
tweak assert
|
2021-10-11 10:16:03 +03:00 |
|
schaeff
|
be629093ec
|
remove clone
|
2021-10-11 09:33:23 +03:00 |
|
schaeff
|
5ab9f27c38
|
Merge branch 'enable-general-postfix' of github.com:Zokrates/ZoKrates into enable-general-postfix
|
2021-10-08 21:12:07 +03:00 |
|
schaeff
|
6de5a21d7e
|
improve example
|
2021-10-08 20:26:28 +03:00 |
|
schaeff
|
31ee9ea6a8
|
try an older nightly
|
2021-10-08 14:24:13 +03:00 |
|
Thibaut Schaeffer
|
392bd9e67c
|
Create 1030-schaeff
|
2021-10-08 13:14:03 +03:00 |
|
schaeff
|
fa30d66427
|
avoid creating postfix expressions with no accesses
|
2021-10-08 10:28:32 +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
|
44899ace8d
|
update book
|
2021-10-05 18:19:53 +02: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 |
|
schaeff
|
980b4be79e
|
upgrade toolchain
|
2021-10-05 13:15:47 +03:00 |
|
schaeff
|
075673fc0b
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into type-alias
|
2021-10-05 12:45:50 +03:00 |
|
schaeff
|
6ca342720f
|
simplify expression_at making the return value generic, reverting wrong clippy suggestion
|
2021-10-05 12:30:53 +03:00 |
|
Thibaut Schaeffer
|
5bad757c85
|
Merge pull request #1028 from Zokrates/deploy
Merge back 0.7.7
|
2021-10-05 12:30:09 +03:00 |
|
schaeff
|
3371df28cc
|
fmt clippy
|
2021-10-04 21:37:23 +03:00 |
|
Thibaut Schaeffer
|
fc55d88100
|
Merge pull request #1027 from Zokrates/rc/0.7.7
Release 0.7.7
|
2021-10-04 21:30:12 +03:00 |
|
schaeff
|
dc0a942c54
|
merge
|
2021-10-04 21:11:45 +03:00 |
|
schaeff
|
b3ddfca69c
|
merge dev, some tests failing
|
2021-10-04 20:32:33 +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 |
|
schaeff
|
b8556e3cd4
|
implement dynamic lt using a shifted sub
|
2021-10-01 18:14:10 +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
|
3cf08aa963
|
remove changelog
|
2021-09-30 15:46:51 +02:00 |
|
dark64
|
edc064d69d
|
fix naming
|
2021-09-29 19:04:57 +02: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
|
a0b5acf1e5
|
remove console.log
|
2021-09-29 16:12:08 +02:00 |
|
dark64
|
2fff71d49f
|
update wrapper.js
|
2021-09-29 16:11:34 +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 |
|
Thibaut Schaeffer
|
a8641ebb07
|
Merge pull request #1017 from Zokrates/update-book
Make operators table more clear in the book
|
2021-09-29 15:24:01 +03:00 |
|
dark64
|
95b4c9db57
|
remove g2 addition lib in pghr13
|
2021-09-28 17:53:03 +02:00 |
|
dark64
|
64c6a808ea
|
fix table format
|
2021-09-28 15:51:27 +02:00 |
|