|
|
|
@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
|
23 months |
pabuhr |
start proofreading of Section 2.1
stuck-waitfor-destruct
|
|
|
|
@b8cb388
|
23 months |
pabuhr |
fix CFA citation
stuck-waitfor-destruct
|
|
|
|
@baad96e
|
23 months |
pabuhr |
add sorting key to web-site citations
stuck-waitfor-destruct
|
|
|
|
@84886499
|
23 months |
j82liang |
Small update
stuck-waitfor-destruct
|
|
|
|
@d734fa1
|
23 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
|
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
|
|
|
|
@a885357
|
2 years |
pabuhr |
update compile commands
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
|
|
|
|
@5546f50b
|
2 years |
pabuhr |
more switch to tabs
stuck-waitfor-destruct
|
|
|
|
@b64d0f4
|
2 years |
pabuhr |
second attempt changing program-input style
stuck-waitfor-destruct
|
|
|
|
@266732e
|
2 years |
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
|
|
|
|
@77d46c7
|
2 years |
pabuhr |
change containers/list.hfa to collections/list.hfa in thesis test files
stuck-waitfor-destruct
|
|
|
|
@40ab446
|
2 years |
mlbrooks |
Recent thesis writing
stuck-waitfor-destruct
|
|
|
|
@dab9fb93
|
2 years |
mlbrooks |
Accept Peter's proofreading and adjustment of examples to current syntax
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
|
|
|
|
@c0035fc
|
2 years |
caparson |
Added references when incorporating Trevor's comments
stuck-waitfor-destruct
|
|
|
|
@9509d67a
|
2 years |
caparson |
Incorporated changes in response to Trevor's comments.
stuck-waitfor-destruct
|
|
|
|
@3ee8853
|
2 years |
caparson |
made some small formatting changes
stuck-waitfor-destruct
|
|
|
|
@0f8b1a7
|
2 years |
caparson |
merged in Peter's edits with a few small changes
stuck-waitfor-destruct
|
|
|
|
@79b05224
|
2 years |
pabuhr |
proofread chapters CFA_concurrency, intro, and conclusion
stuck-waitfor-destruct
|
|
|
|
@1f10959
|
2 years |
caparson |
expanded upon intro and conclusion
stuck-waitfor-destruct
|
|
|
|
@aae9c17
|
2 years |
caparson |
edited thesis to incorporate Gregors comments
stuck-waitfor-destruct
|
|
|
|
@18ebc28
|
2 years |
pabuhr |
create MMath thesis macros for Jiada
stuck-waitfor-destruct
|
|
|
|
@082510e
|
2 years |
pabuhr |
create a glossary example
stuck-waitfor-destruct
|
|
|
|
@3fdf2b7
|
2 years |
pabuhr |
add files Makefile and .gitignore
stuck-waitfor-destruct
|
|
|
|
@028c2c6
|
3 years |
pabuhr |
fix line break in conclusion
stuck-waitfor-destruct
|
|
|
|
@a867622
|
3 years |
pabuhr |
fix figure 7.12 placement
stuck-waitfor-destruct
|
|
|
|
@d54ede6
|
3 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
stuck-waitfor-destruct
|
|
|
|
@d5f5eb7
|
3 years |
pabuhr |
fussed with Figure 7.3
stuck-waitfor-destruct
|
|
|
|
@2cb15b09
|
3 years |
caparson |
fixed bad page break and made figure location better
stuck-waitfor-destruct
|
|
|
|
@210c737
|
3 years |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
stuck-waitfor-destruct
|
|
|
|
@afb3d68
|
3 years |
pabuhr |
final proofread of waituntil chapter
stuck-waitfor-destruct
|
|
|
|
@2e7a299
|
3 years |
pabuhr |
change code listing to figure
stuck-waitfor-destruct
|
|
|
|
@9171456b
|
3 years |
pabuhr |
fix bad line break
stuck-waitfor-destruct
|
|
|
|
@56eb7f8
|
3 years |
pabuhr |
fix number of examples
stuck-waitfor-destruct
|
|
|
|
@5d8cc96
|
3 years |
pabuhr |
move figure
stuck-waitfor-destruct
|
|
|
|
@b3ac8ce3
|
3 years |
pabuhr |
fix month in citation
stuck-waitfor-destruct
|
|
|
|
@d987881
|
3 years |
pabuhr |
update empty thesis directory for Fangren
stuck-waitfor-destruct
|
|
|
|
@c68f6e6
|
3 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
stuck-waitfor-destruct
|
|
|
|
@2e94f3e7
|
3 years |
pabuhr |
add empty thesis directory for Fangren
stuck-waitfor-destruct
|
|
|
|
@000d68f
|
3 years |
caparson |
various small changes across entire thesis
stuck-waitfor-destruct
|
|
|
|
@d3c3261
|
3 years |
caparson |
fleshed out conclusion
stuck-waitfor-destruct
|
|
|
|
@f496046
|
3 years |
caparson |
incorporated actor and waituntil comments
stuck-waitfor-destruct
|
|
|
|
@a59e338
|
3 years |
pabuhr |
small wording changes
stuck-waitfor-destruct
|
|
|
|
@c1b6bc6
|
3 years |
pabuhr |
first proofread of conclusion chapter
stuck-waitfor-destruct
|
|
|
|
@1ae3f185
|
3 years |
pabuhr |
more proofreading of waituntil chapter
stuck-waitfor-destruct
|
|
|
|
@d4c1d1f
|
3 years |
pabuhr |
more proofreading of chapter waituntil
stuck-waitfor-destruct
|
|
|
|
@47b7142
|
3 years |
caparson |
reworked 7.5.3 of thesis
stuck-waitfor-destruct
|
|
|
|
@c03c1ac
|
3 years |
pabuhr |
more proofreading waituntil chapter
stuck-waitfor-destruct
|
|
|
|
@5e6fb07
|
3 years |
caparson |
added label to section to reference later
stuck-waitfor-destruct
|
|
|
|
@8b84973
|
3 years |
caparson |
updated waituntil benchmarks to use new channel arrow syntax
stuck-waitfor-destruct
|
|
|
|
@daf4c89
|
3 years |
caparson |
updated channel chapter to reflect new syntax
stuck-waitfor-destruct
|
|
|
|
@e0396d9
|
3 years |
caparson |
added discussion of channel shorthand operators
stuck-waitfor-destruct
|
|
|
|
@494a7e5
|
3 years |
caparson |
more 7.5 improvements. Tried to improve chapter flow
stuck-waitfor-destruct
|
|
|
|
@7ed01be
|
3 years |
caparson |
smoothed over 7.5 intro
stuck-waitfor-destruct
|
|
|
|
@847ab8f
|
3 years |
pabuhr |
first proofread of waituntil chapter up to Section 7.5
stuck-waitfor-destruct
|
|
|
|
@bcc56c9
|
3 years |
pabuhr |
final proofread of actor chapter
stuck-waitfor-destruct
|
|
|
|
@432e1de
|
3 years |
pabuhr |
capitalize titles in citations
stuck-waitfor-destruct
|
|
|
|
@6da4cbbc
|
3 years |
pabuhr |
move uC++ beside CFA in table
stuck-waitfor-destruct
|
|
|
|
