git.iko.soy/Idris-dev
on master help sign in
history ofebacfee..master
compare
09eebbfMerge pull request #395 from melted/optllvmEdwin Brady 86b4541Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 293c8a2Allow partial show instancesEdwin Brady 7105d79Merge pull request #394 from Melvar/fmap-to-mapEdwin Brady c2623f4Merge pull request #393 from Ralith/additional-arithmetic-instancesEdwin Brady 68c5bb7Merge pull request #390 from Ralith/vector-ftypesEdwin Brady b1cb65cMerge pull request #374 from raichoo/javascriptEdwin Brady 9292030Merge pull request #1 from david-christiansen/ideslave-proverHannes Mehnert 06cb945Report success or failure in IDESlave mode while loading a fileDavid Christiansen 9b4b7dccleanupsHannes Mehnert 64afbf1send start/end proof mode messages from within proverHannes Mehnert 1721a22more work on the prove mode... now sending messages when it started and finishedHannes Mehnert 5242001support ideslave mode with proverHannes Mehnert b253edchandle Prove in toplevel of ideslave, to reset prompt after it returnedHannes Mehnert b9df272layout improvementHannes Mehnert f540cf5remove duplicate 'intro' and 'intros'Hannes Mehnert 50086acabstract set-prompt into isetPrompt -- and use itHannes Mehnert d7c8e63define and use iputGoal instead of putStrLnHannes Mehnert d9e7912FTy convenience names for fixed-width intsBenjamin Saunders 7de42c8Implement bitcasts in LLVM codegenBenjamin Saunders 4a39cd4Update usage with --codegen and add a couple of other flags.Niklas Larsson e9ba9b9Fail idiomaticallyNiklas Larsson 0c1deafMerge pull request #389 from melted/optllvmEdwin Brady 5657db0Uniform vector constructorsBenjamin Saunders ee06705rename fmap to mapMelvar Chen c3e143fAdd Num and Show instances for the new(ish) arithmetic typesBenjamin Saunders e449182javascript: add LZExtraichoo 42da36fjavascript: add match on ITCharraichoo 5e84e36javascript: fix namesraichoo b875c2fjavascript: remove broken optimizationraichoo aa42f71CleanupBenjamin Saunders f0c1e19Vector FFI and bitcastsBenjamin Saunders 93af028javascript: optimize some primitive functionsraichoo 3e80ef5javascript: factor out runtime namespaceraichoo a3515a4javascript: remove duplicate testraichoo bd6a5e4javascript: fixed bug introduced through primitive unificationraichoo fa526e4javascript: get more out of google closureraichoo 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