source: doc @ 2cf3b87

enumforall-pointer-decaypthread-emulation
Name Size Rev Age Author Last Change
../
theses 36a05d7   9 months Thierry Delisle Started doing some work on the eval portion of my thesis.
user d4d4ac8   10 months pabuhr remove discussion of I/O acquire and replace with mutex statement, add …
bibliography 2e19e91   14 months pabuhr update entries
LaTeXmacros cc022a9   15 months pabuhr clean up macros and add defaultdialect={CFA}
papers 17d6214   18 months pabuhr final emails about proof changes
working c2409fd   20 months caparson added WIP unified semaphore code
proposals 936d95c   22 months ajbeach The vtable proposal now notes how the assotiated types proposal might …
refrat 14d71ed   23 months pabuhr update to CFAStyle macro
man 41096dc   2 years pabuhr update cfa 'man' page
related_papers 84b4ed72   4 years pabuhr multiple assignment paper
NDA f4e3419d   5 years pabuhr restructure paper documents
copyright bc37a83   5 years pabuhr copyright transfer for Andrew Beach
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.