source: doc/papers/concurrency/mail2

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @17d6214   4 years pabuhr final emails about proof changes ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @1f9a4d0   4 years pabuhr changes for SP&E proofs of concurrency paper ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @76d73fc   4 years pabuhr add additional email messages from SP&E about publishing concurrency paper ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @fd2f4a9   4 years pabuhr clean up ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @6b6b9ba   4 years pabuhr 3rd round referee replies ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @016b1eb   5 years pabuhr final changes for round 2 of the SP&E concurrency paper ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @04b4a71   5 years pabuhr update concurrency paper with referee changes and generate a response … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @9fb8f01   5 years pabuhr updated SP&E email for concurrency paper ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(add) @62dbb00   5 years pabuhr add referees for SP&E submission, start new mail file ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Note: See TracRevisionLog for help on using the revision log.