source: Deliverables/Dissemination/proof-structured-traces @ 2945

Name Size Rev Age Author Last Change
../
cerco_logo.png 145.5 KB 2583   7 years campbell Structured traces talk with most of the content; not quite final.
compiler-plain.pdf 35.8 KB 2941   7 years campbell Update proof slides.
compiler.pdf 84.1 KB 2941   7 years campbell Update proof slides.
compiler.svg 19.9 KB 2941   7 years campbell Update proof slides.
proof-structured-traces.pdf 526.2 KB 2945   7 years campbell Minor tweak.
proof-structured-traces.tex 11.7 KB 2945   7 years campbell Minor tweak.
strcall.pdf 35.4 KB 2589   7 years campbell Add one of the simulation diagrams
strcall.svg 11.1 KB 2589   7 years campbell Add one of the simulation diagrams
strtraces.pdf 36.6 KB 2583   7 years campbell Structured traces talk with most of the content; not quite final.
strtraces.svg 30.5 KB 2583   7 years campbell Structured traces talk with most of the content; not quite final.
traces.svg 36.2 KB 2583   7 years campbell Structured traces talk with most of the content; not quite final.
Note: See TracBrowser for help on using the repository browser.