Code

Adjustments to new LFSC grammar.#53

Code

Open

alex-ozdemir wants to merge 3 commits intocvc5:Version_1.5cvc5/LFSC:Version_1.5from alex-ozdemir:ao-v1.5alex-ozdemir/LFSC:ao-v1.5Copy head branch name to clipboard

+11-8

Commits

Commits on Dec 8, 2020

• modify LFSC 1.5 grammar to what rlfsc's "sugar" branch currently implements

  alex-ozdemir

  committed
  957f4b2

  Copy full SHA for 957f4b2

Commits on Dec 9, 2020

• Update 'assuming' form

  alex-ozdemir

  committed
  a834b33

  Copy full SHA for a834b33

Commits on Dec 14, 2020

• Post-discussion changes:

  Show description for eeae386
  alex-ozdemir

  committed
  eeae386

  Copy full SHA for eeae386