Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / coq-community/vscoq issues and pull requests

#916 - cleanup(EM): delegated tasks are executable sentences

Pull Request - State: closed - Opened by gares 2 months ago - 1 comment

#915 - support Restart

Pull Request - State: open - Opened by gares 2 months ago

#914 - Slowdown after editing file

Issue - State: open - Opened by TheoWinterhalter 2 months ago

#913 - Cursor automatically moves on error.

Issue - State: closed - Opened by pink10000 2 months ago - 1 comment

#912 - Option to set default size of proof window

Issue - State: open - Opened by thomas-lamiaux 2 months ago

#911 - feat: jump to definition proof of concept

Pull Request - State: open - Opened by rtetley 2 months ago - 3 comments

#910 - bump version

Pull Request - State: closed - Opened by rtetley 2 months ago

#909 - Write 2024/2025 roadmap

Issue - State: open - Opened by rtetley 2 months ago

#907 - Name changing issue tracker

Issue - State: open - Opened by rtetley 2 months ago

#906 - `Search` command that shows many results is extremely slow

Issue - State: open - Opened by RalfJung 2 months ago - 11 comments

#905 - Syntax highlighting adds an odd box around lower-case unicode letters

Issue - State: open - Opened by RalfJung 2 months ago - 2 comments

#904 - feat: add config option to control whether Coq buttons are displayed

Pull Request - State: closed - Opened by Durbatuluk1701 2 months ago - 2 comments

#903 - fix: off by one error in Hover

Pull Request - State: closed - Opened by Durbatuluk1701 3 months ago - 1 comment

#902 - feat: query actions are now done with prompts

Pull Request - State: closed - Opened by rtetley 3 months ago

#901 - feat: show message when goals are unfocused

Pull Request - State: closed - Opened by rtetley 3 months ago

#900 - feat: optimize pp-display for a better and faster goal view and query panel

Pull Request - State: closed - Opened by rtetley 3 months ago - 1 comment

#899 - fix: hover for period qualifiers and single quotes in names

Pull Request - State: closed - Opened by Durbatuluk1701 3 months ago - 7 comments

#898 - Show "doc comment" on hover over an identifier

Issue - State: open - Opened by RalfJung 3 months ago
Labels: enhancement

#897 - fix: make VsCoq activity bar logo appear only when Coq files present

Pull Request - State: closed - Opened by Durbatuluk1701 3 months ago - 15 comments

#896 - In the last line of the "goals" output, `_` are not visible

Issue - State: open - Opened by RalfJung 3 months ago - 9 comments
Labels: bug

#895 - Misparsed tactic leads to two commands being exeucted at once

Issue - State: open - Opened by RalfJung 3 months ago - 1 comment
Labels: bug

#894 - Confusing error when asking to "Print" on a term that is not yet processed

Issue - State: open - Opened by RalfJung 3 months ago - 8 comments
Labels: bug

#893 - build: we only support 64 bit arch

Pull Request - State: closed - Opened by rtetley 3 months ago

#892 - Parsing issues with MetaCoq

Issue - State: open - Opened by thomas-lamiaux 3 months ago - 3 comments
Labels: bug

#891 - Add an option to control the printing panel

Issue - State: open - Opened by thomas-lamiaux 3 months ago - 2 comments

#890 - Bump version

Pull Request - State: closed - Opened by rtetley 3 months ago

#889 - Installing language server on Windows

Issue - State: open - Opened by FeldrinH 3 months ago - 4 comments

#888 - Provide shortcut for typing a Search/About/Locate/... query

Issue - State: closed - Opened by RalfJung 3 months ago - 1 comment
Labels: enhancement

#887 - feat: Disable the auto display for the proof view

Pull Request - State: closed - Opened by rtetley 3 months ago

#886 - VsCoq icon should only show up in sidebar when there are Coq files opened

Issue - State: closed - Opened by RalfJung 3 months ago - 3 comments
Labels: bug

#885 - docs: update change log

Pull Request - State: closed - Opened by rtetley 3 months ago

#884 - Hover on qualifed names

Issue - State: closed - Opened by ybertot 3 months ago - 1 comment
Labels: enhancement

#876 - Add a button to open and close, and keep close the proof view if used

Issue - State: closed - Opened by thomas-lamiaux 3 months ago - 12 comments
Labels: enhancement

#870 - improvement for vim navigation

Issue - State: closed - Opened by qcfu-bu 4 months ago - 5 comments
Labels: enhancement

#869 - Significant delay between tactic completion and goal space update

Issue - State: closed - Opened by CharlesAverill 4 months ago - 5 comments
Labels: enhancement

#868 - feat: add a walkthrough

Pull Request - State: closed - Opened by rtetley 4 months ago - 5 comments

#867 - feat: add a a main menu

Pull Request - State: closed - Opened by rtetley 4 months ago

#859 - Give clear feedback when a proof view is busy computing

Issue - State: open - Opened by rtetley 4 months ago - 23 comments
Labels: enhancement

#852 - Command Inspect output is missing a line break

Issue - State: open - Opened by ybertot 4 months ago - 1 comment
Labels: bug

#835 - Unsatisfactory line break

Issue - State: closed - Opened by ybertot 4 months ago - 4 comments
Labels: bug

#817 - Testing windows CI

Pull Request - State: open - Opened by rtetley 5 months ago - 1 comment

#792 - Code Completion Appears Entirely Broken

Issue - State: open - Opened by zepalmer 5 months ago - 1 comment
Labels: bug

#770 - VsCoq v2 unsupported command for Restart and Undo

Issue - State: open - Opened by Chesterhuang1999 7 months ago - 6 comments
Labels: enhancement

#768 - handling external compilation

Issue - State: open - Opened by vzaliva 7 months ago - 5 comments
Labels: enhancement

#752 - Bad alignment in the output of "Print Universes Subgraph"

Issue - State: closed - Opened by YaZko 9 months ago - 2 comments
Labels: bug

#709 - problem using vscoq on windows 10 via wsl

Issue - State: open - Opened by ellisonch 10 months ago - 3 comments
Labels: bug

#659 - [vscoq2] Integrated search tool in proof view

Issue - State: open - Opened by thery about 1 year ago - 3 comments
Labels: enhancement

#643 - Feature request: showing the next bullet

Issue - State: closed - Opened by toku-sa-n about 1 year ago - 13 comments
Labels: enhancement

#454 - [VsCoq 2] Slow parsing of files

Issue - State: closed - Opened by Hjaltesorgenfrei over 1 year ago - 5 comments

#452 - [VSCoq2] Invalidation is incorrect and yields to a inconsistent state

Issue - State: closed - Opened by Hjaltesorgenfrei over 1 year ago - 4 comments

#292 - VsCoq does not ignore comments in _CoqProject

Issue - State: closed - Opened by MSoegtropIMC over 2 years ago - 3 comments
Labels: good first issue

#290 - First user feedback after a few minutes when stepping into large file

Issue - State: closed - Opened by MSoegtropIMC over 2 years ago - 3 comments

#281 - Print Notices/Error messages etc. in same buffer

Issue - State: closed - Opened by Alizter over 2 years ago - 6 comments

#280 - The messages bar is missing?

Issue - State: closed - Opened by brando90 over 2 years ago - 6 comments

#214 - jump to definition

Issue - State: open - Opened by gares over 3 years ago - 5 comments
Labels: Document Manager, Coq

#100 - Update dependencies

Pull Request - State: closed - Opened by maximedenes almost 5 years ago - 2 comments

#100 - Update dependencies

Pull Request - State: closed - Opened by maximedenes almost 5 years ago - 2 comments

#99 - Add basic instructions in README

Pull Request - State: closed - Opened by maximedenes almost 5 years ago

#99 - Add basic instructions in README

Pull Request - State: closed - Opened by maximedenes almost 5 years ago

#98 - Bump dependencies because of security advisories

Pull Request - State: closed - Opened by maximedenes almost 5 years ago

#98 - Bump dependencies because of security advisories

Pull Request - State: closed - Opened by maximedenes almost 5 years ago

#97 - [HoTT] Acquire new setting for executing hoqidetop

Pull Request - State: closed - Opened by artagnon almost 5 years ago - 21 comments

#97 - [HoTT] Acquire new setting for executing hoqidetop

Pull Request - State: closed - Opened by artagnon almost 5 years ago - 21 comments

#96 - No instructions on how to even use this extension.

Issue - State: closed - Opened by pyrofolium almost 5 years ago - 3 comments

#96 - No instructions on how to even use this extension.

Issue - State: closed - Opened by pyrofolium almost 5 years ago - 3 comments

#95 - Fix #24: Eliminate protocol.ts duplicate in server/client

Pull Request - State: closed - Opened by artagnon almost 5 years ago - 2 comments

#95 - Fix #24: Eliminate protocol.ts duplicate in server/client

Pull Request - State: closed - Opened by artagnon almost 5 years ago - 2 comments

#94 - Convert grammar file to YAML

Pull Request - State: closed - Opened by artagnon almost 5 years ago - 1 comment

#94 - Convert grammar file to YAML

Pull Request - State: closed - Opened by artagnon almost 5 years ago - 1 comment

#93 - Fix #83: Better keybindings

Pull Request - State: closed - Opened by artagnon almost 5 years ago

#93 - Fix #83: Better keybindings

Pull Request - State: closed - Opened by artagnon almost 5 years ago

#92 - Recommend latex-input

Pull Request - State: closed - Opened by artagnon almost 5 years ago - 18 comments

#92 - Recommend latex-input

Pull Request - State: closed - Opened by artagnon almost 5 years ago - 18 comments

#91 - [syntax] Allow unicode identifiers

Pull Request - State: closed - Opened by artagnon almost 5 years ago - 3 comments

#91 - [syntax] Allow unicode identifiers

Pull Request - State: closed - Opened by artagnon almost 5 years ago - 3 comments

#90 - Indentation rules

Pull Request - State: closed - Opened by artagnon almost 5 years ago - 9 comments

#90 - Indentation rules

Pull Request - State: closed - Opened by artagnon almost 5 years ago - 9 comments

#89 - [Modernize] Make it easier to hack on the extension from vscode

Pull Request - State: closed - Opened by artagnon almost 5 years ago - 19 comments

#89 - [Modernize] Make it easier to hack on the extension from vscode

Pull Request - State: closed - Opened by artagnon almost 5 years ago - 19 comments

#88 - [configuration.json] Add rules for incr/decr indent

Pull Request - State: closed - Opened by artagnon almost 5 years ago - 2 comments

#88 - [configuration.json] Add rules for incr/decr indent

Pull Request - State: closed - Opened by artagnon almost 5 years ago - 2 comments

#87 - [lockfiles] Lock to latest versions

Pull Request - State: closed - Opened by artagnon almost 5 years ago

#87 - [lockfiles] Lock to latest versions

Pull Request - State: closed - Opened by artagnon almost 5 years ago

#86 - Coq output should be in --xml_format=Ppcmds

Issue - State: closed - Opened by gares almost 5 years ago

#86 - Coq output should be in --xml_format=Ppcmds

Issue - State: closed - Opened by gares almost 5 years ago

#85 - Change keybindings

Issue - State: closed - Opened by vsiles almost 5 years ago - 2 comments

#85 - Change keybindings

Issue - State: closed - Opened by vsiles almost 5 years ago - 2 comments

#84 - Command line arguments to Coqtop

Issue - State: closed - Opened by dailler almost 5 years ago - 3 comments

#84 - Command line arguments to Coqtop

Issue - State: closed - Opened by dailler almost 5 years ago - 3 comments

#83 - Suggested shortcuts

Issue - State: open - Opened by charguer about 5 years ago - 18 comments

#83 - Suggested shortcuts

Issue - State: open - Opened by charguer about 5 years ago - 18 comments

#82 - Automatically switching ProofView tab

Issue - State: closed - Opened by aqjune about 5 years ago - 6 comments

#82 - Automatically switching ProofView tab

Issue - State: closed - Opened by aqjune about 5 years ago - 6 comments

#81 - `Set Printing Xyz` options are not honored

Issue - State: open - Opened by thery about 5 years ago - 29 comments

#81 - `Set Printing Xyz` options are not honored

Issue - State: open - Opened by thery about 5 years ago - 29 comments

#80 - Show number of goals

Issue - State: closed - Opened by thery about 5 years ago - 1 comment
Labels: enhancement

#80 - Show number of goals

Issue - State: closed - Opened by thery about 5 years ago - 1 comment
Labels: enhancement