19 Commits

Author	SHA1	Message	Date
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