git.iko.soy/Idris-dev
on master help sign in
history of4d2f0fe..master
compare
cdc823aParse integer SIMD typesBenjamin Saunders ba190adSupport for serializing SIMD dataBenjamin Saunders 8016c5cRemove incompete(?) pattern support for SIMD valuesBenjamin Saunders ed0c5c6Fix IBC encoding of new IR arithmetic typesBenjamin Saunders 379ab7fAdded SIMD vector index and update primitivesBenjamin Saunders 9f5fc12Define some primitive SIMD operatorsBenjamin Saunders a5b69a7Delete unused utility functionsBenjamin Saunders 3c0f4dcBeginnings of integer SIMD support (no backend yet)Benjamin 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 6d776ddString manipulationBenjamin Saunders e61506fExpand value flag to 32 bits to prevent confusion with defunctionalization constructors >= 65791Benjamin Saunders d73f9bdFix buffer overflow and 64-bit int toStr truncationBenjamin Saunders baf59acStrCons and conversions to IntegerBenjamin Saunders 3e50b1bMore informative case failure errors, cleanupBenjamin Saunders 6a48a25Fixed width SExt and ZExtBenjamin Saunders