Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on May 8, 2017

• Update README.md

  dokelung

  authored
  6b0073a

  Copy full SHA for 6b0073a

Commits on Mar 26, 2017

• update markdown format to display correctly

  dokelung

  authored
  940d2a4

  Copy full SHA for 940d2a4

Commits on Jul 21, 2015

• Update README.md

  dokelung

  committed
  208f037

  Copy full SHA for 208f037

• Update README.md

  dokelung

  committed
  8ce485f

  Copy full SHA for 8ce485f

• Update README.md

  dokelung

  committed
  1c98a6e

  Copy full SHA for 1c98a6e

• Update README.md

  dokelung

  committed
  0a754eb

  Copy full SHA for 0a754eb

• Update README.md

  dokelung

  committed
  dbc33ac

  Copy full SHA for dbc33ac

• Update README.md

  dokelung

  committed
  a88c027

  Copy full SHA for a88c027

• Update README.md

  dokelung

  committed
  c1f5a08

  Copy full SHA for c1f5a08

• Update README.md

  dokelung

  committed
  07349a8

  Copy full SHA for 07349a8

• Update README.md

  dokelung

  committed
  6b12c82

  Copy full SHA for 6b12c82

• Update README.md

  dokelung

  committed
  9c62c57

  Copy full SHA for 9c62c57

Commits on Jun 6, 2015

• update setup.py

  dokelung

  committed
  4467745

  Copy full SHA for 4467745

• fix bug of all targets in the all-true-region when ALL_USE_RULE on

  dokelung

  committed
  1078126

  Copy full SHA for 1078126

• update pdf

  dokelung

  committed
  0ea2b0c

  Copy full SHA for 0ea2b0c

• Update README.md

  dokelung

  committed
  12b142d

  Copy full SHA for 12b142d

• Update README.md

  dokelung

  committed
  558a032

  Copy full SHA for 558a032

• Update README.md

  dokelung

  committed
  4be0072

  Copy full SHA for 4be0072

• Update README.md

  dokelung

  committed
  0d511c6

  Copy full SHA for 0d511c6

• update README.md

  dokelung

  committed
  d3475ca

  Copy full SHA for d3475ca

• update to version 1.2

  dokelung

  committed
  a44dd1a

  Copy full SHA for a44dd1a

• update

  dokelung

  committed
  e1fd801

  Copy full SHA for e1fd801

Commits on Jun 5, 2015

• Update README.md

  dokelung

  committed
  eb73377

  Copy full SHA for eb73377

• Update README.md

  dokelung

  committed
  9caaf39

  Copy full SHA for 9caaf39

• Update README.md

  dokelung

  committed
  1adf5ee

  Copy full SHA for 1adf5ee

Commits on Jun 4, 2015

• Update README.md

  dokelung

  committed
  b8f6d73

  Copy full SHA for b8f6d73

• Update README.md

  dokelung

  committed
  a88743f

  Copy full SHA for a88743f

• Update README.md

  dokelung

  committed
  18efeb2

  Copy full SHA for 18efeb2

• Update README.md

  dokelung

  committed
  6cc8f25

  Copy full SHA for 6cc8f25

• Update README.md

  dokelung

  committed
  895b940

  Copy full SHA for 895b940

• Update README.md

  dokelung

  committed
  172d5f6

  Copy full SHA for 172d5f6

• Update README.md

  dokelung

  committed
  4fbd0cd

  Copy full SHA for 4fbd0cd

• Update README.md

  dokelung

  committed
  0ff1860

  Copy full SHA for 0ff1860

• Update README.md

  dokelung

  committed
  3082137

  Copy full SHA for 3082137

• Update README.md

  dokelung

  committed
  b82a56e

  Copy full SHA for b82a56e