From 1de2eb9aa43ff9d3422d0c1d040da647fcc10a27 Mon Sep 17 00:00:00 2001 From: Ajinkya Kokandakar Date: Sun, 13 Jul 2025 21:57:18 -0500 Subject: [PATCH 1/3] fix --trim newsline NEWS.md --- NEWS.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/NEWS.md b/NEWS.md index 94957fa86f5bb..d6f1c5c121bef 100644 --- a/NEWS.md +++ b/NEWS.md @@ -4,7 +4,7 @@ Julia v1.12 Release Notes New language features --------------------- -* New experimental option `--trim` that creates smaller binaries by removing code not proven to be reachable from +* New experimental option `--trim` that creates smaller binaries by removing code that can be proven to be _unreachable_ from entry points. Entry points can be marked using `Base.Experimental.entrypoint` ([#55047]). Not all code is expected to work with this option, and since it is experimental you may encounter problems. * Redefinition of constants is now well defined and follows world age semantics ([#57253]). Additional redefinitions From c71f1cfb65d096cbc613acf446bbc8408b74fc98 Mon Sep 17 00:00:00 2001 From: Ajinkya Kokandakar Date: Mon, 14 Jul 2025 10:42:24 -0500 Subject: [PATCH 2/3] removed double negative from trim news entry --- NEWS.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/NEWS.md b/NEWS.md index d6f1c5c121bef..0d4b491e609c8 100644 --- a/NEWS.md +++ b/NEWS.md @@ -4,7 +4,7 @@ Julia v1.12 Release Notes New language features --------------------- -* New experimental option `--trim` that creates smaller binaries by removing code that can be proven to be _unreachable_ from +* New experimental option `--trim` that creates smaller binaries by only including code that is reachable from the entry points. Entry points can be marked using `Base.Experimental.entrypoint` ([#55047]). Not all code is expected to work with this option, and since it is experimental you may encounter problems. * Redefinition of constants is now well defined and follows world age semantics ([#57253]). Additional redefinitions From e0afe0b9c8eb1f91feae18b29a00b481343e3562 Mon Sep 17 00:00:00 2001 From: Ajinkya Kokandakar Date: Mon, 14 Jul 2025 11:46:47 -0500 Subject: [PATCH 3/3] Changed reachable to "proven to be reachable" --- NEWS.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/NEWS.md b/NEWS.md index 0d4b491e609c8..7969286e91458 100644 --- a/NEWS.md +++ b/NEWS.md @@ -4,7 +4,7 @@ Julia v1.12 Release Notes New language features --------------------- -* New experimental option `--trim` that creates smaller binaries by only including code that is reachable from the +* New experimental option `--trim` that creates smaller binaries by only including code that is proven to be reachable from the entry points. Entry points can be marked using `Base.Experimental.entrypoint` ([#55047]). Not all code is expected to work with this option, and since it is experimental you may encounter problems. * Redefinition of constants is now well defined and follows world age semantics ([#57253]). Additional redefinitions