new example: vacid0_build_maze

5e6cfbc9 · Jean-Christophe Filliâtre · 97dbe99b · 5e6cfbc9 · 5e6cfbc9
Commit 5e6cfbc9 authored Mar 13, 2013 by Jean-Christophe Filliâtre
Expand all Hide whitespace changes
Inline Side-by-side

Showing with 507 additions and 0 deletions

examples/vacid_0_build_maze.mlw examples/vacid_0_build_maze.mlw +0 -0

examples/vacid_0_build_maze/why3session.xml examples/vacid_0_build_maze/why3session.xml +507 -0

No files found.
--- a/examples/in_progress/vacid_0_build_maze.mlw
+++ b/examples/in_progress/vacid_0_build_maze.mlw
--- a/examples/vacid_0_build_maze/why3session.xml
+++ b/examples/vacid_0_build_maze/why3session.xml