# # ChangeLog for doc/theses/fangren_yu_MMath/resolution.tex # # Generated by Trac 1.6 # Apr 15, 2026, 1:56:26 PM Tue, 20 May 2025 14:26:56 GMT Peter A. Buhr [a7b78c3] * doc/theses/fangren_yu_MMath/resolution.tex (modified) remove unnecessary PAB markers Tue, 20 May 2025 11:09:17 GMT Peter A. Buhr [4791307] * doc/theses/fangren_yu_MMath/features.tex (modified) * doc/theses/fangren_yu_MMath/future.tex (modified) * doc/theses/fangren_yu_MMath/resolution.tex (modified) remove unnecessary PAB markers, and proofread added text on code ... Tue, 20 May 2025 04:22:33 GMT Fangren Yu [00ad2a0] * doc/theses/fangren_yu_MMath/resolution.tex (modified) add a paragraph to explain an optimization for resolving unbound ... Tue, 13 May 2025 00:59:26 GMT Peter A. Buhr [edd11bd] * doc/theses/fangren_yu_MMath/features.tex (modified) * doc/theses/fangren_yu_MMath/future.tex (modified) * doc/theses/fangren_yu_MMath/resolution.tex (modified) * doc/theses/fangren_yu_MMath/uw-ethesis.tex (modified) add identification information Tue, 13 May 2025 00:33:55 GMT Fangren Yu [8fe7a85] * doc/theses/fangren_yu_MMath/features.tex (modified) * doc/theses/fangren_yu_MMath/future.tex (modified) * doc/theses/fangren_yu_MMath/resolution.tex (modified) proofreading changes from Gregor Sat, 03 May 2025 04:46:23 GMT Fangren Yu [57c7e6c4] * doc/theses/fangren_yu_MMath/background.tex (modified) * doc/theses/fangren_yu_MMath/features.tex (modified) * doc/theses/fangren_yu_MMath/future.tex (modified) * doc/theses/fangren_yu_MMath/intro.tex (modified) * doc/theses/fangren_yu_MMath/resolution.tex (modified) proofreading fix as suggested by Ondrej Thu, 10 Apr 2025 21:13:49 GMT Fangren Yu [bb506e0] * doc/theses/fangren_yu_MMath/resolution.tex (modified) * doc/theses/fangren_yu_MMath/uw-ethesis-frontpgs.tex (modified) add the abstract paragraph Thu, 10 Apr 2025 01:15:24 GMT Peter A. Buhr [d914750] * doc/theses/fangren_yu_MMath/background.tex (modified) * doc/theses/fangren_yu_MMath/resolution.tex (modified) * doc/theses/fangren_yu_MMath/uw-ethesis.tex (modified) proofread new related work section Wed, 09 Apr 2025 22:38:09 GMT Fangren Yu [50e8125] * doc/theses/fangren_yu_MMath/resolution.tex (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 09 Apr 2025 22:37:37 GMT Fangren Yu [51b72bf5] * doc/theses/fangren_yu_MMath/background.tex (modified) * doc/theses/fangren_yu_MMath/resolution.tex (modified) add a discussion of related work Wed, 09 Apr 2025 18:50:24 GMT Peter A. Buhr [52eb7b7] * doc/theses/fangren_yu_MMath/resolution.tex (modified) fix editorial comment on Moss quote Wed, 09 Apr 2025 03:08:17 GMT Peter A. Buhr [2572add] * doc/theses/fangren_yu_MMath/intro.tex (modified) * doc/theses/fangren_yu_MMath/resolution.tex (modified) more proofreading Tue, 08 Apr 2025 18:14:36 GMT Peter A. Buhr [9fbc40e] * doc/theses/fangren_yu_MMath/future.tex (modified) * doc/theses/fangren_yu_MMath/glossary.tex (deleted) * doc/theses/fangren_yu_MMath/resolution.tex (modified) proofread future chapter Tue, 08 Apr 2025 01:22:23 GMT Peter A. Buhr [7d405eb] * doc/theses/fangren_yu_MMath/conclusion.tex (modified) * doc/theses/fangren_yu_MMath/future.tex (modified) * doc/theses/fangren_yu_MMath/intro.tex (modified) * doc/theses/fangren_yu_MMath/resolution.tex (modified) * doc/theses/fangren_yu_MMath/uw-ethesis.tex (modified) more proofreading, change file names Tue, 08 Apr 2025 01:18:53 GMT Peter A. Buhr [0393fda8] * doc/bibliography/pl.bib (modified) * doc/theses/fangren_yu_MMath/features.tex (moved) * doc/theses/fangren_yu_MMath/future.tex (moved) * doc/theses/fangren_yu_MMath/resolution.tex (moved) add, update citations