Revisions of Deliverables/Dissemination/proof-structured-traces
http://cerco.cs.unibo.it/log/Deliverables/Dissemination/proof-structured-traces?rev=3267
Trac Log - Revisions of Deliverables/Dissemination/proof-structured-tracesen-USTrac 1.2CerCohttp://cerco.cs.unibo.it/chrome/site/cerco_logo.png
http://cerco.cs.unibo.it/log/Deliverables/Dissemination/proof-structured-traces?rev=3267
campbellSat, 23 Mar 2013 07:43:46 GMTRevision 2945: Minor tweak.
http://cerco.cs.unibo.it/changeset/2945/Deliverables/Dissemination/proof-structured-traces
http://cerco.cs.unibo.it/changeset/2945/Deliverables/Dissemination/proof-structured-tracesMinor tweak.LogcampbellFri, 22 Mar 2013 20:46:18 GMTRevision 2941: Update proof slides.
http://cerco.cs.unibo.it/changeset/2941/Deliverables/Dissemination/proof-structured-traces
http://cerco.cs.unibo.it/changeset/2941/Deliverables/Dissemination/proof-structured-tracesUpdate proof slides.LogcampbellWed, 23 Jan 2013 15:34:21 GMTRevision 2589: Add one of the simulation diagrams
http://cerco.cs.unibo.it/changeset/2589/Deliverables/Dissemination/proof-structured-traces
http://cerco.cs.unibo.it/changeset/2589/Deliverables/Dissemination/proof-structured-tracesAdd one of the simulation diagramsLogcampbellWed, 23 Jan 2013 12:51:04 GMTRevision 2587: Tweak talk a little.
http://cerco.cs.unibo.it/changeset/2587/Deliverables/Dissemination/proof-structured-traces
http://cerco.cs.unibo.it/changeset/2587/Deliverables/Dissemination/proof-structured-tracesTweak talk a little.LogcampbellWed, 23 Jan 2013 11:26:41 GMTRevision 2585: Many improvements to proof/structured traces talk.
http://cerco.cs.unibo.it/changeset/2585/Deliverables/Dissemination/proof-structured-traces
http://cerco.cs.unibo.it/changeset/2585/Deliverables/Dissemination/proof-structured-tracesMany improvements to proof/structured traces talk.LogcampbellMon, 21 Jan 2013 21:58:01 GMTRevision 2583: Structured traces talk with most of the content; not quite final.
http://cerco.cs.unibo.it/changeset/2583/Deliverables/Dissemination/proof-structured-traces
http://cerco.cs.unibo.it/changeset/2583/Deliverables/Dissemination/proof-structured-tracesStructured traces talk with most of the content; not quite final.Log