|
|
@c329bca
|
2 months |
j82liang |
Add a sentence about linkonce
|
|
|
@0bda8d7
|
2 months |
j82liang |
Small updates
|
|
|
@68a7028
|
2 months |
pabuhr |
small changes
|
|
|
@0c88135
|
2 months |
j82liang |
Update on thesis
|
|
|
@dcfcf368
|
2 months |
pabuhr |
final proofread of thesis
|
|
|
@d93b813
|
2 months |
j82liang |
Add separate compilation discussion
|
|
|
@29c8675
|
2 months |
j82liang |
update thesis
|
|
|
@3ac5fd8
|
3 months |
pabuhr |
first attempt changing end-of-file to an exception
|
|
|
@acab1bd
|
3 months |
j82liang |
rephrase enum initialization
|
|
|
@7568e5c
|
3 months |
j82liang |
Minor update on the thesis (add auto initialization and update future work
|
|
|
@c1c0efdb
|
3 months |
pabuhr |
last proofread of thesis
|
|
|
@b0069a3
|
3 months |
j82liang |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
|
|
|
@92a0ee8
|
3 months |
j82liang |
Small thesis unpdate
|
|
|
@9d3a4cc
|
3 months |
pabuhr |
fix PDF warnings about special characters in titles
|
|
|
@fd0a9bf
|
3 months |
pabuhr |
formatting
|
|
|
@3b10778
|
4 months |
pabuhr |
small proofreading updates
|
|
|
@1d8a349
|
4 months |
j82liang |
change wording
|
|
|
@f3abce9
|
4 months |
j82liang |
update subset section
|
|
|
@59fb462
|
4 months |
j82liang |
Add code comment along the example
|
|
|
@63d5b9c8
|
4 months |
j82liang |
Merge changes
|
|
|
@0c51c8b4
|
4 months |
pabuhr |
formatting, add section of enumeration subset
|
|
|
@c588acb
|
4 months |
pabuhr |
proofread CFA enumeration chapter
|
|
|
@1697c40
|
4 months |
j82liang |
merge local changes
|
|
|
@c141c09
|
4 months |
j82liang |
Update
|
|
|
@fcf3493
|
4 months |
j82liang |
update on thesis
|
|
|
@09bdf2d
|
4 months |
j82liang |
Add CEnum.tex
|
|
|
@38e20a80
|
4 months |
j82liang |
update thesis
|
|
|
@5aeb1a9
|
4 months |
j82liang |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
|
|
|
@a03ed29
|
4 months |
j82liang |
conclude merge
|
|
|
@6f47834
|
4 months |
pabuhr |
add section on enumeration I/O
|
|
|
@e561551
|
4 months |
j82liang |
Save current progress for pull
|
|
|
@10a99d87
|
4 months |
pabuhr |
proofread last push of CFA enumerations
|
|
|
@09dd830
|
4 months |
j82liang |
grammar fixed by a dsoftware
|
|
|
@dc1c430
|
4 months |
j82liang |
update CFAenum.tex
|
|
|
@62a38e7
|
5 months |
pabuhr |
remove calls to label() from planet program
|
|
|
@29092213
|
5 months |
pabuhr |
update planet example program
|
|
|
@bc17be98
|
5 months |
pabuhr |
small proofreading changes to Cforall numeration chapter
|
|
|
@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
|
|
|
@4da9142
|
7 months |
pabuhr |
more proofreading on enumerations
|
|
|
@7d9a805b
|
8 months |
pabuhr |
more proofreading for enumerations
|
|
|
@282061a
|
8 months |
pabuhr |
update OCaml text
|
|
|
@f9da761
|
9 months |
pabuhr |
change text to use macros \eg amd \ie
|
|
|
@956299b
|
10 months |
pabuhr |
copy enum proposal to enum thesis
|