git.iko.soy/Idris-dev
on 09eebbf help sign in
history ofsrc/IRTS/Lang.hs
all commits
f0c1e19Vector FFI and bitcastsBenjamin Saunders fff6b19Merge branch 'ITChar' into JavaRepairsJan Bessai a0130b9Removed FChar in favour of FArith (ATInt ITChar)Jan Bessai b4689f4Java Backend Overhaul Part 1Jan Bessai c949bdbAdded SIMD vector index and update primitivesBenjamin Saunders 0aa3fd6Beginnings of integer SIMD support (no backend yet)Benjamin Saunders 379ab7fAdded SIMD vector index and update primitivesBenjamin Saunders 3c0f4dcBeginnings of integer SIMD support (no backend yet)Benjamin Saunders 2613689javascript: make FFI work with HOFsraichoo fc8d6e1Expand integer primitive unification to encompass bigintsBenjamin Saunders 1cf8b7bRevert "Revert "Merge pull request #294 from bitlisp/unified-int-primitives""David Christiansen 05895a5Revert "Merge pull request #294 from bitlisp/unified-int-primitives"Edwin Brady 2572b10Parameterized integer FFIBenjamin Saunders 321b8fdReduce redundancy across integer operationsBenjamin Saunders 41f3d97Merge branch 'master' of git://github.com/edwinb/Idris-dev into bitstringBenjamin Saunders 1dc8f39added LChInt LIntCh to primitivesraichoo 9e543e6Remainder primitives for bitsBenjamin Saunders 5f6ac67In-lang stringification of BitsBenjamin Saunders df10078Complement primitive for bit typesBenjamin Saunders 927fd18Machine integer comparison primitives and a proofy interface to the equality caseBenjamin Saunders 8216c7fBasic bit-twiddling primitivesBenjamin Saunders 348cf91String primitivesBenjamin Saunders b3ba46ePrimitives for interconversion of Bits32 and IntBenjamin Saunders 7518b0cAbsolutely untested implementations of a few bitstring primitives.Irene Knapp b896224Primitive types for groups of 8, 16, 32, and 64 bits, and basic arithmetic and mutual conversion operations on themBenjamin Saunders 267f044Improve case compilation by checking most distinct argument firstEdwin Brady 7245290Some tiny RTS optimisationsEdwin Brady c101721Fix Integer matching bugEdwin Brady f6451efword 8/16 primitive typesraichoo e0d0b13added Data.Bits and primitives for Intraichoo 0136305Add bitwise &/| primitives for Int (prim__andInt / prim__orInt)Edwin Brady 9a444c5Add 'mod' and variantsEdwin Brady 7508b64'par' primitive in builtins (not yet implemented)Edwin Brady a04b57d--dumpcases now dumps post unused arg erasureEdwin Brady 28ecd81Erase unused arguments when compilingEdwin Brady 0f957f6Add Proj operator to runtime version of TT Allows extracting arguments without checking constructor first which will make erasing unused values easier shortlyEdwin Brady bb76c6cMore aggressive simplification; fix case generation bugEdwin Brady 7b4fb2aConstructors don't need completely independent tagsEdwin Brady c02a58cAdded fork (but not working properly yet)Edwin Brady e956ecaDon't lambda lift unused argumentsEdwin Brady 371bd9aGroup EVAL/APPLY constructorsEdwin Brady 6b46ffcNew RTS almost ready, but for garbage collection problemEdwin Brady b642db5Almost working new back endEdwin Brady 53de817Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 0433650Added some useful standard foreign functions for IOEdwin Brady 7ab5216String/Float primitivesEdwin Brady 0af107cAdded GMP interface for BigIntsEdwin Brady f03a655Added %lazy annotationsEdwin Brady 29ba32eLambda lifting in FOVMEdwin Brady 35ec145Added lazy application to IRTSEdwin Brady