source: doc/theses/fangren_yu_MMath/resolution.tex

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @a7b78c3   5 months pabuhr remove unnecessary PAB markers
(edit) @4791307   5 months pabuhr remove unnecessary PAB markers, and proofread added text on code …
(edit) @00ad2a0   5 months f37yu add a paragraph to explain an optimization for resolving unbound assertions
(edit) @edd11bd   5 months pabuhr add identification information
(edit) @8fe7a85   5 months f37yu proofreading changes from Gregor
(edit) @57c7e6c4   6 months f37yu proofreading fix as suggested by Ondrej
(edit) @bb506e0   6 months f37yu add the abstract paragraph
(edit) @d914750   6 months pabuhr proofread new related work section
(edit) @50e8125   6 months f37yu Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
(edit) @51b72bf5   6 months f37yu add a discussion of related work
(edit) @52eb7b7   6 months pabuhr fix editorial comment on Moss quote
(edit) @2572add   6 months pabuhr more proofreading
(edit) @9fbc40e   6 months pabuhr proofread future chapter
(edit) @7d405eb   6 months pabuhr more proofreading, change file names
(add) @0393fda8   6 months pabuhr add, update citations
Note: See TracRevisionLog for help on using the revision log.