Thibaut Schaeffer
|
c463a86bff
|
Apply suggestions from code review
Co-authored-by: JacobEberhardt <jacob.eberhardt@tu-berlin.de>
|
2020-05-25 14:30:04 +02:00 |
|
schaeff
|
f7b0fc25e5
|
update spec
|
2020-05-22 12:38:53 +02:00 |
|
schaeff
|
25ff614087
|
revert unrelated changes
|
2020-05-22 12:11:53 +02:00 |
|
schaeff
|
b09a03e9aa
|
clean and comment
|
2020-05-22 11:47:58 +02:00 |
|
schaeff
|
11b6b33539
|
use hashset for protected variables
|
2020-05-22 11:41:32 +02:00 |
|
schaeff
|
1b942bae33
|
bump version niumbers for bellman tools
|
2020-05-18 17:40:40 +02:00 |
|
schaeff
|
a28f2080d5
|
add check command
|
2020-05-14 15:33:51 +02:00 |
|
dark64
|
4dab919d92
|
merge dev, fix conflicts
|
2020-04-27 19:46:48 +02:00 |
|
dark64
|
754a497271
|
fmt
|
2020-04-27 15:48:58 +02:00 |
|
dark64
|
c35e620c50
|
update naming
|
2020-04-27 15:12:09 +02:00 |
|
dark64
|
f2ebddb2fc
|
minor refactor and cleanup, add tests to vk parser
|
2020-04-24 16:09:03 +02:00 |
|
dark64
|
c9b68a5147
|
fix tests
|
2020-04-23 20:07:47 +02:00 |
|
dark64
|
4df0ac7423
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into native-verifier
|
2020-04-23 19:32:18 +02:00 |
|
dark64
|
08f9933034
|
remove raw flag
|
2020-04-23 19:32:10 +02:00 |
|
schaeff
|
aabb9c5964
|
fix bellman version
|
2020-04-23 15:47:42 +02:00 |
|
schaeff
|
bc440d37ee
|
fix ser
|
2020-04-23 14:42:54 +02:00 |
|
schaeff
|
c802077b74
|
add macro to restrict compilation to a given curve
|
2020-04-22 19:53:10 +02:00 |
|
schaeff
|
ddc4c196bf
|
merge dev
|
2020-04-21 13:19:18 +02:00 |
|
JacobEberhardt
|
e2599ee2ae
|
Merge pull request #591 from Zokrates/remove-inference
Require variables to be defined
|
2020-04-17 12:53:57 +02:00 |
|
dark64
|
9a9dc5214f
|
Merge branch 'native-verifier' of github.com:dark64/ZoKrates into native-verifier
|
2020-04-15 15:54:27 +02:00 |
|
dark64
|
d271e5007b
|
minor refactor, comment format test
|
2020-04-15 15:53:29 +02:00 |
|
Darko Macesic
|
f09d258b2a
|
Update Cargo.toml
|
2020-04-15 03:50:23 +02:00 |
|
dark64
|
edd7b5bbd1
|
merge dev, fix conflicts, remove base64 crate
|
2020-04-14 21:06:14 +02:00 |
|
dark64
|
e8d655e5ce
|
gm17 and pghr13 native verification
|
2020-04-14 20:48:17 +02:00 |
|
JacobEberhardt
|
6bee1f89c9
|
Merge pull request #578 from Zokrates/zero-cost-spread
Memoize function calls
|
2020-04-14 17:34:52 +02:00 |
|
schaeff
|
c71c58b3a8
|
merge dev
|
2020-04-09 16:24:58 +02:00 |
|
schaeff
|
f03c55b54a
|
wip
|
2020-04-09 16:24:21 +02:00 |
|
schaeff
|
611eb829cd
|
fix tests
|
2020-04-09 16:19:24 +02:00 |
|
schaeff
|
727360fa8a
|
rewrite return statements to always wrap identifiers
|
2020-04-09 15:45:32 +02:00 |
|
schaeff
|
6b5dd9c28d
|
Merge branch 'parser-order-patch' into zero-cost-spread
|
2020-04-09 12:01:52 +02:00 |
|
schaeff
|
3f19bac343
|
remove print
|
2020-04-07 17:12:32 +02:00 |
|
dark64
|
7398872003
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into clang-format-ci
|
2020-04-07 14:03:50 +02:00 |
|
schaeff
|
39d616fca9
|
remove inference, require variables to be defined
|
2020-04-07 13:21:54 +02:00 |
|
JacobEberhardt
|
7152168b05
|
Merge pull request #589 from Zokrates/multi-def-rewrite
Fix parser multidef confusion
|
2020-04-06 22:55:52 +02:00 |
|
dark64
|
4d6fc314ed
|
fix clang-format script
|
2020-04-06 20:44:29 +02:00 |
|
schaeff
|
9ad7c6fe94
|
use crates.io bellman
|
2020-04-06 16:51:40 +02:00 |
|
schaeff
|
19fbf80ef9
|
add unit test for statement generation
|
2020-04-06 16:11:16 +02:00 |
|
dark64
|
49297bf1db
|
Merge branch 'develop' into constraint-analyser
|
2020-04-03 14:41:44 +02:00 |
|
schaeff
|
339287e25c
|
removed commented out code
|
2020-04-02 17:43:31 +02:00 |
|
schaeff
|
57312f6087
|
simplify parser and process multidefs in from_ast
|
2020-04-02 17:28:46 +02:00 |
|
dark64
|
e788d59f91
|
variable bit width, fix naming
|
2020-03-31 18:04:08 +02:00 |
|
dark64
|
79470f8238
|
add bit width to Bits directive
|
2020-03-30 19:48:46 +02:00 |
|
schaeff
|
ec89b27cd2
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into zero-cost-spread
|
2020-03-30 14:46:34 +02:00 |
|
dark64
|
8ed1545d16
|
remove default fold_directive
|
2020-03-30 14:31:47 +02:00 |
|
dark64
|
e3c4d863a7
|
minor refactor
|
2020-03-27 17:46:51 +01:00 |
|
dark64
|
d6c8f5e88c
|
change encoding for raw formats, use csv crate to parse vk
|
2020-03-27 17:03:31 +01:00 |
|
schaeff
|
31fefc5c29
|
refactor with more maps for clarity
|
2020-03-26 18:09:56 +01:00 |
|
dark64
|
2c26496435
|
fix tests
|
2020-03-26 17:21:21 +01:00 |
|
dark64
|
2ccd25935c
|
renaming
|
2020-03-24 19:15:29 +01:00 |
|
dark64
|
8448e5e787
|
include directive introduced vars in check
|
2020-03-24 18:47:17 +01:00 |
|