Permalink
Commits on Jun 29, 2015
  1. add a paper

    bobzhang committed Jun 29, 2015
  2. bring fan_top back

    bobzhang committed Jun 29, 2015
Commits on Jun 25, 2015
  1. add test case

    bobzhang committed Jun 25, 2015
Commits on Jun 24, 2015
  1. finally have a test database :)

    bobzhang committed Jun 24, 2015
  2. enhance new options

    bobzhang committed Jun 24, 2015
  3. add filter files

    bobzhang committed Jun 24, 2015
Commits on Jun 23, 2015
  1. ready to create references

    bobzhang committed Jun 23, 2015
  2. tweak type error

    bobzhang committed Jun 23, 2015
  3. add more flags

    bobzhang committed Jun 23, 2015
Commits on Jun 20, 2015
  1. snapshot some changes since we are targeting 4.02.2, we need fix the …

    bobzhang committed Jun 20, 2015
    …pretty printer backend some time, such changes are not good to be commited
  2. merge master changes

    bobzhang committed Jun 20, 2015
  3. ignore more files

    bobzhang committed Jun 20, 2015
  4. untrack configf.ml

    bobzhang committed Jun 20, 2015
  5. tweak

    bobzhang committed Jun 20, 2015
  6. tweak OMakefile to support this

    bobzhang committed Jun 20, 2015
  7. snapshot changes

    bobzhang committed Jun 20, 2015
  8. symlink snapshot

    bobzhang committed Jun 20, 2015
  9. move fan_args to synlink

    bobzhang committed Jun 20, 2015
  10. moving files around

    bobzhang committed Jun 20, 2015
Commits on Jun 19, 2015
  1. update snapshot

    bobzhang committed Jun 19, 2015
  2. use symlink for fan, fan_top

    bobzhang committed Jun 19, 2015
Commits on Jun 16, 2015
  1. merge

    bobzhang committed Jun 16, 2015
  2. update documentation

    bobzhang committed Jun 16, 2015
Commits on Jun 13, 2015
  1. prepare cmdliner

    bobzhang committed Jun 13, 2015
Commits on Jun 11, 2015
  1. try to add cmdliner

    bobzhang committed Jun 11, 2015
Commits on Jun 6, 2015
  1. add .git ignored files

    bobzhang committed Jun 6, 2015
  2. fix all warnings

    bobzhang committed Jun 6, 2015