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