Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 24, 2017

• Upgrade to latest Idris master

  bamboo

  committed
  37ec9a3

  Copy full SHA for 37ec9a3

Commits on Aug 9, 2017

• Merge pull request #23 from xran-deex/master

  Show description for 00e977f
  bamboo

  authored
  00e977f

  Copy full SHA for 00e977f

Commits on Aug 8, 2017

• Support for void function calls. Casting between Double and Int.

  xran-deex

  committed
  cc8a945

  Copy full SHA for cc8a945

Commits on Jul 30, 2017

• Spike FFI support for ref parameters

  bamboo

  committed
  d5804f2

  Copy full SHA for d5804f2

• Polish Array FFI

  bamboo

  committed
  1dd516f

  Copy full SHA for 1dd516f

• Allow tests to transform the generated assembly

  bamboo

  committed
  2e1289d

  Copy full SHA for 2e1289d

• Polish `FFI.hs`

  bamboo

  committed
  fcf1179

  Copy full SHA for fcf1179

Commits on Jul 26, 2017

• Fix `dotnet new` command line syntax in setup instructions

  bamboo

  committed
  61bdd41

  Copy full SHA for 61bdd41

• Use command line compatible with `ilasm` from dotnet core

  bamboo

  committed
  fa115b4

  Copy full SHA for fa115b4

• Document how to install `ilasm` on top of .NET Core 1.1

  Show description for 37713ad
  bamboo

  committed
  37713ad

  Copy full SHA for 37713ad

Commits on Jun 12, 2017

• Polish `VersionParser`

  bamboo

  committed
  ae883a3

  Copy full SHA for ae883a3

Commits on Jun 11, 2017

• :arrow_up: idris-lang/Idris-dev@ea2041c47e20ae62341224ee8b36f680efb646a5

  bamboo

  committed
  bac4dac

  Copy full SHA for bac4dac

• Polish CodegenCil

  bamboo

  committed
  bbcc04d

  Copy full SHA for bbcc04d

• Expose test module

  bamboo

  committed
  82a88c4

  Copy full SHA for 82a88c4

• Introduce `custom-setup` cabal section

  bamboo

  committed
  9bafc99

  Copy full SHA for 9bafc99

• Use `%lib` instead of custom `assemblyRef` FFI to reference assemblies

  bamboo

  committed
  bbec1a2

  Copy full SHA for bbec1a2

Commits on May 21, 2017

• Declare `maxstack` for exported functions

  bamboo

  committed
  7769b0e

  Copy full SHA for 7769b0e

• Introduce `upcast`

  bamboo

  committed
  f67bca0

  Copy full SHA for f67bca0

• Array.toList

  bamboo

  committed
  37da7d5

  Copy full SHA for 37da7d5

• Add FFI for `Assembly.ReflectionOnlyLoadFrom`

  bamboo

  committed
  6e3f3d0

  Copy full SHA for 6e3f3d0

• Introduce `CIL.System.Environment`

  bamboo

  committed
  1fc19a2

  Copy full SHA for 1fc19a2

• Introduce `CIL.System.IO.File`

  bamboo

  committed
  8c3c57f

  Copy full SHA for 8c3c57f

Commits on May 20, 2017

• :arrow_up: idris-lang/Idris-dev@ffd2db0b307707dee923c4ae9b7b0448037188df

  bamboo

  committed
  0c21e8e

  Copy full SHA for 0c21e8e

Commits on May 15, 2017

• Polish FFI

  Show description for 530bdd6
  bamboo

  committed
  530bdd6

  Copy full SHA for 530bdd6

• Subtyping is reflexive

  bamboo

  committed
  49f9a71

  Copy full SHA for 49f9a71

Commits on May 7, 2017

• Augment System.Reflection FFI

  bamboo

  committed
  89fbb17

  Copy full SHA for 89fbb17

• Improve Char test case

  bamboo

  committed
  aacab7d

  Copy full SHA for aacab7d

• :arrow_up: idris-lang/Idris-dev@fcbabc28343ca9fa159f6d7db3fc7bd20ca45dc9

  bamboo

  committed
  267ec8a

  Copy full SHA for 267ec8a

Commits on May 1, 2017

• Simplify bytecode sequence for branching on not 0

  bamboo

  committed
  3becd59

  Copy full SHA for 3becd59

Commits on Apr 30, 2017

• Sort case alternatives to improve chance of jump table dispatch

  bamboo

  committed
  3830049

  Copy full SHA for 3830049

Commits on Apr 23, 2017

• Polish

  bamboo

  committed
  c1a396a

  Copy full SHA for c1a396a

• Fix jump table for sequences with gaps

  Show description for f76052f
  bamboo

  committed
  f76052f

  Copy full SHA for f76052f

Commits on Apr 22, 2017

• :arrow_up: Idris@385f84850f169756c1de651b3061dddb3fede756

  bamboo

  committed
  6fec09a

  Copy full SHA for 6fec09a

• :arrow_up: Idris@0ceaa30a7593d943a6fdd5e1d15766003adda7ac

  bamboo

  committed
  7750101

  Copy full SHA for 7750101

Commits on Feb 15, 2017

• Remove broken local type inference

  bamboo

  committed
  44580fe

  Copy full SHA for 44580fe

Pagination

Previous

Next