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
1655
log
stats
plain
blame
-rw-r--r--
add_literal
735
log
stats
plain
blame
-rw-r--r--
and
1637
log
stats
plain
blame
-rw-r--r--
array-from-args
15906
log
stats
plain
blame
-rw-r--r--
array_length
2293
log
stats
plain
blame
-rw-r--r--
assert
641
log
stats
plain
blame
-rw-r--r--
brace_conversion
391
log
stats
plain
blame
-rw-r--r--
brace_conversion_and_run
9609
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
51667
log
stats
plain
blame
-rw-r--r--
calling_recipe
823
log
stats
plain
blame
-rw-r--r--
channel
22745
log
stats
plain
blame
-rw-r--r--
channel-initialization
6350
log
stats
plain
blame
-rw-r--r--
channel-new-empty-not-full
12791
log
stats
plain
blame
-rw-r--r--
channel-read-increments-full
24628
log
stats
plain
blame
-rw-r--r--
channel-read-not-full
31211
log
stats
plain
blame
-rw-r--r--
channel-wrap
45238
log
stats
plain
blame
-rw-r--r--
channel-write-full
23645
log
stats
plain
blame
-rw-r--r--
channel-write-increments-free
17079
log
stats
plain
blame
-rw-r--r--
channel-write-not-empty
23464
log
stats
plain
blame
-rw-r--r--
check_string_in_memory
2007
log
stats
plain
blame
-rw-r--r--
clear-line-erases-printed-characters
60419
log
stats
plain
blame
-rw-r--r--
closure
8621
log
stats
plain
blame
-rw-r--r--
container
123
log
stats
plain
blame
-rw-r--r--
convert_names
550
log
stats
plain
blame
-rw-r--r--
convert_names_handles_containers
495
log
stats
plain
blame
-rw-r--r--
convert_names_passes_default_space
710
log
stats
plain
blame
-rw-r--r--
convert_names_passes_dummy
658
log
stats
plain
blame
-rw-r--r--
convert_names_passes_raw
549
log
stats
plain
blame
-rw-r--r--
convert_names_transforms_container_elements
1610
log
stats
plain
blame
-rw-r--r--
convert_names_warns
633
log
stats
plain
blame
-rw-r--r--
copy
998
log
stats
plain
blame
-rw-r--r--
copy_array
2523
log
stats
plain
blame
-rw-r--r--
copy_array_indirect
3071
log
stats
plain
blame
-rw-r--r--
copy_exclusive_container
2021
log
stats
plain
blame
-rw-r--r--
copy_handles_nested_container_elements
2053
log
stats
plain
blame
-rw-r--r--
copy_indirect
1526
log
stats
plain
blame
-rw-r--r--
copy_literal
538
log
stats
plain
blame
-rw-r--r--
copy_multiple_locations
1488
log
stats
plain
blame
-rw-r--r--
deref_sidesteps_default_space
2519
log
stats
plain
blame
-rw-r--r--
deref_sidesteps_default_space_in_get
3213
log
stats
plain
blame
-rw-r--r--
deref_sidesteps_default_space_in_index
3861
log
stats
plain
blame
-rw-r--r--
divide
1679
log
stats
plain
blame
-rw-r--r--
divide_literal
755
log
stats
plain
blame
-rw-r--r--
divide_with_remainder
1903
log
stats
plain
blame
-rw-r--r--
divide_with_remainder_literal
971
log
stats
plain
blame
-rw-r--r--
equal
1659
log
stats
plain
blame
-rw-r--r--
equal2
1659
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
811
log
stats
plain
blame
-rw-r--r--
first_scenario_checking_trace_negative
838
log
stats
plain
blame
-rw-r--r--
first_scenario_in_mu
784
log
stats
plain
blame
-rw-r--r--
get
1700
log
stats
plain
blame
-rw-r--r--
get_address
1702
log
stats
plain
blame
-rw-r--r--
get_address_indirect
2155
log
stats
plain
blame
-rw-r--r--
get_default_space
1160
log
stats
plain
blame
-rw-r--r--
get_handles_nested_container_elements
2164
log
stats
plain
blame
-rw-r--r--
get_indirect
2178
log
stats
plain
blame
-rw-r--r--
greater_or_equal
1692
log
stats
plain
blame
-rw-r--r--
greater_or_equal2
1692
log
stats
plain
blame
-rw-r--r--
greater_or_equal3
1692
log
stats
plain
blame
-rw-r--r--
greater_than
1680
log
stats
plain
blame
-rw-r--r--
greater_than2
1680
log
stats
plain
blame
-rw-r--r--
include_nonderef_properties
2196
log
stats
plain
blame
-rw-r--r--
index
2711
log
stats
plain
blame
-rw-r--r--
index_address
2619
log
stats
plain
blame
-rw-r--r--
index_direct_offset
3169
log
stats
plain
blame
-rw-r--r--
index_indirect
3282
log
stats
plain
blame
-rw-r--r--
ingredient
1388
log
stats
plain
blame
-rw-r--r--
init-buffer-allocates
7792
log
stats
plain
blame
-rw-r--r--
integer-to-decimal-digit-negative
32700
log
stats
plain
blame
-rw-r--r--
integer-to-decimal-digit-positive
45673
log
stats
plain
blame
-rw-r--r--
integer-to-decimal-digit-zero
2700
log
stats
plain
blame
-rw-r--r--
interpolate-at-end
50776
log
stats
plain
blame
-rw-r--r--
interpolate-at-start
49395
log
stats
plain
blame
-rw-r--r--
interpolate-works
38788
log
stats
plain
blame
-rw-r--r--
jump
224
log
stats
plain
blame
-rw-r--r--
jump_backward
969
log
stats
plain
blame
-rw-r--r--
jump_can_skip_instructions
601
log
stats
plain
blame
-rw-r--r--
jump_if
793
log
stats
plain
blame
-rw-r--r--
jump_if_fallthrough
983
log
stats
plain
blame
-rw-r--r--
jump_unless
793
log
stats
plain
blame
-rw-r--r--
jump_unless_fallthrough
1011
log
stats
plain
blame
-rw-r--r--
lesser_or_equal
1689
log
stats
plain
blame
-rw-r--r--
lesser_or_equal2
1689
log
stats
plain
blame
-rw-r--r--
lesser_or_equal3
1689
log
stats
plain
blame
-rw-r--r--
lesser_than
1677
log
stats
plain
blame
-rw-r--r--
lesser_than2
1677
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
2117
log
stats
plain
blame
-rw-r--r--
maybe_convert_fail
2116
log
stats
plain
blame
-rw-r--r--
maybe_convert_named
2170
log
stats
plain
blame
-rw-r--r--
memory_check
530
log
stats
plain
blame
-rw-r--r--
memory_check_multiple
590
log
stats
plain
blame
-rw-r--r--
memory_check_string
2367
log
stats
plain
blame
-rw-r--r--
memory_check_string_length
2409
log
stats
plain
blame
-rw-r--r--
multiply
1679
log
stats
plain
blame
-rw-r--r--
multiply_literal
761
log
stats
plain
blame
-rw-r--r--
new
1907
log
stats
plain
blame
-rw-r--r--
new_array
2125
log
stats
plain
blame
-rw-r--r--
new_concurrent
2284
log
stats
plain
blame
-rw-r--r--
new_overflow
1156
log
stats
plain
blame
-rw-r--r--
new_string
1580
log
stats
plain
blame
-rw-r--r--
next_ingredient
1327
log
stats
plain
blame
-rw-r--r--
next_ingredient_missing
642
log
stats
plain
blame
-rw-r--r--
not
1008
log
stats
plain
blame
-rw-r--r--
or
1634
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_dollar_as_recipe_name
27
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--
print-character-at-top-left
30235
log
stats
plain
blame
-rw-r--r--
reply
2157
log
stats
plain
blame
-rw-r--r--
reply_container
1629
log
stats
plain
blame
-rw-r--r--
reply_same_as_ingredient
1896
log
stats
plain
blame
-rw-r--r--
return_on_fallthrough
2405
log
stats
plain
blame
-rw-r--r--
rewind_ingredients
1731
log
stats
plain
blame
-rw-r--r--
run
950
log
stats
plain
blame
-rw-r--r--
run_dummy
496
log
stats
plain
blame
-rw-r--r--
run_label
1019
log
stats
plain
blame
-rw-r--r--
run_multiple
1804
log
stats
plain
blame
-rw-r--r--
scenario_trace_block
97
log
stats
plain
blame
-rw-r--r--
scheduler
1339
log
stats
plain
blame
-rw-r--r--
scheduler_interleaves_routines
2280
log
stats
plain
blame
-rw-r--r--
set_default_space
1484
log
stats
plain
blame
-rw-r--r--
store_indirect
1066
log
stats
plain
blame
-rw-r--r--
string-append-1
49928
log
stats
plain
blame
-rw-r--r--
string-equal-common-lengths-but-distinct
15020
log
stats
plain
blame
-rw-r--r--
string-equal-distinct-lengths
5199
log
stats
plain
blame
-rw-r--r--
string-equal-identical
16162
log
stats
plain
blame
-rw-r--r--
string-equal-reflexive
15621
log
stats
plain
blame
-rw-r--r--
string-equal-with-empty
5148
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
1672
log
stats
plain
blame
-rw-r--r--
subtract_literal
736
log
stats
plain
blame
-rw-r--r--
surrounding_space
2964
log
stats
plain
blame
-rw-r--r--
trace
624
log
stats
plain
blame
-rw-r--r--
trace_check_passes_silently
1210
log
stats
plain
blame
-rw-r--r--
trace_check_warns_on_failure
509
log
stats
plain
blame
-rw-r--r--
trace_check_warns_on_failure_in_later_line
1283
log
stats
plain
blame
-rw-r--r--
trace_in_mu
570
log
stats
plain
blame
-rw-r--r--
trace_negative_check_passes_silently
448
log
stats
plain
blame
-rw-r--r--
trace_negative_check_warns_on_any_unexpected_line
1298
log
stats
plain
blame
-rw-r--r--
trace_negative_check_warns_on_failure
1262
log
stats
plain
blame
-rw-r--r--
trace_should_contain
491
log
stats
plain
blame
-rw-r--r--
wait_for_location
2158
log
stats
plain
blame