state_exec: load the stdlib modules in every environment, with a per-call allocation limit - #660

state_exec: load the stdlib modules in every environment, with a per-call allocation limit#660

transfix merged 6 commits into

mastertransfix/libcvc:masterfrom

feat/state-exec-stdlib-modulestransfix/libcvc:feat/state-exec-stdlib-modulesCopy head branch name to clipboard