This repository was archived by the owner on Aug 20, 2021. It is now read-only.
This repository was archived by the owner on Aug 20, 2021. It is now read-only.
Using eDSL instead of ACT as spec #423
Description
Is there any way to use klab with eDSL specifications instead of ACT? Would be really useful when debugging (my specifications are already written in eDSL and I don't want to translate them into ACT yet).