Commits

Jules Villard committed fe06182

Ioana's news item

Comments (0)

Files changed (2)

 
 <ul>
 <li>
+  June-July 2011: Ioana Cristescu (ENS Lyon) has implemented support
+  for message parameters, which let you track message values accross
+  time in the logic, and arrays
+  in <span class="heaphop">Heap-Hop</span> for her 1st year of
+  Master's internship.
+</li>
+<li>
   23 Mar. 2010: <span class="heaphop">Heap-Hop</span> is presented to the
   public at TACAS in <a href="http://www.etaps10.cs.ucy.ac.cy/">Cyprus</a>.
 </li>
 
 <p>The people involved are:</p>
 <ul>
-<li><a href="../">Jules Villard</a></li>
+<li><a href="http://www0.cs.ucl.ac.uk/staff/J.Villard/">Jules Villard</a></li>
 <li><a href="/~lozes/">Étienne Lozes</a></li>
 <li><a href="http://www.doc.ic.ac.uk/~ccris/">Cristiano Calcagno</a></li>
 </ul>

news.html

-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
-"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> 
-
-<html xmlns="http://www.w3.org/1999/xhtml">
-
-<head>
-<title>Heap-Hop</title>
-<meta name="author" content="Jules Villard" />
-<meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
-<meta http-equiv="Content-Language" content="en" />
-<meta name="keywords" lang="en" content="heap-hop, verification, heap, separation logic, tool, computer science, memory, channels, concurrency, message passing, copyless" />
-<meta name="keywords" lang="en-us" content="heap-hop, verification, heap, separation logic, tool, computer science, memory, channels, concurrency, message passing, copyless" />
-<link rel="stylesheet" type="text/css" href="heaphop.css" />
-</head>
-
-<body>
-<div id="logo">
-<h1><a href="index.html">Heap-Hop</a></h1>
-</div>
-
-<div id="menu">
-<div class="nav_cur"><a href="news.html">News</a></div>
-<div class="nav"><a href="about.html">About</a></div>
-<div class="nav"><a href="resources.html">Resources</a></div>
-<div class="nav"><a href="doc.html">Documentation</a></div>
-<div class="nav"><a href="examples.html">Case Studies</a></div>
-<div class="nav"><a href="links.html">Links</a></div>
-</div>
-
-<div id="main">
-
-<h2><a name="news">News</a></h2>
-
-<ul>
-<li>
-  23 Mar. 2010: <span class="heaphop">Heap-Hop</span> is presented to the
-  public at TACAS in <a href="http://www.etaps10.cs.ucy.ac.cy/">Cyprus</a>.
-</li>
-<li>
-  9 Feb. 2010: A repository of <span class="heaphop">Heap-Hop</span> is up
-  on <a href="http://bitbucket.org/jvillard/heap-hop/">bitbucket</a>.
-</li>
-<li>
-  11 Dec. 2009: Our <a href="resources.html#papers">tool paper</a> has been
-  accepted at <a href="http://tacas10.in.tum.de/">TACAS'10</a>.
-</li>
-<li>
-  12 Oct. 2009: <span class="heaphop">Heap-Hop</span> version 1.0 is out.
-  <a href="resources.html#download">Check it out</a>!
-</li>
-</ul>
-
-<div id="footer">
-<p>
-obey the <a href="http://validator.w3.org/check?uri=referer">standards</a>
-of da <a href="http://jigsaw.w3.org/css-validator/check/referer">web</a>!
-</p>
-</div>
-</div>
-</body>
-</html>