Supporting incremental parsing and additional features in the IDE protocol in support of fstar-vscode-assistant#2853

Merged

nikswamy merged 55 commits intomasterfrom nik_fstar-vscode-assistant

Apr 1, 2023

+12,550-7,776

Commits on Mar 10, 2023

Commits on Mar 11, 2023

supporting vscode symbol resolution on hover; and status queries on the repl stack
nikswamy
committed

Commits on Mar 13, 2023

reset gensym in incremental parsing; implement parser decl equality of constants; add a config file for the F* compiler for use in vscode
nikswamy
committed
only echo back symbol-range in symbol lookups rather than including null fields (emacs compat)
nikswamy
committed
fix file permissions in generated snapshot
nikswamy
committed

Commits on Mar 14, 2023

Commits on Mar 18, 2023

adding a command to reload-deps; preparing for handling a Cancel request
nikswamy
committed

Commits on Mar 25, 2023

update test case
nikswamy
committed

Commits on Mar 26, 2023

Record any warnings raised on a checked fragment so it can be replayed when cached for the IDE; fix incremental parsing of pragmas; strengthen test-interactive.py
nikswamy
committed

Commits on Mar 27, 2023

fix a bug in AST comparison that was ignoring binder qualifiers and attributes
nikswamy
committed

Commits on Mar 30, 2023

Commits on Mar 31, 2023

Commits on Apr 1, 2023

fix incremental test suite oracle; do not fail on lookup failures
nikswamy
committed