From d0ffcb66ef5494495ae29705d04b5e8f566b0a31 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Mon, 20 May 2019 14:59:51 +0200 Subject: [PATCH] Regenerated project. --- build.xml | 3191 ++++++++++++++++++++++++---------- samples/fitch/build.xml | 653 ++++--- samples/lambdacalc/build.xml | 171 +- samples/mpscore/build.xml | 219 ++- 4 files changed, 3000 insertions(+), 1234 deletions(-) diff --git a/build.xml b/build.xml index f324a3fb..dbd904a5 100644 --- a/build.xml +++ b/build.xml @@ -34,7 +34,19 @@ - + + + + + + + + + + + + + @@ -64,28 +76,74 @@ - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -103,19 +161,42 @@ - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -153,13 +234,15 @@ - + + + + + + - - - @@ -175,18 +258,35 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -217,20 +317,38 @@ - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -263,29 +381,89 @@ - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -303,21 +481,50 @@ - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -356,20 +563,40 @@ - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -400,19 +627,35 @@ - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -443,21 +686,39 @@ - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -490,21 +751,42 @@ - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -534,20 +816,36 @@ - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -577,21 +875,57 @@ - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -608,20 +942,50 @@ - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -660,16 +1024,24 @@ - - - - - - - - - + + + + + + + + + + + + + + + + + @@ -699,21 +1071,45 @@ - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -744,16 +1140,26 @@ - - - - - - - - - + + + + + + + + + + + + + + + + + + + @@ -783,21 +1189,49 @@ - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -828,28 +1262,69 @@ - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -866,18 +1341,34 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -916,6 +1407,9 @@ + + + @@ -945,24 +1439,52 @@ - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -992,22 +1514,54 @@ - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1025,18 +1579,36 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1075,21 +1647,47 @@ - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1120,17 +1718,29 @@ - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + @@ -1160,20 +1770,39 @@ - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1203,21 +1832,51 @@ - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1234,20 +1893,42 @@ - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1286,16 +1967,26 @@ - - - - - - - - - + + + + + + + + + + + + + + + + + + + @@ -1325,21 +2016,47 @@ - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1396,7 +2113,19 @@ - + + + + + + + + + + + + + @@ -1426,28 +2155,74 @@ - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1465,19 +2240,42 @@ - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1515,13 +2313,15 @@ - + + + + + + - - - @@ -1537,18 +2337,35 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1579,29 +2396,89 @@ - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1619,21 +2496,50 @@ - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1672,20 +2578,40 @@ - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1716,19 +2642,35 @@ - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1759,21 +2701,39 @@ - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1806,21 +2766,42 @@ - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1850,21 +2831,57 @@ - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1881,20 +2898,50 @@ - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1933,16 +2980,24 @@ - - - - - - - - - + + + + + + + + + + + + + + + + + @@ -1972,21 +3027,45 @@ - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2017,16 +3096,26 @@ - - - - - - - - - + + + + + + + + + + + + + + + + + + + @@ -2056,21 +3145,49 @@ - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2101,21 +3218,57 @@ - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2132,20 +3285,50 @@ - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2184,16 +3367,24 @@ - - - - - - - - - + + + + + + + + + + + + + + + + + @@ -2223,22 +3414,54 @@ - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2256,18 +3479,36 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2306,21 +3547,47 @@ - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2351,17 +3618,29 @@ - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + @@ -2391,20 +3670,39 @@ - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2434,21 +3732,51 @@ - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2465,20 +3793,42 @@ - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2517,16 +3867,26 @@ - - - - - - - - - + + + + + + + + + + + + + + + + + + + @@ -2561,10 +3921,7 @@ - - - - + @@ -2588,10 +3945,12 @@ + - + + @@ -2604,10 +3963,12 @@ + + @@ -2617,6 +3978,7 @@ + @@ -2664,18 +4026,12 @@ - - - - - - @@ -2742,7 +4098,7 @@ - + @@ -2765,19 +4121,20 @@ - - - - + + + + + - + @@ -2801,19 +4158,20 @@ - - - - + + + + + - + @@ -2854,19 +4212,20 @@ - - - - + + + + + - + @@ -2905,19 +4264,20 @@ - - - - + + + + + - + @@ -2945,19 +4305,20 @@ - - - - + + + + + - + @@ -2981,24 +4342,25 @@ + + - - - - + + - + + @@ -3052,24 +4414,25 @@ + + - - - - + + - + + @@ -3122,24 +4485,25 @@ + + - - - - + + - + + @@ -3188,24 +4552,25 @@ + + - - - - + + - + + @@ -3235,24 +4600,25 @@ + + - - - - + + - + + @@ -3282,24 +4648,25 @@ + + - - - - + + - + + @@ -3338,24 +4705,25 @@ + + - - - - + + - + + @@ -3389,24 +4757,25 @@ + + - - - - + + - + + @@ -3445,24 +4814,25 @@ + + - - - - + + - + + @@ -3498,24 +4868,25 @@ + + - - - - + + - + + @@ -3569,19 +4940,20 @@ - - - - + + + + + - + @@ -3605,24 +4977,25 @@ + + - - - - + + - + + @@ -3666,24 +5039,25 @@ + + - - - - + + - + + @@ -3728,24 +5102,25 @@ + + - - - - + + - + + @@ -3778,24 +5153,25 @@ + + - - - - + + - + + @@ -3832,19 +5208,20 @@ - - - - + + + + + - + @@ -3893,24 +5270,25 @@ + + - - - - + + - + + @@ -3950,19 +5328,20 @@ - - - - + + + + + - + @@ -3988,19 +5367,20 @@ - - - - + + + + + - + @@ -4028,19 +5408,20 @@ - - - - + + + + + - + @@ -4080,24 +5461,25 @@ + + - - - - + + - + + @@ -4133,19 +5515,20 @@ - - - - + + + + + - + @@ -4168,25 +5551,26 @@ + + - - - - + + - + + @@ -4212,6 +5596,8 @@ + + @@ -4224,10 +5610,12 @@ + + @@ -4237,6 +5625,7 @@ + @@ -4279,18 +5668,12 @@ - - - - - - @@ -4316,10 +5699,10 @@ + - diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index 22a52621..551a9077 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -38,32 +38,77 @@ - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -80,18 +125,34 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -130,27 +191,66 @@ - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -167,18 +267,34 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -217,28 +333,69 @@ - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -255,18 +412,34 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -305,28 +478,68 @@ - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -343,18 +556,34 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -393,20 +622,35 @@ - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -465,6 +709,8 @@ + + @@ -476,10 +722,12 @@ + + @@ -489,6 +737,7 @@ + @@ -530,18 +779,12 @@ - - - - - - @@ -595,24 +838,25 @@ + + - - - - + + - + + @@ -661,24 +905,25 @@ + + - - - - + + - + + @@ -701,24 +946,25 @@ + + - - - - + + - + + @@ -768,24 +1014,25 @@ + + - - - - + + - + + @@ -809,24 +1056,25 @@ + + - - - - + + - + + @@ -877,24 +1125,25 @@ + + - - - - + + - + + @@ -919,24 +1168,25 @@ + + - - - - + + - + + @@ -986,24 +1236,25 @@ + + - - - - + + - + + @@ -1030,24 +1281,25 @@ + + - - - - + + - + + @@ -1103,6 +1355,8 @@ + + @@ -1113,10 +1367,12 @@ + + @@ -1125,6 +1381,7 @@ + @@ -1162,18 +1419,12 @@ - - - - - - diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index 031c30d6..3978cf31 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -38,28 +38,77 @@ - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -89,20 +138,30 @@ - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + @@ -171,6 +230,8 @@ + + @@ -182,10 +243,12 @@ + + @@ -194,6 +257,7 @@ + @@ -234,18 +298,12 @@ - - - - - - @@ -283,24 +341,25 @@ + + - - - - + + - + + @@ -338,24 +397,25 @@ + + - - - - + + - + + @@ -408,6 +468,8 @@ + + @@ -418,10 +480,12 @@ + + @@ -430,6 +494,7 @@ + @@ -467,18 +532,12 @@ - - - - - - diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index d38ca535..2dfa2656 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -38,25 +38,61 @@ - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -86,20 +122,38 @@ - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -129,22 +183,40 @@ - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -217,6 +289,8 @@ + + @@ -227,16 +301,19 @@ + + + @@ -277,18 +354,12 @@ - - - - - - @@ -327,24 +398,25 @@ + + - - - - + + - + + @@ -392,24 +464,25 @@ + + - - - - + + - + + @@ -452,25 +525,26 @@ + + - - - - + + - + + @@ -527,6 +601,8 @@ + + @@ -536,16 +612,19 @@ + + + @@ -583,18 +662,12 @@ - - - - - -