From e25c1995aab5833323ee0784402ae7d3318b093e Mon Sep 17 00:00:00 2001 From: Jeremiah Orians Date: Sun, 27 Dec 2020 21:51:46 -0500 Subject: [PATCH] Make types more proper --- cc_core.c | 2 +- cc_types.c | 174 ++++++++++++++----------------------- test/test.answers | 92 ++++++++++---------- test/test1000/proof.answer | 2 +- 4 files changed, 115 insertions(+), 155 deletions(-) diff --git a/cc_core.c b/cc_core.c index fcde706..5a52e0a 100644 --- a/cc_core.c +++ b/cc_core.c @@ -323,7 +323,7 @@ void constant_load(struct token_list* a) void variable_load(struct token_list* a) { require(NULL != global_token, "incomplete variable load recieved\n"); - if(match("FUNCTION", a->type->name) && match("(", global_token->s)) + if((match("FUNCTION", a->type->name) || match("FUNCTION*", a->type->name)) && match("(", global_token->s)) { function_call(numerate_number(a->depth), TRUE); return; diff --git a/cc_types.c b/cc_types.c index 71ed07d..518c137 100644 --- a/cc_types.c +++ b/cc_types.c @@ -15,15 +15,59 @@ * You should have received a copy of the GNU General Public License * along with M2-Planet. If not, see . */ - #include "cc.h" -#include /* Imported functions */ int numerate_string(char *a); void line_error(); void require(int bool, char* error); +/* enable easy primitive extension */ +struct type* add_primitive(struct type* a) +{ + if(NULL == prim_types) return a; + struct type* i = prim_types; + while(NULL != i->next) + { + i = i->next; + } + i->next = a; + + return prim_types; +} + +/* enable easy primitive creation */ +struct type* new_primitive(char* name0, char* name1, char* name2, int size, int sign) +{ + /* Create type** */ + struct type* a = calloc(1, sizeof(struct type)); + require(NULL != a, "Exhusted memory while declaring new primitive**\n"); + a->name = name2; + a->size = register_size; + a->indirect = a; + a->is_signed = sign; + + /* Create type* */ + struct type* b = calloc(1, sizeof(struct type)); + require(NULL != b, "Exhusted memory while declaring new primitive*\n"); + b->name = name1; + b->size = register_size; + b->is_signed = sign; + b->indirect = a; + b->type = b; + a->type = b; + + struct type* r = calloc(1, sizeof(struct type)); + require(NULL != r, "Exhusted memory while declaring new primitive\n"); + r->name = name0; + r->size = size; + r->is_signed = sign; + r->indirect = b; + r->type = r; + + return r; +} + /* Initialize default types */ void initialize_types() { @@ -31,129 +75,45 @@ void initialize_types() else register_size = 4; /* Define void */ - global_types = calloc(1, sizeof(struct type)); - require(NULL != global_types, "Exhusted memory while intializing VOID\n"); - global_types->name = "void"; - global_types->is_signed = FALSE; - global_types->size = register_size; - global_types->type = global_types; - /* void* has the same properties as void */ - global_types->indirect = global_types; + struct type* hold = new_primitive("void", "void*", "void**", register_size, FALSE); + prim_types = add_primitive(hold); /* Define unsigned LONG */ - struct type* a = calloc(1, sizeof(struct type)); - require(NULL != a, "Exhusted memory while intializing SCM\n"); - a->name = "SCM"; - a->is_signed = FALSE; - a->size = register_size; - a->indirect = a; - a->type = a; + hold = new_primitive("MES","MES*", "MES**", register_size, FALSE); + prim_types = add_primitive(hold); /* Define LONG */ - struct type* b = calloc(1, sizeof(struct type)); - require(NULL != b, "Exhusted memory while intializing LONG\n"); - b->name = "long"; - b->is_signed = TRUE; - b->size = register_size; - b->indirect = b; - b->type = b; + hold = new_primitive("long", "long*", "long**", register_size, TRUE); + prim_types = add_primitive(hold); /* Define UNSIGNED */ - struct type* c = calloc(1, sizeof(struct type)); - require(NULL != c, "Exhusted memory while intializing UNSIGNE\n"); - c->name = "unsigned"; - c->is_signed = FALSE; - c->size = register_size; - c->type = c; - /* unsigned* has the same properties as unsigned */ - c->indirect = c; + hold = new_primitive("unsigned", "unsigned*", "unsigned**",register_size, FALSE); + prim_types = add_primitive(hold); /* Define int */ - struct type* d = calloc(1, sizeof(struct type)); - require(NULL != d, "Exhusted memory while intializing INT\n"); - d->name = "int"; - d->is_signed = TRUE; - d->size = register_size; - /* int* has the same properties as int */ - d->indirect = d; - d->type = d; - - /* Define char* */ - struct type* e = calloc(1, sizeof(struct type)); - require(NULL != e, "Exhusted memory while intializing CHAR*\n"); - e->name = "char*"; - e->is_signed = FALSE; - e->size = register_size; - e->type = e; + hold = new_primitive("int", "int*", "int**", register_size, TRUE); + prim_types = add_primitive(hold); /* Define char */ - struct type* f = calloc(1, sizeof(struct type)); - require(NULL != f, "Exhusted memory while intializing CHAR\n"); - f->name = "char"; - f->is_signed = FALSE; - f->size = 1; - f->type = f; - - /* Define char** */ - struct type* g = calloc(1, sizeof(struct type)); - require(NULL != g, "Exhusted memory while intializing CHAR**\n"); - g->name = "char**"; - g->is_signed = FALSE; - g->size = register_size; - g->type = e; - g->indirect = g; - - /*fix up indirects for chars */ - f->indirect = e; - e->indirect = g; + hold = new_primitive("char", "char*", "char**", 1, TRUE); + prim_types = add_primitive(hold); /* Define FILE */ - struct type* h = calloc(1, sizeof(struct type)); - require(NULL != h, "Exhusted memory while intializing FILE\n"); - h->name = "FILE"; - h->is_signed = TRUE; - h->size = register_size; - h->type = h; - /* FILE* has the same properties as FILE */ - h->indirect = h; + hold = new_primitive("FILE", "FILE*", "FILE**", register_size, TRUE); + prim_types = add_primitive(hold); /* Define FUNCTION */ - struct type* i = calloc(1, sizeof(struct type)); - require(NULL != i, "Exhusted memory while intializing FUNCTION\n"); - i->name = "FUNCTION"; - i->is_signed = FALSE; - i->size = register_size; - i->type = i; - /* FUNCTION* has the same properties as FUNCTION */ - i->indirect = i; + hold = new_primitive("FUNCTION", "FUNCTION*", "FUNCTION**", register_size, FALSE); + prim_types = add_primitive(hold); /* Primitives mes.c wanted */ - struct type* j = calloc(1, sizeof(struct type)); - require(NULL != j, "Exhusted memory while intializing SIZE_T\n"); - j->name = "size_t"; - j->is_signed = FALSE; - j->size = register_size; - j->indirect = j; + hold = new_primitive("size_t", "size_t*", "size_t**", register_size, FALSE); + prim_types = add_primitive(hold); - struct type* k = calloc(1, sizeof(struct type)); - require(NULL != k, "Exhusted memory while intializing SSIZE_T\n"); - k->name = "ssize_t"; - k->is_signed = FALSE; - k->size = register_size; - k->indirect = k; + hold = new_primitive("ssize_t", "ssize_t*", "ssize_t**", register_size, FALSE); + prim_types = add_primitive(hold); - /* Finalize type list */ - j->next = k; - i->next = j; - h->next = i; - g->next = h; - f->next = g; - d->next = f; - c->next = d; - b->next = c; - a->next = b; - global_types->next = a; - prim_types = global_types; + global_types = prim_types; } struct type* lookup_type(char* s, struct type* start) diff --git a/test/test.answers b/test/test.answers index 44991b0..9c8ffea 100644 --- a/test/test.answers +++ b/test/test.answers @@ -31,8 +31,8 @@ f79a26e349ef8beb447fddd3091c6fc448b040a4daff3cc48c58c39c3006d4e3 test/results/t d02e9fef852471241ee0f190e41b949c88a4085058a4fdd8e38468215b608619 test/results/test0005-aarch64-binary 5c600a6d3dcb8dd4833789c6fdc5e2ed074da73ea8b67e4639f3327cc3592db9 test/results/test0005-amd64-binary 9ac4394512cb401e4f375920cbaafe98e2a69c14e6d9b143c421581bc0f96255 test/results/test0005-armv7l-binary -bf4a3582c33ef9a03cad61541270d8c9aa6e912614d0ce2070e5b7afa9e7445f test/results/test0005-knight-native-binary -80a6b35630203b3130aac8e0a9ffb48e3a517a87c851f1ecd834df6412306d65 test/results/test0005-knight-posix-binary +66f964f025449632862eb190e668210a63535ae9d8c0dabde38c84f08f97b80b test/results/test0005-knight-native-binary +3e54a6270333eb17cba55ac6af43295cbf1a9f337d395f1d4126a11ea232e949 test/results/test0005-knight-posix-binary e61737d75d2ed0519412bd6360612eb7b1528952b3de12a27e74792bacb3d803 test/results/test0005-x86-binary b7386a02503542ad6994aed246fd9b01dc646988d9d94270db9cf818b755cf4b test/results/test0006-aarch64-binary 67b8b97a691b95b51d294eeee17c875dfd790c630def77dce0fecc243cd14a0b test/results/test0006-amd64-binary @@ -55,8 +55,8 @@ b54dd7a53e4e7619e7fe1761b827cfdf0c24b2317084ec7c06a7403c5d51c651 test/results/t d595865be0821679a9885e897fa57ffe8d559a0750113930e6466985f907dd53 test/results/test0009-aarch64-binary 5de426db9e0cc0943563a5f2464010b1aa27d4b72677945dd237fc3311691906 test/results/test0009-amd64-binary 5f037d86c6e0c352579ce223157963090fe56a72bf65467508f36fd3dd5bd7b2 test/results/test0009-armv7l-binary -3bf5d08fbb96e17f9244538e209e9f54a43ab54175e751201ee97338791f740a test/results/test0009-knight-native-binary -f59429424e04ac511b1b1fe4f8ff623d9a45cf916d87d695fff3393353e6e6a9 test/results/test0009-knight-posix-binary +80583e4bd2c04eaec31d73dfd62ae3b65ff527e672eadef1a1d5a2deaf1ab84e test/results/test0009-knight-native-binary +8641f78d02563b94f82aa4cea7ae4e3f339672c7b1a2375f9e2add2e7dfe5643 test/results/test0009-knight-posix-binary 7e073eac439a8aa7e8ec109eddd7104830cd38b7fe410b91e8050ea6dc32e9c7 test/results/test0009-x86-binary 3ae42622adb6a618744bb81a5a7b3ad175ed435ae9c500f7ed3abbf878801836 test/results/test0010-aarch64-binary 2ee9411b7f04829e892b2a3c818bf21268d91e3d0fefc438f10e6d6b06802dfa test/results/test0010-amd64-binary @@ -85,35 +85,35 @@ a2a2308a472736f56530fc66016503f2ecda3072175728b9950baa42af588d0a test/results/t 1486bd40eac8394d0b5d195cb648370f5726fb3daa2bbd008cbe5df6b77b7c88 test/results/test0014-aarch64-binary 3fde6df916fcb273770ee83eb0bc757fe6dedd022cfbe6cb91641ff335f7e3fd test/results/test0014-amd64-binary 390deb0728a6ee883ef4ccd4720041ee77a69d0d218b25403846704f6300d3e2 test/results/test0014-armv7l-binary -21ff1e3cc2e36bf3b096ab47487b37ec932aa51ddce106ed9fbb85945de1733d test/results/test0014-knight-posix-binary +9e731aeb4a7b9b65c83ef2e4c137c960bc371ddc28b172bfb55c2b7ccf9ffe35 test/results/test0014-knight-posix-binary e783d1a24a892f326ef8166d9fd0bf318d93fa7112b244973569e4332d9c5f0d test/results/test0014-x86-binary c060cca19b96fc6e31fd92a15527bfba428f41ff017900cc0ec7a2546c8e4277 test/results/test0015-aarch64-binary 987fd7780cbcf6940650035e8a9887fce77464506da6062ceafe00268a65b5b5 test/results/test0015-amd64-binary faa2be23f7e0e4ad26b047f040a1d05701d2ea808e3c5b2ca8396df13ddac282 test/results/test0015-armv7l-binary -0f5ff7e0f342872d60ea08fb9df1829e2b2c345e85a21757d8b41ff760f49e5f test/results/test0015-knight-posix-binary +b200e867ecfec96b33425e67e06cc553b68b5ea5ff8c8331964d56264bcd7de1 test/results/test0015-knight-posix-binary 84277f601594d06cff12a7e4c5af500a7e3ad298dca1e7eb369834899e1fd512 test/results/test0015-x86-binary 580e15ab50b46e00c46b64b028acec2ecb0fa45c356fdcccf40eda8943869d68 test/results/test0016-aarch64-binary c958d7552b737d9c5f085f1f26b2f8ea02989194a1ca45387cd6258639535f37 test/results/test0016-amd64-binary 853dcdc7389018f8ea01c7e8255b5b3e82ab999049753bd33bcc3c16ac697c4e test/results/test0016-armv7l-binary -f9eca6184dc7286aadaf86a915f222d55368a58e5114d8ef1ea92357f4723e9f test/results/test0016-knight-posix-binary +9d47ad6f4124521063c0894e5219871ed0561320ba52910c58102bb4cea2b820 test/results/test0016-knight-posix-binary 24a733d7d6c9c59b5a6ea0463ee724f6af169f58fc9b63beb906e097fa269989 test/results/test0016-x86-binary ca186d12b91ad4f89141c05345680fe83a161766ba4bb49ff0ea28bde77e89b1 test/results/test0017-aarch64-binary bd70143ec9764bd5681c72e173b6baaca7a486c9330974ca82fb7e997249f572 test/results/test0017-amd64-binary 4618cba0ac8a2aa09c434388be9e2275cfb512c457a9f10e2ec64c06a3f4cf2c test/results/test0017-armv7l-binary -9355ab69b6e7086f040903bccf1a36fe6adde3e1f627d809f8807168b5dea1e6 test/results/test0017-knight-native-binary -e43706738c5cbd6ec7278120583d4b854bf8e8c56199807a8f70525870f251d1 test/results/test0017-knight-posix-binary +8aef1d611095930c3bf681cf11f95289743cdab6e8f0737b38f572c492a9d36c test/results/test0017-knight-native-binary +9ebaeb010fa8f6a563133bed52c76758f444dce9e79509958d44abcecc73013a test/results/test0017-knight-posix-binary 43124b01045e81627d7f5fd4aedb22166fa5f51790b3e5497e0d796241ee7902 test/results/test0017-x86-binary bdb95323821eea5b757445d1d4a8f79256a4b665c2a0666cbbb7931550ba4a6f test/results/test0018-aarch64-binary 7c880e70934335682896ef3ab6e01f96482d59185b13302c94127126a0b25949 test/results/test0018-amd64-binary 2ad21d7b2536304f9effd97d8614036b0d453a10ba4da3c09b490d6447271a42 test/results/test0018-armv7l-binary -cc0da63ac84b37fef8e0367246a01b3aea7be95dd410297d80500e8d43a54b32 test/results/test0018-knight-native-binary -a2cba152dd5dd47a574aec274d22fbda6efad301ddd942cdd928b69f92902fcb test/results/test0018-knight-posix-binary +f31fbd190e6dceda05b33a71692926845127f4f73eab08a143a17b5f2611e6e3 test/results/test0018-knight-native-binary +f3b5326969cb68a0f8e4e3e138af24e70114510dda2ad5a7cc27e608e4aecc9a test/results/test0018-knight-posix-binary 2994452b3b9b8e6412d3af3d50645ac7241a3dcec22b5ad99a24652b83c06367 test/results/test0018-x86-binary -09677cd8645a1132cb3ef97e273345fc615a80bbcbfde877b2542516a6a9c9a5 test/results/test0019-aarch64-binary -21a327fac030c95acf88b381f8d465236bea4e5a09810ecdbd21fec7e4e14e3b test/results/test0019-amd64-binary -62f54477c4e06a06dc81e7c2ae8a52e0ad7591e65631c6c169bd015b262720b2 test/results/test0019-armv7l-binary -e7fdbabe8ff383a558a6c148117f30e129107d67cc35b939c22515cd95fbd248 test/results/test0019-knight-posix-binary -d962c2cf24dfe6671b1faa3c748dfada2b8ccd1cd7f92bab1461ecd8266517a1 test/results/test0019-x86-binary +19a5ae1de1a04ca9ac77c8271a7edb30bc8f0e75e1fbb3992127c56effaab3d4 test/results/test0019-aarch64-binary +eec931ccfc3881b486a2b2b3be60b393ddaf0e90452044602eb41aba52275bfd test/results/test0019-amd64-binary +35f88e82c2ff88176074ec812f1fdde7cf83a8940bd1dc5cabf8db8bd6793004 test/results/test0019-armv7l-binary +1e11972b0addb19aa820bc912a4412e430cc87e67dcf8ddd1ab441f142dd1302 test/results/test0019-knight-posix-binary +02eeb3b8d55d2919ff9ec200b3992e3e64116863acc4951799a1c6263fd14e64 test/results/test0019-x86-binary 6b31e8ee54270d38a1801f7614ae6247f59d44a2758f344b07a72794019290f4 test/results/test0020-aarch64-binary 6b2956b106dd16bb55d8d011b48e674ee3b70bbb0bb83efadca01d446666e21e test/results/test0020-amd64-binary b29aca7f0b63659915fe431e290f821cf17071983613021aacb8985d376bb206 test/results/test0020-armv7l-binary @@ -123,54 +123,54 @@ d2e5a7672854bf190dd6e2f08081a5dbea22c08d77b4a62f76af68db033aea14 test/results/t baa510d2b782c31d1c9edd402271e2ddf00542aefd6f4780b6975db5a1665e0c test/results/test0021-aarch64-binary f10d5378c91d716270ca8e876ed1acb0eb68b48a6e04d5d5e39b22dd4e3bf98c test/results/test0021-amd64-binary a9c09864fd326b9b42bc5a32dc32d248dbfcfa87ccdd97cfd21ee95af39a3db9 test/results/test0021-armv7l-binary -d7710f837d6461d5eb2391614553c7f69fa7e6211b201dca7790d21eeac6150a test/results/test0021-knight-posix-binary +0715ba9a1b0d6bb862fbd6ff11526455d2a7e85f4c38b7a021598701e3cf14f1 test/results/test0021-knight-posix-binary a15eb906ec578aa930ad884a62668f71a8b0572b8a7f7122f1701af8e544e6b5 test/results/test0021-x86-binary 14b9a108bdee811c0e9ff3f1be1299767a0d8b49319efbfd9b5f269bf5a057ec test/results/test0022-aarch64-binary 55fe99fe544bf885da6f3e9ab5463d75cd79e85053179b65ee122716792cbc15 test/results/test0022-amd64-binary 2d63c3a5a2c5b5ae2ea2e93c430027b4b418e229a963c66b9a3bc34307a55eba test/results/test0022-armv7l-binary -518da1385c7e6012743e43d4dc8054f9b40e2f1bd59a8e218716a52a71e3f149 test/results/test0022-knight-posix-binary +a23a357cabc995330776fa01c7cf41978b100c36b0e3c76d1297db0e953c1bc3 test/results/test0022-knight-posix-binary c0ae823494140f557c71f9e67c14942d27b95200bdfd09477215fca8f936750f test/results/test0022-x86-binary 835928a11aae4288a665818f052f8149aca9ed5f420e0dfe7cf2cd33efdfc8d8 test/results/test0023-aarch64-binary 2dd1e5fc9c55ba3fa4af837cbfdd4203d90f84ff9b122854f8606db9f421b9e5 test/results/test0023-amd64-binary d7b2ad248521de84f3b4d8194ab6b330f3e5fda0043368f57be0d30f9949172b test/results/test0023-armv7l-binary -cf71f340a0721d94c6df56b8681106a6ceb2ea533631ac8b0948f798e2968fd5 test/results/test0023-knight-posix-binary +f793452848e538381213923ecbd209253fabe391bd56c03f4f95d3ce1c4d5982 test/results/test0023-knight-posix-binary 6f7bfca720543c691dfa26e6a675333868291fd0a64175234c62fc6fdccdac11 test/results/test0023-x86-binary 65a25f4ee09e7ad4a0c44f6dad7e5a64aa1e62ac98d8f8d58d91a8b3a34ebe00 test/results/test0100-aarch64-binary 4d4d7dc249a4fc1788f4443a7a5feba51392a73dc1b80297a510cbca41afd71e test/results/test0100-amd64-binary 98ebb4ac496ed255d769383d027b0bf358f280b248a0994b30c047d2d5506ec4 test/results/test0100-armv7l-binary -006e590e7afb46cd8affa48f9b44cafeee45e598b9b757090cdb07b5cb76b785 test/results/test0100-knight-posix-binary +7de66384bcf268d71f780853690e90cd12daebbb9227d3f0af7f51238185c690 test/results/test0100-knight-posix-binary 149131e095f7ed477776dde44daffc7df7e477c9ed56c63a5bffe54e02317bb7 test/results/test0100-x86-binary 24199867cd2dea9b68c5df1499e220f08ac97eb09debd3b3621fb80ae588eb71 test/results/test0101-aarch64-binary a3ea92189ade45911d5f6baf08311e68d9318773a19507a0cc679d6ab8b4508d test/results/test0101-amd64-binary 252237eaaa9940b65aaf82a3667e8c59ccb78222c58e0b66b9a1dff6ee2e72e8 test/results/test0101-armv7l-binary -c1c4af38b2517f31d6b5dc0f5ad8edf77275c32fff1a033b312d7209b00d1ca3 test/results/test0101-knight-posix-binary +d120df140cc77037e3d16d1aee7482d270f55660a594c19be91cddc66de687f7 test/results/test0101-knight-posix-binary 237206c9d5f6c17cc11a4c3023221ecaf4044b69ddd0d56c81ce38a349838a6e test/results/test0101-x86-binary -a44438418b7bf0cff3c34a577a8e505df27087f3ff8d7cf59b4fe7ff9445de0d test/results/test0102-aarch64-binary -ad201d1b8234e3edde7b1bafc69111c825d0c3a66f3c40bf684ac3e3d862aa9b test/results/test0102-amd64-binary -ecd03edac58789b6becf550bef7b978b88dc924eaad44156f80f4b67b8c07c5b test/results/test0102-armv7l-binary -257f5754fea1340806ddfe12187089bb61d5f8eafdd9b6001a8284fdc570f523 test/results/test0102-knight-posix-binary -275151a26cf0b3d03f83ec22890e594b64eb6ec5e248e5e7fb2a63e539233817 test/results/test0102-x86-binary +bdd6707d00c4798e9ff9ccd8cc30c8d747972c902f2df566463cfb8e1a248c8e test/results/test0102-aarch64-binary +071b97ad4358149e599baa98995c9883f10f8a445ad8b315fd6bcb28a8361955 test/results/test0102-amd64-binary +9b3e49b90e387c5f66160558b0bcce3cb0ce077ab4b35848a1b0809118b0d1b4 test/results/test0102-armv7l-binary +bf72fdc0514c83b93bf15f383a20b04f8ffd8c8b6c59b79c2963311b0657c6e9 test/results/test0102-knight-posix-binary +a390e87df31198ebcf85fe94107c10d9606a7d21efe4383f3ede6eafb0d80fb0 test/results/test0102-x86-binary 603fd4fe17f8ef9eac12116003941702849b720021da23dc32582ca41192a792 test/results/test0103-aarch64-binary f2114b5217c12952a85d580ad5914dd679888d93d176ee132ace9e8773916b3b test/results/test0103-amd64-binary 79cbb69a747b07d729db736bc177b52b344106387831a0210ff18fce92edf1cc test/results/test0103-armv7l-binary -17d5aa94e566cecd823da718339dd32e9a7bcdc362d4d19d97f99c229f3cbfc2 test/results/test0103-knight-posix-binary +e0e387777249ec8abb841271544a74361207a4c347d304f87a1e5c5d22353a7a test/results/test0103-knight-posix-binary 0c2d649cc31421403d4b0a60d5358e21ad6a5385b79a83199c78ca7d1c828d06 test/results/test0103-x86-binary -148409b8028c82ab6bd509f7b4c80bafd167ff21f3786839c377daded92a3fab test/results/test0104-aarch64-binary -4be479a994e2fda8e3bc91889887bdcad6fce07a84c909b37b2c4132bdf049d8 test/results/test0104-amd64-binary -2e6f92a3ca2487b2353f454fb14308b6b7b5d45de090b77bdbb8dc7575543d98 test/results/test0104-armv7l-binary -4343c76bdcbfd0aa20e9a0cb4c219b6e3a76cd482fb10ba7455e2faf71c5422d test/results/test0104-x86-binary -24cc83fba758141c46f7253d7a3cbaa7811acc040e7d17d5282537bfe3fab351 test/results/test0105-aarch64-binary -2fabd191ab6f3f84d0a56b8c7a354ca790ff8c194a4d028a703c044183231e0d test/results/test0105-amd64-binary -b8b1363528ead3cba5150133603028a01fe874b06cd8624fa29460a4ed61598d test/results/test0105-armv7l-binary -73936911afe04af2ee304dcbb771adb724f0e03f02c6646fbd212e06bf2707d6 test/results/test0105-x86-binary -b99420bf409d1278fb6fe5399ebb0b08ea1f085612538d43f0905999ae8fb51f test/results/test0106-aarch64-binary -08fca71251c58c06a0a6f50e1f3b7998262fe4bba9bb5ba86542ef6a22d66a77 test/results/test0106-amd64-binary -d6862b7f6eaecaaa58250affb502d7cedcbe709a48dc5296f0cbe8ffca9b19d7 test/results/test0106-armv7l-binary -6df8566e7f2376a6358e1127d5cc42654115654b75d08be5748292edad852b1c test/results/test0106-knight-native-binary -e0f0476d9b284bd55ccabc668821e8a9c71746732b4972f007065c1915fef9f9 test/results/test0106-knight-posix-binary -4c3823773941db9316ef4febb41b6f2a9d9f5932403910d357227457ef985b86 test/results/test0106-x86-binary -635f5708056737753825e4e648f9445fcf77ded312c101eaadd104a83f8fd976 test/results/test1000-aarch64-binary -9ba7f20b82fe2bfb811c1c4770c04ab48188038bb1cb29047b61e458c3e94d3a test/results/test1000-amd64-binary -9d95585095cd854420eac1758858da11cd160f84dad411ff29a16206c87a8aa7 test/results/test1000-armv7l-binary -435ba96009d474e1cd48e1c32141210bb92b6a30e7edbfb788a3f7f3200364fb test/results/test1000-knight-posix-binary -67a1ead2124a49f00d15d15cd1967e88f9fed9e4580b164d6839297103af19a3 test/results/test1000-x86-binary +6f790c101e6c6c257726ef453511e517b2380331712766f9c8dd0d432fee4012 test/results/test0104-aarch64-binary +105c7463716dc5dd98a6215b60ffc44d62294cf2b4fa75492bfdf6b3040fd700 test/results/test0104-amd64-binary +846ab4a92ab210a1bed125420fc9d5a92f44d747e24d7364ba0b21e30aeb8a2b test/results/test0104-armv7l-binary +d5e6ab4d128494f36ff52ef025ef4038bc80fe8387081794cf0efe840208db6f test/results/test0104-x86-binary +b7de190073aa310fbf0b1ffdb6200715e058bb094d07c72975b9fbf24a947197 test/results/test0105-aarch64-binary +417b319bc75916a35f339ca515fd8aa75ce97dd9743e134c9b39fefb3ac48012 test/results/test0105-amd64-binary +7ae287efefe4abeb9db6730da8c4db9273475b9666371bc4ea6c58c7e0486b74 test/results/test0105-armv7l-binary +2ec53d0fb23f0463cf095744f421b95445eb7d7b76170dc177673a0d604a2de2 test/results/test0105-x86-binary +682b63f332ee299bf4afb91356004b96a223e309dc44a7efeb1cbcd9f21aeb4c test/results/test0106-aarch64-binary +503b06b04ca1c5452489e20ff6b5288e592d74f312515246e6d992d2cb0f36fc test/results/test0106-amd64-binary +a2a83f42119e646b389b98647cf6cf2aa9597185997c9453db746178c8c4c0bf test/results/test0106-armv7l-binary +698853b79efb30865a663c4863c050639eb21c7400008f7840830503928973d4 test/results/test0106-knight-native-binary +45c2ba61dc209d7ffa39de9ff0f0a7f8f3ea4d7e38598c72f982fcaf9a05c84a test/results/test0106-knight-posix-binary +944580ff4aae38aafac139faf6eed5bfe4ff68b01a7a3adfa346de8803101182 test/results/test0106-x86-binary +d88bdc8875c2266f69915a12f1dfbabc0ebf46d049cfee274e2152d0061e3649 test/results/test1000-aarch64-binary +5182beb657413c11e8499612c8da47bf000fae579757716590819ac90f9b2e97 test/results/test1000-amd64-binary +fa29913b7e5b56ab2f55bb40e855943a85094d51fb3f732d34333caa35fcc75d test/results/test1000-armv7l-binary +790e3fc1fc0cef681e6d62e2379814d4c05934f7168de02f9014479e90cf967d test/results/test1000-knight-posix-binary +d86407a4518350fadd7720f127df2d74973ab2c3a900eba68f65b6e5eb2a09c2 test/results/test1000-x86-binary diff --git a/test/test1000/proof.answer b/test/test1000/proof.answer index 580480d..412b1f0 100644 --- a/test/test1000/proof.answer +++ b/test/test1000/proof.answer @@ -1 +1 @@ -2b7cff178912c6203289718cf2d63d125743c7c20ad27972b5bbadf8c839ebd0 test/test1000/proof +23a1ed9f3f0f21fbc6d860615ad997df9490917c31613f4543bbaeeee1e7cf8b test/test1000/proof