source: doc/theses/jiada_liang_MMath

Revision Log Mode:


Legend:

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