Skip to content

Latest commit

 

History

History
15 lines (11 loc) · 785 Bytes

README.md

File metadata and controls

15 lines (11 loc) · 785 Bytes
Raw

k-semantics

This repository includes the K specifications of the Alk language and of its dialects.

The current K-definitions are written in K3.6 (https://github.com/kframework/k/releases).

Installation instructions

  1. Install the K framework - version 3.6 available here
  2. Please add the pathToK/bin into your system's PATH environment variable
  3. Change directory to pathToAlk/alk and compile the language definition kompile alk.k
  4. Optional: add the pathToAlk/bin into your system's PATH if you want to use the bundled customized interpreter.

Warning: This version of the Alk Language is deprecated. The last version of Alk can be found at https://github.com/alk-language/java-semantics/.