Code

Add EGraph Visualizations#147

Code

Closed

saulshanabrook wants to merge 88 commits intoegraphs-good:mainegraphs-good/egglog:mainfrom saulshanabrook:visualizersaulshanabrook/egg-smol:visualizerCopy head branch name to clipboard

+1,067-104

Commits

Commits on May 11, 2023

• First go at graphviz export

  saulshanabrook

  committed
  799988f

  Copy full SHA for 799988f

• Skip generated names

  saulshanabrook

  committed
  1157020

  Copy full SHA for 1157020

• Use right hashmap

  saulshanabrook

  committed
  2bebd51

  Copy full SHA for 2bebd51

Commits on May 15, 2023

• Expose graph

  saulshanabrook

  committed
  8018a0a

  Copy full SHA for 8018a0a

• Make graph crate private

  saulshanabrook

  committed
  7123f22

  Copy full SHA for 7123f22

• Clippy fixes

  saulshanabrook

  committed
  3b58630

  Copy full SHA for 3b58630

• Tidy up string generation

  saulshanabrook

  committed
  bc4ddd2

  Copy full SHA for bc4ddd2

Commits on May 16, 2023

• Add CLI options to output .dot and .svg

  saulshanabrook

  committed
  df337d8

  Copy full SHA for df337d8

• Ignore .DS_Store

  saulshanabrook

  committed
  70dd9b7

  Copy full SHA for 70dd9b7

• Add ability to run on all tests

  saulshanabrook

  committed
  d26646e

  Copy full SHA for d26646e

• Don't run failing tests

  saulshanabrook

  committed
  e6816a1

  Copy full SHA for e6816a1

• Fix non primitive builtin sorts

  saulshanabrook

  committed
  f4e4b14

  Copy full SHA for f4e4b14

Commits on May 19, 2023

• Fix extracting Sets with eq sort values

  saulshanabrook

  committed
  f163daf

  Copy full SHA for f163daf

• Apply fix for graph

  saulshanabrook

  committed
  2a335d0

  Copy full SHA for 2a335d0

• Fix extracting Sets with eq sort values

  saulshanabrook

  committed
  f3a439e

  Copy full SHA for f3a439e

• Require arcsort in extract

  saulshanabrook

  committed
  078375d

  Copy full SHA for 078375d

• Make arcsort required in find_best

  saulshanabrook

  committed
  5b67147

  Copy full SHA for 5b67147

Commits on May 22, 2023

• Merge fix-set-eq-sorts into visualizer

  saulshanabrook

  committed
  e66508d

  Copy full SHA for e66508d

• Make makefile iterative

  saulshanabrook

  committed
  4130b4e

  Copy full SHA for 4130b4e

• Add readme description for new CLI commands

  saulshanabrook

  committed
  042f591

  Copy full SHA for 042f591

• Move graph to its own folder

  saulshanabrook

  committed
  9067df7

  Copy full SHA for 9067df7

• clean up module statements

  saulshanabrook

  committed
  141a131

  Copy full SHA for 141a131

• Remove dead inputs, which removes some duplicates

  saulshanabrook

  committed
  9279cb0

  Copy full SHA for 9279cb0

• Make style closer to e-graph website

  saulshanabrook

  committed
  ffaf490

  Copy full SHA for ffaf490

• fmt fixes

  saulshanabrook

  committed
  05e3238

  Copy full SHA for 05e3238

• Fix wasm build

  saulshanabrook

  committed
  7fd7f15

  Copy full SHA for 7fd7f15

• Order all e-class nodes in same rank

  saulshanabrook

  committed
  7d87e76

  Copy full SHA for 7d87e76

Commits on May 23, 2023

• Fix docstrings

  saulshanabrook

  committed
  3400b8f

  Copy full SHA for 3400b8f

• Add first working web demo

  saulshanabrook

  committed
  5241a5b

  Copy full SHA for 5241a5b

• fmt

  saulshanabrook

  committed
  19f0a69

  Copy full SHA for 19f0a69

• Make graph fit to box

  saulshanabrook

  committed
  e42533b

  Copy full SHA for e42533b

• Fix performance

  saulshanabrook

  committed
  c09140f

  Copy full SHA for c09140f

• Animate transitions

  saulshanabrook

  committed
  4641509

  Copy full SHA for 4641509

• Add resetting zoom

  saulshanabrook

  committed
  a6ce0f6

  Copy full SHA for a6ce0f6

Commits on May 27, 2023

• Make primitive nodes have consistent IDs

  saulshanabrook

  committed
  3b14606

  Copy full SHA for 3b14606

• Refactor and tidy up

  saulshanabrook

  committed
  a0fd023

  Copy full SHA for a0fd023

• Use has value to make IDs stable

  saulshanabrook

  committed
  2b562b9

  Copy full SHA for 2b562b9

• Rename to ExportedGraph

  saulshanabrook

  committed
  db89cc2

  Copy full SHA for db89cc2

• Switch to using macros for graphviz gen to make smaller

  saulshanabrook

  committed
  ddad72f

  Copy full SHA for ddad72f

• Add ports to differentiate arg positions

  saulshanabrook

  committed
  fc7b81f

  Copy full SHA for fc7b81f

Commits on May 29, 2023

• Test graph generation during tests

  saulshanabrook

  committed
  e9603f2

  Copy full SHA for e9603f2

• Fix graph generation for proofs by showing temp variables

  saulshanabrook

  committed
  4944195

  Copy full SHA for 4944195

• Clarify cargo req

  saulshanabrook

  committed
  ac2343a

  Copy full SHA for ac2343a

• Merge egraphs-good/main into visualizer

  saulshanabrook

  committed
  a17899d

  Copy full SHA for a17899d

• Typo

  saulshanabrook

  committed
  caa5285

  Copy full SHA for caa5285

• Add flag for including temp vars

  saulshanabrook

  committed
  e5979fc

  Copy full SHA for e5979fc

• Revert "Add flag for including temp vars"

  Show description for 509e208
  saulshanabrook

  committed
  509e208

  Copy full SHA for 509e208

• Always skip temporary names

  saulshanabrook

  committed
  89241a7

  Copy full SHA for 89241a7

Commits on May 31, 2023

• Switch to grouping all values

  saulshanabrook

  committed
  f75783d

  Copy full SHA for f75783d

• Fix bug in adding container edges

  saulshanabrook

  committed
  038a511

  Copy full SHA for 038a511

• Start trying to remove duplicate values

  saulshanabrook

  committed
  761a0a6

  Copy full SHA for 761a0a6

Commits on Jun 1, 2023

• Refactor graphviz export to struct to make ownership clearer

  saulshanabrook

  committed
  8db13e2

  Copy full SHA for 8db13e2

• Add sorts to graphs

  saulshanabrook

  committed
  df6e367

  Copy full SHA for df6e367

• Differentiate styles between e-classes and not

  saulshanabrook

  committed
  c4d4516

  Copy full SHA for c4d4516

• Add colors to graphs

  saulshanabrook

  committed
  e7e5451

  Copy full SHA for e7e5451

• fmt

  saulshanabrook

  committed
  77e80d4

  Copy full SHA for 77e80d4

Commits on Jun 3, 2023

• Separate unit nodes

  saulshanabrook

  committed
  9da623c

  Copy full SHA for 9da623c

Commits on Jun 5, 2023

• Switch to not grouping all equal prim values in cluster

  saulshanabrook

  committed
  7ddabb8

  Copy full SHA for 7ddabb8

• Ignore cykjson when testing graphs, too long

  saulshanabrook

  committed
  37eb6dd

  Copy full SHA for 37eb6dd

• Don't include unit nodes, redundant with sort

  saulshanabrook

  committed
  4b7cf4b

  Copy full SHA for 4b7cf4b

• Remove displaying sorts for size

  saulshanabrook

  committed
  60f6b09

  Copy full SHA for 60f6b09

Commits on Jun 6, 2023

• Try reducing size of generated graphviz to reduce memory

  saulshanabrook

  committed
  e3575c5

  Copy full SHA for e3575c5

• undo making some things public to the crate

  saulshanabrook

  committed
  b33345c

  Copy full SHA for b33345c

• Concentrate nodes

  saulshanabrook

  committed
  8a3b83b

  Copy full SHA for 8a3b83b

• Revert changes to foreach_tracked_values to fix tests

  saulshanabrook

  committed
  810d8e8

  Copy full SHA for 810d8e8

• Changes node fonts to helvetica

  saulshanabrook

  committed
  859dc7c

  Copy full SHA for 859dc7c

• Try limiting the size of the graphs

  saulshanabrook

  committed
  7302af8

  Copy full SHA for 7302af8

Commits on Jun 7, 2023

• Show ports for missing nodes

  saulshanabrook

  committed
  fec5407

  Copy full SHA for fec5407

Commits on Jun 12, 2023

• Merge egraphs-good/main into visualizer

  saulshanabrook

  committed
  482f0e1

  Copy full SHA for 482f0e1

• Remove importmap to improve compat

  saulshanabrook

  committed
  a745b50

  Copy full SHA for a745b50

• Fix limiting functions and calls

  Show description for f5f26ba
  saulshanabrook

  committed
  f5f26ba

  Copy full SHA for f5f26ba

• fmt

  saulshanabrook

  committed
  10ed0e5

  Copy full SHA for 10ed0e5

• Log result from running program

  saulshanabrook

  committed
  2b68204

  Copy full SHA for 2b68204

• Re-add accidentally removed import

  saulshanabrook

  committed
  dbf9ef9

  Copy full SHA for dbf9ef9

• Add back accidentally remove assert

  saulshanabrook

  committed
  c9de3d5

  Copy full SHA for c9de3d5

• Revert "Revert changes to foreach_tracked_values to fix tests"

  Show description for 6b271a9
  saulshanabrook

  committed
  6b271a9

  Copy full SHA for 6b271a9

• Save web artifact on build

  saulshanabrook

  committed
  148be78

  Copy full SHA for 148be78

• Upgrade upload artifact

  saulshanabrook

  committed
  a891d3a

  Copy full SHA for a891d3a

• Fix warning, dont emit colspan if 0

  saulshanabrook

  committed
  453a02b

  Copy full SHA for 453a02b

• Fix edges so they all come from below the node

  saulshanabrook

  committed
  5160eb8

  Copy full SHA for 5160eb8

• Increase nodesep slightly so that long nodes dont touch

  saulshanabrook

  committed
  71e98f6

  Copy full SHA for 71e98f6

• Remove margin on outer graph

  saulshanabrook

  committed
  1d92c82

  Copy full SHA for 1d92c82

Commits on Jun 17, 2023

• Reduce rank sep slightly

  saulshanabrook

  committed
  aa7d7ac

  Copy full SHA for aa7d7ac

• Add another cluster nesting to increase margin

  saulshanabrook

  committed
  40c27da

  Copy full SHA for 40c27da

• Reduce nodesep

  saulshanabrook

  committed
  4380306

  Copy full SHA for 4380306

• Revert "Reduce nodesep"

  Show description for 5c6aaf9
  saulshanabrook

  committed
  5c6aaf9

  Copy full SHA for 5c6aaf9

• Add outer cluster label to remove warning

  saulshanabrook

  committed
  7e1b75f

  Copy full SHA for 7e1b75f

Commits on Jun 21, 2023

• Add support for tooltips in graphviz

  Show description for daa97af
  saulshanabrook

  committed
  daa97af

  Copy full SHA for daa97af