dafny-intro

01.helloLanguages

• first hello world in Dafny to introduce the concept of requires and ensures

02.code

• example to generate code for JavaScript to run with our simulator (not sure if this works, as the runtime of Dafny is not available in our existing simulator)

03.compiler

• examples of how to generate Java code that we can add to an existing code generator