UPLC fix - Githubissues

zkFold / zkfold-base

ZkFold's Base library

https://zkfold.io

MIT License

17 stars 7 forks source link

UPLC fix #344

Closed TurtlePU closed 2 weeks ago

TurtlePU commented 2 weeks ago

Fixes errors in initial UPLC implementation, notably:

unevaluated thunks are now properly shifted in TLam case of evaluation
added proper error propagation for IfThenElse builtin