5 commits

Author	SHA1	Message	Date
Andy Wingo	514dcc702e	Allow embedder to request a major GC	2023-10-18 15:13:41 +02:00
Andy Wingo	9ce8ee2921	Fix unused API, outdated assertion	2023-10-17 21:45:06 +02:00
Andy Wingo	5130380ae5	Rework stats collection to use listener interface	2023-10-16 12:13:08 +02:00
Andy Wingo	fbe49598f5	Add "extern space" ... This is mostly for static data.	2023-08-15 11:38:11 +02:00
Andy Wingo	e6de2fd633	Reorganize source tree and document	2023-08-06 12:04:33 +02:00

Renamed from gc-api.h (Browse further)