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

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

Name		Name	Last commit message	Last commit date
Latest commit History 57 Commits
alk-with-time		alk-with-time
alk		alk
bin		bin
packages		packages
tests		tests
README.md		README.md