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

3183 commits

Author SHA1 Message Date
dark64
1a4c1fbfdf Fix program serialization in zokrates.js 2021-06-07 18:05:12 +02:00
Thibaut Schaeffer
498f31e003
Merge pull request #894 from Zokrates/function-call-expression
implement function call expression
2021-06-04 15:20:45 +02:00
schaeff
7eb22d69c9 add comments 2021-06-04 13:45:28 +02:00
Thibaut Schaeffer
926f6a9108
Merge pull request #873 from Zokrates/member-expression
implement member expression and select expression
2021-06-01 09:48:45 +02:00
Thibaut Schaeffer
e4ef841ec7
Merge pull request #896 from Zokrates/fix-multi-assignee-parsing
Fix multi assignee parsing
2021-06-01 09:48:18 +02:00
Thibaut Schaeffer
8dee5ec80b
Merge pull request #904 from Zokrates/fix-variable-read-remover
Fix variable index write when isolating branches
2021-05-31 16:10:17 +02:00
schaeff
1accf7ba64 changelog 2021-05-31 14:01:44 +02:00
schaeff
1875d047ee visit expression 2021-05-31 13:59:26 +02:00
Thibaut Schaeffer
4b2c5e7085
Merge pull request #902 from Zokrates/add-loop-size-limit
Add upper bound to for loops
2021-05-28 17:50:42 +02:00
schaeff
a7a9c7c276 tweak message, add changelog 2021-05-28 16:47:05 +02:00
schaeff
02a039bea4 add limit, add test 2021-05-28 16:45:00 +02:00
schaeff
0764a64a61 fix clippy 2021-05-27 18:36:57 +02:00
Thibaut Schaeffer
b6173e75a2
Merge pull request #898 from Zokrates/check-faulty-links
Add markdown-link-check action to github workflow
2021-05-27 18:35:01 +02:00
schaeff
68aec6eedb improve naming 2021-05-27 18:24:06 +02:00
schaeff
ca4808efb9 improve naming 2021-05-27 18:13:32 +02:00
Darko Macesic
7d920041d5
Update README.md
Co-authored-by: Thibaut Schaeffer <thibaut@schaeff.fr>
2021-05-27 17:54:31 +02:00
schaeff
512f0869d9 Merge branch 'develop' of github.com:Zokrates/ZoKrates into member-expression 2021-05-27 17:46:47 +02:00
schaeff
af46283ef0 fix clippy by adding type aliases 2021-05-27 17:46:40 +02:00
Thibaut Schaeffer
1dcf53332a
Merge pull request #897 from Zokrates/update-ci
Remove thread limit on cargo test, remove unnecessary -Zpackage-features
2021-05-27 17:45:59 +02:00
schaeff
bb69cfcc01 fix tests 2021-05-27 17:35:20 +02:00
schaeff
f460ce41c9 pass type as reference to function call expression 2021-05-27 17:00:29 +02:00
schaeff
7d48c6be12 pass type to member expressions 2021-05-27 16:45:48 +02:00
schaeff
429ace784f pass type to select expression 2021-05-27 16:39:31 +02:00
schaeff
3b544934e8 pass type by reference in function expressions 2021-05-27 16:13:50 +02:00
schaeff
83d972f0b4 clean 2021-05-27 15:11:44 +02:00
dark64
e7b2c8a221 update reference 2021-05-26 19:45:03 +02:00
dark64
0a8e32f7c6 fix broken links 2021-05-26 19:39:19 +02:00
dark64
98e5ebbbab update docs-check workflow 2021-05-26 19:29:32 +02:00
dark64
4e8ec53b95 add markdown-link-check action to github workflow 2021-05-26 19:24:08 +02:00
dark64
af975cb71d remove thread limit on cargo test, remove unnecessary -Zpackage-features 2021-05-26 17:52:25 +02:00
schaeff
fcff163a9a add changelog 2021-05-26 16:08:24 +02:00
schaeff
75b63b2178 revert semantic changes 2021-05-26 16:06:25 +02:00
schaeff
cd84bb30c5 uncomment commented test lines 2021-05-26 16:04:24 +02:00
schaeff
de6bf42362 update tests 2021-05-26 16:03:07 +02:00
schaeff
e2878f19a3 update parser and ast to be stricter, fix conversion to absy, wip 2021-05-26 15:22:23 +02:00
Thibaut Schaeffer
e264aaa808
Merge pull request #881 from axic/rngexample
Move rng example source code to zokrates_cli/examples (so they are compiled)
2021-05-26 13:40:27 +02:00
schaeff
2b53a6f7e4 make inline function generic 2021-05-26 13:26:24 +02:00
schaeff
ecba82b144 use uncle 2021-05-25 14:21:02 +02:00
Alex Beregszaszi
20f4a47fd0 Update documentation too 2021-05-20 19:22:17 +01:00
schaeff
2d51dd546d introduce ThisOrUncle to make folder more powerful and consistent 2021-05-20 18:14:51 +02:00
Alex Beregszaszi
3ae7144a06 Add changelog entry 2021-05-20 15:31:40 +01:00
Alex Beregszaszi
0017179c69 Fix compilation of reveal_bit example 2021-05-20 15:25:19 +01:00
schaeff
7d05bd3c88 wip 2021-05-20 15:42:25 +02:00
Alex Beregszaszi
33c2dbe68a Move rng example source code to zokrates_cli/examples (so they are compiled) 2021-05-20 14:19:22 +01:00
schaeff
6ca97136d1 merge member, remove clones 2021-05-20 10:02:33 +02:00
Thibaut Schaeffer
6e1ce97162
Merge pull request #880 from Zokrates/deploy
Merge back 0.7.2 0.7.3
2021-05-20 09:54:22 +02:00
Darko Macesic
c27b0a4a1b
Merge pull request #878 from Zokrates/rc/0.7.3
Release 0.7.3
2021-05-19 16:59:01 +02:00
dark64
d72ca8c54b fix broken links in the book 2021-05-19 16:45:16 +02:00
dark64
73b28a9d0b bump version, update changelog 2021-05-19 16:36:22 +02:00
Thibaut Schaeffer
9f7a60ad8d
Merge pull request #877 from Zokrates/bugfix-0.7.2
Bugfix on 0.7.2
2021-05-19 16:23:16 +02:00