Commits

Breadcrumbs

History for

onafe0a56

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 8, 2016

• Improve C FFI

  Show description for 91d583e
  

  Niklas Larsson

  committed
  91d583e

  Copy full SHA for 91d583e

Commits on Mar 28, 2015

• Remove Buffer/BitVectors from compiler/C rts

  edwinb

  committed
  8472966

  Copy full SHA for 8472966

Commits on Jan 1, 2015

• Add gc copy for bit vectors

  mattias-lundell

  committed
  b6b8fd2

  Copy full SHA for b6b8fd2

Commits on Dec 30, 2014

• Added bit vectors to the C backend

  mattias-lundell

  committed
  6dafd18

  Copy full SHA for 6dafd18

Commits on Jun 27, 2013

• Fix spelling of Xor prims. This fixes issue idris-lang#356.

  

  Andreas Bogk

  committed
  6c72a24

  Copy full SHA for 6c72a24

Commits on May 9, 2013

• Revert "Revert "Merge pull request idris-lang#294 from bitlisp/unified-int-primitives""

  Show description for 1cf8b7b
  david-christiansen

  committed
  1cf8b7b

  Copy full SHA for 1cf8b7b

• Revert "Merge pull request idris-lang#294 from bitlisp/unified-int-primitives"

  Show description for 05895a5
  edwinb

  committed
  05895a5

  Copy full SHA for 05895a5

Commits on Apr 29, 2013

• Parameterized integer FFI

  Ralith

  committed
  2572b10

  Copy full SHA for 2572b10

Commits on Jan 20, 2013

• Correct codegen for bitstring complements

  Ralith

  committed
  e26a119

  Copy full SHA for e26a119

Commits on Jan 14, 2013

• Remainder primitives for C codegen

  Ralith

  committed
  4ea88e1

  Copy full SHA for 4ea88e1

• Fix a missing prototype

  Ralith

  committed
  58a36ef

  Copy full SHA for 58a36ef

Commits on Dec 28, 2012

• C codegen for bitmanip and bit comparators

  

  erkin

  authored and

  Ralith

  committed
  88eb2bf

  Copy full SHA for 88eb2bf

• Absolutely untested implementations of a few bitstring primitives.

  

  IreneKnapp

  authored and

  Ralith

  committed
  7518b0c

  Copy full SHA for 7518b0c

Loading