09eebbfMerge pull request #395 from melted/optllvmEdwin Brady13 years ago 7105d79Merge pull request #394 from Melvar/fmap-to-mapEdwin Brady13 years ago c2623f4Merge pull request #393 from Ralith/additional-arithmetic-instancesEdwin Brady13 years ago 68c5bb7Merge pull request #390 from Ralith/vector-ftypesEdwin Brady13 years ago b1cb65cMerge pull request #374 from raichoo/javascriptEdwin Brady13 years ago d9e7912FTy convenience names for fixed-width intsBenjamin Saunders13 years ago 7de42c8Implement bitcasts in LLVM codegenBenjamin Saunders13 years ago e9ba9b9Fail idiomaticallyNiklas Larsson13 years ago 0c1deafMerge pull request #389 from melted/optllvmEdwin Brady13 years ago 5657db0Uniform vector constructorsBenjamin Saunders13 years ago ee06705rename fmap to mapMelvar Chen13 years ago c3e143fAdd Num and Show instances for the new(ish) arithmetic typesBenjamin Saunders13 years ago e449182javascript: add LZExtraichoo13 years ago 42da36fjavascript: add match on ITCharraichoo13 years ago 5e84e36javascript: fix namesraichoo13 years ago b875c2fjavascript: remove broken optimizationraichoo13 years ago aa42f71CleanupBenjamin Saunders13 years ago f0c1e19Vector FFI and bitcastsBenjamin Saunders13 years ago 93af028javascript: optimize some primitive functionsraichoo13 years ago 3e80ef5javascript: factor out runtime namespaceraichoo13 years ago a3515a4javascript: remove duplicate testraichoo13 years ago bd6a5e4javascript: fixed bug introduced through primitive unificationraichoo13 years ago fa526e4javascript: get more out of google closureraichoo13 years ago 7eaa86aMake LLVM optional but the defaultNiklas Larsson13 years ago b753590Merge pull request #382 from juhp/patch-2Edwin Brady13 years ago 6a300afMerge pull request #384 from JanBessai/JavaRepairsEdwin Brady13 years ago a97a08bMerge pull request #388 from JanBessai/StrLenRegressionTestEdwin Brady13 years ago 5606f7fMerge pull request #387 from Ralith/restored-itnative-codegenEdwin Brady13 years ago a098c2aRemove redundant and erroneous codegen caseBenjamin Saunders13 years ago 53f344aRestored missing Int to Integer conversion codegensBenjamin Saunders13 years ago f77551cMerge branch 'master' of https://github.com/edwinb/Idris-dev into JavaRepairsJan Bessai13 years ago eff62f4Regression test for StrLen.Jan Bessai13 years ago 6165c1dMerge branch 'restored-itnative-codegen' of https://github.com/Ralith/Idris-dev into StrLenRegressionTestJan Bessai13 years ago 8e0f138Merge pull request #383 from JanBessai/ITCharEdwin Brady13 years ago 6532865Merge pull request #381 from Ralith/llvm-immutableEdwin Brady13 years ago eca417fRestored missing Int to Integer conversion codegensBenjamin Saunders13 years ago 99879dcAdd long value to shift ints in order to avoid overflowJan Bessai13 years ago e5790ccArithmetic primitives added for charsJan Bessai13 years ago 58928deRemove old imports from generated filesJan Bessai13 years ago fbd6471Travis: enable cabal flags for Java in cabal execution instead of config.mkJan Bessai13 years ago f7132dfAdd java tests to travis.ymlJan Bessai13 years ago c20a82cMissing cabal entries added.Jan Bessai13 years ago 3b25e9eSSA style stack management and FChar is finally gone.Jan Bessai13 years ago 21ec023Merge branch 'master' of https://github.com/edwinb/Idris-dev into JavaRepairsJan Bessai13 years ago 09bb6fcMerge branch 'master' of github.com:edwinb/Idris-devEdwin Brady13 years ago 7fc4865Allow 'rewrite ... in' to assert the resulting type "rewrite f ==> t in x" means that after applying the rewrite f, the required type of x must be t. This is primarily for readability of proofs built by successive rewritings.Edwin Brady13 years ago 3448469Add "equiv" tactic "equiv t" asserts that the current goal has a type equivalent (by conversion) to tEdwin Brady13 years ago fff6b19Merge branch 'ITChar' into JavaRepairsJan Bessai13 years ago a0130b9Removed FChar in favour of FArith (ATInt ITChar)Jan Bessai13 years ago 773e454Make ChType a member of IntTy ITChar.Jan Bessai13 years ago