Code

Some code streamlining#6

Code

Closed

benjub wants to merge 23 commits intodavid-a-wheeler:masterdavid-a-wheeler/mmverify.py:masterfrom benjub:streamlinebenjub/mmverify.py:streamlineCopy head branch name to clipboard

+307-148

Commits

Commits on Mar 30, 2022

• code formatting (autopep)

  benjub

  committed
  caa3ac0

  Copy full SHA for caa3ac0

• autopep8 --aggressive --aggressive

  benjub

  committed
  249282b

  Copy full SHA for 249282b

• remove three unused variables and two superfluous 'reversed'

  benjub

  committed
  3e59796

  Copy full SHA for 3e59796

• streamline function 'readc'

  benjub

  committed
  f1bf63f

  Copy full SHA for f1bf63f

• two comment typos

  benjub

  committed
  546a092

  Copy full SHA for 546a092

• variable name consistency; logging message consistency

  benjub

  committed
  b461763

  Copy full SHA for b461763

• avoid duplicate fetching

  benjub

  committed
  92fbdc9

  Copy full SHA for 92fbdc9

• fix bug when begin_label is an -statement

  benjub

  committed
  491e277

  Copy full SHA for 491e277

• apply_subst is not a method

  benjub

  committed
  889209c

  Copy full SHA for 889209c

• refactor to avoid superfluous calls to make_assertion by decompress_proof

  benjub

  committed
  5d3c722

  Copy full SHA for 5d3c722

• add function equal_subst; upgrade code from the deprecated optparse to argparse

  benjub

  committed
  562f671

  Copy full SHA for 562f671

Commits on Mar 31, 2022

• add command arguments: optional verbosity level, and file to verify (default=stdin)

  benjub

  committed
  32c0247

  Copy full SHA for 32c0247

• update documentation

  benjub

  committed
  8de458b

  Copy full SHA for 8de458b

• remove need for deques (unchanged behavior provided -statements are not overridden in the mm database)

  benjub

  committed
  5a23858

  Copy full SHA for 5a23858

• minor

  benjub

  committed
  7c7373b

  Copy full SHA for 7c7373b

Commits on Apr 1, 2022

• minor; remove experimental equal_subst since no gain; add logfile argument

  benjub

  committed
  06808c6

  Copy full SHA for 06808c6

• document code; some streamlining

  benjub

  committed
  187ce76

  Copy full SHA for 187ce76

• typo

  benjub

  committed
  1b01fa2

  Copy full SHA for 1b01fa2

• add comments; update add_f

  benjub

  committed
  9ea0d66

  Copy full SHA for 9ea0d66

• fix comment

  benjub

  committed
  262c5ce

  Copy full SHA for 262c5ce

• fix comment

  benjub

  committed
  836e3a2

  Copy full SHA for 836e3a2

Commits on Apr 2, 2022

• more precise error messages and comments; add entry/exit log messages similar to metamath.c's

  benjub

  committed
  1bf3408

  Copy full SHA for 1bf3408

• remove two uses of 'reversed'; small speedup

  benjub

  committed
  0fd9779

  Copy full SHA for 0fd9779