|
|
@09dd830
|
4 months |
j82liang |
grammar fixed by a dsoftware
|
|
|
@dc1c430
|
4 months |
j82liang |
update CFAenum.tex
|
|
|
@c40a982
|
5 months |
pabuhr |
change enumeration posE to posn
|
|
|
@7f8c232
|
5 months |
pabuhr |
formatting
|
|
|
@62a38e7
|
5 months |
pabuhr |
remove calls to label() from planet program
|
|
|
@d96d4f0
|
5 months |
pabuhr |
corrections to Pascal discussion
|
|
|
@f3b67b6
|
5 months |
pabuhr |
update test programs for different program languages
|
|
|
@41f4e2d
|
5 months |
pabuhr |
update Pascal enumeration
|
|
|
@29092213
|
5 months |
pabuhr |
update planet example program
|
|
|
@525f7ad
|
5 months |
j82liang |
1. Add count_e( enum_name ), a pseudo function that return the …
|
|
|
@1725989
|
5 months |
pabuhr |
add enumeration test programs for different programming languages
|
|
|
@bc17be98
|
5 months |
pabuhr |
small proofreading changes to Cforall numeration chapter
|
|
|
@c033405
|
5 months |
pabuhr |
first complete proofread of related-work chapter, still needs …
|
|
|
@736a38d
|
5 months |
pabuhr |
more proofreading of C background chapter
|
|
|
@4c8f29ff
|
5 months |
pabuhr |
address Gregor's comment about quantity and a unit in examples, add …
|
|
|
@3eb5f993
|
5 months |
pabuhr |
add missing keywords match and case to Python lstnewenvironment
|
|
|
@e6f1a4b
|
6 months |
j82liang |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
|
|
|
@41c4b5e
|
6 months |
pabuhr |
updates related to introduction chapter changes
|
|
|
@ccfbfd9
|
6 months |
pabuhr |
more proofreading with respect to Gregor's comments
|
|
|
@31f4837
|
6 months |
j82liang |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
|
|
|
@acb33f15
|
6 months |
j82liang |
Change enum conversion steps
|
|
|
@ec20ab9
|
6 months |
pabuhr |
small updates, and more proofreading of the related-works chapter
|
|
|
@d69f7114
|
7 months |
pabuhr |
proofread section Enumeration Trait, and a few other wording changes
|
|
|
@d414664
|
7 months |
j82liang |
Update writing part for enum trait
|
|
|
@35897fb
|
7 months |
j82liang |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
|
|
|
@de3a579
|
7 months |
j82liang |
Add trait subsection
|
|
|
@caaf424
|
7 months |
pabuhr |
remove glossary macros, switch back to newterm marco from Newterm, …
|
|
|
@f632117
|
7 months |
pabuhr |
more proofreading on enumeration chapters
|
|
|
@314c9d8
|
7 months |
pabuhr |
more proofreading on introduction chapter (discussion of ADT)
|
|
|
@566cc33
|
7 months |
pabuhr |
move all lstnewenvironment macros to central location in uw-ethesis.tex
|
|
|
@4da9142
|
7 months |
pabuhr |
more proofreading on enumerations
|
|
|
@c148966
|
7 months |
pabuhr |
documentation
|
|
|
@2a27998
|
7 months |
pabuhr |
add citation from OED for enumerate
|
|
|
@84886499
|
8 months |
j82liang |
Small update
|
|
|
@d734fa1
|
8 months |
j82liang |
Comment on relatedwork work
|
|
|
@41fb996
|
8 months |
pabuhr |
word smithing and poking at rust enumerations
|
|
|
@48b76d03
|
8 months |
pabuhr |
fine tune justification for enumerations
|
|
|
@caf2cba
|
8 months |
pabuhr |
justification for enumerations
|
|
|
@e00b10d
|
8 months |
pabuhr |
added Gregor and Andrew emails
|
|
|
@7d9a805b
|
8 months |
pabuhr |
more proofreading for enumerations
|
|
|
@223b631
|
8 months |
pabuhr |
add comparison table for related work
|
|
|
@6337916
|
8 months |
pabuhr |
fold in Gregor's comments on OCaml
|
|
|
@56a8eb8
|
8 months |
pabuhr |
more updates on OCaml
|
|
|
@423c0cd
|
8 months |
pabuhr |
more updates on OCaml
|
|
|
@9a32903
|
8 months |
pabuhr |
update OCaml text and add OCaml citation
|
|
|
@282061a
|
8 months |
pabuhr |
update OCaml text
|
|
|
@6c8b76b
|
8 months |
j82liang |
Fix ocaml code
|
|
|
@9398177
|
8 months |
j82liang |
Add OCamal section to related work
|
|
|
@9262fe9
|
9 months |
pabuhr |
more proofreading for enumeration related-work
|
|
|
@1d5e5601
|
9 months |
pabuhr |
more proofreading on the enumeration related-work section
|
|
|
@924534e
|
9 months |
pabuhr |
more proofreading on the enumeration related-work section
|
|
|
@022bce0
|
9 months |
pabuhr |
more proofreading on enumeration thesis
|
|
|
@7bb516f
|
9 months |
pabuhr |
more proofreading on enumeration thesis
|
|
|
@38f5006
|
9 months |
pabuhr |
update related work for Ada and Golang
|
|
|
@f9da761
|
9 months |
pabuhr |
change text to use macros \eg amd \ie
|
|
|
@f936e23
|
9 months |
pabuhr |
add more text to related-work chapter
|
|
|
@acde87a
|
9 months |
pabuhr |
remove unnecessary latex macros
|
|
|
@956299b
|
9 months |
pabuhr |
copy enum proposal to enum thesis
|
|
|
@6bd9f9e
|
13 months |
j82liang |
Rename and move the file to proposal
|
|
|
@bab2917
|
13 months |
j82liang |
Update the introduction
|
|
|
@85034ed
|
13 months |
j82liang |
Initial commit
|
|
|
@18ebc28
|
15 months |
pabuhr |
create MMath thesis macros for Jiada
|