ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change
on this file since af58ee0 was
27dde72,
checked in by Thierry Delisle <tdelisle@…>, 7 years ago
|
Major update to the concurrency proposal to be based on multiple files
|
-
Property mode set to
100644
|
File size:
561 bytes
|
Line | |
---|
1 | \input{common} % bespoke macros used in the document |
---|
2 | \input{cfa-format} |
---|
3 | |
---|
4 | % \CFADefaultStyle |
---|
5 | |
---|
6 | % \lstset{ |
---|
7 | % morekeywords=[2]{nomutex,mutex,thread,wait,wait_release,signal,signal_block,accept,monitor,suspend,resume,coroutine}, |
---|
8 | % keywordstyle=[2]\color{blue}, % second set of keywords for concurency |
---|
9 | % basicstyle=\linespread{0.9}\tt\small, % reduce line spacing and use typewriter font |
---|
10 | % stringstyle=\sf\color{Mahogany}, % use sanserif font |
---|
11 | % commentstyle=\itshape\color{OliveGreen}, % green and italic comments |
---|
12 | % }% |
---|
Note: See
TracBrowser
for help on using the repository browser.