Triple-core lockstep with conservative data accounting: candidate κ = 4.50198447040e-4 (+8.85% vs #138) - #139

Triple-core lockstep with conservative data accounting: candidate κ = 4.50198447040e-4 (+8.85% vs #138)#139

DanieleCorso wants to merge 6 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

DanieleCorso:research/pr137-triple-first-stage-lockstepDanieleCorso/integer-mult-bounds:research/pr137-triple-first-stage-lockstepCopy head branch name to clipboard