1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
ZoKrates/zokrates_cli/examples
2018-10-16 19:41:20 +02:00
..
arrays port sha256 to arrays wip 2018-10-16 19:41:20 +02:00
dex simplify dex further, adjust display function 2018-10-09 17:23:32 +02:00
error disallow declaration without assignment 2018-09-13 12:52:33 +02:00
functions fix examples 2018-09-12 14:13:54 +02:00
imports port most examples to new syntax 2018-08-20 16:43:53 +02:00
runtime_errors add loop unrolling, post flattening constant propagation 2018-10-12 16:40:11 +02:00
sha256 port sha256 to arrays wip 2018-10-16 19:41:20 +02:00
add.code port most examples to new syntax 2018-08-20 16:43:53 +02:00
argument_reassign.code fix examples 2018-09-12 14:13:54 +02:00
brackets.code port most examples to new syntax 2018-08-20 16:43:53 +02:00
comments.code port most examples to new syntax 2018-08-20 16:43:53 +02:00
conditions.code implement type inference for multidef 2018-08-21 13:05:17 +02:00
factorization.code add type annotation to definitions, unify reserved keyword handling 2018-08-16 18:06:00 +02:00
flatten.code port most examples to new syntax 2018-08-20 16:43:53 +02:00
for.code better error messages, wrap scope operations 2018-08-21 16:52:29 +02:00
functions_equivalent.code port most examples to new syntax 2018-08-20 16:43:53 +02:00
if_eq.code port most examples to new syntax 2018-08-20 16:43:53 +02:00
left_side_call.code port most examples to new syntax 2018-08-20 16:43:53 +02:00
multi_return.code implement type inference for multidef 2018-08-21 13:05:17 +02:00
multi_return_sum.code implement type inference for multidef 2018-08-21 13:05:17 +02:00
multiple_witnesses.code port most examples to new syntax 2018-08-20 16:43:53 +02:00
n_choose_k.code port most examples to new syntax 2018-08-20 16:43:53 +02:00
no_flatten.code port most examples to new syntax 2018-08-20 16:43:53 +02:00
pow.code fix pow example 2018-10-02 14:38:50 +02:00
propagate.code add loop unrolling, post flattening constant propagation 2018-10-12 16:40:11 +02:00
propagate_call.code add loop unrolling, post flattening constant propagation 2018-10-12 16:40:11 +02:00
reassignment.code fix examples 2018-09-12 14:13:54 +02:00
simple_add.code merge develop, use c for children debug 2018-10-05 14:21:30 +02:00
simple_ifelse.code port most examples to new syntax 2018-08-20 16:43:53 +02:00
simple_mul.code port most examples to new syntax 2018-08-20 16:43:53 +02:00
spaces_tabs_comments.code port most examples to new syntax 2018-08-20 16:43:53 +02:00
sub.code port most examples to new syntax 2018-08-20 16:43:53 +02:00
sudokuchecker.code implement type inference for multidef 2018-08-21 13:05:17 +02:00
synonyms.code port most examples to new syntax 2018-08-20 16:43:53 +02:00
taxation.code fix examples 2018-09-12 14:13:54 +02:00
test1.code port most examples to new syntax 2018-08-20 16:43:53 +02:00
test_lt_max_value.code port most examples to new syntax 2018-08-20 16:43:53 +02:00
waldo.code implement type inference for multidef 2018-08-21 13:05:17 +02:00
wavelets.code port most examples to new syntax 2018-08-20 16:43:53 +02:00