Permalink
Switch branches/tags
Nothing to show
Commits on Jun 10, 2015
  1. Merge pull request #2 from chathhorn/patch-1

    Add message about new repo location.
    committed Jun 10, 2015
Commits on Apr 20, 2015
  1. RV2015: punctuation wibbles.

    committed Apr 20, 2015
Commits on Apr 8, 2015
  1. typo identifed in review

    GOODLOE committed Apr 8, 2015
Commits on Apr 6, 2015
  1. typo

    GOODLOE committed Apr 6, 2015
  2. typo

    GOODLOE committed Apr 6, 2015
  3. fixing color scheme on listings

    GOODLOE committed Apr 6, 2015
  4. use consistent fonts

    GOODLOE committed Apr 6, 2015
  5. fixed a typo

    GOODLOE committed Apr 6, 2015
Commits on Apr 5, 2015
  1. fixing my typos

    GOODLOE committed Apr 5, 2015
Commits on Apr 4, 2015
  1. typo fixed

    GOODLOE committed Apr 4, 2015
  2. merged two paragraphs in conclusion

    GOODLOE committed Apr 4, 2015
  3. reworking to get to 15 pages

    GOODLOE committed Apr 4, 2015
  4. prep merge

    GOODLOE committed Apr 4, 2015
  5. Wrote a section about the relevance and limitations of our approach i…

    …n Structure.tex
    jonathan-laurent committed Apr 4, 2015
Commits on Apr 3, 2015
  1. Condesed copilot code to gain space

    jonathan-laurent committed Apr 3, 2015
Commits on Apr 2, 2015
  1. section just reads conclusion

    GOODLOE committed Apr 2, 2015
  2. Changed tense to Examples

    GOODLOE committed Apr 2, 2015
  3. abstract + typos

    GOODLOE committed Apr 2, 2015
  4. typos

    GOODLOE committed Apr 2, 2015
  5. merged conclusion

    committed Apr 2, 2015
  6. redid conclusion -- needs another pass

    GOODLOE committed Apr 2, 2015
  7. prover wibbles.

    committed Apr 2, 2015
  8. paper.tex wibbles.

    committed Apr 2, 2015
  9. bib wibbles.

    committed Apr 2, 2015
  10. paper intro wibbles.

    committed Apr 2, 2015
  11. intro wibbles.

    committed Apr 2, 2015
  12. conclusion wibbles.

    committed Apr 2, 2015
  13. structure wibbles.

    committed Apr 2, 2015
  14. related work wibbles.

    committed Apr 2, 2015
  15. case study wibbles.

    committed Apr 2, 2015
  16. background wibbles.

    committed Apr 2, 2015
Commits on Apr 1, 2015
  1. added makefile.

    committed Apr 1, 2015