[www] r197455 - Add more slides.

[Tanya Lattner]

Author: tbrethou
Date: Mon Dec 16 19:46:26 2013
New Revision: 197455

URL: http://llvm.org/viewvc/llvm-project?rev=197455&view=rev
Log:
Add more slides.

Added:
    www/trunk/devmtg/2013-11/slides/Lopes-SMT.pdf
Modified:
    www/trunk/devmtg/2013-11/index.html

Modified: www/trunk/devmtg/2013-11/index.html
URL: http://llvm.org/viewvc/llvm-project/www/trunk/devmtg/2013-11/index.html?rev=197455&r1=197454&r2=197455&view=diff
==============================================================================
--- www/trunk/devmtg/2013-11/index.html (original)
+++ www/trunk/devmtg/2013-11/index.html Mon Dec 16 19:46:26 2013
@@ -53,7 +53,7 @@ We also invite you to sign up for the <a
 
 
  <tr><td><a href="slides/Fischer-Julia.html">Slides</a><br><a href="videos/Fischer-Julia-720.mov">Video</a> (Computer)<br><a href="videos/Koch-CodeSize-360.mov">Video</a> (Mobile)</td><td><b><a href="#talk4">Julia: An LLVM-based approach to scientific computing</a></b><br>Keno Fischer, <i>Harvard College/MIT CSAIL</i></td></tr>
-  <tr><td>Slides<br><a href="videos/Lopes-SMTSolvers-720.mov">Video</a> (Computer)<br><a href="videos/Lopes-SMTSolvers-360.mov">Video</a> (Mobile)</td><td><b><a href="#talk5">Verifying optimizations using SMT solvers</a></b><br>Nuno Lopes, <i>INESC-ID / U. Lisboa</i></td></tr>
+  <tr><td><a href="slides/Lopes-SMT.pdf">Slides</a><br><a href="videos/Lopes-SMTSolvers-720.mov">Video</a> (Computer)<br><a href="videos/Lopes-SMTSolvers-360.mov">Video</a> (Mobile)</td><td><b><a href="#talk5">Verifying optimizations using SMT solvers</a></b><br>Nuno Lopes, <i>INESC-ID / U. Lisboa</i></td></tr>
   <tr><td><a href="slides/TableGenBOFNotes.pdf">Notes</a></td><td><a href="#bof2"><b>BOF: TableNextGen</b></a><br>Mihail Popa, <i>ARM</i></td></tr>
 
 <tr><td><a href="slides/Serebryany-ASAN.pdf">Slides</a><br><a href="videos/Serebryany-ASAN-720.mov">Video</a> (Computer)<br><a href="videos/Serebryany-ASAN-360.mov">Video</a> (Mobile)</td><td><b><a href="#talk6">New Address Sanitizer Features</a></b><br>Kostya Serebryany,<i>Google</i><br> Alexey Samsonov, <i>Google</i></td></tr>

Added: www/trunk/devmtg/2013-11/slides/Lopes-SMT.pdf
URL: http://llvm.org/viewvc/llvm-project/www/trunk/devmtg/2013-11/slides/Lopes-SMT.pdf?rev=197455&view=auto
==============================================================================
Binary files www/trunk/devmtg/2013-11/slides/Lopes-SMT.pdf (added) and www/trunk/devmtg/2013-11/slides/Lopes-SMT.pdf Mon Dec 16 19:46:26 2013 differ