ejgallego/coq-lsp issues and pull requests

#71 - Coq Issues Affecting coq-lsp

Issue - State: open - Opened by ejgallego about 2 years ago
Labels: kind: upstream, kind: meta

#70 - [event queue] Preempt hover / goals events over checking

Issue - State: closed - Opened by ejgallego about 2 years ago

#69 - [vscode] Implement Goal Command

Pull Request - State: closed - Opened by ejgallego about 2 years ago
Labels: part: client (VSCode), part: lsp server, part: protocol (custom)

#68 - [client] Port client to typescript

Pull Request - State: closed - Opened by ejgallego about 2 years ago
Labels: part: client (VSCode)

#67 - [lsp] Support client-side setting of server options.

Pull Request - State: closed - Opened by ejgallego about 2 years ago
Labels: part: client (VSCode), part: lsp server, part: protocol (LSP)

#66 - Fleche intf

Pull Request - State: open - Opened by ejgallego about 2 years ago - 2 comments

#65 - [diagnostics] Add extra information on Require Error.

Pull Request - State: closed - Opened by ejgallego about 2 years ago

#64 - [vendor] Bump Coq submodule

Pull Request - State: closed - Opened by ejgallego about 2 years ago

#63 - [diags] Send processing diagnostics if in eager mode.

Pull Request - State: closed - Opened by ejgallego about 2 years ago
Labels: kind: enhancement

#62 - [fleche] Basic markdown support

Pull Request - State: closed - Opened by ejgallego about 2 years ago - 2 comments
Labels: kind: enhancement

#61 - [stats] Add quick memory stats to sentence information.

Pull Request - State: closed - Opened by ejgallego about 2 years ago
Labels: kind: enhancement

#60 - mark vendor/ as vendored_subdir for Dune

Pull Request - State: closed - Opened by Alizter about 2 years ago

#59 - [example] add 2048 example

Pull Request - State: closed - Opened by Alizter about 2 years ago
Labels: part: test-suite

#58 - [debug] make OK dialogue a configurable debug option

Pull Request - State: closed - Opened by Alizter about 2 years ago - 1 comment

#57 - [coq] Be a bit more flexible on how user can set module loaders.

Pull Request - State: closed - Opened by ejgallego about 2 years ago - 2 comments

#56 - ocaml-lsp

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

#55 - Install (packaging)

Issue - State: closed - Opened by Alizter about 2 years ago - 1 comment
Labels: part: packaging

#54 - Progress report bar

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

#53 - Jump to definition

Issue - State: closed - Opened by Alizter about 2 years ago - 2 comments
Labels: kind: enhancement, part: lsp server, part: protocol (LSP)

#52 - Integration with Dune

Issue - State: open - Opened by Alizter about 2 years ago - 8 comments

#51 - Build setup

Issue - State: open - Opened by Alizter about 2 years ago - 4 comments

#50 - Completion

Issue - State: open - Opened by Alizter about 2 years ago - 2 comments

#49 - Pull diagonostics

Issue - State: open - Opened by Alizter about 2 years ago - 5 comments

#48 - [range] Add (unconditional) offset to points, fix bug in gt_range

Pull Request - State: closed - Opened by ejgallego about 2 years ago
Labels: kind: enhancement

#47 - [build] Also build ltac2 in the composed setup.

Pull Request - State: closed - Opened by ejgallego about 2 years ago - 4 comments
Labels: part: build

#46 - elaborate install instructions for editor/code in README

Pull Request - State: closed - Opened by Alizter about 2 years ago - 6 comments

#45 - tweak wording in editor/code

Pull Request - State: closed - Opened by Alizter about 2 years ago - 4 comments

#44 - [nix] add nix flake

Pull Request - State: closed - Opened by Alizter about 2 years ago
Labels: part: build

#43 - [info] Put feedbacks as diagnostics, print goals lazily

Pull Request - State: closed - Opened by ejgallego about 2 years ago
Labels: kind: enhancement

#42 - [coq] Add plugin loader library.

Pull Request - State: closed - Opened by ejgallego about 2 years ago

#41 - [info] Hook completion call, fix still some issues with range.

Pull Request - State: open - Opened by ejgallego about 2 years ago - 2 comments
Labels: needs: progress

#40 - Modularize core

Pull Request - State: closed - Opened by ejgallego about 2 years ago

#39 - Backport some jsCoq patches.

Pull Request - State: closed - Opened by ejgallego about 2 years ago

#38 - [interp] Cache goals and feedbacks in the interpretation cache.

Pull Request - State: closed - Opened by ejgallego over 2 years ago

#37 - [serapi] Bump to version that implements hash / compare for tactics.

Pull Request - State: closed - Opened by ejgallego over 2 years ago - 1 comment

#36 - Memo parsing

Pull Request - State: closed - Opened by ejgallego over 2 years ago - 1 comment

#35 - [refactoring] Improve Coq_protect type.

Pull Request - State: closed - Opened by ejgallego over 2 years ago

#34 - [fleche] When interrupted in parsing, signal end of file

Pull Request - State: closed - Opened by ejgallego over 2 years ago - 1 comment

#33 - Better parsing error recovery for bad parsing inside a proof.

Issue - State: closed - Opened by ejgallego over 2 years ago
Labels: kind: enhancement

#32 - [lsp] Request Coq interrupt when we receive a new check request.

Pull Request - State: closed - Opened by ejgallego over 2 years ago - 21 comments

#31 - [client] better command name for restart

Pull Request - State: closed - Opened by Alizter over 2 years ago

#30 - Check on scroll (à la Isabelle)

Issue - State: open - Opened by Alizter over 2 years ago - 3 comments

#29 - Code suggestions

Issue - State: open - Opened by ejgallego over 2 years ago - 2 comments

#28 - [ci] Avoid running jobs on random branches pushed to this repos.

Pull Request - State: closed - Opened by ejgallego over 2 years ago

#27 - [lsp] Implement event loop processing Thread

Pull Request - State: closed - Opened by ejgallego over 2 years ago

#26 - Goal handling

Issue - State: closed - Opened by ejgallego over 2 years ago - 1 comment
Labels: kind: enhancement, part: client (VSCode), part: lsp server, part: protocol (custom)

#25 - Memoize parsing

Issue - State: closed - Opened by ejgallego over 2 years ago - 1 comment

#24 - Lazy checking of documents

Issue - State: open - Opened by ejgallego over 2 years ago - 1 comment

#23 - Restart checking on document edit (interrupting Coq)

Issue - State: closed - Opened by ejgallego over 2 years ago - 1 comment

#22 - [cleanup] Remove unnecessary things from dune file

Pull Request - State: closed - Opened by Alizter over 2 years ago

#21 - [format] format codebase

Pull Request - State: closed - Opened by Alizter over 2 years ago

#20 - [CI] stratify CI more

Pull Request - State: closed - Opened by Alizter over 2 years ago - 1 comment

#19 - Fix ocamlformat version

Pull Request - State: closed - Opened by Alizter over 2 years ago - 1 comment

#18 - Add Pff.v example

Pull Request - State: closed - Opened by Alizter over 2 years ago

#17 - Ignore .lia.cache and other .cache files

Pull Request - State: closed - Opened by Alizter over 2 years ago

#16 - various makefile and ocamlformat tweaks + fix CI

Pull Request - State: closed - Opened by Alizter over 2 years ago

#15 - [testing] Server testing

Issue - State: open - Opened by ejgallego over 2 years ago

#14 - [CI] disable fail fast

Pull Request - State: closed - Opened by Alizter over 2 years ago

#13 - [CI] Use ocaml version from matrix and enable dune cache

Pull Request - State: closed - Opened by Alizter over 2 years ago

#12 - ignore .vscode and .git-ps

Pull Request - State: closed - Opened by Alizter over 2 years ago

#11 - When repo is public enable auto merge queue

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

#10 - Add format and make jobs for makefile

Pull Request - State: closed - Opened by Alizter over 2 years ago

#9 - chore: update ocamlformat and remove redundant options

Pull Request - State: closed - Opened by Alizter over 2 years ago

#8 - [coq] Rebase to latest master

Pull Request - State: closed - Opened by ejgallego over 2 years ago

#7 - coq/: get rid of submodule; build against opam version

Pull Request - State: closed - Opened by artagnon over 2 years ago - 6 comments

#6 - coq-lsp.opam: bump deps

Pull Request - State: closed - Opened by artagnon over 2 years ago - 1 comment

#5 - CI: enable builds on macOS and ubuntu

Pull Request - State: closed - Opened by artagnon over 2 years ago - 7 comments

#4 - .ocamlformat: format the entire codebase

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

#3 - coq_init: introduce loadpath_from_coqproject

Pull Request - State: closed - Opened by artagnon over 2 years ago - 9 comments

#2 - [build] Common LSP libraries

Issue - State: open - Opened by ejgallego over 5 years ago

#1 - [build] [windows] Binary builds

Issue - State: open - Opened by ejgallego almost 6 years ago - 2 comments
Labels: kind: enhancement, part: packaging, platform: windows

GitHub / ejgallego/coq-lsp issues and pull requests