29 commits

Author	SHA1	Message	Date
Andy Wingo	177643d416	Merge remote-tracking branch 'whippet/main' into wip-whippet	2025-05-27 15:50:57 +02:00
Andy Wingo	1abd5a310e	Merge remote-tracking branch 'whippet/main' into wip-whippet	2025-05-26 12:22:22 +02:00
Andy Wingo	a4c0f1e231	Merge remote-tracking branch 'whippet/main' into wip-whippet	2025-05-26 11:58:48 +02:00
Andy Wingo	e84dccb710	Merge remote-tracking branch 'whippet/main' into wip-whippet	2025-05-26 10:34:54 +02:00
Andy Wingo	5d94b78095	Merge remote-tracking branch 'whippet/main' into wip-whippet	2025-05-23 09:44:31 +02:00
Andy Wingo	8c4866cd5c	Merge remote-tracking branch 'whippet/main' into wip-whippet	2025-05-23 09:39:59 +02:00
Andy Wingo	6841c9509a	Merge remote-tracking branch 'whippet/main' into wip-whippet	2025-05-22 16:24:47 +02:00
Andy Wingo	fb5a99c752	Merge remote-tracking branch 'whippet/main' into wip-whippet	2025-05-21 14:28:34 +02:00
Andy Wingo	a344c225c4	Merge remote-tracking branch 'whippet/main' into wip-whippet	2025-05-16 22:22:56 +02:00
Andy Wingo	c9df342c9a	Merge remote-tracking branch 'whippet/main' into wip-whippet	2025-05-15 15:56:48 +02:00
Andy Wingo	b97b12a19b	Merge remote-tracking branch 'whippet/main' into wip-whippet	2025-05-15 14:47:07 +02:00
Andy Wingo	799901edc4	Merge remote-tracking branch 'whippet/main' into wip-whippet	2025-05-15 12:00:17 +02:00
Andy Wingo	173adcfe09	Merge remote-tracking branch 'whippet/main' into wip-whippet	2025-05-15 11:39:48 +02:00
Andy Wingo	8f7e3dde4a	Merge remote-tracking branch 'whippet/main' into wip-whippet	2025-05-15 11:27:08 +02:00
Andy Wingo	1e3ce66224	Merge remote-tracking branch 'whippet/main' into wip-whippet	2025-05-15 09:02:31 +02:00
Mikael Djurfeldt	c724f92c89	Enable building in separate directory. ... * libguile/whippet/embed.am: Add -I$(top_builddir) to WHIPPET_CPPFLAGS.	2025-05-13 15:55:17 +02:00
Andy Wingo	57f0ce914a	Merge remote-tracking branch 'whippet/main' into HEAD	2025-05-12 13:39:27 +02:00
Andy Wingo	d4fd1f3486	Merge remote-tracking branch 'whippet/main' into HEAD	2025-05-12 11:55:04 +02:00
Andy Wingo	e6f550697f	Merge remote-tracking branch 'whippet/main' into wip-whippet	2025-05-05 10:43:27 +02:00
Andy Wingo	fd921be76c	Merge remote-tracking branch 'whippet/main' into wip-whippet	2025-05-04 12:11:13 +02:00
Andy Wingo	975860e5e2	Merge remote-tracking branch 'whippet/main' into wip-whippet	2025-04-23 17:30:27 +02:00
Andy Wingo	25db208603	Merge remote-tracking branch 'whippet/main' into wip-whippet	2025-04-23 13:48:18 +02:00
Andy Wingo	55e9d0672b	Merge remote-tracking branch 'whippet/main' into wip-whippet	2025-04-22 10:01:34 +02:00
Andy Wingo	b6236fdcdc	Merge remote-tracking branch 'whippet/main' into wip-whippet	2025-04-18 15:11:40 +02:00
Andy Wingo	7f23dea7de	Merge remote-tracking branch 'whippet/main' into wip-whippet	2025-04-17 12:29:51 +02:00
Andy Wingo	fd7b5d2d0c	Merge remote-tracking branch 'whippet/main' into wip-whippet	2025-04-16 13:42:18 +02:00
Andy Wingo	a463e0d376	Merge remote-tracking branch 'whippet/main' into wip-whippet	2025-04-16 09:25:11 +02:00
Andy Wingo	556a3ae671	Merge remote-tracking branch 'whippet/main' into wip-whippet	2025-04-15 11:05:53 +02:00
Andy Wingo	db181e67ff	Merged Whippet into libguile/whippet	2025-04-11 14:10:41 +02:00