git.iko.soy/Idris-dev
on master help sign in
history ofbc018b1..master
compare
25baedbRead idris executable from environment variableJorge Acereda 425700dAllow overriding IDRIS via environment variableJorge Acereda 46ab7c8Warning on x86 gcc, removed redundant macroJorge Acereda 8d986bbWorkaround possible bug in x86 gcc-7.3.0Jorge Acereda 3be07b0Avoid indirections for nullaries, refactorized locked/unlocked variantsJorge Acereda 1af584dFaster nix-shell invocationJorge Acereda 11130b1Bad shift on 32-bit architecturesJorge Acereda 7512498Add u8/u16 fields to header, use u8 for marking null stringsJorge Acereda 1b6dd31Remove unused headerJorge Acereda ba2a9b6Get rid of bitfieldsJorge Acereda 4698b9aUse a common header instead of a unionJorge Acereda 807f009SimplifyJorge Acereda 5ff3350Heap allocations no longer preceded by allocation size fieldJorge Acereda 9904389Avoid indirection for strings and take advantage of the 8 bytes in the union to reduce allocation sizeJorge Acereda 300a686Recompile everything when a header changesJorge Acereda d6b2be4Try to fix Windows buildJorge Acereda d16e78fSmaller closureJorge Acereda 4d69b3fMake splitAt more efficienthowtonotwin 0e31dcbFix #4346 - add Network.Socket.recvAllGareth Smith