wingo pushed a commit to branch wip-whippet
in repository guile.
commit b919abc6e8ddcaa9b82a3384fa71c657df6b64cf
Merge: 99004b722 b2f4083f9
Author: Andy Wingo <wi...@pobox.com>
AuthorDate: Thu Aug 7 11:47:55 2025 +0200
Merge remote-tracking branch 'whippet/main' into wip-whippet
libguile/whippet/Makefile | 2 +-
libguile/whippet/api/gc-options.h | 2 +-
libguile/whippet/embed.mk | 2 +-
libguile/whippet/src/adaptive-heap-sizer.h | 11 ++++++
libguile/whippet/src/bdw.c | 56 +++++++++++++++++++--------
libguile/whippet/src/gc-options-internal.h | 2 +-
libguile/whippet/src/gc-options.c | 4 +-
libguile/whippet/src/growable-heap-sizer.h | 34 +++++++++++-----
libguile/whippet/src/heap-sizer.h | 22 ++++++++++-
libguile/whippet/src/mmc.c | 62 +++++++++++++++---------------
libguile/whippet/src/nofl-space.h | 13 +++++--
11 files changed, 141 insertions(+), 69 deletions(-)
