git.iko.soy/Idris-dev
on 7afa310 help sign in
history ofsrc/IRTS/Lang.hs
all commits
af2fb53Rename float negation primitive for more uniformityMarkus Pfeiffer 0ca4a55Add support for the primitive prim__negFloat : Float -> FloatMarkus Pfeiffer ce26633Don't keep allocating nullary constructorsEdwin Brady 8353de5Find updatable constructors after destructive caseEdwin Brady a1fb7a3Inline with blocksEdwin Brady 5695e4cDo some inlining in Lang IREdwin Brady e5d1956Propagate constructor updates to bytecodeEdwin Brady cdbfec9Propagate CaseType through IRsEdwin Brady cc9b104Add a prim__systemInfo primitive.niklas 4bc8589Improve --dumpcases.Matus Tejiscak 0d1d746Use dots to join pretty-printed LCases.Matus Tejiscak ba81129Even prettier printing of LExps.Matus Tejiscak 5a8e4f4Improve indentation of LExp.Matus Tejiscak acd4c7eImprove the Show instance for LCase.Matus Tejiscak bc79ee8Unified printing of special LTerms.Matus Tejiscak b5c7a14Improve printing of foreign calls.Matus Tejiscak d4ffc21Add ManagedPtr typeEdwin Brady 6efa70dMove buffer offset handling into idris codeShea Levy a47adaaRemove redundant enName functionShea Levy a2332b0Endianness is redundant for Bits8Shea Levy d6418d7Rename functions implying Buffers have endiannessShea Levy f0fe3ffAdd C codegen implementation of buffer primitivesShea Levy 149e816Add Buffer type and primitives to the coreShea Levy 46e894dUse Data.Text for variable namesEdwin Brady 5000aebAdd a Cabal libraryBrian McKenna ffe8706Null pointer primitiveEdward Amsden b8e398eSupport signed integer comparison by introducing new primitivesJan Bessai 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