27 Commits

Author	SHA1	Message	Date
Joe Bryan	1d1a259f31	removes old u3r_mug*, switches u3r_mur* to u3r_mug*	2019-01-08 18:13:25 -05:00
Joe Bryan	de3dcee7d5	memoize u3r_mur in temporary gum_w	2019-01-07 23:31:37 -05:00
Joe Bryan	1974eca515	uses u3r_mur_bytes in all other u3r_mur* functions	2019-01-07 22:24:42 -05:00
Joe Bryan	30c55e88ab	refactors non-zero hash iteration in u3r_mur*	2019-01-07 21:59:25 -05:00
Joe Bryan	f0fdfe118f	uncomments/fixes/finishes u3r_mur* functions	2019-01-07 21:57:48 -05:00
Joe Bryan	a3bef0f23a	prevents 0-byte allocations in u3i_molt() and u3r_mean()	2018-12-08 20:09:23 -05:00
Benjamin Summers	5304a7f255	Fix bail_fail on &33:~	2018-11-13 16:22:49 -08:00
Joe Bryan	d5c075b185	suppresses AddressSanitizer in vararg functions u3i_molt and u3r_mean	2018-07-12 16:01:57 -04:00
Paul Driver	c1f4c7fcb3	change overflow check to short	2018-03-15 16:58:04 -07:00
Paul Driver	e1d724e084	tightening down song_x even further, offloading book-keeping to a seperate helper function	2018-03-15 15:51:35 -07:00
Paul Driver	93d54041a9	tightening up unifying equality in several small ways	2018-03-15 15:06:53 -07:00
Paul Driver	3c54440c82	mov/off optimization for unifying equality	2018-03-15 13:07:22 -07:00
Paul Driver	c6b9b9a63e	trace in sung/sang	2018-03-05 13:39:11 -08:00
Paul Driver	f90c714942	fix profiling during equality	2018-03-05 13:20:34 -08:00
Paul Driver	d214d00e89	slightly odd syntax on _song_atom	2018-01-29 10:52:47 -08:00
Paul Driver	665e0899ad	revert unification redesign, memoize-by-pointer for large equality traverses	2018-01-29 10:16:20 -08:00
Paul Driver	70f6cd4df5	unification redesign -- initial recursive version	2018-01-26 11:49:56 -08:00
Paul Driver	674af1842d	whoops, left these unused macros in	2018-01-24 15:42:23 -08:00
Paul Driver	3be6b258b0	be more unified about unification (and fix a crash)	2018-01-24 15:27:21 -08:00
Paul Driver	e7a7db6b84	check heads first in sing and friends	2018-01-24 13:14:56 -08:00
Paul Driver	714d7e7608	use explicit stack in unifying equals	2018-01-23 17:22:27 -08:00
C. Guy Yarvin	abb7f1d756	Various profiling and allocation improvements.	2017-11-12 16:15:09 -08:00
Raymond Pasco	d7ac91a09f	Backport _sung_one changes	2017-05-11 06:57:18 -04:00
Paul Driver	294afb9cc6	remove code duplication (_mug_words_buf)	2016-05-05 14:42:17 -07:00
vere	7f1b5d2ae8	Proper double-word merge.	2015-11-06 22:08:58 +00:00
Max G	ac23f4ac70	a bunch of stuff	2015-07-29 23:43:55 +03:00
Philip C Monk	9edda1bb73	descriptive names for c files ... fixes #294	2015-06-23 21:29:11 -04:00