Code

Remove Global Environment.#57

Code

Draft

nishantjr wants to merge 3 commits intomasterkframework/matching-logic-prover:masterfrom remove-global-envkframework/matching-logic-prover:remove-global-envCopy head branch name to clipboard

+278-291

Commits

Commits on Apr 14, 2020

• drivers/base: Merge <claim> and <k> cells

  nishantjr

  committed
  882d567

  Copy full SHA for 882d567

• t/unit: Use token names that aren't used as variables in the semantics to avoid parsing issues

  

  lucaspena

  authored and

  nishantjr

  committed
  d85aa38

  Copy full SHA for d85aa38

Commits on Apr 15, 2020

• drivers: Initial goal is now populated via subgoal strategy

  nishantjr

  committed
  4eab015

  Copy full SHA for 4eab015