git.iko.soy/Idris-dev
on master help sign in
history of35ec145..master
compare
3505a60extend Data.SignAlex Gryzlov 6408457Reduce work allNamesIn has to doEdwin Brady 9fd28efFix depth handlingJorge Acereda d0e0680Merge pull request #4418 from olegv11/erasure_typoNiklas Larsson 86364faMerge pull request #4417 from steshaw/patch-1Niklas Larsson 454fac3Fix typoolegv11 dfbd38fTypoSteven Shaw e4d006aMerge pull request #4413 from jacereda/messaging-leakNiklas Larsson 9d62d28Merge pull request #4412 from joom/masterNiklas Larsson c77938fMerge pull request #4414 from jacereda/initial-message-errorNiklas Larsson 10a9188Merge pull request #4411 from jacereda/inbox-errorNiklas Larsson 764df5fidris_checkInitMessages() didn't check the init bit properlyJorge Acereda 6a14b2agetMsg leakJorge Acereda b8f34d1Bump to LTS 11.3 and fingertree-0.1.4.1Joomy Korkut af281abBad size in inbox allocation, analyzer warningJorge Acereda 1a7e2eaMerge pull request #4409 from OlingCat/masterNiklas Larsson 5f5ad04Merge pull request #4410 from melted/update_travisNiklas Larsson beeee84Update travis with newer GHC versionsNiklas Larsson eb8166bMerge pull request #4406 from melted/buf002Niklas Larsson be7eb99Add code-block mark.Oling Cat ffd720aMerge pull request #4408 from OlingCat/masterJan de Muijnck-Hughes ba99eddMerge remote-tracking branch 'idris-lang/master'Oling Cat ed93603Fix some typos and normalize the use of punctuations.Oling Cat 4bef2eeUpdate test buffer002 to use valid Int values on 32-bit buildsNiklas Larsson 4c5c430Merge pull request #4404 from jacereda/masterNiklas Larsson b8a1382Add myself to CONTRIBUTORSJorge Acereda 40a58feUpdate CHANGELOG with the closure work.Niklas Larsson c2af016Merge pull request #4385 from jacereda/smaller-closureNiklas Larsson bc018b1Fix some format.Oling Cat 3d0168fRemove arity field from Con structJorge Acereda ad2a756Use hdr.u16 to store arityJorge Acereda 8ce876cRemove _null macroJorge Acereda cdeea74Align to pointer sizeJorge Acereda 3b8412dRemove -gJorge Acereda 0ea2a09Remove some redundant castsJorge Acereda ea21a05UntabifyJorge Acereda 549e40fClean up indentationJorge Acereda 7ad70c8Untabify, clean up indentationJorge Acereda fe8ea07Clean up tabsJorge Acereda 069f344Add GHC 8.4 fixes to CHANGELOGNiklas Larsson d42b968Merge pull request #4401 from melted/hlintNiklas Larsson 372560bUse new HLint config file.Niklas Larsson d88a8beMerge pull request #4399 from jacereda/fix-ffi32Niklas Larsson 42face9test/ffi008 was failing on x86Jorge Acereda e393bf0Merge pull request #4353 from Dretch/issue-4346-socket-recv-allNiklas Larsson f885410Merge pull request #4398 from RyanGlScott/masterNiklas Larsson ff5322dAllow building on GHC 8.4.1Ryan Scott 139ebb7Use $CC instead of gccJorge Acereda a6f9820Add more Vect proofshowtonotwin 24d1867Merge pull request #4397 from GuiltyDolphin/gd/fix-package-name-typoNiklas Larsson