source: doc/theses/jiada_liang_MMath

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @4c63025   4 months pabuhr fix duplicate labelling of figures
(edit) @7cb14c9   4 months pabuhr proofread conclusion chapter
(edit) @fd0a9bf9   4 months pabuhr formatting
(edit) @3b10778   4 months pabuhr small proofreading updates
(edit) @1d8a349   4 months j82liang change wording
(edit) @f3abce9   4 months j82liang update subset section
(edit) @59fb462   4 months j82liang Add code comment along the example
(edit) @43ab5fb   4 months j82liang Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
(edit) @63d5b9c8   4 months j82liang Merge changes
(edit) @5fdaeab1   4 months pabuhr third attempt proofread trait chapter
(edit) @d7cb0f7   4 months pabuhr second attempt proofread trait chapter
(edit) @8cb2ff6   4 months pabuhr proofread trait chapter
(edit) @bd686f0   4 months j82liang CFAEnum to CFAEnum conversion algorithm (the previous was enumerator …
(edit) @11f8ff7   4 months j82liang Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
(edit) @d6c5faa   4 months j82liang A demo of offset algorithm used in enum containment inheritance
(edit) @ee2f11f   4 months pabuhr fix user_define_enum.cfa
(edit) @efd055c   4 months j82liang user define enum example
(edit) @0c51c8b4   4 months pabuhr formatting, add section of enumeration subset
(edit) @af5baae   4 months j82liang Wording changes
(edit) @96de72b   4 months j82liang 1. Update contribution; 2. update loop subsection; 3. rangeLoops.cfa …
(edit) @c588acb   5 months pabuhr proofread CFA enumeration chapter
(edit) @94643698   5 months pabuhr add discussion about partially implemented individual scoping mechanism
(edit) @2514d3d7   5 months pabuhr formatting
(edit) @748877f   5 months pabuhr Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
(edit) @a57ad8a   5 months pabuhr proofread C Enum chapter
(edit) @503c350   5 months pabuhr move overload material into background chapter
(edit) @1697c40   5 months j82liang merge local changes
(edit) @d39d8a4   5 months pabuhr proofread background chapter
(edit) @e15293b   5 months pabuhr display subsubsection numbering and insert into the table of contents
(edit) @433e2c3   5 months pabuhr proofread thesis frontpgs and intro
(edit) @c141c09   5 months j82liang Update
(edit) @6740533e   5 months j82liang Add a discussion on Static Type information
(edit) @21f4dff   5 months j82liang Add motivation for trait
(edit) @9476549   5 months j82liang Add abstract and acknoledgement
(edit) @fcf3493   5 months j82liang update on thesis
(edit) @dd78dbc   5 months j82liang Add CEnum.tex
(edit) @09bdf2d   5 months j82liang Add CEnum.tex
(edit) @f3d2a4f   5 months j82liang Rename implementation to trait
(edit) @38e20a80   5 months j82liang update thesis
(edit) @5aeb1a9   5 months j82liang Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
(edit) @a03ed29   5 months j82liang conclude merge
(edit) @6f47834   5 months pabuhr add section on enumeration I/O
(edit) @e561551   5 months j82liang Save current progress for pull
(edit) @d1276f8   5 months pabuhr move enumeration trait material into implementation chapter
(edit) @10a99d87   5 months pabuhr proofread last push of CFA enumerations
(edit) @46651fb   5 months pabuhr small wording change to enumeration introduction
(edit) @09dd830   5 months j82liang grammar fixed by a dsoftware
(edit) @dc1c430   5 months j82liang update CFAenum.tex
(edit) @c40a982   6 months pabuhr change enumeration posE to posn
(edit) @7f8c232   6 months pabuhr formatting
(edit) @62a38e7   6 months pabuhr remove calls to label() from planet program
(edit) @d96d4f0   6 months pabuhr corrections to Pascal discussion
(edit) @f3b67b6   6 months pabuhr update test programs for different program languages
(edit) @41f4e2d   6 months pabuhr update Pascal enumeration
(edit) @29092213   6 months pabuhr update planet example program
(edit) @525f7ad   6 months j82liang 1. Add count_e( enum_name ), a pseudo function that return the …
(edit) @1725989   6 months pabuhr add enumeration test programs for different programming languages
(edit) @bc17be98   6 months pabuhr small proofreading changes to Cforall numeration chapter
(edit) @c033405   6 months pabuhr first complete proofread of related-work chapter, still needs …
(edit) @736a38d   6 months pabuhr more proofreading of C background chapter
(edit) @4c8f29ff   6 months pabuhr address Gregor's comment about quantity and a unit in examples, add …
(edit) @3eb5f993   6 months pabuhr add missing keywords match and case to Python lstnewenvironment
(edit) @e6f1a4b   7 months j82liang Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
(edit) @41c4b5e   7 months pabuhr updates related to introduction chapter changes
(edit) @ccfbfd9   7 months pabuhr more proofreading with respect to Gregor's comments
(edit) @31f4837   7 months j82liang Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
(edit) @acb33f15   7 months j82liang Change enum conversion steps
(edit) @ec20ab9   7 months pabuhr small updates, and more proofreading of the related-works chapter
(edit) @d69f7114   8 months pabuhr proofread section Enumeration Trait, and a few other wording changes
(edit) @d414664   8 months j82liang Update writing part for enum trait
(edit) @35897fb   8 months j82liang Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
(edit) @de3a579   8 months j82liang Add trait subsection
(edit) @caaf424   8 months pabuhr remove glossary macros, switch back to newterm marco from Newterm, …
(edit) @f632117   8 months pabuhr more proofreading on enumeration chapters
(edit) @314c9d8   8 months pabuhr more proofreading on introduction chapter (discussion of ADT)
(edit) @566cc33   8 months pabuhr move all lstnewenvironment macros to central location in uw-ethesis.tex
(edit) @4da9142   8 months pabuhr more proofreading on enumerations
(edit) @c148966   8 months pabuhr documentation
(edit) @2a27998   8 months pabuhr add citation from OED for enumerate
(edit) @84886499   9 months j82liang Small update
(edit) @d734fa1   9 months j82liang Comment on relatedwork work
(edit) @41fb996   9 months pabuhr word smithing and poking at rust enumerations
(edit) @48b76d03   9 months pabuhr fine tune justification for enumerations
(edit) @caf2cba   9 months pabuhr justification for enumerations
(edit) @e00b10d   9 months pabuhr added Gregor and Andrew emails
(edit) @7d9a805b   9 months pabuhr more proofreading for enumerations
(edit) @223b631   9 months pabuhr add comparison table for related work
(edit) @6337916   9 months pabuhr fold in Gregor's comments on OCaml
(edit) @56a8eb8   9 months pabuhr more updates on OCaml
(edit) @423c0cd   9 months pabuhr more updates on OCaml
(edit) @9a32903   9 months pabuhr update OCaml text and add OCaml citation
(edit) @282061a   9 months pabuhr update OCaml text
(edit) @6c8b76b   9 months j82liang Fix ocaml code
(edit) @9398177   9 months j82liang Add OCamal section to related work
(edit) @9262fe9   10 months pabuhr more proofreading for enumeration related-work
(edit) @1d5e5601   10 months pabuhr more proofreading on the enumeration related-work section
(edit) @924534e   10 months pabuhr more proofreading on the enumeration related-work section
(edit) @022bce0   10 months pabuhr more proofreading on enumeration thesis
(edit) @7bb516f   10 months pabuhr more proofreading on enumeration thesis
(edit) @38f5006   10 months pabuhr update related work for Ada and Golang
Note: See TracRevisionLog for help on using the revision log.