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
|
b1c9a171f8
|
add bit lt embed, fail on non constant bound, implement safe unpack
|
2021-08-04 14:55:17 +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 |
|
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
|
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
|
d3621897ed
|
fix test
|
2021-07-25 16:37:36 +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 |
|
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 |
|
dark64
|
22e05e6d9c
|
export env vars
|
2021-07-16 15:09:22 +02:00 |
|
dark64
|
0ba7d4a3e5
|
wip
|
2021-07-16 15:03:10 +02:00 |
|
Leo Alt
|
034fbaf080
|
Link library properly in integration tests
|
2021-07-16 13:10:31 +02:00 |
|
Leo Alt
|
4e290c77a3
|
Enable Sol optimizer in integration tests
|
2021-07-16 13:10:31 +02:00 |
|
Leo Alt
|
939f1eb58c
|
Remove Sol abi differences
|
2021-07-16 13:10:31 +02:00 |
|
schaeff
|
2857ceb972
|
bump solidity in integration tests
|
2021-07-16 13:10:31 +02:00 |
|
Leo Alt
|
5e2d0d5b5c
|
Changelog
|
2021-07-16 13:10:31 +02:00 |
|
Leo Alt
|
db2e0f0849
|
Bump Solidity version
|
2021-07-15 15:33:14 +02:00 |
|
dark64
|
aba16cdc8b
|
use field constants to avoid curve dependant code
|
2021-07-14 14:10:16 +02:00 |
|
Thibaut Schaeffer
|
6271c5b746
|
Merge pull request #935 from Zokrates/merge-075
Merge 0.7.5
|
2021-07-12 11:08:54 +02:00 |
|
Darko Macesic
|
f602eb91db
|
Merge pull request #934 from Zokrates/rc/0.7.5
Release 0.7.5
|
2021-07-10 14:08:22 +02:00 |
|
dark64
|
1647f1f838
|
increase timeout on integration tests
|
2021-07-10 13:35:58 +02:00 |
|
schaeff
|
0bb2f899bf
|
bump versions, generate changelog
|
2021-07-10 13:13:31 +02:00 |
|
Thibaut Schaeffer
|
5e6c8f09bc
|
Merge pull request #932 from Zokrates/refactor-abi-parsing
Refactor abi parsing
|
2021-07-10 12:56:46 +02:00 |
|
schaeff
|
1ef196b164
|
merge dev
|
2021-07-10 11:26:14 +02:00 |
|
Thibaut Schaeffer
|
73ded42f68
|
Merge pull request #933 from Zokrates/fix-develop-marlin
Fix tests on develop
|
2021-07-10 11:23:41 +02:00 |
|
schaeff
|
b6b163b21b
|
fix tests
|
2021-07-10 11:09:01 +02:00 |
|
dark64
|
09eefc2d7d
|
fmt in zokrates_js
|
2021-07-09 23:22:11 +02:00 |
|
dark64
|
337cece9c9
|
add changelog
|
2021-07-09 23:14:33 +02:00 |
|
dark64
|
74b1c8a724
|
fmt
|
2021-07-09 23:04:17 +02:00 |
|
dark64
|
1994f5a24e
|
fix tests
|
2021-07-09 23:01:36 +02:00 |
|
dark64
|
0018a4a196
|
Refactor abi input parsing to support decimal and hexadecimal value representations
|
2021-07-09 15:12:17 +02:00 |
|
Thibaut Schaeffer
|
69b2dd8178
|
Merge pull request #927 from Zokrates/marlin
Add support for Marlin
|
2021-07-09 10:37:33 +02:00 |
|
Darko Macesic
|
7ca5d03f69
|
Merge pull request #931 from Zokrates/annotate-ir-conditions
Add annotations to runtime errors
|
2021-07-08 17:03:37 +02:00 |
|
schaeff
|
79d84a34e7
|
fix libsnark
|
2021-07-08 11:18:40 +02:00 |
|
schaeff
|
cbb6e4ff97
|
fix conflicts
|
2021-07-08 10:53:28 +02:00 |
|
schaeff
|
ef4241e177
|
resolve conflicts, add errors for ark
|
2021-07-08 10:42:40 +02:00 |
|
Thibaut Schaeffer
|
ffac53c793
|
Merge pull request #918 from Zokrates/recursive-verifier
Recursive verification
|
2021-07-07 18:45:09 +02:00 |
|
dark64
|
bda8c0b0b6
|
add instructions to snark verification tests
|
2021-07-07 17:52:37 +02:00 |
|
dark64
|
acd0af6473
|
rename solver
|
2021-07-07 16:15:20 +02:00 |
|
dark64
|
41d30c5d7d
|
update test description
|
2021-07-07 15:58:59 +02:00 |
|
dark64
|
6f0821f129
|
remove unreachable variant, add comments to snark verification tests
|
2021-07-07 15:46:56 +02:00 |
|
schaeff
|
7215e8e39a
|
fix constant inliner glitch
|
2021-07-07 15:03:03 +02:00 |
|