Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Commits on Sep 3, 2014
  1. final talk slides

    authored
Commits on Aug 26, 2014
  1. talk: initial draft.

    authored
Commits on Aug 21, 2014
  1. redblacktrees: remove cruft.

    authored
  2. updated paper pdf.

    authored
  3. formatting wibbles.

    authored
  4. clean up todos.

    authored
Commits on Aug 13, 2014
  1. delete cruft

    authored
  2. talk: slide one.

    authored
Commits on Aug 5, 2014
  1. bump version

    authored
  2. gitignore wibble.

    authored
  3. documentation/style wibbles.

    authored
  4. subTypes/showForest bug fix: make baseTypes explicit in subTypes rep.

    authored
      - Slightly less efficient, but now subtypes and showForest have the
        same representations.
      - Easier to shrink baseTypes.
Commits on Jul 17, 2014
Commits on Jun 25, 2014
  1. final paper edits.

    authored
Commits on Jun 23, 2014
  1. paper: final version edits.

    authored
Commits on Jun 17, 2014
  1. paper: Added Regehr citation.

    authored
Commits on May 11, 2014
  1. paper: submitted version.

    authored
Commits on May 10, 2014
  1. paper: updates.

    authored
  2. build: deprecate examples.

    authored
Commits on May 9, 2014
Commits on May 5, 2014
  1. regression/build: wibbles.

    authored
  2. paper: updates.

    authored
Commits on May 3, 2014
  1. smartcheck: comment wibble.

    authored
  2. paper: with updated data.

    authored
Commits on Apr 29, 2014
Something went wrong with that request. Please try again.