schaeff
|
bfcc733714
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into generic-structs
|
2021-07-13 11:08:50 +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 |
|
schaeff
|
aee5aa0715
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into generic-structs
|
2021-07-09 22:50:36 +02:00 |
|
schaeff
|
3072f34938
|
implement missing features, wip
|
2021-07-09 22:49:59 +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 |
|
dark64
|
e5fd35ac26
|
wip
|
2021-07-08 15:14:18 +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 |
|
dark64
|
878faf2ba3
|
renaming, improve error message on curve-specific embed import
|
2021-07-07 14:04:16 +02:00 |
|
schaeff
|
36db711827
|
fix tests
|
2021-07-07 13:03:33 +02:00 |
|
schaeff
|
575b1b1626
|
update tests
|
2021-07-06 18:31:03 +02:00 |
|
schaeff
|
fe526f0741
|
make tests pass
|
2021-07-06 17:24:03 +02:00 |
|
schaeff
|
3658ce4d01
|
make tests pass
|
2021-07-06 17:07:19 +02:00 |
|
schaeff
|
9a2ab6969d
|
fix libsnark
|
2021-07-06 16:26:54 +02:00 |
|
schaeff
|
c97b429b1e
|
fix libsnark
|
2021-07-06 16:20:16 +02:00 |
|
schaeff
|
22639b26c6
|
fix visitor
|
2021-07-06 16:15:34 +02:00 |
|
schaeff
|
dc05775ad2
|
implement missing error
|
2021-07-06 16:05:27 +02:00 |
|
schaeff
|
12d42559a2
|
fix libsnark
|
2021-07-06 15:47:08 +02:00 |
|
schaeff
|
e03bddb6c8
|
add changelog
|
2021-07-06 15:45:33 +02:00 |
|
schaeff
|
a492075be5
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into annotate-ir-conditions
|
2021-07-06 15:29:32 +02:00 |
|
schaeff
|
ccb70a8e96
|
fix tests
|
2021-07-06 15:27:29 +02:00 |
|
Thibaut Schaeffer
|
e6d0752328
|
Merge pull request #919 from leonardoalt/smt_verbose
Output IR in smtlib2
|
2021-07-06 14:55:42 +02:00 |
|
schaeff
|
5612067b7d
|
use RuntimeError enum
|
2021-07-05 21:00:13 +02:00 |
|
schaeff
|
551940d411
|
remove serialization, typo
|
2021-07-05 19:33:18 +02:00 |
|
schaeff
|
078390ad11
|
fail gracefully on undersized circuit
|
2021-07-05 18:45:23 +02:00 |
|
dark64
|
ce3a137432
|
rename verify embed, update changelog
|
2021-07-05 15:58:53 +02:00 |
|
dark64
|
b4ebb1f7c1
|
cleanup
|
2021-07-05 12:18:44 +02:00 |
|
Thibaut Schaeffer
|
f39d1c4067
|
Merge pull request #929 from Zokrates/fix-ci-features
Fix CI features
|
2021-07-05 10:43:52 +02:00 |
|
schaeff
|
f50c3af402
|
add docs
|
2021-07-02 18:36:36 +02:00 |
|
dark64
|
df4add3dd3
|
refactor ffi buffer, run libsnark tests consecutively
|
2021-07-02 14:51:16 +02:00 |
|