1212 Commits

Author	SHA1	Message	Date
Folkert de Vries	5989ad4809	Merge branch 'trunk' into aa-new-heap-cell	2021-07-25 12:52:00 +02:00
Folkert	48d2f53eb1	create a new heap cell after modification	2021-07-25 12:50:42 +02:00
Folkert	768c59f45d	bigger tag size fixes	2021-07-24 13:36:06 +02:00
Folkert	da495244c5	remove layout field in decision_tree	2021-07-24 12:44:46 +02:00
Folkert	d0be0df83c	tweaks	2021-07-24 12:33:57 +02:00
Folkert	59e551dd32	cleanup	2021-07-24 00:13:00 +02:00
Folkert de Vries	d5c6fc7179	Merge branch 'trunk' into performance-tweaks	2021-07-22 22:43:16 +02:00
Folkert	533e20e49c	less cloning out of Subs	2021-07-21 20:24:30 +02:00
Folkert	ea1efd9037	pre-allocate vec	2021-07-21 18:43:40 +02:00
Folkert	99bab04c1d	Merge remote-tracking branch 'origin/trunk' into add-dec-types	2021-07-21 15:18:41 +02:00
Richard Feldman	0dd05b02d5	Merge remote-tracking branch 'origin/trunk' into effect-example	2021-07-19 20:50:31 -04:00
Folkert	8eb0c6fbb8	fix example	2021-07-19 22:19:55 +02:00
Folkert	cb42f0c039	Merge remote-tracking branch 'origin/trunk' into add-dec-types	2021-07-18 16:54:38 +02:00
Folkert de Vries	beb3f9fed9	Merge branch 'trunk' into morphic-recursive-types	2021-07-18 16:50:40 +02:00
Richard Feldman	24f45f6437	Merge branch 'trunk' into reset-reuse	2021-07-17 20:59:44 -04:00
Jared Ramirez	de7cab629d	Merge branch 'trunk' into add-dec-types	2021-07-17 17:21:40 -07:00
Folkert	e19b03f290	WIP	2021-07-18 00:04:10 +02:00
Folkert	3acd5a3c0a	implement morphic encodings for more lowlevel ops	2021-07-17 00:05:06 +02:00
Folkert	55c760dd7a	turn debug mode off	2021-07-16 20:56:24 +02:00
Folkert	c9809fff2a	refactor	2021-07-16 20:52:47 +02:00
Folkert	71232524eb	Merge remote-tracking branch 'origin/trunk' into morphic-recursive-types	2021-07-16 20:44:55 +02:00
Folkert	abbbc67caf	alias analysis for NonNullableUnwrapped	2021-07-16 20:42:33 +02:00
Folkert	720440b3f9	alias analysis for NullableWrapped	2021-07-16 20:22:59 +02:00
Folkert	03422a9907	alias analysis for NullableUnwrapped	2021-07-16 20:16:56 +02:00
Folkert	9b8f8b3c16	AppliedTag don't unroll recursive layouts	2021-07-16 18:23:57 +02:00
Folkert	743e8bd86f	stop defining the tag id when it is not used	2021-07-16 18:17:21 +02:00
Folkert	97f15bbb49	Tag don't unroll recursive types	2021-07-16 18:10:55 +02:00
Folkert	7dd440f642	morphic Recursive types	2021-07-16 17:55:03 +02:00
Folkert	71672bb7ad	prevent unrolling of recursive types	2021-07-16 17:54:44 +02:00
Folkert	8e54023d60	foundation for encoding recursive types	2021-07-15 15:16:09 +02:00
Richard Feldman	c415b3b799	Merge branch 'trunk' into reset-reuse	2021-07-14 22:45:42 -04:00
Folkert	d464c005f0	encode tag unions as morphic unions	2021-07-14 23:26:19 +02:00
Folkert	568e4e390a	fix	2021-07-14 17:27:11 +02:00
Folkert	771599165b	cleanup build_reset usage	2021-07-14 17:16:45 +02:00
Folkert	1beed7f759	implement function_R invoke	2021-07-14 16:58:49 +02:00
Folkert	8a1a643e3b	refactor function_r branch body	2021-07-14 16:52:56 +02:00
Folkert	0171fd0959	remove Boxed	2021-07-14 15:33:59 +02:00
Folkert	3a0ba76f8b	Merge remote-tracking branch 'origin/trunk' into add-dec-types	2021-07-14 14:19:30 +02:00
Folkert	7d91cb4cd7	clippy	2021-07-14 00:56:16 +02:00
Folkert	1bea704272	only expand recursive tag unions if it's a different type (think linked-list of trees)	2021-07-14 00:48:10 +02:00
Folkert	26b05d18f2	improvements to reset reuse	2021-07-14 00:40:48 +02:00
Folkert	bcf23d5699	Revert "improvements to reset reuse" ... This reverts commit e0ce2892ad.	2021-07-14 00:30:00 +02:00
Folkert	e0ce2892ad	improvements to reset reuse	2021-07-13 23:45:06 +02:00
Folkert	e02d950c7c	Merge remote-tracking branch 'origin/trunk' into reset-reuse	2021-07-13 00:44:05 +02:00
Folkert	83bea1582f	box fixes	2021-07-13 00:42:21 +02:00
Folkert	d80deb37cd	cleanup	2021-07-13 00:41:46 +02:00
Folkert	1a4ceeeb65	be more precise	2021-07-12 17:58:02 +02:00
Folkert	7d256067f9	allow multiple guards in the same pattern	2021-07-12 17:40:49 +02:00
Folkert	09f01ba193	Boxed skeleton	2021-07-12 17:01:53 +02:00
Folkert	7be0349eee	refactor, insert reset more intelligently	2021-07-12 15:19:26 +02:00