Commits

Branch selector

 master

User selector

melted

Datepicker

All time

Commit History

Commits on Feb 1, 2017

• Merge pull request idris-lang#3643 from RyanGlScott/colors-in-mintty

  Show description for b6e1a8c
  melted

  authored
  b6e1a8c

  Copy full SHA for b6e1a8c

Commits on Jan 31, 2017

• Merge pull request idris-lang#3644 from be5invis/be5invis-patch-win32-encoding

  Show description for d08fc3b
  melted

  authored
  d08fc3b

  Copy full SHA for d08fc3b

• Merge pull request idris-lang#3641 from RyanGlScott/master

  Show description for 4fd5fb7
  melted

  authored
  4fd5fb7

  Copy full SHA for 4fd5fb7

• Merge pull request idris-lang#3636 from mrkgnao/fix/master/nix-shebangs

  Show description for 8bd7c4a
  melted

  authored
  8bd7c4a

  Copy full SHA for 8bd7c4a

Commits on Jan 30, 2017

• Merge pull request idris-lang#3634 from Synthetica9/BitsComments

  Show description for 66f4ddd
  melted

  authored
  66f4ddd

  Copy full SHA for 66f4ddd

• Merge pull request idris-lang#3640 from RyanGlScott/fix-mingw-w64-msys-build

  Show description for d1ea277
  melted

  authored
  d1ea277

  Copy full SHA for d1ea277

Commits on Jan 27, 2017

• Merge pull request idris-lang#3632 from RyanGlScott/master

  Show description for 735fbd2
  melted

  authored
  735fbd2

  Copy full SHA for 735fbd2

Commits on Jan 21, 2017

• Merge pull request idris-lang#3628 from melted/tt_json

  Show description for c66bfe5
  melted

  authored
  c66bfe5

  Copy full SHA for c66bfe5

• More ambitious JSON generation from TT

  melted

  committed
  becd614

  Copy full SHA for becd614

• Merge pull request idris-lang#3627 from joe9/master

  Show description for 14b5f3e
  melted

  authored
  14b5f3e

  Copy full SHA for 14b5f3e

Commits on Jan 6, 2017

• Merge pull request idris-lang#3607 from melted/disable_mac

  Show description for 906f564
  melted

  authored
  906f564

  Copy full SHA for 906f564

• Allow failures for Travis Mac build

  Show description for ed5155c
  melted

  committed
  ed5155c

  Copy full SHA for ed5155c

Commits on Jan 5, 2017

• Merge pull request idris-lang#3604 from melted/fix_port_sdecl

  Show description for 4a78f0d
  melted

  authored
  4a78f0d

  Copy full SHA for 4a78f0d

• Fix some name in SExpr json export

  melted

  committed
  252383f

  Copy full SHA for 252383f

• Merge pull request idris-lang#3565 from Synthetica9/Complex_Num_fix

  Show description for 4c91479
  melted

  authored
  4c91479

  Copy full SHA for 4c91479

• Merge pull request idris-lang#3603 from SuprDewd/cast_whitespace

  Show description for 119d964
  melted

  authored
  119d964

  Copy full SHA for 119d964

Commits on Oct 30, 2016

• Merge pull request idris-lang#3504 from enolan/optparse-fix-build

  Show description for ba82f90
  melted

  authored
  ba82f90

  Copy full SHA for ba82f90

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

• Merge pull request idris-lang#3501 from siddharthist/docs/sisnotz-example

  Show description for 5609f01
  melted

  authored
  5609f01

  Copy full SHA for 5609f01

Commits on Oct 21, 2016

• Merge pull request idris-lang#3448 from BartAdv/maybe-dec

  Show description for 898f30d
  melted

  authored
  898f30d

  Copy full SHA for 898f30d

• Merge pull request idris-lang#3493 from enolan/travis-4393

  Show description for e31531e
  melted

  authored
  e31531e

  Copy full SHA for e31531e

• Merge pull request idris-lang#3495 from CarstenKoenig/fix/master/DisableIOBuffering

  Show description for 5cf643e
  melted

  authored
  5cf643e

  Copy full SHA for 5cf643e

Commits on Oct 11, 2016

• Merge pull request idris-lang#3474 from owickstrom/master

  Show description for 5a2f5a4
  melted

  authored
  5a2f5a4

  Copy full SHA for 5a2f5a4

Commits on Sep 21, 2016

• Merge pull request idris-lang#3445 from enolan/optparse-bounds

  Show description for 88e7bea
  melted

  authored
  88e7bea

  Copy full SHA for 88e7bea

Commits on Sep 18, 2016

• Merge pull request idris-lang#3432 from steshaw/intero-tweak-in-main

  Show description for 513bb17
  melted

  authored
  513bb17

  Copy full SHA for 513bb17

Commits on Sep 17, 2016

• Merge pull request idris-lang#3436 from benjamin-hodgson/ghcjs-isWindows

  Show description for 413d398
  melted

  authored
  413d398

  Copy full SHA for 413d398

Commits on Sep 8, 2016

• Merge pull request idris-lang#3413 from melted/node_writesync

  Show description for eab81ec
  melted

  authored
  eab81ec

  Copy full SHA for eab81ec

Commits on Sep 7, 2016

• Use synchronous writes in node runtime.

  Show description for 6f9f55d
  melted

  committed
  6f9f55d

  Copy full SHA for 6f9f55d

• Merge pull request idris-lang#3409 from steshaw/use-search-path-separator

  Show description for 8b659b7
  melted

  authored
  8b659b7

  Copy full SHA for 8b659b7

Commits on Aug 27, 2016

• Merge pull request idris-lang#3387 from zjhmale/rename-sessions-file

  Show description for 75ba656
  melted

  authored
  75ba656

  Copy full SHA for 75ba656

• Merge pull request idris-lang#3380 from zjhmale/rename-interface

  Show description for 1ca7a2c
  melted

  authored
  1ca7a2c

  Copy full SHA for 1ca7a2c

Commits on Aug 26, 2016

• Merge pull request idris-lang#3382 from melted/fix_build

  Show description for 06cc10a
  melted

  authored
  06cc10a

  Copy full SHA for 06cc10a

• Fix build

  Show description for f8ee19a
  melted

  committed
  f8ee19a

  Copy full SHA for f8ee19a

Commits on Aug 12, 2016

• Merge pull request idris-lang#3348 from steshaw/tidy-stderr-output-from-base001

  Show description for e8d356f
  melted

  authored
  e8d356f

  Copy full SHA for e8d356f

• Merge pull request idris-lang#3354 from bravit/fix/master/2884

  Show description for 0e6a10a
  melted

  authored
  0e6a10a

  Copy full SHA for 0e6a10a

Pagination

Previous

Next