Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit history

Commits on Nov 10, 2017

• Cleanup

  angerman

  committed
  b717895View commit details

  Copy full SHA for b717895

  View code at this pointBrowse repository at this point

Commits on Sep 25, 2017

• Better error message.

  angerman

  committed
  d03a9b5View commit details

  Copy full SHA for d03a9b5

  View code at this pointBrowse repository at this point

Commits on Sep 22, 2017

• Semigroup-Monoid fixes

  angerman

  committed
  290119eView commit details

  Copy full SHA for 290119e

  View code at this pointBrowse repository at this point

Commits on Sep 19, 2017

• cleanup

  Show description for c858049
  angerman

  committed
  c858049View commit details

  Copy full SHA for c858049

  View code at this pointBrowse repository at this point

Commits on Sep 7, 2017

• cleanup

  angerman

  committed
  08e38aeView commit details

  Copy full SHA for 08e38ae

  View code at this pointBrowse repository at this point

Commits on Aug 29, 2017

• cleanup for bistream

  angerman

  committed
  b912f0eView commit details

  Copy full SHA for b912f0e

  View code at this pointBrowse repository at this point

Commits on Aug 25, 2017

• Adds logic for the indexs

  Show description for a014627
  angerman

  committed
  a014627View commit details

  Copy full SHA for a014627

  View code at this pointBrowse repository at this point

Commits on Aug 22, 2017

• Stricter, and use Resolver

  angerman

  committed
  fba7d03View commit details

  Copy full SHA for fba7d03

  View code at this pointBrowse repository at this point

Commits on Aug 18, 2017

• Add constants to the Module

  angerman

  committed
  bfcfaf3View commit details

  Copy full SHA for bfcfaf3

  View code at this pointBrowse repository at this point

• drop fsymbols

  Show description for 7ef94c0
  angerman

  committed
  7ef94c0View commit details

  Copy full SHA for 7ef94c0

  View code at this pointBrowse repository at this point

• warn on labels

  angerman

  committed
  4ea7febView commit details

  Copy full SHA for 4ea7feb

  View code at this pointBrowse repository at this point

• foldl’ all the things!

  angerman

  committed
  f26f245View commit details

  Copy full SHA for f26f245

  View code at this pointBrowse repository at this point

• Fix ret

  angerman

  committed
  dabb227View commit details

  Copy full SHA for dabb227

  View code at this pointBrowse repository at this point

• less fsymbols.

  angerman

  committed
  c58755dView commit details

  Copy full SHA for c58755d

  View code at this pointBrowse repository at this point

Commits on Aug 17, 2017

• Adds isBoolTy

  angerman

  committed
  11b6bb7View commit details

  Copy full SHA for 11b6bb7

  View code at this pointBrowse repository at this point

Commits on Aug 15, 2017

• Performance improblements

  Show description for 7b9e60b
  angerman

  committed
  7b9e60bView commit details

  Copy full SHA for 7b9e60b

  View code at this pointBrowse repository at this point

Commits on Aug 13, 2017

• HasLinkage

  angerman

  committed
  d3e7409View commit details

  Copy full SHA for d3e7409

  View code at this pointBrowse repository at this point

• BUG: fix fence breaking everything

  Show description for 7f0b800
  angerman

  committed
  7f0b800View commit details

  Copy full SHA for 7f0b800

  View code at this pointBrowse repository at this point

• Adds HasCallStack

  angerman

  committed
  2d5f508View commit details

  Copy full SHA for 2d5f508

  View code at this pointBrowse repository at this point

• Fix linkage

  angerman

  committed
  67c21cbView commit details

  Copy full SHA for 67c21cb

  View code at this pointBrowse repository at this point

• Fix pretty

  angerman

  committed
  aff968cView commit details

  Copy full SHA for aff968c

  View code at this pointBrowse repository at this point

Commits on Aug 12, 2017

• more tests.

  angerman

  committed
  954aad5View commit details

  Copy full SHA for 954aad5

  View code at this pointBrowse repository at this point

Commits on Aug 9, 2017

• Adds Switch

  angerman

  committed
  311fe17View commit details

  Copy full SHA for 311fe17

  View code at this pointBrowse repository at this point

Commits on Aug 5, 2017

• Rename RMWOps

  Show description for 9f32c9c
  angerman

  committed
  9f32c9cView commit details

  Copy full SHA for 9f32c9c

  View code at this pointBrowse repository at this point

Commits on Aug 4, 2017

• Adds atomic ops

  angerman

  committed
  480eac2View commit details

  Copy full SHA for 480eac2

  View code at this pointBrowse repository at this point

• Adds CmpXchg

  angerman

  committed
  dc263a0View commit details

  Copy full SHA for dc263a0

  View code at this pointBrowse repository at this point

• Cleanup. (Version 2, trace monad fns)

  angerman

  committed
  e994315View commit details

  Copy full SHA for e994315

  View code at this pointBrowse repository at this point

• Add initial Bitcode v2 logic

  angerman

  committed
  c594310View commit details

  Copy full SHA for c594310

  View code at this pointBrowse repository at this point

• Binary instances

  angerman

  committed
  c79f928View commit details

  Copy full SHA for c79f928

  View code at this pointBrowse repository at this point

• Update Reader

  Show description for 938656c
  angerman

  committed
  938656cView commit details

  Copy full SHA for 938656c

  View code at this pointBrowse repository at this point

Commits on Oct 1, 2016

• Adds Generic and Binary instances

  angerman

  committed
  083657fView commit details

  Copy full SHA for 083657f

  View code at this pointBrowse repository at this point

Commits on Aug 18, 2016

• Be less noisy.

  angerman

  committed
  a1356eeView commit details

  Copy full SHA for a1356ee

  View code at this pointBrowse repository at this point

• Milestone 1: Hello World

  angerman

  committed
  6657ad4View commit details

  Copy full SHA for 6657ad4

  View code at this pointBrowse repository at this point

Commits on Aug 14, 2016

• Varoius

  angerman

  committed
  d10d3c5View commit details

  Copy full SHA for d10d3c5

  View code at this pointBrowse repository at this point

Commits on Aug 5, 2016

• Cleanup

  angerman

  committed
  3e805bdView commit details

  Copy full SHA for 3e805bd

  View code at this pointBrowse repository at this point