index
:
mu
this commit
hlt
main
Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.
Kartik K. Agaram <vc@akkartik.com>
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
cpp
/
.traces
Mode
Name
Size
-rw-r--r--
add
1177
log
stats
plain
blame
-rw-r--r--
add_literal
531
log
stats
plain
blame
-rw-r--r--
and
1165
log
stats
plain
blame
-rw-r--r--
array-from-args
7457
log
stats
plain
blame
-rw-r--r--
array_length
1587
log
stats
plain
blame
-rw-r--r--
assert
453
log
stats
plain
blame
-rw-r--r--
brace_conversion
391
log
stats
plain
blame
-rw-r--r--
brace_conversion_and_run
5691
log
stats
plain
blame
-rw-r--r--
break_cascading
539
log
stats
plain
blame
-rw-r--r--
break_cascading2
971
log
stats
plain
blame
-rw-r--r--
break_empty_block
391
log
stats
plain
blame
-rw-r--r--
break_if
1064
log
stats
plain
blame
-rw-r--r--
break_label
483
log
stats
plain
blame
-rw-r--r--
break_nested
1130
log
stats
plain
blame
-rw-r--r--
break_nested_degenerate
914
log
stats
plain
blame
-rw-r--r--
break_nested_degenerate2
698
log
stats
plain
blame
-rw-r--r--
break_unless
924
log
stats
plain
blame
-rw-r--r--
buffer-append-works
26714
log
stats
plain
blame
-rw-r--r--
calling_recipe
615
log
stats
plain
blame
-rw-r--r--
channel
10457
log
stats
plain
blame
-rw-r--r--
channel-initialization
3404
log
stats
plain
blame
-rw-r--r--
channel-new-empty-not-full
6019
log
stats
plain
blame
-rw-r--r--
channel-read-increments-full
11864
log
stats
plain
blame
-rw-r--r--
channel-read-not-full
14480
log
stats
plain
blame
-rw-r--r--
channel-wrap
21705
log
stats
plain
blame
-rw-r--r--
channel-write-full
10900
log
stats
plain
blame
-rw-r--r--
channel-write-increments-free
8301
log
stats
plain
blame
-rw-r--r--
channel-write-not-empty
10860
log
stats
plain
blame
-rw-r--r--
check_string_in_memory
1444
log
stats
plain
blame
-rw-r--r--
closure
5460
log
stats
plain
blame
-rw-r--r--
container
123
log
stats
plain
blame
-rw-r--r--
convert_names
413
log
stats
plain
blame
-rw-r--r--
convert_names_handles_containers
495
log
stats
plain
blame
-rw-r--r--
convert_names_passes_default_space
487
log
stats
plain
blame
-rw-r--r--
convert_names_passes_dummy
461
log
stats
plain
blame
-rw-r--r--
convert_names_passes_raw
403
log
stats
plain
blame
-rw-r--r--
convert_names_transforms_container_elements
1220
log
stats
plain
blame
-rw-r--r--
convert_names_warns
496
log
stats
plain
blame
-rw-r--r--
copy
721
log
stats
plain
blame
-rw-r--r--
copy_array
1809
log
stats
plain
blame
-rw-r--r--
copy_array_indirect
2175
log
stats
plain
blame
-rw-r--r--
copy_exclusive_container
1449
log
stats
plain
blame
-rw-r--r--
copy_handles_nested_container_elements
1469
log
stats
plain
blame
-rw-r--r--
copy_indirect
1077
log
stats
plain
blame
-rw-r--r--
copy_literal
398
log
stats
plain
blame
-rw-r--r--
copy_multiple_locations
1075
log
stats
plain
blame
-rw-r--r--
deref_sidesteps_default_space
1722
log
stats
plain
blame
-rw-r--r--
deref_sidesteps_default_space_in_get
2211
log
stats
plain
blame
-rw-r--r--
deref_sidesteps_default_space_in_index
2692
log
stats
plain
blame
-rw-r--r--
divide
1201
log
stats
plain
blame
-rw-r--r--
divide_literal
554
log
stats
plain
blame
-rw-r--r--
divide_with_remainder
1345
log
stats
plain
blame
-rw-r--r--
divide_with_remainder_literal
693
log
stats
plain
blame
-rw-r--r--
equal
1179
log
stats
plain
blame
-rw-r--r--
equal2
1179
log
stats
plain
blame
-rw-r--r--
exclusive_container
133
log
stats
plain
blame
-rw-r--r--
factorial-test
5949
log
stats
plain
blame
-rw-r--r--
first_recipe
194
log
stats
plain
blame
-rw-r--r--
first_scenario_checking_trace
613
log
stats
plain
blame
-rw-r--r--
first_scenario_checking_trace_negative
640
log
stats
plain
blame
-rw-r--r--
first_scenario_in_mu
586
log
stats
plain
blame
-rw-r--r--
get
1213
log
stats
plain
blame
-rw-r--r--
get_address
1195
log
stats
plain
blame
-rw-r--r--
get_address_indirect
1512
log
stats
plain
blame
-rw-r--r--
get_default_space
780
log
stats
plain
blame
-rw-r--r--
get_handles_nested_container_elements
1526
log
stats
plain
blame
-rw-r--r--
get_indirect
1543
log
stats
plain
blame
-rw-r--r--
greater_or_equal
1201
log
stats
plain
blame
-rw-r--r--
greater_or_equal2
1201
log
stats
plain
blame
-rw-r--r--
greater_or_equal3
1201
log
stats
plain
blame
-rw-r--r--
greater_than
1193
log
stats
plain
blame
-rw-r--r--
greater_than2
1193
log
stats
plain
blame
-rw-r--r--
include_nonderef_properties
1552
log
stats
plain
blame
-rw-r--r--
index
1944
log
stats
plain
blame
-rw-r--r--
index_address
1844
log
stats
plain
blame
-rw-r--r--
index_direct_offset
2265
log
stats
plain
blame
-rw-r--r--
index_indirect
2333
log
stats
plain
blame
-rw-r--r--
ingredient
957
log
stats
plain
blame
-rw-r--r--
init-buffer-allocates
7792
log
stats
plain
blame
-rw-r--r--
integer-to-decimal-digit-negative
15645
log
stats
plain
blame
-rw-r--r--
integer-to-decimal-digit-positive
21943
log
stats
plain
blame
-rw-r--r--
integer-to-decimal-digit-zero
1548
log
stats
plain
blame
-rw-r--r--
interpolate-at-end
25421
log
stats
plain
blame
-rw-r--r--
interpolate-at-start
25167
log
stats
plain
blame
-rw-r--r--
interpolate-works
19388
log
stats
plain
blame
-rw-r--r--
jump
224
log
stats
plain
blame
-rw-r--r--
jump_backward
750
log
stats
plain
blame
-rw-r--r--
jump_can_skip_instructions
529
log
stats
plain
blame
-rw-r--r--
jump_if
650
log
stats
plain
blame
-rw-r--r--
jump_if_fallthrough
703
log
stats
plain
blame
-rw-r--r--
jump_unless
652
log
stats
plain
blame
-rw-r--r--
jump_unless_fallthrough
721
log
stats
plain
blame
-rw-r--r--
lesser_or_equal
1199
log
stats
plain
blame
-rw-r--r--
lesser_or_equal2
1199
log
stats
plain
blame
-rw-r--r--
lesser_or_equal3
1199
log
stats
plain
blame
-rw-r--r--
lesser_than
1191
log
stats
plain
blame
-rw-r--r--
lesser_than2
1191
log
stats
plain
blame
-rw-r--r--
loop
959
log
stats
plain
blame
-rw-r--r--
loop_label
480
log
stats
plain
blame
-rw-r--r--
loop_nested
1223
log
stats
plain
blame
-rw-r--r--
loop_unless
924
log
stats
plain
blame
-rw-r--r--
maybe_convert
1458
log
stats
plain
blame
-rw-r--r--
maybe_convert_fail
1457
log
stats
plain
blame
-rw-r--r--
maybe_convert_named
1511
log
stats
plain
blame
-rw-r--r--
multiply
1202
log
stats
plain
blame
-rw-r--r--
multiply_literal
558
log
stats
plain
blame
-rw-r--r--
new
1324
log
stats
plain
blame
-rw-r--r--
new_array
1457
log
stats
plain
blame
-rw-r--r--
new_concurrent
1598
log
stats
plain
blame
-rw-r--r--
new_overflow
830
log
stats
plain
blame
-rw-r--r--
new_string
1164
log
stats
plain
blame
-rw-r--r--
next_ingredient
962
log
stats
plain
blame
-rw-r--r--
next_ingredient_missing
481
log
stats
plain
blame
-rw-r--r--
not
735
log
stats
plain
blame
-rw-r--r--
or
1163
log
stats
plain
blame
-rw-r--r--
parse_comment_after_instruction
194
log
stats
plain
blame
-rw-r--r--
parse_comment_amongst_instruction
194
log
stats
plain
blame
-rw-r--r--
parse_comment_amongst_instruction2
194
log
stats
plain
blame
-rw-r--r--
parse_comment_amongst_instruction3
388
log
stats
plain
blame
-rw-r--r--
parse_comment_outside_recipe
194
log
stats
plain
blame
-rw-r--r--
parse_label
21
log
stats
plain
blame
-rw-r--r--
parse_multiple_ingredients
359
log
stats
plain
blame
-rw-r--r--
parse_multiple_products
275
log
stats
plain
blame
-rw-r--r--
parse_multiple_properties
214
log
stats
plain
blame
-rw-r--r--
parse_multiple_types
371
log
stats
plain
blame
-rw-r--r--
parse_properties
217
log
stats
plain
blame
-rw-r--r--
parse_scenario_memory_expectation
102
log
stats
plain
blame
-rw-r--r--
parse_scenario_memory_expectation_duplicate
192
log
stats
plain
blame
-rw-r--r--
reply
1524
log
stats
plain
blame
-rw-r--r--
reply_container
1188
log
stats
plain
blame
-rw-r--r--
reply_same_as_ingredient
1358
log
stats
plain
blame
-rw-r--r--
return_on_fallthrough
1695
log
stats
plain
blame
-rw-r--r--
rewind_ingredients
1242
log
stats
plain
blame
-rw-r--r--
run_dummy
361
log
stats
plain
blame
-rw-r--r--
run_label
742
log
stats
plain
blame
-rw-r--r--
scenario_trace_block
97
log
stats
plain
blame
-rw-r--r--
scheduler
962
log
stats
plain
blame
-rw-r--r--
scheduler_interleaves_routines
1629
log
stats
plain
blame
-rw-r--r--
set_default_space
1017
log
stats
plain
blame
-rw-r--r--
store_indirect
754
log
stats
plain
blame
-rw-r--r--
string-append-1
26052
log
stats
plain
blame
-rw-r--r--
string-equal-common-lengths-but-distinct
8107
log
stats
plain
blame
-rw-r--r--
string-equal-distinct-lengths
2816
log
stats
plain
blame
-rw-r--r--
string-equal-identical
8626
log
stats
plain
blame
-rw-r--r--
string-equal-reflexive
8256
log
stats
plain
blame
-rw-r--r--
string-equal-with-empty
2771
log
stats
plain
blame
-rw-r--r--
string_literal
235
log
stats
plain
blame
-rw-r--r--
string_literal_and_comment
227
log
stats
plain
blame
-rw-r--r--
string_literal_nested
239
log
stats
plain
blame
-rw-r--r--
string_literal_with_colons
243
log
stats
plain
blame
-rw-r--r--
subtract
1189
log
stats
plain
blame
-rw-r--r--
subtract_literal
533
log
stats
plain
blame
-rw-r--r--
surrounding_space
2022
log
stats
plain
blame
-rw-r--r--
trace
430
log
stats
plain
blame
-rw-r--r--
trace_in_mu
412
log
stats
plain
blame
-rw-r--r--
wait_for_location
1555
log
stats
plain
blame