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 |
|
dark64
|
d4d9b80ed5
|
merge develop
|
2021-08-06 20:41:15 +02:00 |
|
dark64
|
f969fb4d37
|
apply propagation in zir
|
2021-08-06 20:37:06 +02:00 |
|
Thibaut Schaeffer
|
bff6843415
|
Merge pull request #950 from Zokrates/add-logging
Add compiler logging infrastructure
|
2021-08-06 16:25:23 +02:00 |
|
Thibaut Schaeffer
|
02c411d082
|
Merge pull request #954 from Zokrates/fix-uint-lt
Enforce constant range check in uint lt check
|
2021-08-05 16:37:21 +02:00 |
|
Darko Macesic
|
0f2e3f5881
|
Merge pull request #948 from Zokrates/gm17-stdlib-verify
Add gm17 verifier to stdlib
|
2021-08-05 16:34:59 +02:00 |
|
dark64
|
fee8535bce
|
fix glob pattern
|
2021-08-05 16:28:42 +02:00 |
|
schaeff
|
a7cff74ea8
|
fix tests
|
2021-08-05 16:13:15 +02:00 |
|
schaeff
|
7f76505a86
|
refactor out of range interpreter, accept any size of output
|
2021-08-05 16:03:57 +02:00 |
|
schaeff
|
78516e8a30
|
add test using out of range interpreter
|
2021-08-05 15:31:33 +02:00 |
|
schaeff
|
63be983d74
|
add tests, tweak out of range interpreter
|
2021-08-05 15:22:46 +02:00 |
|
schaeff
|
33c8fba1e1
|
add comments, use iterators
|
2021-08-05 13:36:48 +02:00 |
|
schaeff
|
6e19e7754c
|
clean typed_absy, move common impl to expr trait
|
2021-08-05 11:46:07 +02:00 |
|
schaeff
|
8663ea2bca
|
implement repeat case
|
2021-08-04 23:52:02 +02:00 |
|
schaeff
|
ea0594035a
|
clippy
|
2021-08-04 23:00:10 +02:00 |
|
schaeff
|
dd126b63e0
|
refactor is_constant to trait, move to typed_absy
|
2021-08-04 22:54:43 +02:00 |
|