|
|
|
@56c8b86
|
2 years |
Thierry Delisle |
Added clean version of cforall
(Rather than one buried in a mess of macros)
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@7530049d
|
2 years |
Thierry Delisle |
Minor cleanup
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@8483c39a
|
2 years |
pabuhr |
proofread chapter features
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@7039ab9
|
2 years |
pabuhr |
add xfig figures
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@826ee62
|
2 years |
ajbeach |
Andrew MMath: Added notes about checked exceptions to future work.
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@dbfae7b
|
2 years |
pabuhr |
add figures for design possibilities
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@d0e80f61
|
2 years |
pabuhr |
change latex packages from pdflatex to latex for .fig output
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@659fb73
|
2 years |
pabuhr |
change Makefile from pdflatex to latex for .fig output
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@b202dc2
|
2 years |
pabuhr |
first draft of enumeration section
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@9e234f0b
|
2 years |
pabuhr |
center numbers in figure boxes
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@08e75215
|
2 years |
ajbeach |
Andrew MMath: Expanded a todo about open/closed types.
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@4260566
|
2 years |
ajbeach |
Andrew MMath: Clean-up of features.tex. Put more general EHM …
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@77dde15
|
2 years |
pabuhr |
change citation node for Wasik08 to use href
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@50d8d4d
|
2 years |
pabuhr |
more setup for Mubeen's thesis document
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@ab5498ec
|
2 years |
m3zulfiq |
just added an empty thesis directory with Makefil from andrew's thesis
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@223ee0d
|
2 years |
pabuhr |
add Concurrent Stream Access section, copy operator and keyword …
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@67c6a47
|
2 years |
pabuhr |
proofread Andrew's thesis chapter existing.tex
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@d06707e
|
2 years |
pabuhr |
add new CFA keywords basetypeof, fixup, recover, report for lstlisting
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@830299f
|
2 years |
ajbeach |
Andrew MMath: Second draft of the implement chapter.
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@1830a86
|
2 years |
ajbeach |
Andrew MMath: Updated exception features chapter.
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@c6640a3
|
2 years |
pabuhr |
proofread Chapter 4 up to and including the start of Section 4.2.2
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@b20465a
|
2 years |
pabuhr |
fix Makefile problem building fairness.svg
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@79debb02
|
2 years |
pabuhr |
switch over from 2017 to 2020 thesis macros
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@c4e3419c
|
2 years |
pabuhr |
formatting, update discussion on unnamed aggregates in C
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@17d6214
|
2 years |
pabuhr |
final emails about proof changes
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@e94eeb9
|
2 years |
pabuhr |
protect newterm macro for use in section, delimit cfa macro to remove …
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@10c7f40
|
2 years |
pabuhr |
formatting, rewrite section of "with" statement
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@52f6250
|
2 years |
Thierry Delisle |
Finished section on private I/O instances.
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@f4eb705
|
2 years |
Thierry Delisle |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@d4a4b17
|
2 years |
Thierry Delisle |
High-Level design for io_uring pools.
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@735b627
|
2 years |
pabuhr |
update to new common macros, incorporate Thierry's fixes
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@7584279
|
2 years |
pabuhr |
slightly decrease spacing before/after sections, change latin-1 macros
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@00f24f6
|
2 years |
pabuhr |
increase text font size
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@5ce9bea
|
2 years |
Thierry Delisle |
Added missing rules to thesis makefile.
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@ef0b456
|
2 years |
Thierry Delisle |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@c292244
|
2 years |
Thierry Delisle |
Started working on the I/O section of my thesis.
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@9af0fe2d
|
2 years |
ajbeach |
Got rid of the remaining \texorpdfstring commands.
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@29c9b23
|
2 years |
ajbeach |
Andrew MMath: Supposed to be focused on features but it ended up …
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@4b393ba
|
2 years |
pabuhr |
formatting, generalize printing \CC macros
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@3d67f83
|
2 years |
pabuhr |
make pdfstringdefDisableCommands conditional on hyperref
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@3b402339
|
2 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@144fa5c
|
2 years |
pabuhr |
support abbrevs \CFA, \CC, lstinline ... in PDF titles
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@1c1c180
|
2 years |
ajbeach |
Fixed line length and trailing whitespace on modified tex files.
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@7eb6eb5
|
2 years |
pabuhr |
complete first proofread of Andrew's thesis
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@4dcd5ea
|
2 years |
pabuhr |
update citation
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@2b878b4
|
2 years |
pabuhr |
change format of \see macro, reduce spacing before description macro
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@4f3a4d75
|
2 years |
pabuhr |
proofread chapter "unwind"
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@d95969a
|
2 years |
Thierry Delisle |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@7158202
|
2 years |
ajbeach |
Updated the gitignore for the thesis renaming.
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@c627777
|
2 years |
pabuhr |
reduce spacing below lstlisting macro
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@4706098c
|
2 years |
pabuhr |
proofread chapter "features", and adjust formatting
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@6c79bef
|
2 years |
pabuhr |
proofread chapter "existing"
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@62c0f8a
|
2 years |
pabuhr |
turn off math escape and add line number style
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@12b4ab4
|
2 years |
ajbeach |
Andrew MMath: Added a bit on the implementation of rcursive resumption …
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@79c14d6
|
2 years |
pabuhr |
fix naming from uw-thesis.tex to uw-ethesis.tex
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@f28fdee
|
2 years |
pabuhr |
incorporate uw-thesis macros and CFA common macros
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@79e261b7
|
2 years |
pabuhr |
remove repeated pagebackref=true option
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@2f47ea4
|
2 years |
pabuhr |
add sloppypar to abstract to fix horizontal outdent
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@7722242
|
2 years |
f37yu |
add acknowledgement section, fix a few format issues
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@4b1c8da
|
2 years |
pabuhr |
proofread Fangren's co-op report, add necessary references
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@02b73ea
|
2 years |
ajbeach |
Andrew MMath: Added some features and cleaned up future.tex.
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@2d63023
|
2 years |
f37yu |
add abstract and introduction section
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@b6a8b31
|
2 years |
Thierry Delisle |
Added local git ignore
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@3db750c
|
2 years |
Thierry Delisle |
These don't need to be gited
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@bf08316
|
2 years |
Thierry Delisle |
Merge more of peter's changed.
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@50202fa
|
2 years |
Thierry Delisle |
Merged runtime changes from peter
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@aaa1c4cc
|
2 years |
Thierry Delisle |
Added text_back folder to merge things after peter's changes
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@7cef785
|
2 years |
Thierry Delisle |
Removed color from glossary links
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@f756a7f
|
2 years |
Thierry Delisle |
Added missing dependency on thesis.tex
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@9153e53
|
2 years |
pabuhr |
fix citation error
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@bace538
|
2 years |
pabuhr |
proofread Thierry's chapter 2 and 3, update latex formatting, add …
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@101cc3a
|
2 years |
pabuhr |
add references to table of contents
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@1dfe6a6
|
2 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@91571e5
|
2 years |
pabuhr |
remove unnecessary files, add Fangren Yu F20 report "Optimization of …
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@26ca815
|
2 years |
ajbeach |
Andrew MMath: This took way longer than I wanted but, first draft of …
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@d435c04
|
2 years |
ajbeach |
Andrew MMath: Removed some extra \ characters.
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@c04a19e
|
2 years |
Thierry Delisle |
Major update to chapter 3
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@c2409fd
|
2 years |
caparson |
added WIP unified semaphore code
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@72b1800
|
2 years |
Thierry Delisle |
Some previous in progress work.
Commited only so it stops showing in …
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@4432b52
|
2 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@1f9a4d0
|
2 years |
pabuhr |
changes for SP&E proofs of concurrency paper
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@6e7b969
|
2 years |
ajbeach |
Andrew MMath: First draft of existing features and updated framework.
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@b82c17a
|
2 years |
ajbeach |
Andrew MMath: Moved the pdf symbol escape into the style file.
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@a032992
|
2 years |
ajbeach |
Made a symbol compatable with hyperref and added first version of the …
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@4a36b344
|
2 years |
ajbeach |
Andrew MMath: Finally got the first draft of the features done.
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@f7e4f8e8
|
2 years |
Thierry Delisle |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@b9537e6
|
2 years |
Thierry Delisle |
A whole bunch of thesis work and existing work
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@936d95c
|
2 years |
ajbeach |
The vtable proposal now notes how the assotiated types proposal might …
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@912cc7d7
|
2 years |
ajbeach |
In Andrew/MMath; added a configuration command.
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@a3f36dc
|
2 years |
ajbeach |
In Andrew/MMath, updated some escape prefixes.
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@76d73fc
|
2 years |
pabuhr |
add additional email messages from SP&E about publishing concurrency paper
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@223a633
|
2 years |
Thierry Delisle |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@33c3ded
|
2 years |
Thierry Delisle |
Final presented version
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@d4da6886
|
2 years |
Thierry Delisle |
Some renaming to move away from dlopen in toy program
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@5584342
|
2 years |
Thierry Delisle |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@fd2f4a9
|
2 years |
pabuhr |
clean up
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@9e18677
|
2 years |
Thierry Delisle |
Added proposal for "Zero Cost" preemption (same zero cost as exceptions)
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@aa5777c
|
2 years |
pabuhr |
reformat for submission
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@c6391e6
|
2 years |
pabuhr |
change location of concurrency benchmark to github
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@d052a2c
|
2 years |
pabuhr |
hopefully final changes for paper
arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
