git.iko.soy/Idris-dev
on bb52ade help sign in
bb52adeRemove incompete(?) pattern support for SIMD valuesBenjamin Saunders 7b7addbFix IBC encoding of new IR arithmetic typesBenjamin Saunders c949bdbAdded SIMD vector index and update primitivesBenjamin Saunders 436bf95Define some primitive SIMD operatorsBenjamin Saunders a83adf1Delete unused utility functionsBenjamin Saunders 0aa3fd6Beginnings of integer SIMD support (no backend yet)Benjamin Saunders 8c02d2aCorrect codegen-specific test targets option namingBenjamin Saunders 7b6448eOptimization level selectionBenjamin Saunders 63b69ffConvey target triple to LLVM earlierBenjamin Saunders b69a649Implement LNoOp in LLVM codegenBenjamin Saunders f149970Rename --target to --codegen and add options to specify target triple and CPU, defaulting to that of hostBenjamin Saunders 7ebf672Enable optimizationsBenjamin Saunders 672f5a1Direct object file output and accurate target selectionBenjamin Saunders 340beedFix compatibility with llvm-general 3.3.2 and tighten version constraints to avoid future breakageBenjamin Saunders 36e9a0aFix .travis.yml Somehow I broke it in the last mergeEdwin Brady 0cbc384Merge branch 'llvm3' of https://github.com/Ralith/Idris-dev into Ralith-llvm3Edwin Brady 185b31fMerge pull request #367 from Ralith/travis-sdistEdwin Brady a11c591Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 6924cebGive Pi bindings the proper name when elaborating lambdas Fixes #360Edwin Brady 576d33bMerge pull request #371 from raichoo/javascriptEdwin Brady c244c71Merge pull request #373 from SimonJF/simpleparserEdwin Brady ab215d0Merge pull request #372 from Melvar/masterEdwin Brady 4c2a215Fix simple monadic parserSimon Fowler d8dd365Define Prelude.List.replicate in a way that doesn’t require %assert_totalMelvar Chen 40d9c0ajavascript: tests should use node with shebangraichoo 3c34f40javascript: make node backend use shebangraichoo 39c45f9javascript: bigint compareraichoo 01984edjavascript: fixed primitive string reverseraichoo 6209c9bjavascript: added test suiteraichoo dad12e6Don't inline for compilation (because the evaluator makes bad choices) Instead, inline the compile-time representation to help the totality checker only. This can cause subexpressions to be duplicated, so should be avoided at run-time. For the run-time representation, inline later at IRTS level.Edwin Brady 95d3577Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 45272d9Fix term size calculation for inlining Now counting binders other than Let, so lots of things previously inlined over-aggressively are now not inlined.Edwin Brady c0938d4Don't extract sdist verboselyBenjamin Saunders d2c6f1bAdd missing support files for testsBenjamin Saunders c179636Ensure boehm GC is available on travisBenjamin Saunders 83de368Bump llvm-general version yet again to enforce travis compatibilityBenjamin Saunders 136f604Add LLVM RTS to extra-source-filesBenjamin Saunders 2069aecInstall llvm-3.3 before building on travisBenjamin Saunders 106ecedDepend on GHC 7.4 compatible llvm-generalBenjamin Saunders 3165cb2Expand target information and use proper stdio symbols on OSXBenjamin Saunders acce7daGC GMP-allocated memoryBenjamin Saunders 6489978Initialize Boehm GC (hopefully fixes OSX)Benjamin Saunders 413edeeAnother llvm-general version bumpBenjamin Saunders edfa944Require a not-buggy llvm-generalBenjamin Saunders 3c57588Implement remaining string and integer primitivesBenjamin Saunders 145101aDeclare strtollBenjamin Saunders 531cbe3FormattingBenjamin Saunders 06e51b8Utility function for llvm codegen bugcheckingBenjamin Saunders fc17a3fImplement more primitives and foreign lib functionsBenjamin Saunders 91f4733Fix fixed-width integer to Integer conversionsBenjamin Saunders