Code

Refactor parser#346

Code

Merged

tfiedor merged 7 commits intodevelVeriFIT/mata:develfrom refactor_parserVeriFIT/mata:refactor_parserCopy head branch name to clipboardSep 29, 2023

+59-51

Commits

Commits on Sep 26, 2023

• Reserve space for children

  Adda0

  committed
  b1d52c6

• Fix formatting

  Adda0

  committed
  536d4e9

• Apply moves on tokens

  Adda0

  committed
  08cf090

• Optimize section parsing

  Adda0

  committed
  47e0c86

• Omit creating local variable when unnecessary

  Adda0

  committed
  3c05412

• Fix move constructors by adding noexcept

  Adda0

  committed
  d93ed34

• Use iterator for quicker erase

  Adda0

  committed
  ef48e39