schaeff
|
7c9e31f40b
|
inline repeats of constants
|
2021-08-04 21:20:45 +02:00 |
|
schaeff
|
1ca0b3b9e6
|
changelog, clean
|
2021-08-04 20:59:58 +02:00 |
|
schaeff
|
eb8e55e137
|
adjust test
|
2021-08-04 20:33:10 +02:00 |
|
schaeff
|
ca6a3f09e8
|
apply more aggressive propagation to array values
|
2021-08-04 20:08:23 +02:00 |
|
schaeff
|
6fa722de05
|
add commentt on dummy generic variable
|
2021-08-04 17:30:16 +02:00 |
|
schaeff
|
dc0ef35861
|
add must_use to prevent this happening
|
2021-08-04 16:53:41 +02:00 |
|
schaeff
|
d771b453f9
|
changelog
|
2021-08-04 15:10:38 +02:00 |
|
schaeff
|
2d2387a4b8
|
enforce constant range check in uint lt check
|
2021-08-04 15:06:57 +02:00 |
|
schaeff
|
b1c9a171f8
|
add bit lt embed, fail on non constant bound, implement safe unpack
|
2021-08-04 14:55:17 +02:00 |
|
dark64
|
bb27d13a2f
|
improve test generation script in gm17 snark test
|
2021-08-03 14:48:45 +02:00 |
|
schaeff
|
1e03f110af
|
clippy
|
2021-08-03 10:25:42 +02:00 |
|
schaeff
|
0daf122840
|
better absy fmt, remove tryfrom/from implementations from declaration types to normal types, use function instead
|
2021-08-03 00:52:35 +02:00 |
|
schaeff
|
3103d17d6f
|
add tests, unwrap on infailible semantic check
|
2021-08-03 00:20:40 +02:00 |
|
Thibaut Schaeffer
|
caf4dd2acb
|
Merge pull request #943 from Zokrates/use-field-constants
Use field constants to avoid curve-dependant code
|
2021-08-02 22:55:33 +02:00 |
|
Thibaut Schaeffer
|
34992138a8
|
Merge pull request #886 from axic/bubblesort
Add bubblesort example
|
2021-08-02 12:58:31 +02:00 |
|
dark64
|
b9f16d30eb
|
flag tutorial tests as ignored
|
2021-08-02 12:46:10 +02:00 |
|
schaeff
|
a6e8a64909
|
fix clippy
|
2021-07-30 18:13:37 +02:00 |
|
schaeff
|
d56dcd1399
|
implement ifelse and select generic expressions
|
2021-07-30 17:48:30 +02:00 |
|
schaeff
|
63865f8e01
|
add changelog
|
2021-07-29 11:48:48 +02:00 |
|
schaeff
|
dbcd0bd558
|
add log to core and env_log to cli
|
2021-07-29 11:13:54 +02:00 |
|
schaeff
|
1d985919ea
|
Merge branch 'generic-structs' of github.com:Zokrates/ZoKrates into gm17-stdlib-verify
|
2021-07-28 13:11:57 +02:00 |
|
schaeff
|
f92df0fa1a
|
add tests, fail gracefully on generic inference attempt and eq generic mismatch
|
2021-07-28 12:38:58 +02:00 |
|
schaeff
|
d0622d849c
|
clippy
|
2021-07-28 09:37:49 +02:00 |
|
schaeff
|
fbd7fddf99
|
update doc, example, fix absy creation
|
2021-07-28 00:11:18 +02:00 |
|
schaeff
|
5f75c495a0
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into generic-structs
|
2021-07-26 17:03:48 +02:00 |
|
Thibaut Schaeffer
|
7c2a23df63
|
Merge pull request #949 from Zokrates/patch-constant-inliner-state-corruption
Patch state corruption in constant inliner
|
2021-07-26 15:23:02 +02:00 |
|
schaeff
|
ecb105fb56
|
add test
|
2021-07-26 15:02:37 +02:00 |
|
schaeff
|
c9e4cf1e48
|
inline constants starting from main
|
2021-07-26 14:42:13 +02:00 |
|
schaeff
|
a94b691c01
|
fix abi tests
|
2021-07-25 18:42:47 +02:00 |
|
schaeff
|
a98701309d
|
implement fold_program to avoid calling fold_module more than expected
|
2021-07-25 18:31:22 +02:00 |
|
Thibaut Schaeffer
|
a1cf614f53
|
Merge pull request #947 from Zokrates/patch-abi-struct-value
Patch abi encoder struct bug
|
2021-07-25 17:06:51 +02:00 |
|
schaeff
|
6eb5116f55
|
add changelog
|
2021-07-25 17:05:09 +02:00 |
|
schaeff
|
737d224d6b
|
add gm17 passing test
|
2021-07-25 16:56:59 +02:00 |
|
schaeff
|
ae6b7faf9c
|
Merge branch 'patch-abi-struct-value' of github.com:Zokrates/ZoKrates into gm17-stdlib-verify
|
2021-07-25 16:47:37 +02:00 |
|
schaeff
|
d3621897ed
|
fix test
|
2021-07-25 16:37:36 +02:00 |
|
schaeff
|
0ff93802d2
|
Merge branch 'patch-abi-struct-value' of github.com:Zokrates/ZoKrates into gm17-stdlib-verify
|
2021-07-25 15:55:38 +02:00 |
|
schaeff
|
84f717cd32
|
add changelog
|
2021-07-25 15:51:45 +02:00 |
|
schaeff
|
eedc4dbe61
|
use vec instead of map
|
2021-07-25 15:46:30 +02:00 |
|
schaeff
|
497d43d67a
|
use trait for type pattern detection
|
2021-07-20 15:07:05 +02:00 |
|
schaeff
|
2b0fd0909f
|
remove logs
|
2021-07-19 10:08:53 +02:00 |
|
schaeff
|
03c434994b
|
add boolean common type case
|
2021-07-19 09:51:50 +02:00 |
|
schaeff
|
6bab1cdb88
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into generic-structs
|
2021-07-19 09:33:18 +02:00 |
|
Thibaut Schaeffer
|
fc714ac539
|
Merge pull request #844 from leonardoalt/bump_solidity
Bump Solidity version
|
2021-07-16 23:47:59 +02:00 |
|
schaeff
|
10b9f4a48b
|
remove remaining references to abi version
|
2021-07-16 23:19:33 +02:00 |
|
Thibaut Schaeffer
|
6f6e97c8d6
|
Merge pull request #946 from Zokrates/circleci-m1-support
Build M1 on CircleCI
|
2021-07-16 20:26:31 +02:00 |
|
dark64
|
bb9e0f16a2
|
add m1 cross compilation to ci
|
2021-07-16 15:51:53 +02:00 |
|
schaeff
|
51fea62a9e
|
add example, and make it compile, using a DeclarationType for common type detection
|
2021-07-16 15:30:59 +02:00 |
|
dark64
|
22e05e6d9c
|
export env vars
|
2021-07-16 15:09:22 +02:00 |
|
dark64
|
0ba7d4a3e5
|
wip
|
2021-07-16 15:03:10 +02:00 |
|
dark64
|
292164c572
|
refactor
|
2021-07-16 13:19:57 +02:00 |
|