FStarLang/fstar-vscode-assistant

Issues

• Large proof state gets split into multiple messages, causes JSON parsing errors that prevent dump state display

  #18 opened 5 months ago by klinvill
  1

• Formatter moves `in` into comments

  #15 opened 9 months ago by chandradeepdey
  0

• Error jumping between two locations

  #14 opened 10 months ago by tdardinier
  0

• Symbol lookup confused by tuple

  #13 opened a year ago by mtzguido
  0

• Gutter icons do not display nicely in split panes

  #12 opened a year ago by nikswamy
  2

• Flicker and unreliable status icons in large files

  #11 opened a year ago by nikswamy
  1

• Outline is empty

  #10 opened a year ago by hacklex
  1

• fstar.exe does not support full-buffer queries

  #6 opened a year ago by chandradeepdey
  4

• Formatting deletes comments

  #4 opened a year ago by Johanmyst
  3

• Server crashes on launch

  #5 opened a year ago by chandradeepdey
  2

• only one warning/error?

  #2 opened a year ago by mtzguido
  1