From 6a9713ab3ca93a087e335a04a18296b00411b5e2 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Fri, 28 Jul 2023 15:26:26 +0200 Subject: [PATCH] Rebuild project with latest MPS 2023.2 EAP --- build.xml | 275 ++++++++++++---------- samples/fitch/build.xml | 63 ++--- samples/lambdacalc/build.xml | 14 +- samples/mpscore/build.xml | 443 ++++++++++++++++++++--------------- 4 files changed, 450 insertions(+), 345 deletions(-) diff --git a/build.xml b/build.xml index 5e3e8a87..e50f7cae 100644 --- a/build.xml +++ b/build.xml @@ -4011,7 +4011,6 @@ - @@ -4019,7 +4018,6 @@ - @@ -4031,16 +4029,19 @@ - - - + + + + + + @@ -4063,7 +4064,9 @@ - + + + @@ -4071,6 +4074,7 @@ + @@ -4109,12 +4113,10 @@ - - @@ -4124,16 +4126,19 @@ - - - + + + + + + @@ -4157,12 +4162,10 @@ - - @@ -4174,16 +4177,19 @@ - - - + + + + + + @@ -4213,10 +4219,8 @@ - - @@ -4230,7 +4234,9 @@ - + + + @@ -4238,6 +4244,7 @@ + @@ -4286,10 +4293,8 @@ - - @@ -4305,7 +4310,9 @@ - + + + @@ -4313,6 +4320,7 @@ + @@ -4358,10 +4366,8 @@ - - @@ -4377,7 +4383,9 @@ - + + + @@ -4385,6 +4393,7 @@ + @@ -4413,10 +4422,8 @@ - - @@ -4431,16 +4438,19 @@ - - - + + + + + + @@ -4474,10 +4484,8 @@ - - @@ -4490,16 +4498,19 @@ - - - + + + + + + @@ -4528,10 +4539,8 @@ - - @@ -4545,7 +4554,9 @@ - + + + @@ -4553,6 +4564,7 @@ + @@ -4620,10 +4632,8 @@ - - @@ -4644,7 +4654,9 @@ - + + + @@ -4652,6 +4664,7 @@ + @@ -4699,10 +4712,8 @@ - - @@ -4727,7 +4738,9 @@ - + + + @@ -4735,6 +4748,7 @@ + @@ -4776,10 +4790,8 @@ - - @@ -4815,7 +4827,9 @@ - + + + @@ -4823,6 +4837,7 @@ + @@ -4868,10 +4883,8 @@ - - @@ -4909,7 +4922,9 @@ - + + + @@ -4917,6 +4932,7 @@ + @@ -4958,10 +4974,8 @@ - - @@ -4986,7 +5000,9 @@ - + + + @@ -4994,6 +5010,7 @@ + @@ -5040,10 +5057,8 @@ - - @@ -5076,7 +5091,9 @@ - + + + @@ -5084,6 +5101,7 @@ + @@ -5120,10 +5138,8 @@ - - @@ -5147,16 +5163,19 @@ - - - + + + + + + @@ -5196,10 +5215,8 @@ - - @@ -5236,7 +5253,9 @@ - + + + @@ -5244,6 +5263,7 @@ + @@ -5295,10 +5315,8 @@ - - @@ -5333,7 +5351,9 @@ - + + + @@ -5341,6 +5361,7 @@ + @@ -5384,10 +5405,8 @@ - - @@ -5399,7 +5418,9 @@ - + + + @@ -5407,6 +5428,7 @@ + @@ -5445,10 +5467,8 @@ - - @@ -5491,7 +5511,9 @@ - + + + @@ -5499,6 +5521,7 @@ + @@ -5551,10 +5574,8 @@ - - @@ -5567,16 +5588,19 @@ - - - + + + + + + @@ -5604,10 +5628,8 @@ - - @@ -5628,7 +5650,9 @@ - + + + @@ -5636,6 +5660,7 @@ + @@ -5682,10 +5707,8 @@ - - @@ -5708,7 +5731,9 @@ - + + + @@ -5716,6 +5741,7 @@ + @@ -5755,10 +5781,8 @@ - - @@ -5783,7 +5807,9 @@ - + + + @@ -5791,6 +5817,7 @@ + @@ -5820,10 +5847,8 @@ - - @@ -5851,7 +5876,9 @@ - + + + @@ -5859,6 +5886,7 @@ + @@ -5882,10 +5910,8 @@ - - @@ -5909,16 +5935,19 @@ - - - + + + + + + @@ -5963,10 +5992,8 @@ - - @@ -5986,7 +6013,9 @@ - + + + @@ -5994,6 +6023,7 @@ + @@ -6025,12 +6055,10 @@ - - @@ -6042,16 +6070,19 @@ - - - + + + + + + @@ -6073,12 +6104,10 @@ - - @@ -6090,16 +6119,19 @@ - - - + + + + + + @@ -6121,21 +6153,17 @@ - - - - - + @@ -6158,11 +6186,9 @@ - - @@ -6188,7 +6214,9 @@ - + + + @@ -6196,6 +6224,7 @@ + @@ -6224,10 +6253,8 @@ - - @@ -6251,7 +6278,9 @@ - + + + @@ -6259,6 +6288,7 @@ + @@ -6288,10 +6318,8 @@ - - @@ -6323,7 +6351,9 @@ - + + + @@ -6331,6 +6361,7 @@ + diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index 8f4da5e4..3367d3b7 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -1045,10 +1045,8 @@ - - @@ -1059,7 +1057,9 @@ - + + + @@ -1067,6 +1067,7 @@ + @@ -1134,10 +1135,8 @@ - - @@ -1149,7 +1148,9 @@ - + + + @@ -1157,6 +1158,7 @@ + @@ -1188,10 +1190,8 @@ - - @@ -1203,7 +1203,9 @@ - + + + @@ -1211,6 +1213,7 @@ + @@ -1278,10 +1281,8 @@ - - @@ -1294,7 +1295,9 @@ - + + + @@ -1302,6 +1305,7 @@ + @@ -1333,10 +1337,8 @@ - - @@ -1349,7 +1351,9 @@ - + + + @@ -1357,6 +1361,7 @@ + @@ -1424,10 +1429,8 @@ - - @@ -1441,7 +1444,9 @@ - + + + @@ -1449,6 +1454,7 @@ + @@ -1480,10 +1486,8 @@ - - @@ -1497,7 +1501,9 @@ - + + + @@ -1505,6 +1511,7 @@ + @@ -1570,10 +1577,8 @@ - - @@ -1588,7 +1593,9 @@ - + + + @@ -1596,6 +1603,7 @@ + @@ -1628,10 +1636,8 @@ - - @@ -1649,7 +1655,9 @@ - + + + @@ -1657,6 +1665,7 @@ + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index 3140eb52..11a2806d 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -451,10 +451,8 @@ - - @@ -465,7 +463,9 @@ - + + + @@ -473,6 +473,7 @@ + @@ -525,10 +526,8 @@ - - @@ -543,7 +542,9 @@ - + + + @@ -551,6 +552,7 @@ + diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index c58b0d7e..27447caf 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -10875,10 +10875,8 @@ - - @@ -10891,7 +10889,9 @@ - + + + @@ -10899,6 +10899,7 @@ + @@ -10951,10 +10952,8 @@ - - @@ -10967,7 +10966,9 @@ - + + + @@ -10975,6 +10976,7 @@ + @@ -11015,10 +11017,8 @@ - - @@ -11031,7 +11031,9 @@ - + + + @@ -11039,6 +11041,7 @@ + @@ -11092,10 +11095,8 @@ - - @@ -11108,7 +11109,9 @@ - + + + @@ -11116,6 +11119,7 @@ + @@ -11156,10 +11160,8 @@ - - @@ -11173,7 +11175,9 @@ - + + + @@ -11181,6 +11185,7 @@ + @@ -11227,10 +11232,8 @@ - - @@ -11243,7 +11246,9 @@ - + + + @@ -11251,6 +11256,7 @@ + @@ -11291,10 +11297,8 @@ - - @@ -11307,7 +11311,9 @@ - + + + @@ -11315,6 +11321,7 @@ + @@ -11368,10 +11375,8 @@ - - @@ -11384,7 +11389,9 @@ - + + + @@ -11392,6 +11399,7 @@ + @@ -11432,10 +11440,8 @@ - - @@ -11450,7 +11456,9 @@ - + + + @@ -11458,6 +11466,7 @@ + @@ -11510,10 +11519,8 @@ - - @@ -11526,7 +11533,9 @@ - + + + @@ -11534,6 +11543,7 @@ + @@ -11573,10 +11583,8 @@ - - @@ -11591,7 +11599,9 @@ - + + + @@ -11599,6 +11609,7 @@ + @@ -11652,10 +11663,8 @@ - - @@ -11668,7 +11677,9 @@ - + + + @@ -11676,6 +11687,7 @@ + @@ -11716,10 +11728,8 @@ - - @@ -11737,7 +11747,9 @@ - + + + @@ -11745,6 +11757,7 @@ + @@ -11799,10 +11812,8 @@ - - @@ -11815,7 +11826,9 @@ - + + + @@ -11823,6 +11836,7 @@ + @@ -11863,10 +11877,8 @@ - - @@ -11878,7 +11890,9 @@ - + + + @@ -11886,6 +11900,7 @@ + @@ -11933,10 +11948,8 @@ - - @@ -11949,7 +11962,9 @@ - + + + @@ -11957,6 +11972,7 @@ + @@ -11998,10 +12014,8 @@ - - @@ -12014,7 +12028,9 @@ - + + + @@ -12022,6 +12038,7 @@ + @@ -12074,10 +12091,8 @@ - - @@ -12090,7 +12105,9 @@ - + + + @@ -12098,6 +12115,7 @@ + @@ -12138,10 +12156,8 @@ - - @@ -12153,7 +12169,9 @@ - + + + @@ -12161,6 +12179,7 @@ + @@ -12207,10 +12226,8 @@ - - @@ -12223,7 +12240,9 @@ - + + + @@ -12231,6 +12250,7 @@ + @@ -12270,10 +12290,8 @@ - - @@ -12290,7 +12308,9 @@ - + + + @@ -12298,6 +12318,7 @@ + @@ -12352,10 +12373,8 @@ - - @@ -12368,7 +12387,9 @@ - + + + @@ -12376,6 +12397,7 @@ + @@ -12420,10 +12442,8 @@ - - @@ -12442,7 +12462,9 @@ - + + + @@ -12450,6 +12472,7 @@ + @@ -12503,10 +12526,8 @@ - - @@ -12518,7 +12539,9 @@ - + + + @@ -12526,6 +12549,7 @@ + @@ -12561,10 +12585,8 @@ - - @@ -12577,7 +12599,9 @@ - + + + @@ -12585,6 +12609,7 @@ + @@ -12640,10 +12665,8 @@ - - @@ -12655,7 +12678,9 @@ - + + + @@ -12663,6 +12688,7 @@ + @@ -12699,10 +12725,8 @@ - - @@ -12720,7 +12744,9 @@ - + + + @@ -12728,6 +12754,7 @@ + @@ -12783,10 +12810,8 @@ - - @@ -12799,7 +12824,9 @@ - + + + @@ -12807,6 +12834,7 @@ + @@ -12853,10 +12881,8 @@ - - @@ -12867,7 +12893,9 @@ - + + + @@ -12875,6 +12903,7 @@ + @@ -12918,10 +12947,8 @@ - - @@ -12933,7 +12960,9 @@ - + + + @@ -12941,6 +12970,7 @@ + @@ -12973,10 +13003,8 @@ - - @@ -12988,7 +13016,9 @@ - + + + @@ -12996,6 +13026,7 @@ + @@ -13042,10 +13073,8 @@ - - @@ -13059,7 +13088,9 @@ - + + + @@ -13067,6 +13098,7 @@ + @@ -13106,10 +13138,8 @@ - - @@ -13124,7 +13154,9 @@ - + + + @@ -13132,6 +13164,7 @@ + @@ -13179,10 +13212,8 @@ - - @@ -13198,7 +13229,9 @@ - + + + @@ -13206,6 +13239,7 @@ + @@ -13245,10 +13279,8 @@ - - @@ -13264,7 +13296,9 @@ - + + + @@ -13272,6 +13306,7 @@ + @@ -13319,10 +13354,8 @@ - - @@ -13339,7 +13372,9 @@ - + + + @@ -13347,6 +13382,7 @@ + @@ -13388,10 +13424,8 @@ - - @@ -13403,7 +13437,9 @@ - + + + @@ -13411,6 +13447,7 @@ + @@ -13457,10 +13494,8 @@ - - @@ -13474,7 +13509,9 @@ - + + + @@ -13482,6 +13519,7 @@ + @@ -13520,10 +13558,8 @@ - - @@ -13533,7 +13569,9 @@ - + + + @@ -13541,6 +13579,7 @@ + @@ -13600,10 +13639,8 @@ - - @@ -13615,7 +13652,9 @@ - + + + @@ -13623,6 +13662,7 @@ + @@ -13672,10 +13712,8 @@ - - @@ -13689,7 +13727,9 @@ - + + + @@ -13697,6 +13737,7 @@ + @@ -13736,10 +13777,8 @@ - - @@ -13755,7 +13794,9 @@ - + + + @@ -13763,6 +13804,7 @@ + @@ -13809,10 +13851,8 @@ - - @@ -13829,7 +13869,9 @@ - + + + @@ -13837,6 +13879,7 @@ + @@ -13878,10 +13921,8 @@ - - @@ -13893,7 +13934,9 @@ - + + + @@ -13901,6 +13944,7 @@ + @@ -13958,10 +14002,8 @@ - - @@ -13975,7 +14017,9 @@ - + + + @@ -13983,6 +14027,7 @@ + @@ -14022,10 +14067,8 @@ - - @@ -14037,7 +14080,9 @@ - + + + @@ -14045,6 +14090,7 @@ + @@ -14099,10 +14145,8 @@ - - @@ -14116,7 +14160,9 @@ - + + + @@ -14124,6 +14170,7 @@ + @@ -14164,10 +14211,8 @@ - - @@ -14178,7 +14223,9 @@ - + + + @@ -14186,6 +14233,7 @@ + @@ -14255,10 +14303,8 @@ - - @@ -14270,7 +14316,9 @@ - + + + @@ -14278,6 +14326,7 @@ + @@ -14325,10 +14374,8 @@ - - @@ -14341,7 +14388,9 @@ - + + + @@ -14349,6 +14398,7 @@ + @@ -14389,10 +14439,8 @@ - - @@ -14404,7 +14452,9 @@ - + + + @@ -14412,6 +14462,7 @@ + @@ -14458,10 +14509,8 @@ - - @@ -14473,7 +14522,9 @@ - + + + @@ -14481,6 +14532,7 @@ + @@ -14515,10 +14567,8 @@ - - @@ -14534,7 +14584,9 @@ - + + + @@ -14542,6 +14594,7 @@ + @@ -14595,10 +14648,8 @@ - - @@ -14610,7 +14661,9 @@ - + + + @@ -14618,6 +14671,7 @@ + @@ -14661,10 +14715,8 @@ - - @@ -14677,7 +14729,9 @@ - + + + @@ -14685,6 +14739,7 @@ + @@ -14742,10 +14797,8 @@ - - @@ -14758,7 +14811,9 @@ - + + + @@ -14766,6 +14821,7 @@ + @@ -14815,10 +14871,8 @@ - - @@ -14832,7 +14886,9 @@ - + + + @@ -14840,6 +14896,7 @@ + @@ -14920,10 +14977,8 @@ - - @@ -14938,7 +14993,9 @@ - + + + @@ -14946,6 +15003,7 @@ + @@ -15023,10 +15081,8 @@ - - @@ -15041,7 +15097,9 @@ - + + + @@ -15049,6 +15107,7 @@ + @@ -15125,10 +15184,8 @@ - - @@ -15148,7 +15205,9 @@ - + + + @@ -15156,6 +15215,7 @@ + @@ -15223,10 +15283,8 @@ - - @@ -15246,7 +15304,9 @@ - + + + @@ -15254,6 +15314,7 @@ + @@ -15322,10 +15383,8 @@ - - @@ -15342,7 +15401,9 @@ - + + + @@ -15350,6 +15411,7 @@ + @@ -15417,10 +15479,8 @@ - - @@ -15436,7 +15496,9 @@ - + + + @@ -15444,6 +15506,7 @@ + @@ -15646,7 +15709,7 @@ - +