Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Aug 31, 2018

• Update docs

  fthomas

  committed
  8a3d823

  Copy full SHA for 8a3d823

Commits on Mar 8, 2018

• Update macro_pitfalls.md

  Show description for fc0fa21
  umbreak

  authored
  fc0fa21

  Copy full SHA for fc0fa21

Commits on Dec 17, 2017

• Don't advertise Witness as workaround for dependent refinements

  Show description for 15caa75
  fthomas

  committed
  15caa75

  Copy full SHA for 15caa75

Commits on Nov 7, 2017

• Fix scoverage issues

  kusamakura

  committed
  3ad4185

  Copy full SHA for 3ad4185

Commits on Oct 18, 2017

• Split objects in the scalacheck module into traits for easier reuse.

  

  Nicolas Rinaudo

  committed
  89f45ca

  Copy full SHA for 89f45ca

Commits on Jun 1, 2017

• Update to tut 0.5.2

  fthomas

  committed
  9904d51

  Copy full SHA for 9904d51

Commits on Jan 21, 2017

• Move compiler-dependent code into a module

  clhodapp

  committed
  964eaef

  Copy full SHA for 964eaef

Commits on Dec 25, 2016

• Rearrange subprojects for clarity

  fthomas

  committed
  b67ad27

  Copy full SHA for b67ad27

Loading