proof(L2): admit the pure exp builtin lane to the compile core (#2084) - #2397

proof(L2): admit the pure exp builtin lane to the compile core (#2084)#2397

Th0rgal merged 4 commits into

mainlfglabs-dev/verity:mainfrom

proof/l2-builtin-exp-foreign-surface-2084lfglabs-dev/verity:proof/l2-builtin-exp-foreign-surface-2084Copy head branch name to clipboard