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
1169
log
stats
plain
blame
-rw-r--r--
add_literal
529
log
stats
plain
blame
-rw-r--r--
and
1157
log
stats
plain
blame
-rw-r--r--
array_length
1571
log
stats
plain
blame
-rw-r--r--
assert
449
log
stats
plain
blame
-rw-r--r--
brace_conversion
385
log
stats
plain
blame
-rw-r--r--
brace_conversion_and_run
5657
log
stats
plain
blame
-rw-r--r--
break_cascading
530
log
stats
plain
blame
-rw-r--r--
break_cascading2
956
log
stats
plain
blame
-rw-r--r--
break_empty_block
385
log
stats
plain
blame
-rw-r--r--
break_if
1046
log
stats
plain
blame
-rw-r--r--
break_label
477
log
stats
plain
blame
-rw-r--r--
break_nested
1115
log
stats
plain
blame
-rw-r--r--
break_nested_degenerate
902
log
stats
plain
blame
-rw-r--r--
break_nested_degenerate2
689
log
stats
plain
blame
-rw-r--r--
break_unless
905
log
stats
plain
blame
-rw-r--r--
buffer-append-works
26649
log
stats
plain
blame
-rw-r--r--
calling_recipe
616
log
stats
plain
blame
-rw-r--r--
channel
10445
log
stats
plain
blame
-rw-r--r--
channel-initialization
3393
log
stats
plain
blame
-rw-r--r--
channel-new-empty-not-full
5989
log
stats
plain
blame
-rw-r--r--
channel-read-increments-full
11850
log
stats
plain
blame
-rw-r--r--
channel-read-not-full
14447
log
stats
plain
blame
-rw-r--r--
channel-wrap
21686
log
stats
plain
blame
-rw-r--r--
channel-write-full
10868
log
stats
plain
blame
-rw-r--r--
channel-write-increments-free
8288
log
stats
plain
blame
-rw-r--r--
channel-write-not-empty
10828
log
stats
plain
blame
-rw-r--r--
check_string_in_memory
1432
log
stats
plain
blame
-rw-r--r--
closure
5393
log
stats
plain
blame
-rw-r--r--
container
123
log
stats
plain
blame
-rw-r--r--
convert_names
410
log
stats
plain
blame
-rw-r--r--
convert_names_handles_containers
489
log
stats
plain
blame
-rw-r--r--
convert_names_passes_default_space
484
log
stats
plain
blame
-rw-r--r--
convert_names_passes_dummy
458
log
stats
plain
blame
-rw-r--r--
convert_names_passes_raw
400
log
stats
plain
blame
-rw-r--r--
convert_names_transforms_container_elements
1218
log
stats
plain
blame
-rw-r--r--
convert_names_warns
493
log
stats
plain
blame
-rw-r--r--
copy
715
log
stats
plain
blame
-rw-r--r--
copy_array
1794
log
stats
plain
blame
-rw-r--r--
copy_array_indirect
2157
log
stats
plain
blame
-rw-r--r--
copy_exclusive_container
1437
log
stats
plain
blame
-rw-r--r--
copy_handles_nested_container_elements
1457
log
stats
plain
blame
-rw-r--r--
copy_indirect
1068
log
stats
plain
blame
-rw-r--r--
copy_literal
395
log
stats
plain
blame
-rw-r--r--
copy_multiple_locations
1066
log
stats
plain
blame
-rw-r--r--
deref_sidesteps_default_space
1707
log
stats
plain
blame
-rw-r--r--
deref_sidesteps_default_space_in_get
2195
log
stats
plain
blame
-rw-r--r--
deref_sidesteps_default_space_in_index
2671
log
stats
plain
blame
-rw-r--r--
divide
1190
log
stats
plain
blame
-rw-r--r--
divide_literal
549
log
stats
plain
blame
-rw-r--r--
divide_with_remainder
1319
log
stats
plain
blame
-rw-r--r--
divide_with_remainder_literal
673
log
stats
plain
blame
-rw-r--r--
equal
1170
log
stats
plain
blame
-rw-r--r--
equal2
1170
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
191
log
stats
plain
blame
-rw-r--r--
first_scenario_checking_trace
611
log
stats
plain
blame
-rw-r--r--
first_scenario_checking_trace_negative
638
log
stats
plain
blame
-rw-r--r--
first_scenario_in_mu
584
log
stats
plain
blame
-rw-r--r--
get
1206
log
stats
plain
blame
-rw-r--r--
get_address
1180
log
stats
plain
blame
-rw-r--r--
get_address_indirect
1494
log
stats
plain
blame
-rw-r--r--
get_default_space
774
log
stats
plain
blame
-rw-r--r--
get_handles_nested_container_elements
1516
log
stats
plain
blame
-rw-r--r--
get_indirect
1533
log
stats
plain
blame
-rw-r--r--
greater_or_equal
1181
log
stats
plain
blame
-rw-r--r--
greater_or_equal2
1181
log
stats
plain
blame
-rw-r--r--
greater_or_equal3
1181
log
stats
plain
blame
-rw-r--r--
greater_than
1177
log
stats
plain
blame
-rw-r--r--
greater_than2
1177
log
stats
plain
blame
-rw-r--r--
include_nonderef_properties
1542
log
stats
plain
blame
-rw-r--r--
index
1929
log
stats
plain
blame
-rw-r--r--
index_address
1821
log
stats
plain
blame
-rw-r--r--
index_direct_offset
2247
log
stats
plain
blame
-rw-r--r--
index_indirect
2315
log
stats
plain
blame
-rw-r--r--
ingredient
939
log
stats
plain
blame
-rw-r--r--
init-buffer-allocates
7792
log
stats
plain
blame
-rw-r--r--
integer-to-decimal-digit-negative
15620
log
stats
plain
blame
-rw-r--r--
integer-to-decimal-digit-positive
21918
log
stats
plain
blame
-rw-r--r--
integer-to-decimal-digit-zero
1523
log
stats
plain
blame
-rw-r--r--
interpolate-at-end
25408
log
stats
plain
blame
-rw-r--r--
interpolate-at-start
25154
log
stats
plain
blame
-rw-r--r--
interpolate-works
19375
log
stats
plain
blame
-rw-r--r--
jump
224
log
stats
plain
blame
-rw-r--r--
jump_backward
744
log
stats
plain
blame
-rw-r--r--
jump_can_skip_instructions
524
log
stats
plain
blame
-rw-r--r--
jump_if
642
log
stats
plain
blame
-rw-r--r--
jump_if_fallthrough
695
log
stats
plain
blame
-rw-r--r--
jump_unless
640
log
stats
plain
blame
-rw-r--r--
jump_unless_fallthrough
709
log
stats
plain
blame
-rw-r--r--
lesser_or_equal
1180
log
stats
plain
blame
-rw-r--r--
lesser_or_equal2
1180
log
stats
plain
blame
-rw-r--r--
lesser_or_equal3
1180
log
stats
plain
blame
-rw-r--r--
lesser_than
1176
log
stats
plain
blame
-rw-r--r--
lesser_than2
1176
log
stats
plain
blame
-rw-r--r--
loop
948
log
stats
plain
blame
-rw-r--r--
loop_label
474
log
stats
plain
blame
-rw-r--r--
loop_nested
1206
log
stats
plain
blame
-rw-r--r--
loop_unless
906
log
stats
plain
blame
-rw-r--r--
maybe_convert
1438
log
stats
plain
blame
-rw-r--r--
maybe_convert_fail
1437
log
stats
plain
blame
-rw-r--r--
maybe_convert_named
1491
log
stats
plain
blame
-rw-r--r--
multiply
1189
log
stats
plain
blame
-rw-r--r--
multiply_literal
551
log
stats
plain
blame
-rw-r--r--
new
1319
log
stats
plain
blame
-rw-r--r--
new_array
1448
log
stats
plain
blame
-rw-r--r--
new_concurrent
1592
log
stats
plain
blame
-rw-r--r--
new_overflow
828
log
stats
plain
blame
-rw-r--r--
new_string
1160
log
stats
plain
blame
-rw-r--r--
next_ingredient
950
log
stats
plain
blame
-rw-r--r--
next_ingredient_missing
471
log
stats
plain
blame
-rw-r--r--
not
730
log
stats
plain
blame
-rw-r--r--
or
1156
log
stats
plain
blame
-rw-r--r--
parse_comment_after_instruction
191
log
stats
plain
blame
-rw-r--r--
parse_comment_amongst_instruction
191
log
stats
plain
blame
-rw-r--r--
parse_comment_amongst_instruction2
191
log
stats
plain
blame
-rw-r--r--
parse_comment_amongst_instruction3
382
log
stats
plain
blame
-rw-r--r--
parse_comment_outside_recipe
191
log
stats
plain
blame
-rw-r--r--
parse_label
21
log
stats
plain
blame
-rw-r--r--
parse_multiple_ingredients
356
log
stats
plain
blame
-rw-r--r--
parse_multiple_products
272
log
stats
plain
blame
-rw-r--r--
parse_multiple_properties
211
log
stats
plain
blame
-rw-r--r--
parse_multiple_types
368
log
stats
plain
blame
-rw-r--r--
parse_properties
214
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
1509
log
stats
plain
blame
-rw-r--r--
reply_container
1172
log
stats
plain
blame
-rw-r--r--
reply_same_as_ingredient
1340
log
stats
plain
blame
-rw-r--r--
return_on_fallthrough
1683
log
stats
plain
blame
-rw-r--r--
rewind_ingredients
1190
log
stats
plain
blame
-rw-r--r--
run_dummy
358
log
stats
plain
blame
-rw-r--r--
run_label
736
log
stats
plain
blame
-rw-r--r--
scheduler
955
log
stats
plain
blame
-rw-r--r--
scheduler_interleaves_routines
1616
log
stats
plain
blame
-rw-r--r--
set_default_space
1008
log
stats
plain
blame
-rw-r--r--
store_indirect
748
log
stats
plain
blame
-rw-r--r--
string-append-1
26037
log
stats
plain
blame
-rw-r--r--
string-equal-common-lengths-but-distinct
8095
log
stats
plain
blame
-rw-r--r--
string-equal-distinct-lengths
2804
log
stats
plain
blame
-rw-r--r--
string-equal-identical
8614
log
stats
plain
blame
-rw-r--r--
string-equal-reflexive
8245
log
stats
plain
blame
-rw-r--r--
string-equal-with-empty
2759
log
stats
plain
blame
-rw-r--r--
string_literal
233
log
stats
plain
blame
-rw-r--r--
string_literal_nested
237
log
stats
plain
blame
-rw-r--r--
string_literal_with_colons
241
log
stats
plain
blame
-rw-r--r--
subtract
1176
log
stats
plain
blame
-rw-r--r--
subtract_literal
526
log
stats
plain
blame
-rw-r--r--
surrounding_space
2004
log
stats
plain
blame
-rw-r--r--
trace
427
log
stats
plain
blame
-rw-r--r--
trace_in_mu
409
log
stats
plain
blame
-rw-r--r--
wait_for_location
1530
log
stats
plain
blame