Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 21, 2016

• Check for node when running test suite.

  Show description for 5f54e5a
  

  Jan de Muijnck-Hughes

  committed
  5f54e5a

  Copy full SHA for 5f54e5a

Commits on Dec 12, 2016

• Reverted changes to verbosity reporting.

  

  Jan de Muijnck-Hughes

  committed
  cf61801

  Copy full SHA for cf61801

Commits on Dec 11, 2016

• Fix patvar naming for implicits

  Show description for 2196023
  edwinb

  committed
  2196023

  Copy full SHA for 2196023

Commits on Dec 9, 2016

• Fix enumFromThenTo

  Show description for 7e93d70
  edwinb

  committed
  7e93d70

  Copy full SHA for 7e93d70

Commits on Dec 8, 2016

• Improve progress reporting.

  Show description for 15b0829
  

  Jan de Muijnck-Hughes

  committed
  15b0829

  Copy full SHA for 15b0829

Commits on Dec 7, 2016

• Merge branch 'master' of github.com:idris-lang/Idris-dev

  edwinb

  committed
  a02bfec

  Copy full SHA for a02bfec

• Hide more features behind %language pragmas

  Show description for 58c3bb7
  edwinb

  committed
  58c3bb7

  Copy full SHA for 58c3bb7

Commits on Dec 6, 2016

• Fix package testing for windows. Fixes idris-lang#3541

  Show description for 03f3980
  

  Jan de Muijnck-Hughes

  committed
  03f3980

  Copy full SHA for 03f3980

Commits on Dec 3, 2016

• Better choice of pattern to inspect in coverage

  Show description for ea88b5e
  edwinb

  committed
  ea88b5e

  Copy full SHA for ea88b5e

Commits on Nov 29, 2016

• Fix whnfArgs naming error

  Show description for 3a881e6
  edwinb

  committed
  3a881e6

  Copy full SHA for 3a881e6

Commits on Nov 28, 2016

• 'compute' rather than whnf on disambiguation

  Show description for 25eea96
  edwinb

  committed
  25eea96

  Copy full SHA for 25eea96

• More WHNF in Elab.Term

  Show description for 8dc243f
  edwinb

  committed
  8dc243f

  Copy full SHA for 8dc243f

• Use WHNF in a few places

  edwinb

  committed
  d0671a3

  Copy full SHA for d0671a3

Commits on Nov 25, 2016

• New coverage checker

  Show description for 61d5865
  edwinb

  committed
  61d5865

  Copy full SHA for 61d5865

Commits on Nov 21, 2016

• Add a regression test.

  ziman

  committed
  ddd53cd

  Copy full SHA for ddd53cd

Commits on Nov 20, 2016

• Look deeper when coverage checking

  Show description for b0899cc
  edwinb

  committed
  b0899cc

  Copy full SHA for b0899cc

Commits on Nov 17, 2016

• Merge branch 'master' of github.com:idris-lang/Idris-dev

  edwinb

  committed
  ff01a4c

  Copy full SHA for ff01a4c

• Change totality checking and inlining

  Show description for 7537cc4
  edwinb

  committed
  7537cc4

  Copy full SHA for 7537cc4

Commits on Nov 16, 2016

• Merge pull request idris-lang#3508 from orokanasaru/ranges

  Show description for d8fd36a
  jfdm

  authored
  d8fd36a

  Copy full SHA for d8fd36a

Commits on Nov 1, 2016

• Modify pretty printer for lambdas

  Show description for 4057b48
  edwinb

  committed
  4057b48

  Copy full SHA for 4057b48

Commits on Oct 31, 2016

• Updating range behavior to match Haskell's where appropriate

  Show description for 3962e62
  michens

  committed
  3962e62

  Copy full SHA for 3962e62

Commits on Oct 26, 2016

• Fix building with optparse-applicative-0.13.0

  Show description for 4b21a57
  enolan

  committed
  4b21a57

  Copy full SHA for 4b21a57

Commits on Oct 23, 2016

• Merge pull request idris-lang#3482 from PoroCYon/master

  Show description for bb3bc16
  melted

  authored
  bb3bc16

  Copy full SHA for bb3bc16

Commits on Oct 12, 2016

• updated the test output

  

  PoroCYon

  committed
  4a23805

  Copy full SHA for 4a23805

• Print interface constraints as a separate section

  owickstrom

  committed
  1c155de

  Copy full SHA for 1c155de

Commits on Oct 7, 2016

• Make arguments implicit in HVect.Shows

  edwinb

  committed
  8e43d11

  Copy full SHA for 8e43d11

• Partial evaluation fixes

  Show description for 97319d9
  edwinb

  committed
  97319d9

  Copy full SHA for 97319d9

Commits on Oct 1, 2016

• Merge pull request idris-lang#3469 from enolan/alphabetize

  Show description for 692d610
  david-christiansen

  authored
  692d610

  Copy full SHA for 692d610

• Alphabetize and indent imports and LANGUAGE pragmas

  Show description for e6ceb5c
  enolan

  committed
  e6ceb5c

  Copy full SHA for e6ceb5c

Commits on Sep 30, 2016

• Make Vect follow the naming convention of List

  Show description for be7689b
  

  david-christiansen

  authored and

  Jan de Muijnck-Hughes

  committed
  be7689b

  Copy full SHA for be7689b

Commits on Sep 27, 2016

• Set "--port none" in tests

  

  enolan

  authored and

  melted

  committed
  8ea8a38

  Copy full SHA for 8ea8a38

Commits on Sep 15, 2016

• Added test for incorrect FFI C usage.

  

  Jan de Muijnck-Hughes

  committed
  b9a7352

  Copy full SHA for b9a7352

Commits on Sep 10, 2016

• Change Instance to implementation (idris-lang#3404)

  Show description for 0df1270
  

  swr1bm86

  authored and

  Ahmad Salim Al-Sibahi

  committed
  0df1270

  Copy full SHA for 0df1270

Commits on Sep 9, 2016

• Add a test for idris-lang#3397

  enolan

  committed
  55e72e4

  Copy full SHA for 55e72e4

Commits on Sep 4, 2016

• Merge pull request idris-lang#3376 from zjhmale/fix-error-message

  Show description for 289df05
  

  Ahmad Salim Al-Sibahi

  authored
  289df05

  Copy full SHA for 289df05

Pagination

Previous

Next