schaeff
|
54df529cf3
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into allow-calls-in-constants
|
2021-08-23 12:30:13 +02:00 |
|
Thibaut Schaeffer
|
6b8f36a429
|
Merge pull request #974 from Zokrates/fail-on-mistyped-constant
Fail on mistyped constant
|
2021-08-23 10:55:27 +02:00 |
|
dark64
|
db33856ed5
|
fix test
|
2021-08-23 00:56:45 +02:00 |
|
dark64
|
5a208beea7
|
gracefully handle unconstrained variables
|
2021-08-22 23:22:15 +02:00 |
|
schaeff
|
e77d76a01f
|
fix tests
|
2021-08-22 15:51:59 +02:00 |
|
schaeff
|
7989ff3f55
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into allow-calls-in-constants
|
2021-08-21 00:20:05 +02:00 |
|
schaeff
|
cd468390bf
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into fail-on-mistyped-constant
|
2021-08-21 00:19:31 +02:00 |
|
Thibaut Schaeffer
|
cac7f23dca
|
Merge pull request #976 from Zokrates/deploy
Merge 0.7.6 back
|
2021-08-21 00:19:17 +02:00 |
|
schaeff
|
7b5a973407
|
changelog
|
2021-08-21 00:16:39 +02:00 |
|
schaeff
|
f1ecdfdc86
|
clippy, changelog
|
2021-08-21 00:15:39 +02:00 |
|
schaeff
|
c71b31d1af
|
refactor constants to keep track of them across modules
|
2021-08-21 00:08:12 +02:00 |
|
dark64
|
db9abf4519
|
force reduce x_to_bits embed arguments
|
2021-08-20 13:43:34 +02:00 |
|
schaeff
|
8a1caca755
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into fail-on-mistyped-constant
|
2021-08-19 16:38:21 +02:00 |
|
Thibaut Schaeffer
|
9cce1d9ef2
|
Merge pull request #973 from Zokrates/remap-path-prefix
Use `remap-path-prefix` to remove circleci paths from release build
|
2021-08-19 16:36:10 +02:00 |
|
dark64
|
bc54c1d454
|
use remap-path-prefix in circleci for release builds
|
2021-08-19 16:08:21 +02:00 |
|
schaeff
|
b5f243965d
|
detect mistyped constant during constant inlining
|
2021-08-18 23:51:00 +02:00 |
|
dark64
|
f7f6a8421a
|
merge develop, fix conflict
|
2021-08-17 18:46:56 +02:00 |
|
dark64
|
6ea4cfbe84
|
div by zero
|
2021-08-17 18:44:25 +02:00 |
|
dark64
|
934d36078e
|
use result folder in zir propagation
|
2021-08-17 18:31:52 +02:00 |
|
Thibaut Schaeffer
|
b5d2afdc72
|
Merge pull request #970 from Zokrates/rc/0.7.6
Release 0.7.6
|
2021-08-17 18:09:15 +02:00 |
|
dark64
|
81751c2ca4
|
add symmetric cases
|
2021-08-17 17:40:35 +02:00 |
|
schaeff
|
b69cfef627
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into rc/0.7.6
|
2021-08-17 17:39:03 +02:00 |
|
Thibaut Schaeffer
|
a31f1cd13b
|
Merge pull request #968 from Zokrates/fix-max-overflow
Use biguint in uint optimizer max calculations
|
2021-08-17 17:38:50 +02:00 |
|
schaeff
|
9f469e5740
|
merge dev, update changelog
|
2021-08-17 16:59:44 +02:00 |
|
schaeff
|
2727200b10
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into rc/0.7.6
|
2021-08-17 16:54:57 +02:00 |
|
Thibaut Schaeffer
|
872b07d3cb
|
Merge pull request #969 from Zokrates/avoid-blowup-on-element-wise-eq
Avoid AST depth blowup on complex equality
|
2021-08-17 01:27:27 +02:00 |
|
dark64
|
bf948dd3b6
|
add more optimizations
|
2021-08-16 20:48:42 +02:00 |
|
dark64
|
2ca6d59f83
|
test shl/shr on large max
|
2021-08-16 19:31:55 +02:00 |
|
schaeff
|
dfd3d5a7ab
|
bump versions, update changelog
|
2021-08-16 19:02:42 +02:00 |
|
schaeff
|
10988bfdad
|
remove explicit genereic
|
2021-08-16 17:05:12 +02:00 |
|
schaeff
|
e5ae49831e
|
add changelog, make test bigger
|
2021-08-16 16:55:17 +02:00 |
|
schaeff
|
79dea12a3e
|
use binary tree to limit ast depth
|
2021-08-16 16:52:43 +02:00 |
|
dark64
|
b6066b33b0
|
use ref instead of cloning
|
2021-08-16 15:50:31 +02:00 |
|
dark64
|
34abb618e5
|
use biguint in uint optimizer max calculations to avoid overflows
|
2021-08-16 15:27:37 +02:00 |
|
Thibaut Schaeffer
|
b324e17684
|
Merge pull request #955 from Zokrates/bit_lt_embed
Add bit LT embed to make unpack safe for any size
|
2021-08-16 11:25:09 +02:00 |
|
Thibaut Schaeffer
|
d8ae907030
|
Fix constant in struct type (#965)
* add breaking test
* implement from constant for uint
* tweak
* tweak
* revert and add breaking test
* implement from
|
2021-08-16 10:44:00 +02:00 |
|
schaeff
|
9ce5827596
|
remove left out commented out conflicts
|
2021-08-12 21:14:24 +02:00 |
|
Thibaut Schaeffer
|
c1ded67006
|
Merge pull request #962 from Zokrates/add-explicit-generic-parameters-docs
Add docs for explicit function generics
|
2021-08-12 21:09:45 +02:00 |
|
dark64
|
ca0fc111f2
|
write tests for zir propagator
|
2021-08-12 20:26:53 +02:00 |
|
dark64
|
e1f1cda27a
|
use folder in zir propagation
|
2021-08-12 16:15:27 +02:00 |
|
schaeff
|
a713c43e04
|
fix typo, add changelog
|
2021-08-11 14:41:02 +02:00 |
|
schaeff
|
0c68477275
|
add docs
|
2021-08-10 15:58:51 +02:00 |
|
Thibaut Schaeffer
|
ba5150afb4
|
Merge pull request #942 from Zokrates/update-stdlib
Use constants in stdlib where applicable
|
2021-08-09 16:04:23 +02:00 |
|
dark64
|
49a25d9269
|
add changelog
|
2021-08-09 15:09:38 +02:00 |
|
schaeff
|
81c537769c
|
merge deve, fix conflicts
|
2021-08-09 14:06:34 +02:00 |
|
Thibaut Schaeffer
|
5a02186fc1
|
Merge pull request #944 from Zokrates/run-ci-tutorials
Test tutorials in CI
|
2021-08-09 12:04:42 +02:00 |
|
schaeff
|
de50a7a0d1
|
fix test
|
2021-08-09 12:02:50 +02:00 |
|
Thibaut Schaeffer
|
f717d243b2
|
Merge pull request #945 from Zokrates/generic-structs
Implement generic structs
|
2021-08-09 11:58:34 +02:00 |
|
schaeff
|
249187a157
|
merge dev, fix conflicts, fix comment in test
|
2021-08-09 11:43:03 +02:00 |
|
dark64
|
dbc1647c56
|
refactor mimcSponge
|
2021-08-09 10:44:15 +02:00 |
|