3505a60extend Data.SignAlex Gryzlov9 years ago 6408457Reduce work allNamesIn has to doEdwin Brady9 years ago 9fd28efFix depth handlingJorge Acereda9 years ago d0e0680Merge pull request #4418 from olegv11/erasure_typoNiklas Larsson9 years ago 86364faMerge pull request #4417 from steshaw/patch-1Niklas Larsson9 years ago 454fac3Fix typoolegv119 years ago dfbd38fTypoSteven Shaw9 years ago e4d006aMerge pull request #4413 from jacereda/messaging-leakNiklas Larsson9 years ago 9d62d28Merge pull request #4412 from joom/masterNiklas Larsson9 years ago c77938fMerge pull request #4414 from jacereda/initial-message-errorNiklas Larsson9 years ago 10a9188Merge pull request #4411 from jacereda/inbox-errorNiklas Larsson9 years ago 764df5fidris_checkInitMessages() didn't check the init bit properlyJorge Acereda9 years ago 6a14b2agetMsg leakJorge Acereda9 years ago b8f34d1Bump to LTS 11.3 and fingertree-0.1.4.1Joomy Korkut9 years ago af281abBad size in inbox allocation, analyzer warningJorge Acereda9 years ago 1a7e2eaMerge pull request #4409 from OlingCat/masterNiklas Larsson9 years ago be7eb99Add code-block mark.Oling Cat9 years ago a6f9820Add more Vect proofshowtonotwin9 years ago 4d69b3fMake splitAt more efficienthowtonotwin9 years ago