09eebbfMerge pull request #395 from melted/optllvmEdwin Brady13 years ago 86b4541Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady13 years ago 293c8a2Allow partial show instancesEdwin 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 9292030Merge pull request #1 from david-christiansen/ideslave-proverHannes Mehnert13 years ago 06cb945Report success or failure in IDESlave mode while loading a fileDavid Christiansen13 years ago 9b4b7dccleanupsHannes Mehnert13 years ago 64afbf1send start/end proof mode messages from within proverHannes Mehnert13 years ago 1721a22more work on the prove mode... now sending messages when it started and finishedHannes Mehnert13 years ago 5242001support ideslave mode with proverHannes Mehnert13 years ago b253edchandle Prove in toplevel of ideslave, to reset prompt after it returnedHannes Mehnert13 years ago b9df272layout improvementHannes Mehnert13 years ago f540cf5remove duplicate 'intro' and 'intros'Hannes Mehnert13 years ago 50086acabstract set-prompt into isetPrompt -- and use itHannes Mehnert13 years ago d7c8e63define and use iputGoal instead of putStrLnHannes Mehnert13 years ago d9e7912FTy convenience names for fixed-width intsBenjamin Saunders13 years ago 7de42c8Implement bitcasts in LLVM codegenBenjamin Saunders13 years ago 4a39cd4Update usage with --codegen and add a couple of other flags.Niklas Larsson13 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