Commits

Breadcrumbs

History for

on8.8

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 15, 2018

• CI: use template

  liyishuai

  committed
  b54ba53

  Copy full SHA for b54ba53

Commits on Aug 22, 2018

• Update opam and fix ocamlbuild compilation

  lemonidas

  committed
  9082f12

  Copy full SHA for 9082f12

Commits on Aug 16, 2018

• opam: build stage builds all

  liyishuai

  committed
  af2624d

  Copy full SHA for af2624d

Commits on Aug 8, 2018

• Run tests in an actual IO monad

  Lysxia

  committed
  671e9c1

  Copy full SHA for 671e9c1

Commits on Jun 19, 2018

• update uninstall script

  liyishuai

  committed
  cf3b6a7

  Copy full SHA for cf3b6a7

Commits on Jun 13, 2018

• update Changelog, close QuickChick#68

  liyishuai

  committed
  639c71b

  Copy full SHA for 639c71b

Commits on May 29, 2018

• Fix checker bug, introduce bst example that uses both automatic generators and automatic checkers.

  lemonidas

  committed
  c0d7112

  Copy full SHA for c0d7112

Commits on May 10, 2018

• release prep

  liyishuai

  committed
  1192cfb

  Copy full SHA for 1192cfb

• modify OPAM dependency

  liyishuai

  committed
  5ae0943

  Copy full SHA for 5ae0943

Commits on Apr 29, 2018

• update dependency

  liyishuai

  committed
  c0c033f

  Copy full SHA for c0c033f

Commits on Apr 24, 2018

• requires ocamlfind

  liyishuai

  committed
  4200884

  Copy full SHA for 4200884

Commits on Apr 10, 2018

• requires ocamlbuild

  liyishuai

  committed
  a0c3d9a

  Copy full SHA for a0c3d9a

Commits on Apr 9, 2018

• works with OCaml 4.04

  liyishuai

  committed
  f8af148

  Copy full SHA for f8af148

Commits on Apr 7, 2018

• Relaxing the 4.06 requirement in the local opam.

  lemonidas

  committed
  e810a3c

  Copy full SHA for e810a3c

Commits on Apr 6, 2018

• Minor fixes in README/opam

  lemonidas

  committed
  2e34af9

  Copy full SHA for 2e34af9

Commits on Mar 6, 2018

• fix c-mutation example

  liyishuai

  committed
  6798e1f

  Copy full SHA for 6798e1f

Commits on Feb 28, 2018

• make uninstall

  liyishuai

  committed
  a191970

  Copy full SHA for a191970

Commits on Feb 13, 2018

• update opam

  liyishuai

  committed
  cb862de

  Copy full SHA for cb862de

Commits on Sep 18, 2017

• Opam package for plugin

  lemonidas

  committed
  55468a2

  Copy full SHA for 55468a2

Loading