Commits

Breadcrumbs

History for

on575cc50

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 19, 2016

• Fix typo, make stylize.sh work when a dist directory exists

  enolan

  committed
  0fec73c

  Copy full SHA for 0fec73c

Commits on Oct 13, 2016

• Make it possible to run stylish script from make

  enolan

  committed
  a6f2eb7

  Copy full SHA for a6f2eb7

Commits on Aug 2, 2016

• Don't use color in Appveyor's console. (idris-lang#3312)

  melted

  authored
  7bedd1c

  Copy full SHA for 7bedd1c

Commits on Jul 27, 2016

• Hook the new test infrastructure to cabal

  Show description for 5186d6c
  yacinehmito

  committed
  5186d6c

  Copy full SHA for 5186d6c

• Port the test infrastructure to Tasty

  Show description for 54b94b9
  yacinehmito

  committed
  54b94b9

  Copy full SHA for 54b94b9

Commits on Jan 24, 2016

• Set target explicitly for test_c

  Show description for 028868e
  melted

  committed
  028868e

  Copy full SHA for 028868e

Commits on Jan 22, 2016

• make the tests respect the IDRIS env variable

  Show description for b0e8b12
  melted

  committed
  b0e8b12

  Copy full SHA for b0e8b12

Commits on Dec 15, 2015

• Collection of times during tests optional.

  Show description for 33930f1
  

  Jan de Muijnck-Hughes

  committed
  33930f1

  Copy full SHA for 33930f1

Commits on Oct 18, 2015

• Add implicit lambdas for top level implicits

  Show description for 06edf43
  edwinb

  committed
  06edf43

  Copy full SHA for 06edf43

Commits on Jul 13, 2015

• Add a make target to build an Idris without optimization

  melted

  committed
  227e98a

  Copy full SHA for 227e98a

Commits on Mar 18, 2015

• Updated Makefile to build docs.

  Show description for fb871dd
  

  Jan de Muijnck-Hughes

  committed
  fb871dd

  Copy full SHA for fb871dd

Commits on Jan 4, 2015

• Set CI to anything when running make, then the cabal flag CI will be set

  NobbZ

  committed
  5c17e42

  Copy full SHA for 5c17e42

Commits on Jun 12, 2014

• Fixed makefile spacing issues

  

  Jan de Muijnck-Hughes

  committed
  aa7caa9

  Copy full SHA for aa7caa9

• Modified makefiles to add local IdrisDoc generation.

  

  Jan de Muijnck-Hughes

  committed
  9f77626

  Copy full SHA for 9f77626

Commits on May 5, 2014

• Make Travis build Haddock

  david-christiansen

  committed
  e2c4148

  Copy full SHA for e2c4148

Commits on Mar 7, 2014

• Syntax for failures in pattern matching let/<-

  Show description for 8f93b00
  edwinb

  committed
  8f93b00

  Copy full SHA for 8f93b00

Commits on Jan 30, 2014

• Add 'without' command to test script

  Show description for 20ffcfd
  edwinb

  committed
  20ffcfd

  Copy full SHA for 20ffcfd

Commits on Nov 30, 2013

• Add a test_c target for testing C back end only

  edwinb

  committed
  a6599cf

  Copy full SHA for a6599cf

Commits on Nov 29, 2013

• Generate Haddock as a part of testing

  david-christiansen

  committed
  08eb2e2

  Copy full SHA for 08eb2e2

Commits on Nov 20, 2013

• Moved libraries around, removed 'effects' flag

  Show description for 40924dc
  edwinb

  committed
  40924dc

  Copy full SHA for 40924dc

Commits on Nov 3, 2013

• Add test_all target to run tests for all backends

  Show description for 37f0b57
  david-christiansen

  committed
  37f0b57

  Copy full SHA for 37f0b57

• Name resolution should respect %hide

  Show description for 6b3457a
  edwinb

  committed
  6b3457a

  Copy full SHA for 6b3457a

Commits on Oct 8, 2013

• Test LLVM codegen on travis to reduce future breakage

  Ralith

  committed
  03adfb0

  Copy full SHA for 03adfb0

Commits on Jul 31, 2013

• Allow tests to be parallelized

  Show description for ba73fa2
  JasonGross

  committed
  ba73fa2

  Copy full SHA for ba73fa2

Commits on Jul 9, 2013

• Add java tests to travis.yml

  JanBessai

  committed
  f7132df

  Copy full SHA for f7132df

Commits on Jun 5, 2013

• javascript: added javascript lib package

  raichoo

  committed
  9dea448

  Copy full SHA for 9dea448

Commits on May 10, 2013

• Instead of using the installed global idris for tests,

  Show description for faad05c
  hannesm

  committed
  faad05c

  Copy full SHA for faad05c

Commits on Apr 4, 2013

• Fix "make relib" to use dynamic rts

  david-christiansen

  committed
  b0a82cf

  Copy full SHA for b0a82cf

• Use just-built dynamic RTS during library typecheck

  Show description for 27e3c69
  david-christiansen

  committed
  27e3c69

  Copy full SHA for 27e3c69

Commits on Mar 21, 2013

• Improved Makefile dependencies.

  ertes

  committed
  b1890e7

  Copy full SHA for b1890e7

Commits on Mar 13, 2013

• Added compile flag support to deactivate creation of the java backend

  JanBessai

  committed
  1b46872

  Copy full SHA for 1b46872

Commits on Mar 1, 2013

• Added effects package and associated tests

  edwinb

  committed
  0b5a5b3

  Copy full SHA for 0b5a5b3

Commits on Feb 26, 2013

• Build Haddock and Hoogle files

  Show description for c0bc353
  david-christiansen

  committed
  c0bc353

  Copy full SHA for c0bc353

Commits on Oct 29, 2012

• Refactor the makefile so that all the pertinent variables are in config.mk

  dagit

  committed
  3bfe418

  Copy full SHA for 3bfe418

Commits on Oct 22, 2012

• Added "codata"

  Show description for 5692e48
  edwinb

  committed
  5692e48

  Copy full SHA for 5692e48

Pagination

Previous

Next