WhileLang

Small While language to be used in an introductory course on software verification.

The result is website that uses JavaScript to animate the language. This repository is a simplified version of a more complete one that can be executed online: https://cister-labs.github.io/whilelang-scala/.

Requirements

• JVM (>=1.8)
• sbt

Compilation

You need to get the submodules dependencies (CAOS library), and later compile using ScalaJS. The result will be a JavaScript file that is already being imported by an existing HTML file.

1. git submodule update --init
2. sbt fastLinkJS
3. open the file lib/tool/index.html