Permalink
Switch branches/tags
Nothing to show
Commits on Apr 25, 2012
  1. avoid requiring submodules

    committed Apr 25, 2012
Commits on Apr 24, 2012
  1. color final states green

    committed Apr 24, 2012
  2. fix bug pointed out by andreas

    committed Apr 24, 2012
  3. grrr, redex

    committed Apr 24, 2012
  4. fix some simple bugs

    committed Apr 24, 2012
  5. And it lives!

    committed Apr 24, 2012
  6. fix missing select

    committed Apr 24, 2012
  7. revise solver

    committed Apr 24, 2012
  8. revise solveR and subst

    committed Apr 24, 2012
  9. revise solveA

    committed Apr 24, 2012
Commits on Apr 23, 2012
  1. oops, i broke it

    committed Apr 23, 2012
  2. progress

    committed Apr 23, 2012
  3. solver and subst

    committed Apr 23, 2012
  4. solveR

    committed Apr 23, 2012
  5. solveA

    committed Apr 23, 2012
  6. distinguish variables

    committed Apr 23, 2012
  7. stupid redex

    committed Apr 23, 2012
Commits on Apr 20, 2012
  1. forgot to save

    committed Apr 20, 2012
  2. fixes from ar.

    committed Apr 20, 2012
  3. add top-level driver

    committed Apr 20, 2012
  4. initial commit

    committed Apr 20, 2012
  5. initial commit

    committed Apr 20, 2012