Skip to content

Latest commit

 

History

History
21 lines (12 loc) · 646 Bytes

readme.md

File metadata and controls

21 lines (12 loc) · 646 Bytes
Raw

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