11 Commits

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