All pull requests

Pull requests

• feat: Highlight Constraint vernacular.

  #1384·GPRicci opened Oct 26, 2026Contributor·

  ·

• doc: Generate the extension and server compatibility table

  #1383·TDiazT opened Oct 26, 2026Contributor·

  ·

• Add a universe graph view for Show Universes and Print Universes

  #1382·mattam82 opened Oct 24, 2026Member·

  ·

• Add commands for Print Options, Assumptions, Universes and others

  #1381·mattam82 opened Oct 24, 2026Member·

  ·

• Add commands to set Printing flags per document

  #1380·mattam82 opened Oct 24, 2026Member·

  ·
  3

• build(deps-dev): bump vite from 8.1.4 to 8.1.6 in /client

  dependenciesjavascript
  #1379·dependabot[bot] opened Oct 23, 2026Bot·

  ·

• feat: Make parsing faster with new diff only around edit

  #1372·TDiazT opened Oct 22, 2026Contributor·

  ·

• fix: locate Dune definition sources

  #1366·KacperFKorban opened Oct 19, 2026Member·

  ·

• language-server: enforce vsrocq.memory.limit on running computations

  #1362·romanbott opened Oct 14, 2026·3 tasks done·

  ·
  1

  5

• fix: Make an opaque Qed a dependent of its proof steps

  #1360·TDiazT opened Oct 13, 2026Contributor·

  ·
  1

  1

• fix: in proof skipping mode terminate opaque proofs as successes

  #1354·KacperFKorban opened Oct 12, 2026Member·

  ·
  2

• ci: Fix Windows build

  #1348·TDiazT opened Oct 6, 2026Contributor·

  ·
  5

• fix: requeue event blocked on parsing

  #1345·KacperFKorban opened Oct 5, 2026Member·

  ·
  1

  4

• CI install-opam drop with-test with-doc to test minimal dependencies

  #1337·SkySkimmer opened Sep 28, 2026Contributor·

  ·
  3

• feat: completions for flags/options/tables

  #1336·shilangyu opened Sep 25, 2026Member·

  ·
  5

• "dev-setup-opam" CI delay installing test deps until after main build

  #1333·SkySkimmer opened Sep 25, 2026Contributor·

  ·
  11

• Adapt to rocq-prover/rocq#22140 (capture output)

  #1326·SkySkimmer opened Sep 22, 2026Contributor·

  ·

• ci: pin every third-party action to a commit SHA

  #1307·TDiazT opened Aug 25, 2026Contributor·

  ·
  8

• ci: schedule fewer macOS cells on pull requests

  #1304·TDiazT opened Aug 24, 2026Contributor·

  ·
  11

• Adapt to rocq-prover/rocq#21975 (rm vernacstate cache)

  #1245·SkySkimmer opened May 5, 2026Contributor·

  ·

• Simple MCP server implementation based on vsrocq

  #1194·KacperFKorban opened Jan 26, 2026Member·

  ·
  13

• reparse/diff only around the edit

  #1189·gares opened Dec 8, 2025Member·

  ·

• fix build on windows

  #1181·gares opened Nov 27, 2025Member·

  ·

• Export API to run tactics at a given loc

  #964·rtetley opened Dec 12, 2024Collaborator·

  ·

• support Restart

  #915·gares opened Sep 25, 2024Member·

  ·
  1

  2