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