| .. |
|
arrays
|
make tests pass, typed repeat, generic stdlib
|
2021-01-19 22:50:33 +01:00 |
|
book
|
update assert example
|
2021-04-16 15:19:05 +02:00 |
|
compile_errors
|
error out on failed assertion
|
2021-04-15 19:15:06 +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
|
add test for /0, adjust field implementation to recover from error
|
2020-11-20 15:10:01 +00: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 |
|
decimal_literal.zok
|
add decimal suffix test
|
2021-04-12 10:05:11 +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
|
implement function call as array bound
|
2020-11-12 15:32:41 +00: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 |
