Code

feat: add --include-direct#29

Code

Merged

joneugster merged 10 commits intomainleanprover-community/import-graph:mainfrom eugster/direct-depsleanprover-community/import-graph:eugster/direct-depsCopy head branch name to clipboardSep 4, 2024

+42-8

Commits

Commits on Aug 30, 2024

• feat: add directly imported deps to --mark-module

  joneugster

  committed
  8128754

  Copy full SHA for 8128754

Commits on Sep 2, 2024

• Update ImportGraph/Cli.lean

  Show description for 581e55d
  

  joneugster

  and

  kim-em

  authored
  581e55d

  Copy full SHA for 581e55d

• Merge branch 'main' into eugster/direct-deps

  joneugster

  committed
  5f89288

  Copy full SHA for 5f89288

• split into --include-direct-deps and --mark-module

  joneugster

  committed
  9eccd34

  Copy full SHA for 9eccd34

• update logic

  joneugster

  committed
  b87256b

  Copy full SHA for b87256b

• add comment

  joneugster

  committed
  f57a918

  Copy full SHA for f57a918

• rename option

  joneugster

  committed
  e1b5b6d

  Copy full SHA for e1b5b6d

Commits on Sep 3, 2024

• style

  joneugster

  committed
  d153077

  Copy full SHA for d153077

• style

  joneugster

  committed
  14a8466

  Copy full SHA for 14a8466

• style

  joneugster

  committed
  16fcfe0

  Copy full SHA for 16fcfe0