examples for lecture 8, stack machine

examples/compiler_noproof.mlw

examples/compiler_noproof/why3session.xml

examples/compiler_noproof/why3session.xml.bak

examples/compiler_noproof/why3shapes.gz

examples/compiler_noproof/why3shapes.gz.bak

examples/imp_per.mlw

examples/state.mlw

examples/vm_ind.mlw

examples/vm_mem.mlw

examples/vm_mem/why3session.xml

examples/vm_mem/why3session.xml.bak

examples/vm_mem/why3shapes.gz

examples/vm_mem/why3shapes.gz.bak

examples/vm_per.mlw

examples/vm_simple.mlw

examples/vm_simple/why3session.xml

examples/vm_simple/why3session.xml.bak

examples/vm_simple/why3shapes.gz

examples/vm_simple/why3shapes.gz.bak