zkDSL: remove DynArray (removes almost 1K LoC in the compiler. no perf downgrade)#233

TomWambsgans merged 3 commits into

mainleanEthereum/leanVM:mainfrom

remove_dyn_arrayleanEthereum/leanVM:remove_dyn_arrayCopy head branch name to clipboard