wingo pushed a commit to branch wip-whippet in repository guile. commit d3cebed222fb1aa95aa536eb0eaa78054db4c55e Merge: 21c8d3634 f71579476 Author: Andy Wingo <[email protected]> AuthorDate: Tue Aug 5 17:29:57 2025 +0200
Merge remote-tracking branch 'whippet/main' into wip-whippet
libguile/whippet/src/local-worklist.h | 59 --------------------------
libguile/whippet/src/parallel-tracer.h | 76 ++++------------------------------
2 files changed, 8 insertions(+), 127 deletions(-)
