wingo pushed a commit to branch wip-whippet
in repository guile.
commit b97b12a19bd2715c99a7f9bcfc31fbcdb93fddc9
Merge: f5a1d2ca3 08e6633f9
Author: Andy Wingo <wi...@pobox.com>
AuthorDate: Thu May 15 14:47:07 2025 +0200
Merge remote-tracking branch 'whippet/main' into wip-whippet
libguile/whippet/api/gc-embedder-api.h | 19 +++++++++++++++++++
libguile/whippet/benchmarks/simple-gc-embedder.h | 20 ++++++++++++++++++++
libguile/whippet/src/bdw.c | 23 +++++++++++++++++++++--
libguile/whippet/src/mmc.c | 19 +++++++++++++++++--
libguile/whippet/src/root.h | 16 ++++++++++++++++
5 files changed, 93 insertions(+), 4 deletions(-)
