Code

WIP Implement REPL mode for Rewrite#42

Code

Closed

MasonProtter wants to merge 13 commits intoHarrisonGrodin:masterHarrisonGrodin/Simplify.jl:masterfrom MasonProtter:masterCopy head branch name to clipboard

+147

Commits

Commits on Aug 22, 2018

• added basic rewrite REPL mode

  MasonProtter

  committed
  cfa4d86

  Copy full SHA for cfa4d86

• added replmode to README

  MasonProtter

  committed
  a3f3c7c

  Copy full SHA for a3f3c7c

• Condense parsing logic

  Show description for 8369967
  HarrisonGrodin

  authored
  8369967

  Copy full SHA for 8369967

Commits on Aug 23, 2018

• make replmode init only if there is an active repl defined.

  MasonProtter

  committed
  a3a87fd

  Copy full SHA for a3a87fd

Commits on Aug 24, 2018

• Update replmode.jl

  MasonProtter

  authored
  17d23b1

  Copy full SHA for 17d23b1

• allow user to specify normalization rules

  MasonProtter

  committed
  8daabff

  Copy full SHA for 8daabff

• fix to with parsing

  MasonProtter

  committed
  b2705d6

  Copy full SHA for b2705d6

• added tuple method to normalize

  MasonProtter

  committed
  00e2548

  Copy full SHA for 00e2548

Commits on Sep 5, 2018

• added replmode tests

  MasonProtter

  committed
  624f624

  Copy full SHA for 624f624

• removed Unicode dependancy

  MasonProtter

  committed
  dd37c2e

  Copy full SHA for dd37c2e

• removed spurious println statement

  MasonProtter

  committed
  cf49959

  Copy full SHA for cf49959

• Update replmode.jl

  MasonProtter

  authored
  d4df7cc

  Copy full SHA for d4df7cc

• Avoid CI timeout

  HarrisonGrodin

  authored
  4033e20

  Copy full SHA for 4033e20