Permalink
Switch branches/tags
Nothing to show
Commits on Oct 29, 2012
  1. minimality proven

    Janno committed Oct 29, 2012
Commits on Oct 26, 2012
  1. bsem3 talk WIP

    Janno committed Oct 26, 2012
Commits on Oct 25, 2012
  1. bsem3 talk WIP

    Janno committed Oct 25, 2012
Commits on Oct 11, 2012
  1. acknowledgments tex file

    Janno committed Oct 11, 2012
  2. typos etc

    Janno committed Oct 11, 2012
  3. corrected submission date

    Janno committed Oct 11, 2012
  4. typo

    Janno committed Oct 11, 2012
  5. removed wrong comments

    Janno committed Oct 11, 2012
  6. fixed first few pages

    Janno committed Oct 11, 2012
  7. updates; first pages weird

    Janno committed Oct 11, 2012
  8. fixes everywhere

    Janno committed Oct 11, 2012
  9. a few updates

    Janno committed Oct 11, 2012
  10. w.r.t. -> with respect to

    Janno committed Oct 11, 2012
  11. updates

    Janno committed Oct 11, 2012
Commits on Oct 10, 2012
  1. updates

    Janno committed Oct 10, 2012
  2. updates

    Janno committed Oct 10, 2012
Commits on Oct 9, 2012
  1. updates everywhere

    Janno committed Oct 9, 2012
  2. typos and more

    Janno committed Oct 9, 2012
  3. less base.v

    Janno committed Oct 9, 2012
  4. updates everywhere

    Janno committed Oct 9, 2012
  5. better result for re->fa

    Janno committed Oct 9, 2012
  6. many typos etc.

    Janno committed Oct 9, 2012
Commits on Oct 8, 2012
  1. updates

    Janno committed Oct 8, 2012
  2. parallel make for src

    Janno committed Oct 8, 2012
  3. update, nfa_star

    Janno committed Oct 8, 2012
  4. updates

    Janno committed Oct 8, 2012
  5. removed unnecessary todo item

    Janno committed Oct 8, 2012
  6. sound, complete -> aux1, aux2

    Janno committed Oct 8, 2012
  7. update

    Janno committed Oct 8, 2012
  8. more updates

    Janno committed Oct 8, 2012