Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 2, 2024

• Merge pull request idris-lang#4926 from Vekhir/patch-1

  Show description for cf78f0f
  melted

  authored
  cf78f0f

  Copy full SHA for cf78f0f

• Update dependencies

  Show description for 76f0430
  Vekhir

  authored
  76f0430

  Copy full SHA for 76f0430

Commits on Dec 30, 2023

• Merge pull request idris-lang#4925 from Vekhir/support-mtl2.3

  Show description for ea8ce2e
  melted

  authored
  ea8ce2e

  Copy full SHA for ea8ce2e

Commits on Dec 17, 2023

• Support mtl 2.3

  Vekhir

  committed
  71f4da9

  Copy full SHA for 71f4da9

Commits on Mar 4, 2023

• Merge pull request idris-lang#4922 from felixonmars/patch-2

  Show description for 80fa67e
  melted

  authored
  80fa67e

  Copy full SHA for 80fa67e

Commits on Feb 5, 2023

• Allow fsnotify 0.4

  Show description for b0e8c80
  felixonmars

  authored
  b0e8c80

  Copy full SHA for b0e8c80

Commits on Oct 10, 2022

• Merge pull request idris-lang#4921 from felixonmars/patch-2

  Show description for 28fa2d8
  melted

  authored
  28fa2d8

  Copy full SHA for 28fa2d8

• Allow vector 0.13

  Show description for 0a720a2
  felixonmars

  authored
  0a720a2

  Copy full SHA for 0a720a2

Commits on Aug 23, 2022

• Merge pull request idris-lang#4920 from felixonmars/patch-2

  Show description for 8d9a494
  melted

  authored
  8d9a494

  Copy full SHA for 8d9a494

• Allow libffi 0.2

  Show description for 6d6017f
  felixonmars

  authored
  6d6017f

  Copy full SHA for 6d6017f

Commits on Apr 17, 2022

• Merge pull request idris-lang#4916 from attila-lendvai-patches/guix

  Show description for c99bc9e
  melted

  authored
  c99bc9e

  Copy full SHA for c99bc9e

• Merge pull request idris-lang#4915 from attila-lendvai-patches/ffi008

  Show description for 7b19565
  melted

  authored
  7b19565

  Copy full SHA for 7b19565

Commits on Apr 14, 2022

• Add a guix.scm for easy building on Guix.

  Show description for 366f236
  attila-lendvai

  committed
  366f236

  Copy full SHA for 366f236

• fix ffi008 test: Avoid multiple definition of `mystruct'.

  attila-lendvai

  committed
  b2a1960

  Copy full SHA for b2a1960

• Revert "fix ffi008 test: add -fcommon to the CLFAGS to accommodate gcc v9+"

  Show description for 3020d77
  attila-lendvai

  committed
  3020d77

  Copy full SHA for 3020d77

Commits on Mar 7, 2022

• Merge pull request idris-lang#4912 from Mathnerd314/patch-1

  Show description for 49594c6
  melted

  authored
  49594c6

  Copy full SHA for 49594c6

Commits on Mar 1, 2022

• mention named implementations earlier

  Mathnerd314

  authored
  fa13022

  Copy full SHA for fa13022

Commits on Feb 10, 2022

• Merge pull request idris-lang#4910 from attila-lendvai-patches/ffi008

  Show description for 33b06b0
  melted

  authored
  33b06b0

  Copy full SHA for 33b06b0

Commits on Jan 5, 2022

• Merge pull request idris-lang#4909 from pawelsawicz/patch-1

  Show description for 52d123c
  jfdm

  authored
  52d123c

  Copy full SHA for 52d123c

Commits on Dec 30, 2021

• fix ffi008 test: add -fcommon to the CLFAGS to accommodate gcc v9+

  Show description for a91cea8
  attila-lendvai

  committed
  a91cea8

  Copy full SHA for a91cea8

Commits on Nov 7, 2021

• Changed IRC server information

  pawelsawicz

  authored
  e17e0ef

  Copy full SHA for e17e0ef

Commits on Oct 22, 2021

• Merge pull request idris-lang#4908 from melted/idris-release-1.3.4

  Show description for d30e505
  melted

  authored
  d30e505

  Copy full SHA for d30e505

• Update version to 1.3.4

  melted

  committed
  d37b0cb

  Copy full SHA for d37b0cb

• Rename forall

  Show description for 4b91a95
  melted

  committed
  4b91a95

  Copy full SHA for 4b91a95

• Update appveyor script

  melted

  committed
  b1f3dd7

  Copy full SHA for b1f3dd7

• Merge pull request idris-lang#4906 from attila-lendvai/cc-env

  Show description for 0d094e7
  melted

  authored
  0d094e7

  Copy full SHA for 0d094e7

• Merge pull request idris-lang#4894 from alexfmpe/patch-2

  Show description for 8752d86
  melted

  authored
  8752d86

  Copy full SHA for 8752d86

• Merge pull request idris-lang#4900 from vanillajonathan/patch-1

  Show description for 13cdb16
  melted

  authored
  13cdb16

  Copy full SHA for 13cdb16

Commits on Sep 22, 2021

• IDRIS_CC and IDRIS_CFLAGS: fallback to the unprefixed variables

  attila-lendvai

  committed
  22c792a

  Copy full SHA for 22c792a

Commits on Aug 29, 2021

• Merge pull request idris-lang#4902 from attila-lendvai/attila

  Show description for 9f5ceb7
  melted

  authored
  9f5ceb7

  Copy full SHA for 9f5ceb7

• README: mention Idris2 and clarify the situation WRT Idris 1

  attila-lendvai

  committed
  9c9e936

  Copy full SHA for 9c9e936

• added a shell.nix and updated INSTALL.md

  attila-lendvai

  committed
  f964806

  Copy full SHA for f964806

Commits on Aug 21, 2021

• Merge pull request idris-lang#4903 from juhp/patch-5

  Show description for 64b6d04
  melted

  authored
  64b6d04

  Copy full SHA for 64b6d04

• allow ansi-terminal-0.11 and megaparsec-9

  Show description for 783737d
  juhp

  authored
  783737d

  Copy full SHA for 783737d

Commits on Jun 26, 2021

• Merge pull request idris-lang#4897 from SekiT/fix-typo-erase

  Show description for 2ef8238
  melted

  authored
  2ef8238

  Copy full SHA for 2ef8238

Pagination

Previous

Next