git.iko.soy/Idris-dev
on master help sign in
history of8a9fed6..master
compare
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 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 06a43e2Merge branch 'simd' of https://github.com/Ralith/Idris-dev into JavaRepairsJan Bessai 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 5067d7eVector operation support in LLVM codegenBenjamin Saunders 115ad2fSIMD comparison primitivesBenjamin Saunders