Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

Nov 29, 2010

  1. Michael Ficarra

    adding dd's projectivePlane theory (my modified version)

    authored
  2. Michael Ficarra

    adding (some) tracing back in, refactored some I/O helpers

    authored

Nov 18, 2010

  1. Michael Ficarra

    correctly allows comments now

    authored

Oct 28, 2010

  1. Michael Ficarra

    rendered paper

    authored

Oct 27, 2010

  1. Michael Ficarra

    justin suggestions

    authored
  2. Michael Ficarra

    dd's final FINAL corrections

    authored
  3. Michael Ficarra

    dd's recommendations

    authored

Oct 26, 2010

  1. Michael Ficarra

    rewrote abstract

    authored
  2. Michael Ficarra

    correct pluralization

    authored
  3. Michael Ficarra

    standardizing relation syntax

    authored
  4. Michael Ficarra

    spelling

    authored
  5. Michael Ficarra

    done

    authored

Oct 25, 2010

  1. Michael Ficarra

    accidentally `\ref`'d the dolev-yao paper instead of `\cite`ing it

    authored
  2. Michael Ficarra

    done but for spell checking and minor corrections

    authored
  3. Michael Ficarra

    paper pretty much done, need to alter chase code to fit in paper width

    authored

Oct 24, 2010

  1. Michael Ficarra

    almost done!

    authored
  2. Michael Ficarra

    just a bunch of random junk. only committing so it's backed up remotely.

    authored

Oct 22, 2010

  1. Michael Ficarra

    emergency commit!

    authored
  2. Michael Ficarra

    fixed existential quantifier check in holds' to account for empty

    domains, like what is done in Chase.satisfy
    authored
  3. Michael Ficarra

    changes discussed in today's meeting (minus the proof work listed on the

    board)
    authored

Oct 21, 2010

  1. Michael Ficarra

    beginnings of theorems that are impossible to prove

    authored
  2. Michael Ficarra

    chase section "enhancements"?

    authored
  3. Michael Ficarra

    a whole bunch of stuff

    authored

Oct 18, 2010

  1. Michael Ficarra

    lots of things

    authored

Oct 17, 2010

  1. Michael Ficarra

    some intro work

    authored
  2. Michael Ficarra

    renaming labels and refs

    authored

Oct 16, 2010

  1. Michael Ficarra

    incorrect indentation

    authored
  2. Michael Ficarra

    cleaned up algorithms

    authored
  3. Michael Ficarra

    small note in chase algorithm section

    authored
  4. Michael Ficarra

    updated chase algorithm

    authored

Oct 15, 2010

  1. Michael Ficarra

    moved from raster to vector images and added solved half-duplex render

    authored
  2. Michael Ficarra

    made corrections to implementation section

    authored
  3. Michael Ficarra

    minor chase section corrections

    authored
  4. Michael Ficarra

    corrected chase section

    authored
  5. Michael Ficarra

    made corrections to technical background section

    authored
Something went wrong with that request. Please try again.