Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 12, 2019

• Merge pull request idris-lang#4734 from ziman/fix-travis

  Show description for 611564b
  jfdm

  authored
  611564b

  Copy full SHA for 611564b

Commits on Jul 11, 2019

• Merge pull request idris-lang#4737 from clayrat/fileremove

  Show description for c7a05af
  melted

  authored
  c7a05af

  Copy full SHA for c7a05af

Commits on Jul 10, 2019

• test for file existence

  clayrat

  committed
  ab47462

  Copy full SHA for ab47462

• fix executor and test output

  clayrat

  committed
  f8c53eb

  Copy full SHA for f8c53eb

• fix Core.Execute and test

  clayrat

  committed
  f66e8a9

  Copy full SHA for f66e8a9

• fix Core.Execute

  clayrat

  committed
  233a07e

  Copy full SHA for 233a07e

• add expected output for the test

  clayrat

  committed
  a803df4

  Copy full SHA for a803df4

• add fRemove FFI call

  clayrat

  committed
  2405b0b

  Copy full SHA for 2405b0b

Commits on Jul 7, 2019

• Merge pull request idris-lang#4731 from martinbaker/fixInteractiveDoc

  Show description for 26fa6c3
  melted

  authored
  26fa6c3

  Copy full SHA for 26fa6c3

• Merge pull request idris-lang#4733 from clayrat/bool-lattice

  Show description for bc1c500
  melted

  authored
  bc1c500

  Copy full SHA for bc1c500

• Add a missing extra package.

  ziman

  committed
  a70b24d

  Copy full SHA for a70b24d

• Fix Travis build by removing redundant stack.yaml entry.

  ziman

  committed
  140671a

  Copy full SHA for 140671a

Commits on Jul 6, 2019

• fix markup

  

  martinbaker

  committed
  01b7dbc

  Copy full SHA for 01b7dbc

• Merge pull request idris-lang#4726 from 0nkery/master

  Show description for fd5dfd9
  melted

  authored
  fd5dfd9

  Copy full SHA for fd5dfd9

• Merge pull request idris-lang#4724 from nickdrozd/logic

  Show description for f4cd5c0
  melted

  authored
  f4cd5c0

  Copy full SHA for f4cd5c0

• fix typo

  

  martinbaker

  committed
  b0edb5b

  Copy full SHA for b0edb5b

Commits on Jul 4, 2019

• better resolution of issue

  

  martinbaker

  committed
  adbfa55

  Copy full SHA for adbfa55

• expand Bool laws, add (verified) lattice instances for Bool & Nat

  clayrat

  committed
  977f1c0

  Copy full SHA for 977f1c0

Commits on Jun 23, 2019

• more about putting proofs into compiler

  

  martinbaker

  committed
  eab18ea

  Copy full SHA for eab18ea

Commits on Jun 21, 2019

• remove compute tactic from example

  

  martinbaker

  committed
  a20abcb

  Copy full SHA for a20abcb

Commits on Jun 9, 2019

• Add 'tasty-rerun' to extra deps in stack.yaml

  

  Dmitry Shlagoff

  committed
  9870904

  Copy full SHA for 9870904

Commits on Jun 3, 2019

• Add some propositional logic theorems

  nickdrozd

  committed
  32e92e8

  Copy full SHA for 32e92e8

• Merge pull request idris-lang#4725 from gdennie/patch-1

  Show description for 162e468
  jfdm

  authored
  162e468

  Copy full SHA for 162e468

Commits on Jun 2, 2019

• correct example package name

  gdennie

  authored
  2ce0c5d

  Copy full SHA for 2ce0c5d

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

• Add some parity theorems

  Show description for c9b4ffe
  nickdrozd

  committed
  c9b4ffe

  Copy full SHA for c9b4ffe

Commits on May 29, 2019

• Merge pull request idris-lang#4718 from martinbaker/interactiveDocFix

  Show description for 99ac202
  jfdm

  authored
  99ac202

  Copy full SHA for 99ac202

• Merge pull request idris-lang#4719 from klangner/master

  Show description for aed33b8
  jfdm

  authored
  aed33b8

  Copy full SHA for aed33b8

Commits on May 27, 2019

• Added examples to the Vect doc

  klangner

  committed
  cc30a89

  Copy full SHA for cc30a89

Commits on May 24, 2019

• fix formatting error which caused missing code block

  

  Martin Baker

  committed
  0ccc003

  Copy full SHA for 0ccc003

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 16, 2019

• Merge pull request idris-lang#4709 from jfdm/new-stack

  Show description for 2418112
  jfdm

  authored
  2418112

  Copy full SHA for 2418112

• Merge pull request idris-lang#4708 from jfdm/show-visibility-in-docs

  Show description for 4efeda8
  jfdm

  authored
  4efeda8

  Copy full SHA for 4efeda8

• Updated changelog and add GitHub issue reference: Fixes idris-lang#4702

  jfdm

  committed
  dbf060c

  Copy full SHA for dbf060c

• Add an alternative stack configuration file to deal with upstream GHC issues.

  Show description for f25bcfe
  jfdm

  committed
  f25bcfe

  Copy full SHA for f25bcfe

Pagination

Previous

Next