Code

Add formatter for the parse AST#820

Code

Open

LaurenzV wants to merge 71 commits intoviperproject:masterviperproject/silver:masterfrom LaurenzV:format-rnodeLaurenzV/silver:format-rnodeCopy head branch name to clipboard

+1,737-63

Commits

Commits on Nov 16, 2024

• First version of reformatter

  LaurenzV

  committed
  c69c9f5

  Copy full SHA for c69c9f5

• Don't translate macros when reformatting

  LaurenzV

  committed
  18fa38e

  Copy full SHA for 18fa38e

Commits on Nov 17, 2024

• Refine expressions further

  LaurenzV

  committed
  e3555bf

  Copy full SHA for e3555bf

• Update comment

  LaurenzV

  committed
  b2e8690

  Copy full SHA for b2e8690

• Fix spacing

  LaurenzV

  committed
  6631424

  Copy full SHA for 6631424

Commits on Nov 18, 2024

• Change PForAll

  LaurenzV

  committed
  dfd7624

  Copy full SHA for dfd7624

• more

  LaurenzV

  committed
  abd6f49

  Copy full SHA for abd6f49

Commits on Nov 19, 2024

• Tweak formatting of let and if statements

  LaurenzV

  committed
  b187fee

  Copy full SHA for b187fee

• First version of better trivia fetching

  LaurenzV

  committed
  b90d0a6

  Copy full SHA for b90d0a6

• More broken now but still more progress

  LaurenzV

  committed
  d7cd1a8

  Copy full SHA for d7cd1a8

• Make reformatter context implicit

  LaurenzV

  committed
  31b2d4e

  Copy full SHA for 31b2d4e

• Remove unused method

  LaurenzV

  committed
  8d49529

  Copy full SHA for 8d49529

• roll back to looking back for trivia

  LaurenzV

  committed
  7e9dc9c

  Copy full SHA for 7e9dc9c

Commits on Nov 20, 2024

• Fix issue with missing indent after comment

  LaurenzV

  committed
  7c4c42a

  Copy full SHA for 7c4c42a

• Everything works as initially

  LaurenzV

  committed
  96b6e97

  Copy full SHA for 96b6e97

• Simplify code a bit

  LaurenzV

  committed
  e41dba2

  Copy full SHA for e41dba2

• next attempt

  LaurenzV

  committed
  52627f3

  Copy full SHA for 52627f3

• Good progress towards better formatting!

  LaurenzV

  committed
  0c69493

  Copy full SHA for 0c69493

• Fix spacing in pre and post conditions

  LaurenzV

  committed
  d6ff157

  Copy full SHA for d6ff157

Commits on Nov 21, 2024

• Improve showBody method

  LaurenzV

  committed
  66d9326

  Copy full SHA for 66d9326

• more

  LaurenzV

  committed
  10544dd

  Copy full SHA for 10544dd

• Create ReformatterPrettyPrinterBase

  LaurenzV

  committed
  9e513c5

  Copy full SHA for 9e513c5

Commits on Nov 22, 2024

• More progress

  LaurenzV

  committed
  34b806f

  Copy full SHA for 34b806f

• more progress towards new reformatter

  LaurenzV

  committed
  4289ead

  Copy full SHA for 4289ead

• First seeminly working prototype

  LaurenzV

  committed
  f6a85f1

  Copy full SHA for f6a85f1

• First working version, more or less back to where we started

  LaurenzV

  committed
  c2b3033

  Copy full SHA for c2b3033

• Add short circuit

  LaurenzV

  committed
  761a9fe

  Copy full SHA for 761a9fe

• Add hack for decreases keyword

  LaurenzV

  committed
  ced300e

  Copy full SHA for ced300e

Commits on Nov 24, 2024

• Only reformat on leaf nodes

  LaurenzV

  committed
  e86b33a

  Copy full SHA for e86b33a

• Fix trailing whitespaces

  LaurenzV

  committed
  3db11ed

  Copy full SHA for 3db11ed

• Fix whitespace bug

  LaurenzV

  committed
  41683c1

  Copy full SHA for 41683c1

Commits on Nov 25, 2024

• Add a couple of tests for reformatting

  LaurenzV

  committed
  edc2e71

  Copy full SHA for edc2e71

Commits on Nov 27, 2024

• Remove POther

  LaurenzV

  committed
  63184b7

  Copy full SHA for 63184b7

• Add a test case for not working snippets

  LaurenzV

  committed
  22e5cde

  Copy full SHA for 22e5cde

• Add some license headers

  LaurenzV

  committed
  2789dc7

  Copy full SHA for 2789dc7

• Revert some unnecessary changes

  LaurenzV

  committed
  a252425

  Copy full SHA for a252425

• Remove trailing whitespaces

  LaurenzV

  committed
  b878493

  Copy full SHA for b878493

• Remove parseResult variable

  LaurenzV

  committed
  490ccef

  Copy full SHA for 490ccef

• Whitespaces and other small changes

  LaurenzV

  committed
  b38fcbc

  Copy full SHA for b38fcbc

• Rearrange some imports

  LaurenzV

  committed
  b11b00d

  Copy full SHA for b11b00d

• Rename trivia to PTrivia

  LaurenzV

  committed
  dbef794

  Copy full SHA for dbef794

• Remove LeftLineIndent

  LaurenzV

  committed
  b77509a

  Copy full SHA for b77509a

• Readd newlines

  LaurenzV

  committed
  cbfc105

  Copy full SHA for cbfc105

• Add some comments and improve code formatting

  LaurenzV

  committed
  dd071e5

  Copy full SHA for dd071e5

Commits on Nov 28, 2024

• Add another case for showAny

  LaurenzV

  committed
  04da717

  Copy full SHA for 04da717

• Fix whitespaces and imports

  LaurenzV

  committed
  27d001c

  Copy full SHA for 27d001c

• Add brackets to method calls

  LaurenzV

  committed
  1784b23

  Copy full SHA for 1784b23

• Fix some whitespace issues and similar

  LaurenzV

  committed
  fd2938a

  Copy full SHA for fd2938a

Commits on Dec 6, 2024

• Merge branch 'master' into format-rnode

  LaurenzV

  authored
  7700326

  Copy full SHA for 7700326

Commits on Feb 10, 2025

• Merge remote-tracking branch 'mine/format-rnode' into format-rnode

  LaurenzV

  committed
  dfc656b

  Copy full SHA for dfc656b

• Move tests from viperserver to silver

  LaurenzV

  committed
  2cea48a

  Copy full SHA for 2cea48a

• Merge branch 'master' into format-rnode

  LaurenzV

  committed
  d808906

  Copy full SHA for d808906

Commits on Feb 13, 2025

• Avoid arbitrary whitespace changes

  LaurenzV

  committed
  8bdba66

  Copy full SHA for 8bdba66

• Fix whitespaces in PProgram constructors

  LaurenzV

  committed
  5c2eed8

  Copy full SHA for 5c2eed8

• Make expandMacros the last argument and assign true by default

  LaurenzV

  committed
  a3c4643

  Copy full SHA for a3c4643

• Avoid another arbitrary whitespace change

  LaurenzV

  committed
  a6c7d39

  Copy full SHA for a6c7d39

• Fix compilation

  LaurenzV

  committed
  1b5809b

  Copy full SHA for 1b5809b

• Deduplicate comment and whitespace parsing

  LaurenzV

  committed
  fe6a44c

  Copy full SHA for fe6a44c

• Reduce the number of imports

  LaurenzV

  committed
  b2fcdde

  Copy full SHA for b2fcdde

• Fix compiler warnings

  LaurenzV

  committed
  d28ab8b

  Copy full SHA for d28ab8b

Commits on Feb 14, 2025

• Improve whitespace handling again

  LaurenzV

  committed
  c0a3374

  Copy full SHA for c0a3374

• Deduplicate other whitespace, too

  LaurenzV

  committed
  04e9552

  Copy full SHA for 04e9552

• Fix wrong expandMacros

  LaurenzV

  committed
  6035628

  Copy full SHA for 6035628

• Undo newline

  LaurenzV

  committed
  ef466ec

  Copy full SHA for ef466ec

• Merge branch 'master' into format-rnode

  LaurenzV

  committed
  d4b29ee

  Copy full SHA for d4b29ee

• Reduce the number of reformat and reformatExp implementations

  LaurenzV

  committed
  ecbb283

  Copy full SHA for ecbb283

• Remove one more reformat override

  LaurenzV

  committed
  8e239b5

  Copy full SHA for 8e239b5

Commits on Mar 1, 2025

• More improvements

  LaurenzV

  committed
  034696e

  Copy full SHA for 034696e

• Fix issue with empty assignments

  LaurenzV

  committed
  2ad28a0

  Copy full SHA for 2ad28a0

• Fix inhale exhale exp

  LaurenzV

  committed
  8a32a03

  Copy full SHA for 8a32a03

• Add manual override for package wand

  LaurenzV

  committed
  063279a

  Copy full SHA for 063279a