From f2fedb0cb1e4f6eff2e034646e72ceae4e8e7ae4 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Tue, 28 Dec 2021 13:09:14 +0100 Subject: [PATCH] Rebuild project --- build.xml | 115 +++++++++++------ samples/fitch/build.xml | 45 ++++--- samples/lambdacalc/build.xml | 14 +- samples/mpscore/build.xml | 242 ++++++++++++++++++++++++++--------- 4 files changed, 294 insertions(+), 122 deletions(-) diff --git a/build.xml b/build.xml index 4a846225..f78ff945 100644 --- a/build.xml +++ b/build.xml @@ -31,9 +31,11 @@ - - + + + + @@ -377,6 +379,7 @@ + @@ -1000,6 +1003,7 @@ + @@ -2914,6 +2918,7 @@ + @@ -3109,6 +3114,7 @@ + @@ -3455,6 +3461,7 @@ + @@ -3654,8 +3661,9 @@ + - + @@ -3697,8 +3705,9 @@ + - + @@ -3747,8 +3756,9 @@ + - + @@ -3814,8 +3824,9 @@ + - + @@ -3879,8 +3890,9 @@ + - + @@ -3928,8 +3940,9 @@ + - + @@ -3969,8 +3982,9 @@ + - + @@ -4018,12 +4032,12 @@ + - + - @@ -4104,12 +4118,12 @@ + - + - @@ -4179,12 +4193,12 @@ + - + - @@ -4260,12 +4274,12 @@ + - + - @@ -4343,12 +4357,12 @@ + - + - @@ -4421,8 +4435,9 @@ + - + @@ -4490,8 +4505,9 @@ + - + @@ -4544,8 +4560,9 @@ + - + @@ -4623,8 +4640,9 @@ + - + @@ -4699,10 +4717,10 @@ + - + - @@ -4757,8 +4775,9 @@ + - + @@ -4841,8 +4860,9 @@ + - + @@ -4899,8 +4919,9 @@ + - + @@ -4953,12 +4974,12 @@ + - + - @@ -5026,8 +5047,9 @@ + - + @@ -5096,8 +5118,9 @@ + - + @@ -5158,8 +5181,9 @@ + - + @@ -5209,8 +5233,9 @@ + - + @@ -5279,8 +5304,9 @@ + - + @@ -5330,8 +5356,9 @@ + - + @@ -5372,8 +5399,9 @@ + - + @@ -5410,8 +5438,9 @@ + - + @@ -5462,8 +5491,9 @@ + - + @@ -5520,8 +5550,9 @@ + - + @@ -5583,8 +5614,9 @@ + - + @@ -5634,6 +5666,7 @@ + diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index b909ca7b..91e9e395 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -34,9 +34,11 @@ - - + + + + @@ -81,9 +83,11 @@ + + @@ -241,9 +245,11 @@ + + @@ -399,9 +405,11 @@ + + @@ -557,9 +565,11 @@ + + @@ -964,12 +974,12 @@ + - + - @@ -1046,8 +1056,9 @@ + - + @@ -1094,12 +1105,12 @@ + - + - @@ -1176,8 +1187,9 @@ + - + @@ -1225,12 +1237,12 @@ + - + - @@ -1308,8 +1320,9 @@ + - + @@ -1358,12 +1371,12 @@ + - + - @@ -1440,8 +1453,9 @@ + - + @@ -1495,8 +1509,9 @@ + - + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index d43c22f9..6d908d28 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -34,9 +34,11 @@ - - + + + + @@ -85,9 +87,11 @@ + + @@ -441,8 +445,9 @@ + - + @@ -509,8 +514,9 @@ + - + diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index 3c8e4db0..7032fa3e 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -38,9 +38,11 @@ - - + + + + @@ -78,9 +80,11 @@ + + @@ -242,9 +246,11 @@ + + @@ -341,9 +347,11 @@ + + @@ -501,6 +509,7 @@ + @@ -744,9 +753,11 @@ + + @@ -899,9 +910,11 @@ + + @@ -1054,9 +1067,11 @@ + + @@ -1208,9 +1223,11 @@ + + @@ -1364,9 +1381,11 @@ + + @@ -1792,9 +1811,11 @@ + + @@ -2019,9 +2040,11 @@ + + @@ -2180,9 +2203,11 @@ + + @@ -2337,9 +2362,11 @@ + + @@ -2495,9 +2522,11 @@ + + @@ -2651,9 +2680,11 @@ + + @@ -2874,9 +2905,11 @@ + + @@ -3035,9 +3068,11 @@ + + @@ -3190,9 +3225,11 @@ + + @@ -3383,9 +3420,11 @@ + + @@ -3547,9 +3586,11 @@ + + @@ -3646,9 +3687,11 @@ + + @@ -3806,6 +3849,7 @@ + @@ -4049,9 +4093,11 @@ + + @@ -4204,9 +4250,11 @@ + + @@ -4359,9 +4407,11 @@ + + @@ -4513,9 +4563,11 @@ + + @@ -4669,9 +4721,11 @@ + + @@ -4835,9 +4889,11 @@ + + @@ -4996,9 +5052,11 @@ + + @@ -5157,9 +5215,11 @@ + + @@ -5314,9 +5374,11 @@ + + @@ -5472,9 +5534,11 @@ + + @@ -5628,9 +5692,11 @@ + + @@ -5784,9 +5850,11 @@ + + @@ -5945,9 +6013,11 @@ + + @@ -6100,9 +6170,11 @@ + + @@ -6481,8 +6553,9 @@ + - + @@ -6551,8 +6624,9 @@ + - + @@ -6617,8 +6691,9 @@ + - + @@ -6684,8 +6759,9 @@ + - + @@ -6740,8 +6816,9 @@ + - + @@ -6815,8 +6892,9 @@ + - + @@ -6882,15 +6960,14 @@ + - + - - @@ -6944,8 +7021,9 @@ + - + @@ -7013,8 +7091,9 @@ + - + @@ -7079,8 +7158,9 @@ + - + @@ -7147,8 +7227,9 @@ + - + @@ -7204,8 +7285,9 @@ + - + @@ -7271,8 +7353,9 @@ + - + @@ -7329,8 +7412,9 @@ + - + @@ -7396,8 +7480,9 @@ + - + @@ -7453,8 +7538,9 @@ + - + @@ -7521,8 +7607,9 @@ + - + @@ -7579,8 +7666,9 @@ + - + @@ -7649,8 +7737,9 @@ + - + @@ -7704,8 +7793,9 @@ + - + @@ -7771,8 +7861,9 @@ + - + @@ -7827,8 +7918,9 @@ + - + @@ -7889,8 +7981,9 @@ + - + @@ -7945,13 +8038,13 @@ + - + - @@ -8025,8 +8118,9 @@ + - + @@ -8087,8 +8181,9 @@ + - + @@ -8143,8 +8238,9 @@ + - + @@ -8205,8 +8301,9 @@ + - + @@ -8260,8 +8357,9 @@ + - + @@ -8318,8 +8416,9 @@ + - + @@ -8366,13 +8465,13 @@ + - + - @@ -8444,8 +8543,9 @@ + - + @@ -8530,8 +8630,9 @@ + - + @@ -8613,8 +8714,9 @@ + - + @@ -8692,8 +8794,9 @@ + - + @@ -8755,8 +8858,9 @@ + - + @@ -8815,8 +8919,9 @@ + - + @@ -8884,12 +8989,12 @@ + - + - @@ -8958,8 +9063,9 @@ + - + @@ -9013,8 +9119,9 @@ + - + @@ -9074,8 +9181,9 @@ + - + @@ -9131,8 +9239,9 @@ + - + @@ -9196,8 +9305,9 @@ + - + @@ -9260,8 +9370,9 @@ + - + @@ -9333,8 +9444,9 @@ + - + @@ -9398,8 +9510,9 @@ + - + @@ -9461,8 +9574,9 @@ + - + @@ -9531,8 +9645,9 @@ + - + @@ -9592,8 +9707,9 @@ + - + @@ -9647,8 +9763,9 @@ + - + @@ -9715,8 +9832,9 @@ + - + @@ -9776,12 +9894,12 @@ + - + - @@ -9850,12 +9968,12 @@ + - + -