[Rodin-commit] SF.net SVN: rodin-b-sharp:[16772] trunk/Generic_Ins tantiation/ac.soton.genericInstantiation.core/src/ac/soto n/genericinstantiation/core/utils/Util.java

[Commits f. t. S. r. <rod...@li...>]

Revision: 16772
          http://sourceforge.net/p/rodin-b-sharp/svn/16772
Author:   gverdier
Date:     2025-02-27 10:34:43 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Disable default instance types used for carrier set replacement

It seems that the idea was to allow replacing a carrier set with INT or
BOOL. However, it did not work and generated completely broken POs.
Since it seems difficult to implement correctly, it is disabled for now.

Modified Paths:
--------------
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/core/utils/Util.java

This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.