Code

Better highlights#744

Code

Merged

rtetley merged 5 commits intomaincoq/vscoq:mainfrom better-highlightscoq/vscoq:better-highlightsCopy head branch name to clipboardMay 31, 2024

+273-96

Commits

Commits on May 31, 2024

• Process highlights as execution happens.

  Show description for 7fb3301
  rtetley

  committed
  7fb3301

  Copy full SHA for 7fb3301

• Allow for getting overview until specific range.

  Show description for 66dc43c
  rtetley

  committed
  66dc43c

  Copy full SHA for 66dc43c

• Change exec_overview handling. Handle processing ranges.

  Show description for adfa409
  rtetley

  committed
  adfa409

  Copy full SHA for adfa409

• Add prepared range.

  Show description for 7d9d3b8
  rtetley

  committed
  7d9d3b8

  Copy full SHA for 7d9d3b8

• Add support for delegated proofs.

  rtetley

  committed
  1870fac

  Copy full SHA for 1870fac