From e551db2d833f2527b35de97fc6b23025dff5f6ab Mon Sep 17 00:00:00 2001 From: crc Date: Tue, 29 Dec 2020 19:47:07 +0000 Subject: [PATCH] nga-python: add d:words and related to default embedded image FossilOrigin-Name: aac302474102db7351f1a1131ffbd61a015b14545c178c8b495f494dbc77d9eb --- Makefile.python | 2 +- vm/nga-python/InitialImage.py | 32 +++++++++++++++++++++++--------- 2 files changed, 24 insertions(+), 10 deletions(-) diff --git a/Makefile.python b/Makefile.python index efb1392..247295f 100644 --- a/Makefile.python +++ b/Makefile.python @@ -2,6 +2,6 @@ PYTHON ?= python3 default: cp ngaImage pythonImage - retro-extend pythonImage interface/clock.retro interface/filesystem.retro interface/floatingpoint.retro interface/rng.retro + retro-extend pythonImage interface/clock.retro interface/filesystem.retro interface/floatingpoint.retro interface/rng.retro package/dict-words-listing.forth $(PYTHON) tools/retro-embedimage.py pythonImage >vm/nga-python/InitialImage.py rm -f pythonImage diff --git a/vm/nga-python/InitialImage.py b/vm/nga-python/InitialImage.py index a344f9c..7c0238d 100644 --- a/vm/nga-python/InitialImage.py +++ b/vm/nga-python/InitialImage.py @@ -1,10 +1,10 @@ InitialImage = [ -1793, -1, 12582, 12597, 202101, 0, 10, 1, 10, 2, 10, +1793, -1, 12716, 12758, 202101, 0, 10, 1, 10, 2, 10, 3, 10, 4, 10, 5, 10, 6, 10, 7, 10, 8, 10, 9, 10, 10, 11, 10, 12, 10, 13, 10, 14, 10, 15, 10, 16, 10, 17, 10, 18, 10, 19, 10, 20, 10, 21, 10, 22, 10, 23, 10, 24, 10, 25, -10, 68223234, 1, 2575, 85000450, 1, 656912, 357, 339, 268505089, 63, +10, 68223234, 1, 2575, 85000450, 1, 656912, 3211, 3220, 268505089, 63, 62, 285281281, 0, 63, 2063, 10, 101384453, 0, 9, 10, 2049, 56, 25, 459011, 76, 524546, 76, 302256641, 1, 10, 16974595, 0, 50529798, 10, 25, 524547, 95, 50529798, 10, 17108738, 1, 251790353, 101777669, @@ -15,12 +15,12 @@ InitialImage = [ 107, 1793, 107, 16846593, 126, 141, 140, 1793, 64, 16846593, 126, 112, 140, 1793, 64, 7, 10, 659713, 1, 659713, 2, 659713, 3, 1793, 168, 17108737, 3, 2, 524559, 107, 2049, 107, 2049, -107, 2049, 121, 168820998, 2, 737, 1025, 167841793, 181, 5, 17826049, +107, 2049, 121, 168820998, 2, 3196, 1025, 167841793, 181, 5, 17826049, 0, 181, 2, 15, 25, 524546, 164, 134287105, 182, 95, 2305, 183, 459023, 191, 134287361, 182, 186, 659201, 181, 2049, 56, 25, 84152833, 48, 286458116, 10, 459014, 206, 184618754, 45, 25, 16974851, -1, 168886532, 1, 134284289, 1, 215, 134284289, 0, 206, 660227, 32, 0, -0, 112, 114, 101, 102, 105, 120, 58, 32, 0, 285278479, +0, 112, 114, 101, 102, 105, 120, 58, 125, 0, 285278479, 232, 7, 2576, 524546, 81, 1641217, 1, 167838467, 229, 2049, 245, 2049, 241, 524545, 232, 201, 17826050, 231, 0, 2572, 2563, 2049, 222, 1793, 133, 459023, 133, 17760513, 146, 3, 166, 8, 251727617, @@ -92,9 +92,9 @@ InitialImage = [ 0, 986, 107, 146, 100, 0, 991, 410, 146, 114, 0, 996, 339, 146, 101, 114, 114, 58, 110, 111, 116, 102, 111, 117, 110, 100, 0, 0, 0, 0, 0, 0, 0, -0, 0, 59, 0, 58, 114, 110, 103, 45, 111, 112, -101, 114, 97, 116, 105, 111, 110, 0, 0, 49, 48, -95, 78, 79, 84, 95, 70, 79, 85, 78, 68, 0, +0, 0, 125, 125, 0, 111, 114, 45, 101, 97, 99, +104, 0, 108, 101, 102, 116, 0, 110, 103, 45, 119, +105, 116, 104, 0, 95, 70, 79, 85, 78, 68, 0, 125, 126, 0, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, @@ -285,7 +285,7 @@ InitialImage = [ 3108, 2049, 2110, 16, 10, 3093, 3126, 146, 99, 111, 112, 121, 0, 1793, 3135, 285278725, 1, 33951492, 268767489, 1, 6, 10, 1, 3128, 2049, 2275, 771, 10, 3118, 3154, 146, 83, 99, -111, 112, 101, 76, 105, 115, 116, 0, 12330, 12476, 10, +111, 112, 101, 76, 105, 115, 116, 0, 12622, 12674, 10, 3141, 3163, 146, 123, 123, 0, 2049, 1570, 2, 1, 3154, 2049, 59, 16, 10, 3157, 3188, 146, 45, 45, 45, 114, 101, 118, 101, 97, 108, 45, 45, 45, 0, 2049, 1570, @@ -1144,4 +1144,18 @@ InitialImage = [ 110, 103, 45, 111, 112, 101, 114, 97, 116, 105, 111, 110, 0, 2049, 12488, 3841, 12475, 2049, 9135, 10, 12555, 12594, 146, 110, 58, 114, 97, 110, 100, 111, 109, 0, 2049, -12575, 10, 0, ] +12575, 10, 12582, 12608, 146, 100, 58, 119, 111, 114, 100, +115, 0, 1793, 12617, 2049, 164, 2049, 9248, 2049, 9222, 10, +1, 12610, 2049, 7454, 10, 12597, 12638, 146, 100, 58, 119, +111, 114, 100, 115, 45, 119, 105, 116, 104, 0, 2049, +1874, 2049, 4648, 1793, 12669, 2049, 164, 2, 2049, 1874, 2049, +4162, 1793, 12658, 2049, 9248, 2049, 9222, 10, 1, 12653, 1793, +12664, 3, 10, 1, 12662, 2049, 64, 10, 1, 12644, 2049, +7454, 10, 12622, 12693, 146, 100, 105, 115, 112, 108, 97, +121, 45, 105, 102, 45, 108, 101, 102, 116, 0, 2, +2049, 1874, 2049, 4598, 1793, 12705, 2049, 9248, 2049, 9222, 10, +1, 12700, 1793, 12711, 3, 10, 1, 12709, 2049, 64, 10, +12622, 12742, 146, 100, 58, 119, 111, 114, 100, 115, 45, +98, 101, 103, 105, 110, 110, 105, 110, 103, 45, 119, +105, 116, 104, 0, 2049, 1874, 2049, 4648, 1793, 12753, 2049, +164, 2049, 12693, 10, 1, 12748, 2049, 7454, 10, 0, ]