|
|
|
@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
|
19 months |
pabuhr |
corrections to Pascal discussion
stuck-waitfor-destruct
|
|
|
|
@f3b67b6
|
19 months |
pabuhr |
update test programs for different program languages
stuck-waitfor-destruct
|
|
|
|
@41f4e2d
|
19 months |
pabuhr |
update Pascal enumeration
stuck-waitfor-destruct
|
|
|
|
@29092213
|
19 months |
pabuhr |
update planet example program
stuck-waitfor-destruct
|
|
|
|
@006d4c4
|
20 months |
mlbrooks |
Linked-list background additions for identity model and end treatment.
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
|
|
|
|
@77328d0
|
20 months |
mlbrooks |
Elaborate the description and context of the md-array subscripting figure.
stuck-waitfor-destruct
|
|
|
|
@b166b1c
|
20 months |
mlbrooks |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
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
|
|
|
|
@f30be51f
|
20 months |
mlbrooks |
Add soft copy of existing thesis diagram
stuck-waitfor-destruct
|
|
|
|
@66286aa
|
20 months |
pabuhr |
add iterator paper
stuck-waitfor-destruct
|
|
|
|
@4fc7388
|
20 months |
pabuhr |
small proofreading changes
stuck-waitfor-destruct
|
|
|
|
@bfcd3af
|
21 months |
j82liang |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
stuck-waitfor-destruct
|
|
|
|
@cad8c88
|
21 months |
pabuhr |
change xleftmargin spacing for lstinput, add code formatting macro for C++
stuck-waitfor-destruct
|
|
|
|
@a4808ad
|
21 months |
pabuhr |
add Elliott18 citation
stuck-waitfor-destruct
|
|
|
|
@df699e0
|
21 months |
pabuhr |
program updates to match text
stuck-waitfor-destruct
|
|
|
|
@c721105
|
21 months |
pabuhr |
proofreading changes
stuck-waitfor-destruct
|
|
|
|
@76425bc
|
21 months |
pabuhr |
remove Grothoff14 paper
stuck-waitfor-destruct
|
|
|
|
@73da8df
|
21 months |
pabuhr |
add Elliott18 paper
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
|
|
|
|
@ca4f2b2
|
21 months |
pabuhr |
proofread string section of background chapter
stuck-waitfor-destruct
|
|
|
|
@ec20ab9
|
21 months |
pabuhr |
small updates, and more proofreading of the related-works chapter
stuck-waitfor-destruct
|
|
|
|
@ac16a55
|
21 months |
pabuhr |
update thesis front page from 2020 to 2022 macros
stuck-waitfor-destruct
|
|
|
|
@1379c96e
|
21 months |
pabuhr |
formatting changes to programs
stuck-waitfor-destruct
|
|
|
|
@123e8b9
|
21 months |
pabuhr |
move background material from list chapter to background chapter
stuck-waitfor-destruct
|
|
|
|
@0775468
|
21 months |
pabuhr |
proofreading background section Linked Lists
stuck-waitfor-destruct
|
|
|
|
@297b796
|
21 months |
pabuhr |
add pl.bib to file dependencies
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
|
21 months |
pabuhr |
more proofreading on introduction chapter (discussion of ADT)
stuck-waitfor-destruct
|
|
|
|
@566cc33
|
21 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
|
|
|
|
@c4024b46
|
22 months |
pabuhr |
more work on background chapter
stuck-waitfor-destruct
|
|
|
|
@0554c1a
|
22 months |
pabuhr |
finish current proofreading of background chapter
stuck-waitfor-destruct
|
|
|
|
@dd37afa
|
22 months |
pabuhr |
more work on Figure 2.1 and surrounding text
stuck-waitfor-destruct
|
|
|
|
@d3a49864
|
22 months |
pabuhr |
work on Figure 2.1
stuck-waitfor-destruct
|
|
|
|
@2d82999
|
22 months |
mlbrooks |
clear out draft content and link syntactic reference figures
stuck-waitfor-destruct
|
|
|
|
@b5bfb16
|
22 months |
pabuhr |
start proofreading of Section 2.1
stuck-waitfor-destruct
|
|
|
|
@b8cb388
|
22 months |
pabuhr |
fix CFA citation
stuck-waitfor-destruct
|
|
|
|
@baad96e
|
22 months |
pabuhr |
add sorting key to web-site citations
stuck-waitfor-destruct
|
|
|
|
@84886499
|
22 months |
j82liang |
Small update
stuck-waitfor-destruct
|
|
|
|
@d734fa1
|
22 months |
j82liang |
Comment on relatedwork work
stuck-waitfor-destruct
|
|
|
|
@051aec4
|
23 months |
pabuhr |
word smithing
stuck-waitfor-destruct
|
|
|
|
@41fb996
|
23 months |
pabuhr |
word smithing and poking at rust enumerations
stuck-waitfor-destruct
|
|
|
|
@6a8c773
|
23 months |
pabuhr |
more work on introduction
stuck-waitfor-destruct
|
|
|
|
@82e5670
|
23 months |
pabuhr |
add material from background
stuck-waitfor-destruct
|
|
|
|
@f5fbcad
|
23 months |
pabuhr |
move material from background to intro
stuck-waitfor-destruct
|
|
|
|
@bdc8591
|
23 months |
pabuhr |
start introduction
stuck-waitfor-destruct
|
|
|
|
@f5212ca
|
23 months |
pabuhr |
interchange chapters list and array
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
|
|
|
|
@a885357
|
23 months |
pabuhr |
update compile commands
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
|
|
|
|
@5546f50b
|
23 months |
pabuhr |
more switch to tabs
stuck-waitfor-destruct
|
|
|
|
@b64d0f4
|
23 months |
pabuhr |
second attempt changing program-input style
stuck-waitfor-destruct
|
|
|
|
@266732e
|
23 months |
pabuhr |
switch to tabs, first attempt changing program-input style
stuck-waitfor-destruct
|
|
|
|
@e72fc60
|
2 years |
mlbrooks |
Fix thesis demo program build isssue: handle substring API switch to …
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
|
|
|
|
@19a2890
|
2 years |
pabuhr |
small proofreading changes
stuck-waitfor-destruct
|
|
|
|
@96b0e49
|
2 years |
pabuhr |
add papers directory and start populating it
stuck-waitfor-destruct
|
|
|
|
@f277ab6c
|
2 years |
pabuhr |
comment back in lstinputlisting files after missing files pushed
stuck-waitfor-destruct
|
|
|
|
@7972603
|
2 years |
mlbrooks |
Missing files from last thesis push
stuck-waitfor-destruct
|
|
|
|
@ed79428
|
2 years |
pabuhr |
comment out missing lstinputlisting files, fix missing @'s for …
stuck-waitfor-destruct
|
|
|
|
@cd79053
|
2 years |
pabuhr |
comment out assert( s1_mid == fc ) bug
stuck-waitfor-destruct
|
|
|
|
