git.iko.soy/Idris-dev
on 2cfbee4 help sign in
2cfbee4The old code doesn't workChao-Hong Chen 79ff02fMerge pull request #2883 from paulkoerbitz/2819-fix-benchmarksJan de Muijnck-Hughes 665c467Run benchmarks in travisPaul Koerbitz 86782e6Fix quasigroups compile time issuesPaul Koerbitz bccb453Fix pidigits benchmarkPaul Koerbitz ec4eab3Fix sortvec benchmark compile time issuesPaul Koerbitz 7de7820Fix fasta benchmark compile time issuesPaul Koerbitz f6f97ebMerge pull request #2862 from xieyuheng/masterNiklas Larsson 5b13b4eMerge pull request #2870 from imuli/data-string-fixNiklas Larsson bf7d26cMerge pull request #2878 from Heather/QANiklas Larsson 8bb4521Merge pull request #2880 from goofballLogic/patch-1Niklas Larsson 9855481Update System.idrAndrew Stewart Gibson 1b3bffaProver.hs: foldl (++) [] . map -> concatMapHeather 504f706Merge pull request #2877 from melted/fix-freestandingNiklas Larsson e381fbdFix freestanding buildNiklas Larsson 07a80b2Make Data.String functions available.Imuli 6b74ec6Merge pull request #2868 from jfdm/logging-docsJan de Muijnck-Hughes d3d679eMerge pull request #2869 from jfdm/list-categoriesJan de Muijnck-Hughes 6dc452eupdate the PR about 'desugars' -> 'displays ... as ...' in the tutorial, according to christiansen's advises.XIE Yuheng fd9003bAdded flag to display available logging categories.Jan de Muijnck-Hughes ec3a454Fixes #2865 by adding documentation for category-based logging.Jan de Muijnck-Hughes b3db250Merge pull request #2867 from jfdm/saner-stack-defaultsJan de Muijnck-Hughes a8e9ec5Merge pull request #2856 from jfdm/log-by-categoryJan de Muijnck-Hughes 69846d9Saner defaults for stack and revised installation instructions.Jan de Muijnck-Hughes 5f3e700Added new logging category for IBC operations.Jan de Muijnck-Hughes 9255de5Logging Categories: Fixed typo, and updated changelog.Jan de Muijnck-Hughes 39a8c78Categorised the Logs.Jan de Muijnck-Hughes 5dc9d1aUpdated logging categories.Jan de Muijnck-Hughes 9c99198Merge pull request #2853 from jfdm/time-testsJan de Muijnck-Hughes a86558aMerge pull request #2861 from ozgurakgun/masterDavid Christiansen 7625799Increment patch version numberEdwin Brady 927332ffix typo in tutorial : 'desugars' -> 'displays ... as ...'XIE Yuheng 33930f1Collection of times during tests optional.Jan de Muijnck-Hughes 5ffdb61Updated timing tests to print using printf.Jan de Muijnck-Hughes 04d7f57Added calculation fof entire test suite run.Jan de Muijnck-Hughes 9cfd857Gather timing data for tests.Jan de Muijnck-Hughes 2da8c19Merge pull request #2860 from ozgurakgun/fix-typoDavid Christiansen 752174funiverse inconsistency errors can originate from two places. make the error message consistent between these two.Ozgur Akgun eeb1384debuggging --> debuggingOzgur Akgun ff1dc88Fix File effectEdwin Brady bf4bdccChange file operation namesEdwin Brady 75aa4dfMerge pull request #2858 from LeifW/remove_zlib_constraint_on_new_ghcEdwin Brady e6307e8Merge pull request #2855 from jfdm/test-stack-awareEdwin Brady e617f01Merge pull request #2849 from aaronc/masterEdwin Brady 161deaaMerge pull request #2854 from jfdm/sphinx-doc-fixesEdwin Brady 5368429Merge pull request #2852 from jfdm/dev-docs-improvementsEdwin Brady a8ddd00Merge pull request #2841 from norm2782/masterEdwin Brady 32cc7dcMerge pull request #2859 from ziman/fix-segfaultEdwin Brady 2767cd4Merge pull request #2825 from Garciat/patch-1Edwin Brady 6f641e1Merge pull request #2824 from eklavya/masterEdwin Brady