10 commits

Author	SHA1	Message	Date
Andy Wingo	8fba0e5322	Implement cooperative safepoint API ... Fixes https://github.com/wingo/whippet/issues/9.	2024-09-18 11:54:36 +02:00
Andy Wingo	9f26dbb1fc	Implement per-object pinning API ... Fixes https://github.com/wingo/whippet/issues/6.	2024-09-18 10:55:02 +02:00
Andy Wingo	004a3d0411	Factor nofl-space out of whippet	2024-08-21 10:19:26 +02:00
Andy Wingo	cfc8c8a9b8	Allow embedder to request a major GC	2023-10-18 16:34:20 +02:00
Andy Wingo	0c7bdacc51	Revert "Allow embedder to request a major GC" ... This reverts commit f39e6ee69f0aa2e14227a019a5332ba129418977.	2023-10-18 15:13:41 +02:00
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)