source: doc @ b405039

Name Size Rev Age Author Last Change
user fa4915c   19 months pabuhr update macros to reflect changed to common macros, remove otype
theses b405039   18 months pabuhr add figure for call/return and exceptional control-flow
related_papers 84b4ed72   5 years pabuhr multiple assignment paper
refrat 14d71ed   2 years pabuhr update to CFAStyle macro
papers 17d6214   22 months pabuhr final emails about proof changes
NDA f4e3419d   5 years pabuhr restructure paper documents
man 41096dc   2 years pabuhr update cfa 'man' page
LaTeXmacros cc022a9   19 months pabuhr clean up macros and add defaultdialect={CFA}
copyright bc37a83   6 years pabuhr copyright transfer for Andrew Beach
bibliography 3ada8ae   20 months pabuhr update bibliography entry for SP&E CFA concurrency paper
working c2409fd   2 years caparson added WIP unified semaphore code
proposals 936d95c   2 years ajbeach The vtable proposal now notes how the assotiated types proposal might …
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.