| .. |
|
compile_all.args
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
compile_all.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
compile_inline.args
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
compile_inline.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
compile_no_opts.args
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
compile_no_opts.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
compile_pre_reduce.args
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
compile_pre_reduce.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
compile_strict_loop.args
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
compile_strict_loop.bend
|
Update lambda syntax and built-in constructor names
|
2024-05-15 15:23:26 -03:00 |
|
compile_wrong_opt.args
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
compile_wrong_opt.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
custom_hvm_bin.args
|
Rename hvm bin option to hvm-bin, add env var with same name
|
2024-06-03 17:26:39 +02:00 |
|
custom_hvm_bin.bend
|
Rename hvm bin option to hvm-bin, add env var with same name
|
2024-06-03 17:26:39 +02:00 |
|
debug_list_map.args
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
debug_list_map.bend
|
Update lambda syntax and built-in constructor names
|
2024-05-15 15:23:26 -03:00 |
|
debug_u60_to_nat.args
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
debug_u60_to_nat.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
desugar_bool_scott.args
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
desugar_bool_scott.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
desugar_float_combinators.args
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
desugar_float_combinators.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
desugar_linearize_matches_alt.args
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
desugar_linearize_matches_alt.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
desugar_linearize_matches.args
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
desugar_linearize_matches.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
desugar_merge.args
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
desugar_merge.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
desugar_pretty.args
|
Display lambda bind patterns as lets
|
2024-06-06 11:35:47 -03:00 |
|
desugar_pretty.bend
|
Display lambda bind patterns as lets
|
2024-06-06 11:35:47 -03:00 |
|
desugar_prune.args
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
desugar_prune.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
gen_hvm_no_eta_by_default.args
|
#634 Don't eta-reduce by default for cuda (#705)
|
2024-09-04 20:26:46 +00:00 |
|
gen_hvm_no_eta_by_default.bend
|
#634 Don't eta-reduce by default for cuda (#705)
|
2024-09-04 20:26:46 +00:00 |
|
input_file_not_found.args
|
Add cli test for input file not found
|
2024-07-10 22:07:19 -03:00 |
|
input_file_not_found.bend
|
Add cli test for input file not found
|
2024-07-10 22:07:19 -03:00 |
|
net_size_too_large.args
|
Disable check-net-size by default
|
2024-05-20 17:12:08 +02:00 |
|
net_size_too_large.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
no_check_net_size.args
|
Increase max net size and make the check optional
|
2024-05-19 00:29:37 +02:00 |
|
no_check_net_size.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
run_add.args
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
run_add.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
run_pretty.args
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
run_pretty.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
tuple_readback.args
|
[sc-692] Add simple readback of tuples
|
2024-05-17 02:12:50 +02:00 |
|
tuple_readback.bend
|
[sc-692] Add simple readback of tuples
|
2024-05-17 02:12:50 +02:00 |
|
warn_and_err.args
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
warn_and_err.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
