1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
Commit graph

1735 commits

Author SHA1 Message Date
schaeff
805b4290ef address review comments 2019-09-23 10:51:02 +02:00
schaeff
57afbb0a57 Merge branch 'develop' of github.com:Zokrates/ZoKrates into rec-arrays 2019-09-23 10:46:00 +02:00
schaeff
253e5b7ffa Merge branch 'develop' of github.com:Zokrates/ZoKrates into structs 2019-09-19 23:47:03 +02:00
JacobEberhardt
7486649c50
Merge pull request #474 from Zokrates/zokrates-test-crate
Introduce zokrates_test crate
2019-09-19 18:06:00 +02:00
JacobEberhardt
19aec2c794 Merge branch 'zokrates-test-crate' of https://github.com/Zokrates/ZoKrates into zokrates-test-crate 2019-09-19 17:30:47 +02:00
JacobEberhardt
d1eb337436 fixed documentation references 2019-09-19 17:30:27 +02:00
JacobEberhardt
231828aabc
Update zokrates_book/src/reference/Testing.md
Co-Authored-By: Thibaut Schaeffer <thibaut@schaeff.fr>
2019-09-19 17:04:04 +02:00
JacobEberhardt
1731d046e7 updated documentation 2019-09-18 18:55:17 +02:00
schaeff
0c7bee35ce implement encoding and decoding for abi, integrate with cli 2019-09-18 15:11:10 +02:00
schaeff
87597bd3b1 fix warnings 2019-09-18 10:58:38 +02:00
schaeff
92a9695974 rename bench to tests 2019-09-18 10:47:17 +02:00
schaeff
c49a97c154 reverse array declaration dimensions, fix tests 2019-09-18 10:35:39 +02:00
schaeff
cd44326941 add abi module with json parsing, reducing and type checking 2019-09-17 18:12:15 +02:00
JacobEberhardt
b17f34e415 Documentation on extended array types 2019-09-17 18:05:09 +02:00
schaeff
30b9357e4a Merge branch 'develop' of github.com:Zokrates/ZoKrates into structs 2019-09-17 13:40:19 +02:00
schaeff
3b6c7bddf7 don't ignore tests 2019-09-17 13:08:00 +02:00
schaeff
6a524cec69 fix warnings 2019-09-17 12:24:24 +02:00
schaeff
5d40fa7083 Merge branch 'develop' of github.com:Zokrates/ZoKrates into zokrates-test-crate 2019-09-17 12:12:27 +02:00
schaeff
9521d5822a create zokrates_core_test crate and move zokrates_core tests there 2019-09-17 12:10:59 +02:00
schaeff
3b228385f6 add comments 2019-09-11 20:03:12 +02:00
schaeff
6ab1a96ca6 add assignment to struct members 2019-09-11 19:11:39 +02:00
Paul E
c0ed1440ed resolved merge conflict from upstream pull 2019-09-11 11:38:32 +02:00
schaeff
494eca0599 merge rec-arrays 2019-09-10 12:52:03 +02:00
schaeff
c8080e9656 small tweaks, simplify and improve propagation 2019-09-09 13:37:47 +02:00
schaeff
5b4f581a74 add integration test 2019-09-09 10:41:20 +02:00
schaeff
ca6d92b349 implement multidim updates 2019-09-09 09:59:49 +02:00
schaeff
05b59393e5 remove unreachable parts of flattening, make sure we crash on multidim array update 2019-08-29 12:31:54 +02:00
schaeff
7ad2e895a5 add unroll test for rec array, extract IfElse and Select from Flatten trait 2019-08-29 11:08:22 +02:00
schaeff
52f33f056a implement unimplemented rec array update and boolean ifelse 2019-08-29 08:47:07 +02:00
schaeff
a634b1cf80 simplify pest ast, add tests for from_ast 2019-08-28 18:11:58 +02:00
Thibaut Schaeffer
bf767be479
Merge pull request #468 from Zokrates/update-lazy-static
Update lazy static
2019-08-28 10:04:30 +02:00
schaeff
1a57297805 fix version number 2019-08-28 09:51:12 +02:00
schaeff
db87a48540 update lazy static and remove allow(deprecated) 2019-08-28 09:49:58 +02:00
schaeff
fd69f75e4a remove commented out impl 2019-08-27 16:28:24 +02:00
schaeff
08bc0dbf76 remove try 2019-08-27 16:13:47 +02:00
schaeff
b139c9aa93 merge rec-arrays, introduce annotate method for structs 2019-08-27 16:03:28 +02:00
Thibaut Schaeffer
45babb48dd
Merge pull request #460 from BohuTANG/201908_book
zokrates_book: fixup CLI reference link
2019-08-27 14:51:44 +02:00
schaeff
b901055077 introduce annotate function to restrict access to Array fields 2019-08-27 14:50:19 +02:00
schaeff
acbb0d63a8 implement spreads for any type 2019-08-26 15:05:51 +02:00
schaeff
5a2860c4d2 merge dev 2019-08-26 14:18:45 +02:00
JacobEberhardt
70d38d7b1c
Merge pull request #467 from Zokrates/simplify-inline-array-spreads
Simplify spreads of inline arrays
2019-08-26 13:41:36 +02:00
schaeff
1eb51a4adc reduce spreads of inline arrays during semantic checking 2019-08-26 13:17:29 +02:00
Stefan
2c679a8cb7
Merge pull request #357 from Zokrates/modules-v2
Refactor AST for zero-cost modules
2019-08-22 23:36:31 +02:00
schaeff
5b20449a91 extract testing into test crate 2019-08-22 13:48:34 +02:00
Thibaut Schaeffer
bcf27711b1
Merge pull request #466 from Zokrates/merge-0411
Merge master back
2019-08-21 21:43:53 +02:00
schaeff
75dc869c68 merge master 2019-08-21 21:04:07 +02:00
Thibaut Schaeffer
cb9b077c5d
Merge pull request #463 from fulldecent/patch-6
Remove legacy variables.inf
2019-08-21 20:57:10 +02:00
JacobEberhardt
6522cf0718
Merge pull request #464 from Zokrates/rc/0.4.11
Release 0.4.11
2019-08-21 13:10:14 +02:00
schaeff
db4beb6ffe remove i686 build 2019-08-21 11:43:37 +02:00
schaeff
73759c29c4 fix comment 2019-08-21 11:35:22 +02:00