Code

feat: add HTML visualisation#30

Code

Merged

joneugster merged 16 commits intomainleanprover-community/import-graph:mainfrom eugster/html-visualisationleanprover-community/import-graph:eugster/html-visualisationCopy head branch name to clipboardSep 5, 2024

+702-16

Commits

Commits on Sep 2, 2024

• feat: incorporate Eric's html visualisation

  joneugster

  committed
  7bb12d1

  Copy full SHA for 7bb12d1

• fix path

  joneugster

  committed
  d67efac

  Copy full SHA for d67efac

• tweaks

  joneugster

  committed
  1c7eaa4

  Copy full SHA for 1c7eaa4

• newline

  joneugster

  committed
  c538a2b

  Copy full SHA for c538a2b

• fix name

  joneugster

  committed
  3f133b5

  Copy full SHA for 3f133b5

• massive speedup

  joneugster

  committed
  5a61607

  Copy full SHA for 5a61607

• cleanup

  joneugster

  committed
  457d10b

  Copy full SHA for 457d10b

• fix compatibility with --exclude-meta

  joneugster

  committed
  0a6ed6c

  Copy full SHA for 0a6ed6c

• cleanup

  joneugster

  committed
  862902e

  Copy full SHA for 862902e

• fix text

  joneugster

  committed
  cad64a5

  Copy full SHA for cad64a5

• fix links

  joneugster

  committed
  973dac6

  Copy full SHA for 973dac6

Commits on Sep 5, 2024

• Update README.md

  joneugster

  authored
  84657bb

  Copy full SHA for 84657bb

• Merge remote-tracking branch 'origin/main' into eugster/html-visualisation

  joneugster

  committed
  2ac6ddf

  Copy full SHA for 2ac6ddf

• use Std.HashSet and Std.HashMap

  joneugster

  committed
  940ea61

  Copy full SHA for 940ea61

• var name

  joneugster

  committed
  96e69cb

  Copy full SHA for 96e69cb

• update

  joneugster

  committed
  368b097

  Copy full SHA for 368b097