git.iko.soy/Idris-dev
on 293c8a2 help sign in
293c8a2Allow partial show instancesEdwin Brady 0c1deafMerge pull request #389 from melted/optllvmEdwin Brady 7eaa86aMake LLVM optional but the defaultNiklas Larsson b753590Merge pull request #382 from juhp/patch-2Edwin Brady 6a300afMerge pull request #384 from JanBessai/JavaRepairsEdwin Brady a97a08bMerge pull request #388 from JanBessai/StrLenRegressionTestEdwin Brady 5606f7fMerge pull request #387 from Ralith/restored-itnative-codegenEdwin Brady a098c2aRemove redundant and erroneous codegen caseBenjamin Saunders 53f344aRestored missing Int to Integer conversion codegensBenjamin Saunders f77551cMerge branch 'master' of https://github.com/edwinb/Idris-dev into JavaRepairsJan Bessai eff62f4Regression test for StrLen.Jan Bessai 6165c1dMerge branch 'restored-itnative-codegen' of https://github.com/Ralith/Idris-dev into StrLenRegressionTestJan Bessai 8e0f138Merge pull request #383 from JanBessai/ITCharEdwin Brady 6532865Merge pull request #381 from Ralith/llvm-immutableEdwin Brady eca417fRestored missing Int to Integer conversion codegensBenjamin Saunders 99879dcAdd long value to shift ints in order to avoid overflowJan Bessai e5790ccArithmetic primitives added for charsJan Bessai 58928deRemove old imports from generated filesJan Bessai fbd6471Travis: enable cabal flags for Java in cabal execution instead of config.mkJan Bessai f7132dfAdd java tests to travis.ymlJan Bessai c20a82cMissing cabal entries added.Jan Bessai 3b25e9eSSA style stack management and FChar is finally gone.Jan Bessai 21ec023Merge branch 'master' of https://github.com/edwinb/Idris-dev into JavaRepairsJan Bessai 09bb6fcMerge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 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 Brady 3448469Add "equiv" tactic "equiv t" asserts that the current goal has a type equivalent (by conversion) to tEdwin Brady fff6b19Merge branch 'ITChar' into JavaRepairsJan Bessai a0130b9Removed FChar in favour of FArith (ATInt ITChar)Jan Bessai 773e454Make ChType a member of IntTy ITChar.Jan Bessai 9991ac2Merge branch 'master' of https://github.com/edwinb/Idris-dev into JavaRepairsJan Bessai 72524a0Proper tail calls and ArithTy ITChar supportJan Bessai a1e13dbMake ChType a member of IntTy ITChar.Jan Bessai 378f6c9run installJavaLib also in postCopyJens Petersen 1aff488Loads are invariantBenjamin Saunders c810796Communicate invariance of freshly initialized memory to LLVMBenjamin Saunders b4689f4Java Backend Overhaul Part 1Jan Bessai 20f18f9Merge pull request #380 from Melvar/masterEdwin Brady 62a3ebaImprove the "...is not solved" internal error to display something useful Fixes #361 Fixes #321Edwin Brady dff73b0Refactored a couple more spotsMelvar Chen 02c94c3Removed textbook-code comments, beautified headingsMelvar Chen 942f55eCleaned up SimpleParser a bitMelvar Chen 006c8f2Merge pull request #376 from Ralith/simdEdwin Brady 207744aDescribe dependencies in READMEBenjamin Saunders 1e84e48Merge branch 'simd' of https://github.com/Ralith/Idris-dev into JavaRepairsJan Bessai 8709754Vector operation support in LLVM codegenBenjamin Saunders 702141bSIMD comparison primitivesBenjamin Saunders 86b5a5bParse integer SIMD typesBenjamin Saunders b8dbd52Support for serializing SIMD dataBenjamin Saunders bb52adeRemove incompete(?) pattern support for SIMD valuesBenjamin Saunders 7b7addbFix IBC encoding of new IR arithmetic typesBenjamin Saunders