Permalink
Switch branches/tags
Nothing to show
Commits on Aug 25, 2017
  1. Add link to published article

    tgwizard committed Aug 25, 2017
Commits on Feb 20, 2014
  1. Ugly fix for weird line break

    tgwizard committed Feb 20, 2014
  2. Add date to title page

    tgwizard committed Feb 20, 2014
  3. Remove DRAFT watermark

    tgwizard committed Feb 20, 2014
  4. Fix errors found by opponent

    tgwizard committed Feb 20, 2014
  5. Fix spelling and grammar issues

    tgwizard committed Feb 20, 2014
  6. Move notes to separate folder

    tgwizard committed Feb 20, 2014
  7. Add presentation powerpoint

    tgwizard committed Feb 20, 2014
Commits on Jan 12, 2014
Commits on Oct 1, 2013
  1. Rewrote some sentences to not start with pythonrv

    tgwizard committed Oct 1, 2013
    Which is lowercase, and looks ugly.
Commits on Sep 8, 2013
  1. Updated the report a bit

    tgwizard committed Sep 8, 2013
  2. Updated HTML abstracts

    tgwizard committed Sep 8, 2013
Commits on Aug 28, 2013
  1. Updated the report a bit

    tgwizard committed Aug 28, 2013
Commits on May 22, 2013
  1. Updated the approach section

    tgwizard committed May 22, 2013
  2. Updated the approach section

    tgwizard committed May 22, 2013
    Removed the concepts of composition points and the composition operator,
    and many explicit references to composition. It is now much cleaner.
  3. Updated the approach section

    tgwizard committed May 22, 2013
Commits on May 21, 2013
  1. Updated the approach section

    tgwizard committed May 21, 2013
Commits on May 18, 2013
Commits on Apr 8, 2013
  1. Updated the report

    tgwizard committed Apr 8, 2013
Commits on Apr 4, 2013
Commits on Mar 17, 2013
  1. Started on the presentation

    tgwizard committed Mar 17, 2013
  2. Update .gitignore

    tgwizard committed Mar 17, 2013
    For files generated by pdflatex for the presentation.
Commits on Mar 16, 2013
  1. Update the report

    tgwizard committed Mar 16, 2013
  2. Update for the report

    tgwizard committed Mar 16, 2013
Commits on Mar 13, 2013
  1. Updated the report

    tgwizard committed Mar 13, 2013
    Mostly minor updates, rewordings and such.
Commits on Feb 10, 2013
  1. Wrote html abstracts

    tgwizard committed Feb 10, 2013
    These are a required part of the exjobb process.
  2. Added italics to se abstract

    tgwizard committed Feb 10, 2013
    Now it is the same as for the english one.
Commits on Jan 3, 2013
  1. Oops, forgot a closing parens

    tgwizard committed Jan 3, 2013
Commits on Jan 2, 2013
  1. Cleaned up formalization more

    tgwizard committed Jan 2, 2013
    The system model-specification automata product creation procedure is
    more formally defined.
  2. Incorporated more of Narges' feedback

    tgwizard committed Jan 2, 2013
    Mostly in the formalization section. Defined the formal verification
    better, using operational semantics. Stuff is a lot cleaner now.
Commits on Nov 23, 2012
  1. KAJSDHKLUASDHKLASDHKA

    tgwizard committed Nov 23, 2012