fix: denormal flush of inputs - #1350

fix: denormal flush of inputs#1350

nunoplopes merged 2 commits into

AliveToolkit:masterAliveToolkit/alive2:masterfrom

regehr:regehr/denorm-flushregehr/alive2:regehr/denorm-flushCopy head branch name to clipboard