| .. |
|
arrays
|
wip
|
2020-09-16 17:57:12 +02:00 |
|
book
|
wip
|
2020-09-29 09:56:07 +02:00 |
|
compile_errors
|
merge number inference
|
2020-10-08 17:01:55 +02:00 |
|
functions
|
fix all tests
|
2020-11-09 18:04:28 +00:00 |
|
imports
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
merkleTree
|
fix all tests
|
2020-11-09 18:04:28 +00:00 |
|
runtime_errors
|
fix tests of compile issues, change struct handling to make tests pass
|
2020-10-08 10:43:14 +02:00 |
|
structs
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
sudoku
|
wip
|
2020-09-16 17:57:12 +02:00 |
|
add.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
argument_reassign.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
bool_and.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
bool_not.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
bool_or.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
boolean_literal.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
brackets.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
comments.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
comparison_operators.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
conditions.zok
|
wip
|
2020-09-29 09:56:07 +02:00 |
|
factorization.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
flatten.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
for.zok
|
wip
|
2020-09-16 17:57:12 +02:00 |
|
functions_equivalent.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
if_eq.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
left_side_call.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
multi_return.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
multi_return_sum.zok
|
change file endings
|
2019-09-24 12:05:43 +02:00 |
|
multiple_witnesses.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
n_choose_k.zok
|
fix all tests
|
2020-11-09 18:04:28 +00:00 |
|
no_flatten.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
pow.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
pragma.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
propagate.zok
|
wip
|
2020-09-16 17:57:12 +02:00 |
|
propagate_call.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
reassignment.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
reduceable_exponent.zok
|
fix all tests
|
2020-11-09 18:04:28 +00:00 |
|
simple_add.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
simple_ifelse.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
simple_mul.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
spaces_tabs_comments.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
sub.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
synonyms.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
taxation.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
test1.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
test_lt_max_value.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
waldo.zok
|
fix all tests
|
2020-11-09 18:04:28 +00:00 |
|
wavelets.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
