make ModuleBuidler add 'allow_constraint' and 'allow_witness' attributes to generated functions#229

tim-hoffman merged 2 commits intomainproject-llzk/llzk-lib:mainfrom

th/fix_add_allow_attrs_in_ModuleBuilderproject-llzk/llzk-lib:th/fix_add_allow_attrs_in_ModuleBuilderCopy head branch name to clipboard