Commits

Branch selector

 master

User selector

melted

Datepicker

All time

Commit History

Commits on May 30, 2019

• Merge pull request idris-lang#4721 from nickdrozd/parity

  Show description for fdcbb6d
  melted

  authored
  fdcbb6d

  Copy full SHA for fdcbb6d

Commits on May 23, 2019

• Merge pull request idris-lang#4705 from nickdrozd/reverse-proofs

  Show description for ef51a46
  melted

  authored
  ef51a46

  Copy full SHA for ef51a46

Commits on May 9, 2019

• Merge pull request idris-lang#4701 from melted/time_win

  Show description for c8f7604
  melted

  authored
  c8f7604

  Copy full SHA for c8f7604

Commits on May 8, 2019

• Implement idris_clock on windows

  melted

  committed
  7626280

  Copy full SHA for 7626280

Commits on May 7, 2019

• Merge pull request idris-lang#4699 from melted/issue-4698

  Show description for ed4d4cf
  melted

  authored
  ed4d4cf

  Copy full SHA for ed4d4cf

• Mangle unicode identifiers in C backend

  Show description for 1891190
  melted

  committed
  1891190

  Copy full SHA for 1891190

Commits on Apr 10, 2019

• Merge pull request idris-lang#4678 from mokshasoft/small-rts-fixes

  Show description for c736c53
  melted

  authored
  c736c53

  Copy full SHA for c736c53

Commits on Apr 5, 2019

• Merge pull request idris-lang#4685 from ziman/generalised-nat-hack

  Show description for cb90bf8
  melted

  authored
  cb90bf8

  Copy full SHA for cb90bf8

Commits on Apr 1, 2019

• Merge pull request idris-lang#4684 from ivanperez-keera/master

  Show description for aee9c52
  melted

  authored
  aee9c52

  Copy full SHA for aee9c52

Commits on Mar 21, 2019

• Merge pull request idris-lang#4677 from bor0/patch-1

  Show description for 268db5d
  melted

  authored
  268db5d

  Copy full SHA for 268db5d

• Merge pull request idris-lang#4658 from martinbaker/mydoc

  Show description for 9d03084
  melted

  authored
  9d03084

  Copy full SHA for 9d03084

• Merge pull request idris-lang#4675 from Sventimir/algebra-proofs

  Show description for a5f4d7d
  melted

  authored
  a5f4d7d

  Copy full SHA for a5f4d7d

• Merge pull request idris-lang#4674 from mokshasoft/sel4-cmake

  Show description for 23e14fe
  melted

  authored
  23e14fe

  Copy full SHA for 23e14fe

Commits on Mar 12, 2019

• Merge pull request idris-lang#4670 from melted/binary_win

  Show description for b07cac6
  melted

  authored
  b07cac6

  Copy full SHA for b07cac6

Commits on Mar 11, 2019

• Make binary files the default when opening.

  Show description for 56c2058
  melted

  committed
  56c2058

  Copy full SHA for 56c2058

Commits on Mar 2, 2019

• Merge pull request idris-lang#4665 from OlingCat/patch-1

  Show description for 5188ef3
  melted

  authored
  5188ef3

  Copy full SHA for 5188ef3

• Merge pull request idris-lang#4667 from melted/fix_appveyor

  Show description for b56ef01
  melted

  authored
  b56ef01

  Copy full SHA for b56ef01

Commits on Mar 1, 2019

• Fix appveyor

  Show description for 609f712
  melted

  committed
  609f712

  Copy full SHA for 609f712

Commits on Feb 27, 2019

• Merge pull request idris-lang#4660 from rbarreiro/issue_4656

  Show description for afd5c9a
  melted

  authored
  afd5c9a

  Copy full SHA for afd5c9a

• Merge pull request idris-lang#4659 from jinbijin/master

  Show description for f59d33d
  melted

  authored
  f59d33d

  Copy full SHA for f59d33d

• Merge pull request idris-lang#4654 from locallycompact/master

  Show description for 0365bec
  melted

  authored
  0365bec

  Copy full SHA for 0365bec

• Merge pull request idris-lang#4652 from justjoheinz/patch-5

  Show description for 5268db5
  melted

  authored
  5268db5

  Copy full SHA for 5268db5

• Merge pull request idris-lang#4638 from cypheon/socket-constants-fix

  Show description for 760c8ce
  melted

  authored
  760c8ce

  Copy full SHA for 760c8ce

• Merge pull request idris-lang#4636 from alaendle/feature/identity-monoid

  Show description for a6a51cd
  melted

  authored
  a6a51cd

  Copy full SHA for a6a51cd

• Merge pull request idris-lang#4649 from zenntenn/makingtotal

  Show description for 22f69e8
  melted

  authored
  22f69e8

  Copy full SHA for 22f69e8

• Merge pull request idris-lang#4645 from clayrat/patch-14

  Show description for 83d3acf
  melted

  authored
  83d3acf

  Copy full SHA for 83d3acf

Commits on Feb 4, 2019

• Merge pull request idris-lang#4648 from beardhatcode/fix/doc-wrong-doi-link

  Show description for 007d43e
  melted

  authored
  007d43e

  Copy full SHA for 007d43e

Commits on Jan 14, 2019

• Merge pull request idris-lang#4640 from chexxor/patch-1

  Show description for 106f6b2
  melted

  authored
  106f6b2

  Copy full SHA for 106f6b2

• Merge pull request idris-lang#4639 from jacereda/megaparsec7

  Show description for cfb0cd7
  melted

  authored
  cfb0cd7

  Copy full SHA for cfb0cd7

Commits on Dec 26, 2018

• Merge pull request idris-lang#4632 from bigos/patch-1

  Show description for 03d9188
  melted

  authored
  03d9188

  Copy full SHA for 03d9188

• Merge pull request idris-lang#4630 from unalos/4629

  Show description for 32940be
  melted

  authored
  32940be

  Copy full SHA for 32940be

• Merge pull request idris-lang#4628 from unalos/4627

  Show description for 33d8d91
  melted

  authored
  33d8d91

  Copy full SHA for 33d8d91

• Merge pull request idris-lang#4626 from unalos/4625

  Show description for 4594f92
  melted

  authored
  4594f92

  Copy full SHA for 4594f92

• Merge pull request idris-lang#4623 from unalos/4292

  Show description for be43904
  melted

  authored
  be43904

  Copy full SHA for be43904

Commits on Dec 20, 2018

• Merge pull request idris-lang#4617 from unalos/master

  Show description for ecf297a
  melted

  authored
  ecf297a

  Copy full SHA for ecf297a

Pagination

Previous

Next