Permalink
Commits on Feb 10, 2011
  1. adding a file.

    committed Feb 10, 2011
Commits on Feb 1, 2011
  1. added omega code

    Yoichi Hirai committed with Feb 1, 2011
  2. cleanup.

    committed Feb 1, 2011
Commits on Jan 26, 2011
  1. fix ( ) <-> < >

    Yoichi Hirai committed Jan 26, 2011
  2. remove irrelevant proofs

    Yoichi Hirai committed Jan 26, 2011
  3. Merge remote branch 'pirapira/master'

    Yoichi Hirai committed Jan 26, 2011
  4. graph in Python

    Yoichi Hirai committed Jan 26, 2011
  5. measuring 10 points.

    committed Jan 26, 2011
Commits on Jan 24, 2011
  1. fixing name.

    committed Jan 24, 2011
  2. benchmark for relational.

    committed Jan 24, 2011
  3. clean up files.

    committed Jan 24, 2011
Commits on Oct 19, 2010
  1. separating bench.

    committed Oct 19, 2010
  2. separate bench.

    committed Oct 19, 2010
Commits on Oct 14, 2010
  1. preventing warning.

    committed Oct 14, 2010
  2. clean up the code.

    committed Oct 14, 2010
Commits on Oct 12, 2010
  1. trivial pseudo random.

    committed Oct 12, 2010
  2. test for rmap.

    committed Oct 12, 2010
  3. lookup.

    committed Oct 12, 2010
  4. for quickcheck.

    committed Oct 12, 2010
Commits on Oct 10, 2010
  1. random BST.

    committed Oct 10, 2010
  2. removing toList.

    committed Oct 10, 2010
Commits on Oct 8, 2010
  1. wordings.

    committed Oct 8, 2010
  2. sleep well!.

    committed Oct 8, 2010
Commits on Oct 6, 2010
  1. improving bench.

    committed Oct 6, 2010
  2. typo fix.

    committed Oct 6, 2010
  3. improving.

    committed Oct 6, 2010
  4. improving benchmark.

    committed Oct 6, 2010
Commits on Oct 5, 2010
  1. typo fix.

    committed Oct 5, 2010
  2. -O2 for compile.

    committed Oct 5, 2010
  3. add shell script.

    committed Oct 5, 2010
  4. adding make distclean.

    committed Oct 5, 2010
  5. update readme.

    committed Oct 5, 2010