Mercurial > hg > Papers > 2015 > kaito-lola

changeset 17:889696aa5018

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Sun, 05 Jul 2015 00:11:01 +0900
parents c3d20ec1ec4b
children e13520c327f1
files presentation/presen.html
diffstat 1 files changed, 1 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/presentation/presen.html	Sat Jul 04 23:36:52 2015 +0900
+++ b/presentation/presen.html	Sun Jul 05 00:11:01 2015 +0900
@@ -54,7 +54,7 @@
         <table width="90%" height="90%" border="0" align="center">
           <tr>
             <td><div align="center">
-                <h1><font color="#808db5">Implementating Continuation based language in Clang and LLVM</font></h1>
+                <h1><font color="#808db5">Implementing Continuation based language in Clang and LLVM</font></h1>
             </div></td>
           </tr>
           <tr>
@@ -566,7 +566,6 @@
       <div class='slide'>
         <h2>Usage of CbC : Model checking</h2>
         <ul>
-        <li>call meta code segment during goto
         <li>try all possible non deterministic computation
         <li>keep track data segment state 
         <li>Do the model checking without modifying the code