Using eDSL instead of ACT as spec

dapphub / klab

K framework proof explorer & smart contract specification format

GNU Affero General Public License v3.0

123 stars 36 forks source link

Using eDSL instead of ACT as spec #423

Open alex-chambet opened 4 years ago

alex-chambet commented 4 years ago

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).