Code

[pull] master from formalize:master#35

Code

Merged

pull[bot] merged 1 commit intovyperlang:mastervyperlang/coq-vyper:masterfrom formalize:masterformalize/coq-vyper:masterCopy head branch name to clipboardDec 17, 2020

+361-66

Commits

Commits on Dec 17, 2020

• permit calls to builtins in L10 calldag

  formalize

  committed
  74e0818

  Copy full SHA for 74e0818