schaeff
|
81b3498a04
|
clarify struct declaration and equality
|
2020-10-08 16:19:30 +02:00 |
|
schaeff
|
954ffb943c
|
merge dev
|
2020-10-08 15:17:46 +02:00 |
|
Thibaut Schaeffer
|
6e1b874187
|
Merge pull request #682 from Zokrates/fix-compile-examples
fix tests of compile issues, change struct handling to make tests pass
|
2020-10-08 11:22:18 +02:00 |
|
schaeff
|
2b3183a6d3
|
fix tests of compile issues, change struct handling to make tests pass
|
2020-10-08 10:43:14 +02:00 |
|
schaeff
|
8e430d702c
|
fix error message, allow outputs to be specialized
|
2020-10-02 16:31:33 +02:00 |
|
Thibaut Schaeffer
|
b561614f4a
|
Merge pull request #680 from Zokrates/fix-call-identifier-version-encoding
Stop encoding call identifier counter in ssa version
|
2020-10-01 16:28:48 +02:00 |
|
schaeff
|
a9e42c40da
|
implement caching, move call count
|
2020-10-01 16:17:36 +02:00 |
|
schaeff
|
6c966e8f92
|
stop encoding call identifier with ssa version
|
2020-10-01 14:44:23 +02:00 |
|
Thibaut Schaeffer
|
d541ab2241
|
Merge pull request #678 from Zokrates/update-pedersen
update generated pedersen
|
2020-09-29 15:22:00 +02:00 |
|
schaeff
|
90513aa745
|
update generated pedersen
|
2020-09-28 15:20:51 +02:00 |
|
schaeff
|
204bb66886
|
make tryfrom array more permissive, improve error for empty array, comments
|
2020-09-24 18:43:35 +02:00 |
|
schaeff
|
4b3acfa522
|
remove unrelated comment, improve error messages
|
2020-09-24 18:02:07 +02:00 |
|
schaeff
|
d0a705e2b2
|
fix bigint to u conversion, add docs
|
2020-09-24 17:37:30 +02:00 |
|
schaeff
|
b8f2ff55f7
|
fix int serialization prevention, remove tryfroms, test duplicate argument name
|
2020-09-24 17:07:43 +02:00 |
|
schaeff
|
ac43e4ed2d
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into number-inference
|
2020-09-24 16:03:54 +02:00 |
|
schaeff
|
0c647600f7
|
panic on integer in abi
|
2020-09-24 16:03:46 +02:00 |
|
Thibaut Schaeffer
|
0dcd846449
|
Merge pull request #670 from dark64/fix-serialize
Add custom serializer for Type, set raw field as optional in proof
|
2020-09-24 11:36:13 +02:00 |
|
schaeff
|
00af48adde
|
implement display for array init, fix fmt
|
2020-09-24 11:34:04 +02:00 |
|
schaeff
|
021a35cf34
|
merge dev
|
2020-09-23 15:44:58 +02:00 |
|
Thibaut Schaeffer
|
e94f554f89
|
Merge pull request #674 from dark64/field-range-check
Field constant range check
|
2020-09-23 13:54:23 +02:00 |
|
dark64
|
558788f8d4
|
fix mimc7 tests, remove unused config param in zokrates_js
|
2020-09-22 20:16:28 +02:00 |
|
Thibaut Schaeffer
|
bbd343029a
|
Merge pull request #676 from dark64/solidity-contract-fix
Fix solidity pairing lib v2
|
2020-09-22 19:46:19 +02:00 |
|
schaeff
|
8b730e370b
|
add helpers, extract integer logic to file, test multi-candidate case, test conversion from integer for leaf types
|
2020-09-22 19:24:21 +02:00 |
|
dark64
|
79f23f8139
|
remove euclidean division, comment JUBJUBE from babyjubjubParams
|
2020-09-22 13:36:59 +02:00 |
|
dark64
|
129902491f
|
fix undeclared input in contract
|
2020-09-22 13:11:28 +02:00 |
|
dark64
|
3dec9d6cb0
|
add SPDX license identifier
|
2020-09-22 11:49:55 +02:00 |
|
dark64
|
d7c45e5bd0
|
fix integration test
|
2020-09-22 11:19:26 +02:00 |
|
schaeff
|
f42ff5bc1a
|
fix fmt
|
2020-09-21 23:00:03 +02:00 |
|
schaeff
|
be77844e69
|
make tests pass
|
2020-09-21 22:23:13 +02:00 |
|
schaeff
|
69e682f065
|
introduce try_from_typed, implement array size check
|
2020-09-18 16:05:46 +02:00 |
|
dark64
|
d99eed7939
|
fix solidity pairing lib v2, test both abi versions in integration tests
|
2020-09-17 19:37:44 +02:00 |
|
dark64
|
ee319a077c
|
add TryFrom<BigUint> to Field
|
2020-09-17 19:01:30 +02:00 |
|
schaeff
|
b655bd5ea1
|
fix tests
|
2020-09-17 14:12:13 +02:00 |
|
schaeff
|
54479c00ee
|
implement decimal literal inference
|
2020-09-16 23:23:41 +02:00 |
|
dark64
|
bb938dbcf5
|
fix range check, add unit tests for field constant range check (max and max + 1)
|
2020-09-14 13:01:19 +02:00 |
|
dark64
|
b9d033bc8d
|
field constant range check
|
2020-09-11 00:45:58 +02:00 |
|
dark64
|
41b5a14d5b
|
strict types
|
2020-09-01 16:11:52 +02:00 |
|
dark64
|
94ffc6e570
|
strict mapping in type deserialization
|
2020-08-25 17:00:43 +02:00 |
|
Thibaut Schaeffer
|
391b93134f
|
Merge pull request #671 from Zokrates/master
Merge master back
|
2020-08-14 16:36:35 +02:00 |
|
dark64
|
676d4e291a
|
add custom serializer for Type, set raw field as optional in proof
|
2020-08-14 15:27:13 +02:00 |
|
Thibaut Schaeffer
|
b0a0dd265f
|
Merge pull request #669 from Zokrates/rc/0.6.1
Release 0.6.1
|
2020-08-14 13:15:37 +02:00 |
|
schaeff
|
07051a87fa
|
bump versions, force tag
|
2020-08-14 12:25:09 +02:00 |
|
Thibaut Schaeffer
|
6c1b73e398
|
Merge pull request #623 from dark64/stdlib-cli-argument
Add stdlib path argument to cli
|
2020-08-14 12:18:53 +02:00 |
|
Thibaut Schaeffer
|
5875a4d70f
|
Update zokrates_fs_resolver/src/lib.rs
|
2020-08-14 12:18:00 +02:00 |
|
dark64
|
ace1753355
|
fix conflicts, revert default value for --stdlib-path flag
|
2020-08-13 19:00:09 +02:00 |
|
dark64
|
8cfe4c9130
|
merge dev
|
2020-08-13 17:59:54 +02:00 |
|
Thibaut Schaeffer
|
35cec1951b
|
Merge pull request #668 from Zokrates/faster-redef-optimization
Faster redefinition optimization
|
2020-08-13 17:55:41 +02:00 |
|
schaeff
|
7eae25aa98
|
add extension
|
2020-08-13 17:29:42 +02:00 |
|
schaeff
|
149e07f6c9
|
remove remaining references to CompileConfig
|
2020-08-13 17:28:14 +02:00 |
|
schaeff
|
d55c85fce5
|
remove warning
|
2020-08-13 17:24:30 +02:00 |
|