wingo pushed a commit to branch wip-whippet
in repository guile.
commit 24f5e43e61a42be0edf96a88fb6f26e117745c34
Merge: 033d94335 6aa6f3a25
Author: Andy Wingo <wi...@pobox.com>
AuthorDate: Wed Jul 2 11:39:58 2025 +0200
Merge remote-tracking branch 'whippet/main' into wip-whippet
libguile/whippet/api/bdw-attrs.h | 4 ++
libguile/whippet/api/gc-attrs.h | 1 +
libguile/whippet/api/mmc-attrs.h | 40 +++++++---------
libguile/whippet/api/pcc-attrs.h | 4 ++
libguile/whippet/api/semi-attrs.h | 4 ++
libguile/whippet/benchmarks/simple-gc-embedder.h | 14 ++----
libguile/whippet/src/gc-trace.h | 3 +-
libguile/whippet/src/mmc.c | 61 +++++++-----------------
libguile/whippet/src/nofl-space.h | 22 +--------
9 files changed, 53 insertions(+), 100 deletions(-)
