From 9f70a2678d82831e6ad34a5ba14a2e81fbe078c8 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Fri, 24 Apr 2026 11:27:29 +0200 Subject: [PATCH] Rebuid project --- build.xml | 1010 ++++++++++--- samples/fitch/build.xml | 368 ++++- samples/lambdacalc/build.xml | 88 +- samples/mpscore/build.xml | 2615 ++++++++++++++++++++++++++++------ 4 files changed, 3440 insertions(+), 641 deletions(-) diff --git a/build.xml b/build.xml index ad420587..f5529f25 100644 --- a/build.xml +++ b/build.xml @@ -3570,11 +3570,6 @@ - - - - - @@ -3660,13 +3655,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3703,13 +3726,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3779,13 +3830,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3833,13 +3912,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3902,13 +4009,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3983,13 +4118,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4046,13 +4209,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4154,13 +4345,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4246,13 +4465,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4333,13 +4580,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4419,13 +4694,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4512,13 +4815,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4594,13 +4925,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4684,13 +5043,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4761,13 +5148,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4851,13 +5266,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4949,13 +5392,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5020,13 +5491,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5113,13 +5612,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5192,13 +5719,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5259,13 +5814,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5334,13 +5917,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5416,13 +6027,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5502,13 +6141,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5581,13 +6248,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5650,11 +6345,6 @@ - - - - - diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index 7bb19c99..524a566c 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -846,10 +846,6 @@ - - - - @@ -932,13 +928,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1012,13 +1036,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1076,13 +1128,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1172,13 +1252,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1237,13 +1345,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1334,13 +1470,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1400,13 +1564,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1496,13 +1688,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1565,13 +1785,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1626,10 +1874,6 @@ - - - - diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index 4a08f6c6..2592c662 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -274,10 +274,6 @@ - - - - @@ -347,13 +343,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -428,13 +452,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -495,10 +547,6 @@ - - - - diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index 97d41b58..14a2c316 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -10813,11 +10813,6 @@ - - - - - @@ -10942,13 +10937,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11030,18 +11053,52 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11099,13 +11156,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11188,13 +11273,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11258,13 +11371,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11340,13 +11481,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11409,13 +11578,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11498,13 +11695,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11569,13 +11794,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11657,13 +11910,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11727,13 +12008,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11816,13 +12125,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11890,13 +12227,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11980,13 +12345,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12048,13 +12441,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12131,13 +12552,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12201,13 +12650,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12289,13 +12766,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12357,13 +12862,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12439,13 +12972,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12511,13 +13072,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12600,13 +13189,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12679,13 +13296,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12768,13 +13413,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12837,13 +13510,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12928,13 +13629,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -13003,13 +13732,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -13094,13 +13851,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -13168,13 +13953,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -13247,13 +14060,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -13312,13 +14153,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -13395,13 +14264,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -13465,13 +14362,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -13551,13 +14476,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -13622,13 +14575,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -13709,13 +14690,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -13778,13 +14787,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -13861,13 +14898,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -13927,13 +14992,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -14007,13 +15100,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -14093,13 +15214,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -14164,13 +15313,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -14250,13 +15427,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -14319,13 +15524,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -14413,13 +15646,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -14480,13 +15741,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -14571,13 +15860,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -14638,13 +15955,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -14731,13 +16076,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -14814,13 +16187,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -14882,13 +16283,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -14965,13 +16394,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -15033,13 +16490,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -15115,13 +16600,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -15186,13 +16699,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -15275,13 +16816,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -15354,13 +16923,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -15448,13 +17045,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -15522,13 +17147,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -15617,13 +17270,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -15720,13 +17401,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -15818,13 +17527,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -15914,13 +17651,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -16008,13 +17773,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -16106,13 +17899,41 @@ + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -16175,10 +17996,6 @@ - - - -