1276 - make C++ version the default

I've tried to update the Readme, but there are at least a couple of issues.

1 files changed, 203 insertions, 0 deletions

diff --git a/arc/.traces/init-list b/arc/.traces/init-list
new file mode 100644
index 00000000..329f7b76
--- /dev/null
+++ b/arc/.traces/init-list
@@ -0,0 +1,203 @@
+c{0: 0 (((1 integer)) <- ((init-list)) ((3 literal)) ((4 literal)) ((5 literal))) -- nil
+c{1: 0 ✓ (((1 integer)) <- ((init-list)) ((3 literal)) ((4 literal)) ((5 literal)))
+cn0: convert-names in main
+cn0: (((1 integer)) <- ((init-list)) ((3 literal)) ((4 literal)) ((5 literal))) nil nil
+cn0: checking arg ((3 literal))
+cn0: checking arg ((4 literal))
+cn0: checking arg ((5 literal))
+cn0: checking oarg ((1 integer))
+maybe-add: ((1 integer))
+cn1: (((1 integer)) <- ((init-list)) ((3 literal)) ((4 literal)) ((5 literal)))
+schedule: main
+run: main 0: (((1 integer)) <- ((init-list)) ((3 literal)) ((4 literal)) ((5 literal)))
+run: init-list/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal)))
+run: init-list/main 0: 1000 => ((default-space space-address))
+run: init-list/main 1: (((1 list-address)) <- ((new)) ((list literal)))
+run: init-list/main 1: 1031 => ((1 list-address))
+mem: ((1 list-address)): 1002 <= 1031
+run: init-list/main 2: (((2 list-address)) <- ((copy)) ((1 list-address)))
+mem: ((1 list-address)) => 1031
+run: init-list/main 2: 1031 => ((2 list-address))
+mem: ((2 list-address)): 1003 <= 1031
+run: init-list/main 3: (((3 integer)) ((4 boolean)) <- ((next-input)))
+arg: nil 0 (3 4 5)
+run: init-list/main 3: 3 => ((3 integer))
+mem: ((3 integer)): 1004 <= 3
+run: init-list/main 3: t => ((4 boolean))
+mem: ((4 boolean)): 1005 <= t
+run: init-list/main 4: (((jump-unless)) ((4 boolean)) ((6 offset)))
+mem: ((4 boolean)) => t
+run: init-list/main 5: (((5 list-address-address)) <- ((get-address)) ((2 list-address) (deref)) ((1 offset)))
+run: init-list/main 5: 1033 => ((5 list-address-address))
+mem: ((5 list-address-address)): 1006 <= 1033
+run: init-list/main 6: (((5 list-address-address) (deref)) <- ((new)) ((list literal)))
+run: init-list/main 6: 1034 => ((5 list-address-address) (deref))
+mem: ((5 list-address-address) (deref)): 1033 <= 1034
+run: init-list/main 7: (((2 list-address)) <- ((list-next)) ((2 list-address)))
+mem: ((2 list-address)) => 1031
+run: list-next/init-list/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal)))
+run: list-next/init-list/main 0: 1037 => ((default-space space-address))
+run: list-next/init-list/main 1: (((1 list-address)) <- ((next-input)))
+arg: nil 0 (1031)
+run: list-next/init-list/main 1: 1031 => ((1 list-address))
+mem: ((1 list-address)): 1039 <= 1031
+run: list-next/init-list/main 2: (((2 list-address)) <- ((get)) ((1 list-address) (deref)) ((1 offset)))
+mem: ((1033 list-address) (raw)) => 1034
+run: list-next/init-list/main 2: 1034 => ((2 list-address))
+mem: ((2 list-address)): 1040 <= 1034
+run: list-next/init-list/main 3: (((reply)) ((2 list-address)))
+mem: ((2 list-address)) => 1034
+run: init-list/main 7: 1034 => ((2 list-address))
+mem: ((2 list-address)): 1003 <= 1034
+run: init-list/main 8: (((6 tagged-value-address)) <- ((list-value-address)) ((2 list-address)))
+mem: ((2 list-address)) => 1034
+run: list-value-address/init-list/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal)))
+run: list-value-address/init-list/main 0: 1068 => ((default-space space-address))
+run: list-value-address/init-list/main 1: (((1 list-address)) <- ((next-input)))
+arg: nil 0 (1034)
+run: list-value-address/init-list/main 1: 1034 => ((1 list-address))
+mem: ((1 list-address)): 1070 <= 1034
+run: list-value-address/init-list/main 2: (((2 tagged-value-address)) <- ((get-address)) ((1 list-address) (deref)) ((0 offset)))
+run: list-value-address/init-list/main 2: 1034 => ((2 tagged-value-address))
+mem: ((2 tagged-value-address)): 1071 <= 1034
+run: list-value-address/init-list/main 3: (((reply)) ((2 tagged-value-address)))
+mem: ((2 tagged-value-address)) => 1034
+run: init-list/main 8: 1034 => ((6 tagged-value-address))
+mem: ((6 tagged-value-address)): 1007 <= 1034
+run: init-list/main 9: (((6 tagged-value-address) (deref)) <- ((save-type)) ((3 integer)))
+mem: ((3 integer)) => 3
+run: init-list/main 9: #(tagged record (integer 3)) => ((6 tagged-value-address) (deref))
+mem: ((6 tagged-value-address) (deref)): 1034 <= integer
+mem: ((6 tagged-value-address) (deref)): 1035 <= 3
+run: init-list/main 10: (((jump)) ((-8 offset)))
+run: init-list/main 3: (((3 integer)) ((4 boolean)) <- ((next-input)))
+arg: nil 1 (3 4 5)
+run: init-list/main 3: 4 => ((3 integer))
+mem: ((3 integer)): 1004 <= 4
+run: init-list/main 3: t => ((4 boolean))
+mem: ((4 boolean)): 1005 <= t
+run: init-list/main 4: (((jump-unless)) ((4 boolean)) ((6 offset)))
+mem: ((4 boolean)) => t
+run: init-list/main 5: (((5 list-address-address)) <- ((get-address)) ((2 list-address) (deref)) ((1 offset)))
+run: init-list/main 5: 1036 => ((5 list-address-address))
+mem: ((5 list-address-address)): 1006 <= 1036
+run: init-list/main 6: (((5 list-address-address) (deref)) <- ((new)) ((list literal)))
+run: init-list/main 6: 1099 => ((5 list-address-address) (deref))
+mem: ((5 list-address-address) (deref)): 1036 <= 1099
+run: init-list/main 7: (((2 list-address)) <- ((list-next)) ((2 list-address)))
+mem: ((2 list-address)) => 1034
+run: list-next/init-list/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal)))
+run: list-next/init-list/main 0: 1102 => ((default-space space-address))
+run: list-next/init-list/main 1: (((1 list-address)) <- ((next-input)))
+arg: nil 0 (1034)
+run: list-next/init-list/main 1: 1034 => ((1 list-address))
+mem: ((1 list-address)): 1104 <= 1034
+run: list-next/init-list/main 2: (((2 list-address)) <- ((get)) ((1 list-address) (deref)) ((1 offset)))
+mem: ((1036 list-address) (raw)) => 1099
+run: list-next/init-list/main 2: 1099 => ((2 list-address))
+mem: ((2 list-address)): 1105 <= 1099
+run: list-next/init-list/main 3: (((reply)) ((2 list-address)))
+mem: ((2 list-address)) => 1099
+run: init-list/main 7: 1099 => ((2 list-address))
+mem: ((2 list-address)): 1003 <= 1099
+run: init-list/main 8: (((6 tagged-value-address)) <- ((list-value-address)) ((2 list-address)))
+mem: ((2 list-address)) => 1099
+run: list-value-address/init-list/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal)))
+run: list-value-address/init-list/main 0: 1133 => ((default-space space-address))
+run: list-value-address/init-list/main 1: (((1 list-address)) <- ((next-input)))
+arg: nil 0 (1099)
+run: list-value-address/init-list/main 1: 1099 => ((1 list-address))
+mem: ((1 list-address)): 1135 <= 1099
+run: list-value-address/init-list/main 2: (((2 tagged-value-address)) <- ((get-address)) ((1 list-address) (deref)) ((0 offset)))
+run: list-value-address/init-list/main 2: 1099 => ((2 tagged-value-address))
+mem: ((2 tagged-value-address)): 1136 <= 1099
+run: list-value-address/init-list/main 3: (((reply)) ((2 tagged-value-address)))
+mem: ((2 tagged-value-address)) => 1099
+run: init-list/main 8: 1099 => ((6 tagged-value-address))
+mem: ((6 tagged-value-address)): 1007 <= 1099
+run: init-list/main 9: (((6 tagged-value-address) (deref)) <- ((save-type)) ((3 integer)))
+mem: ((3 integer)) => 4
+run: init-list/main 9: #(tagged record (integer 4)) => ((6 tagged-value-address) (deref))
+mem: ((6 tagged-value-address) (deref)): 1099 <= integer
+mem: ((6 tagged-value-address) (deref)): 1100 <= 4
+run: init-list/main 10: (((jump)) ((-8 offset)))
+run: init-list/main 3: (((3 integer)) ((4 boolean)) <- ((next-input)))
+arg: nil 2 (3 4 5)
+run: init-list/main 3: 5 => ((3 integer))
+mem: ((3 integer)): 1004 <= 5
+run: init-list/main 3: t => ((4 boolean))
+mem: ((4 boolean)): 1005 <= t
+run: init-list/main 4: (((jump-unless)) ((4 boolean)) ((6 offset)))
+mem: ((4 boolean)) => t
+run: init-list/main 5: (((5 list-address-address)) <- ((get-address)) ((2 list-address) (deref)) ((1 offset)))
+run: init-list/main 5: 1101 => ((5 list-address-address))
+mem: ((5 list-address-address)): 1006 <= 1101
+run: init-list/main 6: (((5 list-address-address) (deref)) <- ((new)) ((list literal)))
+run: init-list/main 6: 1164 => ((5 list-address-address) (deref))
+mem: ((5 list-address-address) (deref)): 1101 <= 1164
+run: init-list/main 7: (((2 list-address)) <- ((list-next)) ((2 list-address)))
+mem: ((2 list-address)) => 1099
+run: list-next/init-list/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal)))
+run: list-next/init-list/main 0: 1167 => ((default-space space-address))
+run: list-next/init-list/main 1: (((1 list-address)) <- ((next-input)))
+arg: nil 0 (1099)
+run: list-next/init-list/main 1: 1099 => ((1 list-address))
+mem: ((1 list-address)): 1169 <= 1099
+run: list-next/init-list/main 2: (((2 list-address)) <- ((get)) ((1 list-address) (deref)) ((1 offset)))
+mem: ((1101 list-address) (raw)) => 1164
+run: list-next/init-list/main 2: 1164 => ((2 list-address))
+mem: ((2 list-address)): 1170 <= 1164
+run: list-next/init-list/main 3: (((reply)) ((2 list-address)))
+mem: ((2 list-address)) => 1164
+run: init-list/main 7: 1164 => ((2 list-address))
+mem: ((2 list-address)): 1003 <= 1164
+run: init-list/main 8: (((6 tagged-value-address)) <- ((list-value-address)) ((2 list-address)))
+mem: ((2 list-address)) => 1164
+run: list-value-address/init-list/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal)))
+run: list-value-address/init-list/main 0: 1198 => ((default-space space-address))
+run: list-value-address/init-list/main 1: (((1 list-address)) <- ((next-input)))
+arg: nil 0 (1164)
+run: list-value-address/init-list/main 1: 1164 => ((1 list-address))
+mem: ((1 list-address)): 1200 <= 1164
+run: list-value-address/init-list/main 2: (((2 tagged-value-address)) <- ((get-address)) ((1 list-address) (deref)) ((0 offset)))
+run: list-value-address/init-list/main 2: 1164 => ((2 tagged-value-address))
+mem: ((2 tagged-value-address)): 1201 <= 1164
+run: list-value-address/init-list/main 3: (((reply)) ((2 tagged-value-address)))
+mem: ((2 tagged-value-address)) => 1164
+run: init-list/main 8: 1164 => ((6 tagged-value-address))
+mem: ((6 tagged-value-address)): 1007 <= 1164
+run: init-list/main 9: (((6 tagged-value-address) (deref)) <- ((save-type)) ((3 integer)))
+mem: ((3 integer)) => 5
+run: init-list/main 9: #(tagged record (integer 5)) => ((6 tagged-value-address) (deref))
+mem: ((6 tagged-value-address) (deref)): 1164 <= integer
+mem: ((6 tagged-value-address) (deref)): 1165 <= 5
+run: init-list/main 10: (((jump)) ((-8 offset)))
+run: init-list/main 3: (((3 integer)) ((4 boolean)) <- ((next-input)))
+arg: nil 3 (3 4 5)
+run: init-list/main 3: nil => ((3 integer))
+mem: ((3 integer)): 1004 <= nil
+run: init-list/main 3: nil => ((4 boolean))
+mem: ((4 boolean)): 1005 <= nil
+run: init-list/main 4: (((jump-unless)) ((4 boolean)) ((6 offset)))
+mem: ((4 boolean)) => nil
+run: init-list/main 11: (((1 list-address)) <- ((list-next)) ((1 list-address)))
+mem: ((1 list-address)) => 1031
+run: list-next/init-list/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal)))
+run: list-next/init-list/main 0: 1229 => ((default-space space-address))
+run: list-next/init-list/main 1: (((1 list-address)) <- ((next-input)))
+arg: nil 0 (1031)
+run: list-next/init-list/main 1: 1031 => ((1 list-address))
+mem: ((1 list-address)): 1231 <= 1031
+run: list-next/init-list/main 2: (((2 list-address)) <- ((get)) ((1 list-address) (deref)) ((1 offset)))
+mem: ((1033 list-address) (raw)) => 1034
+run: list-next/init-list/main 2: 1034 => ((2 list-address))
+mem: ((2 list-address)): 1232 <= 1034
+run: list-next/init-list/main 3: (((reply)) ((2 list-address)))
+mem: ((2 list-address)) => 1034
+run: init-list/main 11: 1034 => ((1 list-address))
+mem: ((1 list-address)): 1002 <= 1034
+run: init-list/main 12: (((reply)) ((1 list-address)))
+mem: ((1 list-address)) => 1034
+run: main 0: 1034 => ((1 integer))
+mem: ((1 integer)): 1 <= 1034
+schedule: done with routine nil