Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 19, 2015

• Merge pull request idris-lang#2867 from jfdm/saner-stack-defaults

  Show description for b3db250
  jfdm

  committed
  b3db250

  Copy full SHA for b3db250

• Merge pull request idris-lang#2856 from jfdm/log-by-category

  Show description for a8e9ec5
  jfdm

  committed
  a8e9ec5

  Copy full SHA for a8e9ec5

• Saner defaults for stack and revised installation instructions.

  

  Jan de Muijnck-Hughes

  committed
  69846d9

  Copy full SHA for 69846d9

• Added new logging category for IBC operations.

  

  Jan de Muijnck-Hughes

  committed
  5f3e700

  Copy full SHA for 5f3e700

• Logging Categories: Fixed typo, and updated changelog.

  

  Jan de Muijnck-Hughes

  committed
  9255de5

  Copy full SHA for 9255de5

Commits on Dec 18, 2015

• Categorised the Logs.

  Show description for 39a8c78
  

  Jan de Muijnck-Hughes

  committed
  39a8c78

  Copy full SHA for 39a8c78

• Updated logging categories.

  Show description for 5dc9d1a
  

  Jan de Muijnck-Hughes

  committed
  5dc9d1a

  Copy full SHA for 5dc9d1a

Commits on Dec 17, 2015

• Merge pull request idris-lang#2853 from jfdm/time-tests

  Show description for 9c99198
  jfdm

  committed
  9c99198

  Copy full SHA for 9c99198

• Merge pull request idris-lang#2861 from ozgurakgun/master

  Show description for a86558a
  david-christiansen

  committed
  a86558a

  Copy full SHA for a86558a

• Increment patch version number

  edwinb

  committed
  7625799

  Copy full SHA for 7625799

Commits on Dec 15, 2015

• Collection of times during tests optional.

  Show description for 33930f1
  

  Jan de Muijnck-Hughes

  committed
  33930f1

  Copy full SHA for 33930f1

• Updated timing tests to print using printf.

  

  Jan de Muijnck-Hughes

  committed
  5ffdb61

  Copy full SHA for 5ffdb61

• Added calculation fof entire test suite run.

  

  Jan de Muijnck-Hughes

  committed
  04d7f57

  Copy full SHA for 04d7f57

• Gather timing data for tests.

  Show description for 9cfd857
  

  Jan de Muijnck-Hughes

  committed
  9cfd857

  Copy full SHA for 9cfd857

• Merge pull request idris-lang#2860 from ozgurakgun/fix-typo

  Show description for 2da8c19
  david-christiansen

  committed
  2da8c19

  Copy full SHA for 2da8c19

• universe inconsistency errors can originate from two places. make the error message consistent between these two.

  ozgurakgun

  committed
  752174f

  Copy full SHA for 752174f

• debuggging --> debugging

  ozgurakgun

  committed
  eeb1384

  Copy full SHA for eeb1384

• Fix File effect

  edwinb

  committed
  ff1dc88

  Copy full SHA for ff1dc88

Commits on Dec 14, 2015

• Change file operation names

  Show description for bf4bdcc
  edwinb

  committed
  bf4bdcc

  Copy full SHA for bf4bdcc

• Merge pull request idris-lang#2858 from LeifW/remove_zlib_constraint_on_new_ghc

  Show description for 75aa4df
  edwinb

  committed
  75aa4df

  Copy full SHA for 75aa4df

• Merge pull request idris-lang#2855 from jfdm/test-stack-aware

  Show description for e6307e8
  edwinb

  committed
  e6307e8

  Copy full SHA for e6307e8

• Merge pull request idris-lang#2849 from aaronc/master

  Show description for e617f01
  edwinb

  committed
  e617f01

  Copy full SHA for e617f01

• Merge pull request idris-lang#2854 from jfdm/sphinx-doc-fixes

  Show description for 161deaa
  edwinb

  committed
  161deaa

  Copy full SHA for 161deaa

• Merge pull request idris-lang#2852 from jfdm/dev-docs-improvements

  Show description for 5368429
  edwinb

  committed
  5368429

  Copy full SHA for 5368429

• Merge pull request idris-lang#2841 from norm2782/master

  Show description for a8ddd00
  edwinb

  committed
  a8ddd00

  Copy full SHA for a8ddd00

• Merge pull request idris-lang#2859 from ziman/fix-segfault

  Show description for 32cc7dc
  edwinb

  committed
  32cc7dc

  Copy full SHA for 32cc7dc

• Merge pull request idris-lang#2825 from Garciat/patch-1

  Show description for 2767cd4
  edwinb

  committed
  2767cd4

  Copy full SHA for 2767cd4

• Merge pull request idris-lang#2824 from eklavya/master

  Show description for 6f641e1
  edwinb

  committed
  6f641e1

  Copy full SHA for 6f641e1

• Merge pull request idris-lang#2769 from lenary/annotate-prelude-with-used

  Show description for c34329d
  edwinb

  committed
  c34329d

  Copy full SHA for c34329d

Commits on Dec 12, 2015

• Add a regression test.

  ziman

  committed
  45e67fd

  Copy full SHA for 45e67fd

• Fix segfault in case-lambdas.

  ziman

  committed
  5b17ff0

  Copy full SHA for 5b17ff0

• Remove zlib constraint for GHC >= 7.10.3

  Show description for 77b4ec8
  LeifW

  committed
  77b4ec8

  Copy full SHA for 77b4ec8

Commits on Dec 11, 2015

• Initial commit for a category based logger for Idris.

  Show description for d901c69
  

  Jan de Muijnck-Hughes

  committed
  d901c69

  Copy full SHA for d901c69

• Make test script stack aware.

  Show description for 2f2a225
  

  Jan de Muijnck-Hughes

  committed
  2f2a225

  Copy full SHA for 2f2a225

• Fixes idris-lang#2036 idris-lang#2037 Tutorial Updates.

  Show description for f4d090c
  

  Jan de Muijnck-Hughes

  committed
  f4d090c

  Copy full SHA for f4d090c

Pagination

Previous

Next