4 ms·
Does anyone know what “fixed-point” in “fixed-point x86_64 assembly code sequence” in the article means? I can think of three things (function combinator, fixed
by sedachv 10y ago
Does anyone know what “fixed-point” in “fixed-point x86_64 assembly code sequence” in the article means? I can think of three things (function combinator, fixed point of a real-valued function, fixed point arithmetic), none of which make sense to me in the context.
- wsxcde 10y agoIt means fixed-point arithmetic. Floating point in SMT doesn't work very well, so that's why they have this restriction.