update doc to state support for export/import mut globals

Signed-off-by: zhenweijin <zhenwei.jin@intel.com>

Author: kylo5aby

build-scripts/config_common.cmake

@@ -748,7 +748,6 @@ message (
 "       \"Branch Hinting\"\n"
 "       \"Custom Annotation Syntax in the Text Format\"\n"
 "       \"Exception handling\"\n"
-"       \"Import/Export of Mutable Globals\"\n"
 "       \"JS String Builtins\"\n"
 "       \"Relaxed SIMD\"\n"
 )

doc/stability_wasm_proposals.md

@@ -16,6 +16,7 @@ Users can turn those features on or off by using compilation options. If a relev
 | ------------------------------------- | ---------- | ------------------------ |
 | Bulk memory operations                | Yes        | `WAMR_BUILD_BULK_MEMORY` |
 | Fixed-width SIMD[^1]                  | Yes        | `WAMR_BUILD_SIMD`        |
+| Import/Export of Mutable Globals[^2]  | Yes        | N/A                      |
 | Multi-value                           | Yes        | N/A                      |
 | Non-trapping float-to-int conversions | Yes        | N/A                      |
 | Reference Types                       | Yes        | `WAMR_BUILD_REF_TYPES`   |
@@ -24,41 +25,42 @@ Users can turn those features on or off by using compilation options. If a relev
 
 [^1]: llvm-jit and aot only.
 
+[^2]: in WAMR's implementation, if a mutable global shared by serveral wasm instances, each instance maintains its own copy of the global rather than sharing it.
+
 ## Off-by-default Wasm Proposals
 
-| Proposal                      | >= Phase 4 | Compilation Option         |
-| ----------------------------- | ---------- | -------------------------- |
-| Garbage collection            | Yes        | `WAMR_BUILD_GC`            |
-| Legacy Exception handling[^2] | No         | `WAMR_BUILD_EXCE_HANDLING` |
-| Memory64                      | Yes        | `WAMR_BUILD_MEMORY64`      |
-| Multiple memories[^3]         | Yes        | `WAMR_BUILD_MULTI_MEMORY`  |
-| Reference-Typed Strings       | No         | `WAMR_BUILD_STRINGREF`     |
-| Tail call                     | Yes        | `WAMR_BUILD_TAIL_CALL`     |
-| Threads[^4]                   | Yes        | `WAMR_BUILD_SHARED_MEMORY` |
-| Typed Function References     | Yes        | `WAMR_BUILD_GC`            |
-
-[^2]:
+| Proposal                      | >= Phase 4 | Compilation Option               |
+| ----------------------------- | ---------- | ---------------------------------|
+| Extended Constant Expressions | Yes        | `WAMR_BUILD_EXTENDED_CONST_EXPR` |
+| Garbage collection            | Yes        | `WAMR_BUILD_GC`                  |
+| Legacy Exception handling[^3] | No         | `WAMR_BUILD_EXCE_HANDLING`       |
+| Memory64                      | Yes        | `WAMR_BUILD_MEMORY64`            |
+| Multiple memories[^4]         | Yes        | `WAMR_BUILD_MULTI_MEMORY`        |
+| Reference-Typed Strings       | No         | `WAMR_BUILD_STRINGREF`           |
+| Tail call                     | Yes        | `WAMR_BUILD_TAIL_CALL`           |
+| Threads[^5]                   | Yes        | `WAMR_BUILD_SHARED_MEMORY`       |
+| Typed Function References     | Yes        | `WAMR_BUILD_GC`                  |
+
+[^3]:
     interpreter only. [a legacy version](https://github.com/WebAssembly/exception-handling/blob/main/proposals/exception-handling/legacy/Exceptions.md).
     This proposal is currently also known as the "legacy proposal" and still
     supported in the web, but can be deprecated in future and the use of
     this proposal is discouraged.
 
-[^3]: interpreter only
-[^4]: `WAMR_BUILD_LIB_PTHREAD` can also be used to enable
+[^4]: interpreter only
+[^5]: `WAMR_BUILD_LIB_PTHREAD` can also be used to enable
 
 ## Unimplemented Wasm Proposals
 
 | Proposal                                    | >= Phase 4 |
 | ------------------------------------------- | ---------- |
 | Branch Hinting                              | Yes        |
 | Custom Annotation Syntax in the Text Format | Yes        |
-| Exception handling[^5]                      | Yes        |
-| Extended Constant Expressions               | Yes        |
-| Import/Export of Mutable Globals            | Yes        |
+| Exception handling[^6]                      | Yes        |
 | JS String Builtins                          | Yes        |
 | Relaxed SIMD                                | Yes        |
 
-[^5]: [up-to-date version](https://github.com/WebAssembly/exception-handling/blob/main/proposals/exception-handling/Exceptions.md)
+[^6]: [up-to-date version](https://github.com/WebAssembly/exception-handling/blob/main/proposals/exception-handling/Exceptions.md)
 
 ## On-by-default WASI Proposals
 

product-mini/platforms/common/wasm_proposal.c

@@ -43,8 +43,6 @@ wasm_proposal_print_status(void)
     printf("    - Branch Hinting\n");
     printf("    - Custom Annotation Syntax in the Text Format\n");
     printf("    - Exception handling\n");
-    printf("    - Extended Constant Expressions\n");
-    printf("    - Import/Export of Mutable Globals\n");
     printf("    - JS String Builtins\n");
     printf("    - Relaxed SIMD\n");
 }