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