wingo pushed a commit to branch wip-whippet
in repository guile.
commit a344c225c4832856a1f44de16ade2971dcbd01ec
Merge: b96a22d3e b794e4663
Author: Andy Wingo <wi...@pobox.com>
AuthorDate: Fri May 16 22:22:56 2025 +0200
Merge remote-tracking branch 'whippet/main' into wip-whippet
libguile/whippet/api/gc-basic-stats.h | 5 ++++-
libguile/whippet/api/gc-event-listener-chain.h | 7 +++---
libguile/whippet/api/gc-event-listener.h | 3 ++-
libguile/whippet/api/gc-lttng.h | 5 +++--
libguile/whippet/api/gc-null-event-listener.h | 3 ++-
libguile/whippet/api/mmc-attrs.h | 1 -
libguile/whippet/src/bdw.c | 2 +-
libguile/whippet/src/mmc.c | 31 +++++++++++++++++++++-----
libguile/whippet/src/pcc.c | 2 +-
libguile/whippet/src/semi.c | 4 +++-
libguile/whippet/whippet.m4 | 2 +-
11 files changed, 47 insertions(+), 18 deletions(-)
