Code

Improvements to --dep graph #3411

Code

Merged

mtzguido merged 6 commits intoFStarLang:masterFStarLang/FStar:masterfrom mtzguido:wip_depgraphmtzguido/FStar:wip_depgraphCopy head branch name to clipboardJan 12, 2025

+37-28

Commits

Commits on Jan 12, 2025

• Parser.Dep: use a stringbuffer

  mtzguido

  committed
  b70152b

  Copy full SHA for b70152b

• Parser.Dep: graph: print filenames, distinguishing fst/fsti

  mtzguido

  committed
  461e917

  Copy full SHA for 461e917

• Parser.Dep: graph: don't include what's --already_cached

  mtzguido

  committed
  ecfb8bf

  Copy full SHA for ecfb8bf

• FStarC.StringBuffer: simplify, use normal ints

  mtzguido

  committed
  9e7d8ba

  Copy full SHA for 9e7d8ba

• Parser.Dep: nits

  mtzguido

  committed
  6352765

  Copy full SHA for 6352765

• generic.mk: a rule for dependency graphs

  mtzguido

  committed
  e828966

  Copy full SHA for e828966