Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 15, 2015

• Substring as primitive

  Show description for 066e890
  david-christiansen

  committed
  066e890

  Copy full SHA for 066e890

Commits on Sep 7, 2015

• Allow pattern matching on BitX constants

  melted

  committed
  8564250

  Copy full SHA for 8564250

Commits on Aug 26, 2015

• Show Double with full precision on C backend

  Melvar

  committed
  deb4d41

  Copy full SHA for deb4d41

Commits on Jul 11, 2015

• Check messages are passed to active VMs

  Show description for 7831e10
  edwinb

  committed
  7831e10

  Copy full SHA for 7831e10

Commits on Jul 3, 2015

• fix building for windows/idris_stdfgn.c

  Show description for 45420ab
  

  Heather

  committed
  45420ab

  Copy full SHA for 45420ab

Commits on Jul 1, 2015

• Fix 'time' to return Integer rather than Int

  Show description for dc27739
  edwinb

  committed
  dc27739

  Copy full SHA for dc27739

Commits on Jun 20, 2015

• Add a timeout to checkMessages

  edwinb

  committed
  3760508

  Copy full SHA for 3760508

Commits on May 21, 2015

• Add AR and RANLIB envs for exherbo multiarch.

  christopherschwaab

  committed
  2b0224a

  Copy full SHA for 2b0224a

Commits on May 16, 2015

• Reading from a file shouldn't strip \n

  Show description for f8cb234
  edwinb

  committed
  f8cb234

  Copy full SHA for f8cb234

Commits on May 4, 2015

• Remove more Buffer leftovers

  markuspf

  committed
  1413365

  Copy full SHA for 1413365

• Remove include file related to SSE data

  markuspf

  committed
  6e7adb8

  Copy full SHA for 6e7adb8

• Remove some leftovers from the rts

  Show description for 1a6f20f
  markuspf

  committed
  1a6f20f

  Copy full SHA for 1a6f20f

Commits on May 1, 2015

• Don't use -fPIC on Windows

  Show description for 6b0aa53
  melted

  committed
  6b0aa53

  Copy full SHA for 6b0aa53

Commits on Apr 14, 2015

• Merge pull request idris-lang#2143 from soimort/getLine-inconsistency

  Show description for f641469
  edwinb

  committed
  f641469

  Copy full SHA for f641469

Commits on Apr 13, 2015

• rts: fix unreachable free(buffer)

  soimort

  committed
  b9190ca

  Copy full SHA for b9190ca

• Remove newline character from the result of getline.

  Show description for 1cb10f9
  soimort

  committed
  1cb10f9

  Copy full SHA for 1cb10f9

Commits on Apr 10, 2015

• Add a new Closure type for raw data and have that be allocated

  Show description for 610387c
  melted

  committed
  610387c

  Copy full SHA for 610387c

Commits on Apr 1, 2015

• rts: add getline to Makefile

  

  Heather

  committed
  44ce387

  Copy full SHA for 44ce387

Commits on Mar 30, 2015

• Checked error conditions and freed buffer after use

  

  Ahmad Salim Al-Sibahi

  committed
  b531d09

  Copy full SHA for b531d09

• Added BSD licensed getline and used that to read string from file

  

  Ahmad Salim Al-Sibahi

  committed
  e63f318

  Copy full SHA for e63f318

• Remove some GPLed code

  Show description for 3ec54f8
  edwinb

  committed
  3ec54f8

  Copy full SHA for 3ec54f8

Commits on Mar 28, 2015

• Remove Buffer/BitVectors from compiler/C rts

  edwinb

  committed
  8472966

  Copy full SHA for 8472966

• String in C is now UTF8 encoded

  Show description for c413280
  edwinb

  committed
  c413280

  Copy full SHA for c413280

Commits on Mar 19, 2015

• Merge remote-tracking branch 'refs/remotes/upstream/master' into ahmadsalim-testing/cstaticanalysis

  david-christiansen

  committed
  5ed857b

  Copy full SHA for 5ed857b

• Merge pull request idris-lang#1968 from Chobbes/heap_fixes

  Show description for e5b50de
  edwinb

  committed
  e5b50de

  Copy full SHA for e5b50de

• Revert "GC check allocation of new heap."

  edwinb

  committed
  03b7516

  Copy full SHA for 03b7516

• Merge pull request idris-lang#1967 from Chobbes/gc_malloc

  Show description for 446d99d
  edwinb

  committed
  446d99d

  Copy full SHA for 446d99d

Commits on Mar 16, 2015

• Fix cppcheck error and make more robust

  Show description for e4358f0
  david-christiansen

  committed
  e4358f0

  Copy full SHA for e4358f0

Commits on Mar 7, 2015

• Generate interface files for C->Idris calls

  Show description for d4371e6
  edwinb

  committed
  d4371e6

  Copy full SHA for d4371e6

Commits on Mar 5, 2015

• Merge pull request idris-lang#1953 from Chobbes/stats_fix

  Show description for f7ac46a
  edwinb

  committed
  f7ac46a

  Copy full SHA for f7ac46a

• Merge pull request idris-lang#1951 from Chobbes/setheap_fix

  Show description for c422009
  edwinb

  committed
  c422009

  Copy full SHA for c422009

Commits on Feb 28, 2015

• Generalized alloc_heap so it could be reused for garbage collection.

  Chobbes

  committed
  8f9ac37

  Copy full SHA for 8f9ac37

• GC check allocation of new heap.

  Chobbes

  committed
  d6d07ff

  Copy full SHA for d6d07ff

• Fixed format string in heap allocation error.

  Chobbes

  committed
  954d071

  Copy full SHA for 954d071

Commits on Feb 26, 2015

• uint32_t type needed even if stats are not enabled.

  Chobbes

  committed
  1b7ce80

  Copy full SHA for 1b7ce80

Pagination

Previous

Next