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

3140 commits

Author SHA1 Message Date
dark64
af975cb71d remove thread limit on cargo test, remove unnecessary -Zpackage-features 2021-05-26 17:52:25 +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
Alex Beregszaszi
20f4a47fd0 Update documentation too 2021-05-20 19:22:17 +01: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
Alex Beregszaszi
33c2dbe68a Move rng example source code to zokrates_cli/examples (so they are compiled) 2021-05-20 14:19:22 +01: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
dark64
6c5cd51376 changelog 2021-05-19 15:41:19 +02:00
dark64
deb909e2db put branch isolator behind a compilation flag in static analysis 2021-05-19 15:16:38 +02:00
dark64
89b14d81e5 fix issue caused by substitution in one_liner.sh 2021-05-19 14:44:11 +02:00
Thibaut Schaeffer
04029ca316
Merge pull request #871 from Zokrates/deploy
Merge back 0.7.2
2021-05-18 16:51:39 +02:00
Thibaut Schaeffer
0af871baa3
Merge pull request #870 from Zokrates/fix-deploy-job
Increase no output timeout on deploy job
2021-05-18 15:05:44 +02:00
dark64
2c3184f9c6 add no_output_timeout to deploy job 2021-05-18 15:01:32 +02:00
Thibaut Schaeffer
3a2e9407b7
Merge pull request #867 from Zokrates/rc/0.7.2
Release 0.7.2
2021-05-18 14:20:22 +02:00
schaeff
c42f8992cc update logo 2021-05-18 11:44:21 +02:00
schaeff
b2cc60188f Merge branch 'develop' of github.com:Zokrates/ZoKrates into rc/0.7.2 2021-05-18 11:26:31 +02:00
Thibaut Schaeffer
3fa7084e8a
Merge pull request #869 from Zokrates/fix-error-format
Fix import error format
2021-05-18 11:26:16 +02:00
dark64
7772c1e137 fix import error format 2021-05-18 11:20:14 +02:00
schaeff
9e268860e8 bump versions, generate changelog 2021-05-18 11:00:24 +02:00
Thibaut Schaeffer
b41f0ad09d
Merge pull request #865 from Zokrates/conditional-panics
Implement short-circuiting for assertions
2021-05-18 10:53:36 +02:00
schaeff
6e37b15973 merge dev 2021-05-17 23:04:16 +02:00
schaeff
d7c28a50e0 remove comment 2021-05-17 23:01:51 +02:00
schaeff
a50739b77e update ts 2021-05-17 23:00:03 +02:00
schaeff
4fbd534376 allow comment after new line, tweak docs 2021-05-17 22:58:24 +02:00
Thibaut Schaeffer
62dc3b072e
Merge pull request #863 from Zokrates/remove-strict-ordering
Relax ordering of symbol declarations
2021-05-17 22:52:11 +02:00
schaeff
254fad4cfa update book 2021-05-17 20:39:58 +02:00
dark64
7768803a99 minor changes 2021-05-17 20:16:40 +02:00
dark64
4dc5bb1121 refactor imports 2021-05-17 16:08:52 +02:00
schaeff
f492990319 clean 2021-05-17 15:50:35 +02:00
schaeff
fcc308f27c implement and test nested conditionals 2021-05-17 15:18:41 +02:00
schaeff
e5c4bb0787 put internal isolation behind flag, add tests 2021-05-17 13:35:45 +02:00
schaeff
ad4717e67f put behind config flag 2021-05-17 10:34:37 +02:00
schaeff
db4fcd04d8 remove redundant drain 2021-05-16 23:54:27 +02:00
schaeff
8c164afb99 Merge branch 'develop' of github.com:Zokrates/ZoKrates into conditional-panics 2021-05-16 23:32:39 +02:00
schaeff
4797f2dd53 tweaks 2021-05-16 23:32:33 +02:00
Thibaut Schaeffer
2ed9e6a972
Merge pull request #864 from Zokrates/fix-constants
Support the use of constants in declaration types
2021-05-16 23:29:00 +02:00
schaeff
09b1e52608 implement blocks for all types, add breaking example for edge case 2021-05-16 23:03:05 +02:00
schaeff
7b46a33c5b fmt, changelog 2021-05-16 19:18:45 +02:00
schaeff
a1a65378a7 introduce block into ast and implement isolation on that 2021-05-16 19:16:25 +02:00
dark64
96952d6e04 refactor 2021-05-14 19:49:55 +02:00
schaeff
43b7457ec9 support multidef 2021-05-14 12:47:15 +02:00
schaeff
e028f7b006 refactor using if statements to support complex types 2021-05-14 11:54:57 +02:00
dark64
7406f8769d visit struct type, improve tests 2021-05-13 19:02:38 +02:00
dark64
31949e5bc4 fix tests 2021-05-13 17:33:39 +02:00
dark64
53a851fb1f fix possible unwrapping panic in semantics 2021-05-13 15:26:15 +02:00
dark64
b2201a38ff add changelog 2021-05-13 15:12:20 +02:00