Commits

Branch selector

 master

User selector

jacereda

Datepicker

All time

Commit History

Commits on Jan 12, 2019

• Position is no longer reported twice

  jacereda

  committed
  18c98cb

  Copy full SHA for 18c98cb

Commits on Jan 11, 2019

• Relax Cabal and zip-archive bounds

  jacereda

  committed
  4a8b9c2

  Copy full SHA for 4a8b9c2

Commits on Jan 10, 2019

• Merge branch 'master' of https://github.com/jmorag/Idris-dev into megaparsec7

  jacereda

  committed
  0b669c7

  Copy full SHA for 0b669c7

Commits on May 1, 2018

• Strip unreachable code/data

  jacereda

  committed
  d13fa5c

  Copy full SHA for d13fa5c

Commits on Apr 29, 2018

• Leak when receiving from inactive sender

  jacereda

  committed
  2247f69

  Copy full SHA for 2247f69

Commits on Apr 27, 2018

• Undo previous commit mess which contained unrelated code from another branch

  jacereda

  committed
  699090e

  Copy full SHA for 699090e

• Update introduction.rst

  Show description for acce007
  jacereda

  authored
  acce007

  Copy full SHA for acce007

Commits on Apr 26, 2018

• Unboxed Bits8/Bits16 using Int as the underlying representation

  jacereda

  committed
  e9a31f4

  Copy full SHA for e9a31f4

Commits on Apr 19, 2018

• Fix depth handling

  jacereda

  committed
  9fd28ef

  Copy full SHA for 9fd28ef

Commits on Apr 8, 2018

• idris_checkInitMessages() didn't check the init bit properly

  jacereda

  committed
  764df5f

  Copy full SHA for 764df5f

• getMsg leak

  jacereda

  committed
  6a14b2a

  Copy full SHA for 6a14b2a

Commits on Apr 7, 2018

• Bad size in inbox allocation, analyzer warning

  jacereda

  committed
  af281ab

  Copy full SHA for af281ab

Commits on Apr 2, 2018

• Add myself to CONTRIBUTORS

  jacereda

  committed
  b8a1382

  Copy full SHA for b8a1382

Commits on Apr 1, 2018

• Remove arity field from Con struct

  jacereda

  committed
  3d0168f

  Copy full SHA for 3d0168f

• Use hdr.u16 to store arity

  jacereda

  committed
  ad2a756

  Copy full SHA for ad2a756

• Remove _null macro

  jacereda

  committed
  8ce876c

  Copy full SHA for 8ce876c

• Align to pointer size

  jacereda

  committed
  cdeea74

  Copy full SHA for cdeea74

• Remove -g

  jacereda

  committed
  3b8412d

  Copy full SHA for 3b8412d

• Remove some redundant casts

  jacereda

  committed
  0ea2a09

  Copy full SHA for 0ea2a09

• Untabify

  jacereda

  committed
  ea21a05

  Copy full SHA for ea21a05

• Clean up indentation

  jacereda

  committed
  549e40f

  Copy full SHA for 549e40f

• Untabify, clean up indentation

  jacereda

  committed
  7ad70c8

  Copy full SHA for 7ad70c8

• Clean up tabs

  jacereda

  committed
  fe8ea07

  Copy full SHA for fe8ea07

Commits on Mar 30, 2018

• test/ffi008 was failing on x86

  jacereda

  committed
  42face9

  Copy full SHA for 42face9

Commits on Mar 29, 2018

• Use $CC instead of gcc

  jacereda

  committed
  139ebb7

  Copy full SHA for 139ebb7

Commits on Mar 25, 2018

• Use cc instead of gcc on non-windows platforms

  jacereda

  committed
  d2c207c

  Copy full SHA for d2c207c

• Remove debugging stuff

  jacereda

  committed
  17d7e9b

  Copy full SHA for 17d7e9b

Commits on Mar 23, 2018

• Read idris executable from environment variable

  jacereda

  committed
  25baedb

  Copy full SHA for 25baedb

• Allow overriding IDRIS via environment variable

  jacereda

  committed
  425700d

  Copy full SHA for 425700d

Commits on Mar 22, 2018

• Warning on x86 gcc, removed redundant macro

  jacereda

  committed
  46ab7c8

  Copy full SHA for 46ab7c8

• Workaround possible bug in x86 gcc-7.3.0

  jacereda

  committed
  8d986bb

  Copy full SHA for 8d986bb

• Avoid indirections for nullaries, refactorized locked/unlocked variants

  jacereda

  committed
  3be07b0

  Copy full SHA for 3be07b0

• Faster nix-shell invocation

  jacereda

  committed
  1af584d

  Copy full SHA for 1af584d

• Bad shift on 32-bit architectures

  jacereda

  committed
  11130b1

  Copy full SHA for 11130b1

Commits on Mar 20, 2018

• Add u8/u16 fields to header, use u8 for marking null strings

  jacereda

  committed
  7512498

  Copy full SHA for 7512498

Pagination

Previous

Next