Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 29, 2015

• add a paper

  bobzhang

  committed
  7ed527d
  More actions

• bring fan_top back

  bobzhang

  committed
  4e0b260
  More actions

Commits on Jun 25, 2015

• add test case

  bobzhang

  committed
  96cdcaa
  More actions

• make sure exit error code correct

  bobzhang

  committed
  4361772
  More actions

Commits on Jun 24, 2015

• finally have a test database :)

  bobzhang

  committed
  a1aceac
  More actions

• enhance new options

  bobzhang

  committed
  ae0dd47
  More actions

• add filter files

  bobzhang

  committed
  aa0394f
  More actions

Commits on Jun 23, 2015

• ready to create references

  bobzhang

  committed
  8647167
  More actions

• tweak type error

  bobzhang

  committed
  5603bb7
  More actions

• add more flags

  bobzhang

  committed
  e425c16
  More actions

Commits on Jun 20, 2015

• seems to be successful using cmdliner, need support more options

  bobzhang

  committed
  ab8f787
  More actions

• remove some unused options temporarily

  bobzhang

  committed
  9c02f6a
  More actions

• snapshot some changes since we are targeting 4.02.2, we need fix the pretty printer backend some time, such changes are not good to be commited

  bobzhang

  committed
  55fa3ae
  More actions

• merge master changes

  bobzhang

  committed
  466f19d
  More actions

• ignore more files

  bobzhang

  committed
  3f9344d
  More actions

• untrack configf.ml

  bobzhang

  committed
  bee77d7
  More actions

• tweak

  bobzhang

  committed
  1ce36b1
  More actions

• tweak OMakefile to support this

  bobzhang

  committed
  622f36c
  More actions

• move ast_filters into original syntax

  bobzhang

  committed
  0c1bfab
  More actions

• move dump.ml and dyn_load.ml to symlink

  bobzhang

  committed
  7e8b83e
  More actions

• snapshot changes

  bobzhang

  committed
  cb9c12e
  More actions

• move args from lang_fans into fan

  bobzhang

  committed
  da9e423
  More actions

• symlink snapshot

  bobzhang

  committed
  823ea1a
  More actions

• formal way to write fan using original syntax

  bobzhang

  committed
  fbaec0d
  More actions

• move fan_args to synlink

  bobzhang

  committed
  c784ce0
  More actions

• moving files around

  bobzhang

  committed
  e32fe17
  More actions

Commits on Jun 19, 2015

• update snapshot

  bobzhang

  committed
  a0b5cd3
  More actions

• use symlink for fan, fan_top

  bobzhang

  committed
  16fe957
  More actions

Commits on Jun 16, 2015

• merge

  bobzhang

  committed
  25c5691
  More actions

• update documentation

  bobzhang

  committed
  2bbcb17
  More actions

Commits on Jun 13, 2015

• prepare cmdliner

  bobzhang

  committed
  9e87544
  More actions

Commits on Jun 11, 2015

• remove most options for fan temporarily, prepare cmdliner interface

  bobzhang

  committed
  338fbf7
  More actions

• try to add cmdliner

  bobzhang

  committed
  8a596fa
  More actions

Commits on Jun 6, 2015

• add .git ignored files

  bobzhang

  committed
  5bcefb0
  More actions

• fix all warnings

  bobzhang

  committed
  eff19f7
  More actions

Pagination

PreviousNext