update proof sessions

ba004b74 · Martin Clochard · 574642cf · ba004b74 · ba004b74 · ba004b74
Commit ba004b74 authored May 19, 2017 by Martin Clochard
3 changed files
--- a/examples/TODO
+++ b/examples/TODO
@@ -21,7 +21,6 @@ optimal_replay.mlw
 queens_bv.mlw
 queens.mlw
 random_access_list.mlw
-register_allocation.mlw
 residual.mlw
 rightmostbittrick.mlw
 sieve.mlw

--- a/examples/register_allocation/why3session.xml
+++ b/examples/register_allocation/why3session.xml
--- a/examples/register_allocation/why3shapes.gz
+++ b/examples/register_allocation/why3shapes.gz