Skip to content
This repository has been archived by the owner on Aug 20, 2021. It is now read-only.

Releases: dapphub/klab

v0.4.0

04 Feb 14:29
f226560
Compare
Choose a tag to compare
Merge pull request #329 from dapphub/notmp

Rename `rules.k.tmp` to `rules.k.tmpl`

v0.2.2

30 Jan 18:46
Compare
Choose a tag to compare
kast: fix undefinedness error