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 |
|