Ecosyste.ms: Issues

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

GitHub / leanprover/lean-client-js issues and pull requests

#59 - BrowserFS Deprecated

Issue - State: open - Opened by dr-vortex 11 months ago

#58 - Fix crash on Lean 3.51.1 by using new emscripten FS API

Pull Request - State: closed - Opened by eric-wieser over 1 year ago

#57 - Bump minimist from 1.2.5 to 1.2.8

Pull Request - State: open - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies

#56 - Bump json5, loader-utils, html-webpack-plugin and webpack

Pull Request - State: open - Opened by dependabot[bot] about 2 years ago
Labels: dependencies

#55 - Bump json5, copy-webpack-plugin, html-webpack-plugin, ts-loader, webpack and worker-loader

Pull Request - State: open - Opened by dependabot[bot] about 2 years ago
Labels: dependencies

#54 - Bump express from 4.17.1 to 4.18.2

Pull Request - State: open - Opened by dependabot[bot] about 2 years ago
Labels: dependencies

#53 - Bump qs from 6.5.2 to 6.5.3

Pull Request - State: open - Opened by dependabot[bot] about 2 years ago
Labels: dependencies

#52 - Bump decode-uri-component from 0.2.0 to 0.2.2

Pull Request - State: open - Opened by dependabot[bot] about 2 years ago
Labels: dependencies

#51 - Bump loader-utils and html-webpack-plugin

Pull Request - State: open - Opened by dependabot[bot] about 2 years ago
Labels: dependencies

#50 - Bump loader-utils and html-webpack-plugin

Pull Request - State: closed - Opened by dependabot[bot] about 2 years ago - 1 comment
Labels: dependencies

#49 - Bump css-what from 2.1.0 to 2.1.3

Pull Request - State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#48 - Add document symbol search, and show correct completion kinds.

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

#47 - Fix (respect) most end positions for diagnostics.

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

#46 - Add SymbolKinds next to autocomplete and workspace searches

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

#45 - Add new symbol messages

Pull Request - State: closed - Opened by eric-wieser over 2 years ago - 4 comments

#44 - Bump eventsource from 1.0.7 to 1.1.1

Pull Request - State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#43 - Any plans for supporting wasm-compiled Lean 4 servers?

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

#42 - Bump tar from 4.4.13 to 4.4.19

Pull Request - State: open - Opened by dependabot[bot] almost 3 years ago
Labels: dependencies

#41 - Bump node-fetch from 2.6.1 to 2.6.7

Pull Request - State: open - Opened by dependabot[bot] almost 3 years ago
Labels: dependencies

#40 - Bump trim-off-newlines from 1.0.1 to 1.0.3

Pull Request - State: open - Opened by dependabot[bot] almost 3 years ago
Labels: dependencies

#39 - Bump async from 2.6.3 to 2.6.4

Pull Request - State: open - Opened by dependabot[bot] almost 3 years ago
Labels: dependencies

#38 - Bump async from 2.5.0 to 2.6.4 in /lean-client-js-browser

Pull Request - State: open - Opened by dependabot[bot] almost 3 years ago
Labels: dependencies

#37 - Bump lodash from 4.17.20 to 4.17.21 in /lean-client-js-browser

Pull Request - State: open - Opened by dependabot[bot] almost 3 years ago
Labels: dependencies

#36 - Make workspace symbol search work.

Pull Request - State: closed - Opened by Julian almost 3 years ago - 1 comment

#35 - Bump minimist from 1.2.5 to 1.2.6

Pull Request - State: closed - Opened by dependabot[bot] almost 3 years ago - 1 comment
Labels: dependencies

#34 - Bump lodash from 4.17.20 to 4.17.21

Pull Request - State: open - Opened by dependabot[bot] almost 3 years ago
Labels: dependencies

#33 - Bump url-parse from 1.4.7 to 1.5.10

Pull Request - State: open - Opened by dependabot[bot] almost 3 years ago
Labels: dependencies

#32 - Bump url-parse from 1.4.7 to 1.5.7

Pull Request - State: closed - Opened by dependabot[bot] almost 3 years ago - 1 comment
Labels: dependencies

#31 - Bump follow-redirects from 1.13.0 to 1.14.8

Pull Request - State: open - Opened by dependabot[bot] almost 3 years ago
Labels: dependencies

#30 - Bump ajv from 6.12.2 to 6.12.6

Pull Request - State: open - Opened by dependabot[bot] almost 3 years ago
Labels: dependencies

#29 - Bump handlebars from 4.7.6 to 4.7.7

Pull Request - State: open - Opened by dependabot[bot] almost 3 years ago
Labels: dependencies

#28 - Question about request types.

Issue - State: open - Opened by MaboroshiChan about 3 years ago - 1 comment

#27 - Properly convert 'no goals' into an empty goal array.

Pull Request - State: closed - Opened by Julian over 3 years ago

#26 - Add the full text of Apache 2.0

Pull Request - State: closed - Opened by Julian over 3 years ago

#25 - Add widget event interactions too.

Pull Request - State: closed - Opened by Julian over 3 years ago

#24 - Don't show tactic state in hover, backport plainGoal requests instead

Pull Request - State: closed - Opened by Julian over 3 years ago - 2 comments

#23 - Add support for discovering widgets to the language server.

Pull Request - State: closed - Opened by Julian over 3 years ago - 2 comments

#22 - Update to a modern vscode-languageserver

Pull Request - State: closed - Opened by Julian over 3 years ago - 2 comments

#21 - Allow passing extra arguments along in lean-language-server

Pull Request - State: closed - Opened by Julian about 4 years ago - 7 comments

#20 - Bump ini from 1.3.5 to 1.3.7

Pull Request - State: closed - Opened by dependabot[bot] about 4 years ago
Labels: dependencies

#19 - Bump lodash from 4.17.15 to 4.17.20 in /lean-client-js-browser

Pull Request - State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies

#18 - Bump elliptic from 6.5.2 to 6.5.3

Pull Request - State: closed - Opened by dependabot[bot] over 4 years ago - 1 comment
Labels: dependencies

#17 - Bump lodash from 4.17.15 to 4.17.19

Pull Request - State: closed - Opened by dependabot[bot] over 4 years ago - 1 comment
Labels: dependencies

#16 - Bump lodash from 4.17.15 to 4.17.19 in /lean-client-js-browser

Pull Request - State: closed - Opened by dependabot[bot] over 4 years ago - 1 comment
Labels: dependencies

#14 - Add support for widget effects

Pull Request - State: closed - Opened by EdAyers over 4 years ago

#13 - Add support for get_widget command

Pull Request - State: closed - Opened by EdAyers over 4 years ago - 1 comment

#12 - Add a widgets flag to InfoRequest

Pull Request - State: closed - Opened by EdAyers over 4 years ago - 7 comments

#11 - Bump lodash.template from 4.4.0 to 4.5.0

Pull Request - State: closed - Opened by dependabot[bot] over 4 years ago - 1 comment
Labels: dependencies

#10 - Bump diff from 3.4.0 to 3.5.0

Pull Request - State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies

#9 - Bump webpack-dev-server from 2.11.5 to 3.1.11

Pull Request - State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies

#8 - Bump websocket-extensions from 0.1.1 to 0.1.4

Pull Request - State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies

#8 - Bump websocket-extensions from 0.1.1 to 0.1.4

Pull Request - State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies

#7 - Add support for widgets and makeProxyTransport.

Pull Request - State: closed - Opened by EdAyers over 4 years ago

#7 - Add support for widgets and makeProxyTransport.

Pull Request - State: closed - Opened by EdAyers over 4 years ago

#6 - Bump url-parse from 1.0.5 to 1.4.7

Pull Request - State: closed - Opened by dependabot[bot] almost 5 years ago - 1 comment
Labels: dependencies

#6 - Bump url-parse from 1.0.5 to 1.4.7

Pull Request - State: closed - Opened by dependabot[bot] almost 5 years ago - 1 comment
Labels: dependencies

#5 - Missing LICENSE

Issue - State: closed - Opened by cpehle about 6 years ago - 1 comment

#4 - Added shebang so it can be executed with -g flag

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

#3 - fix, per kripken/emscripten#6146

Pull Request - State: closed - Opened by semorrison almost 7 years ago

#3 - fix, per kripken/emscripten#6146

Pull Request - State: closed - Opened by semorrison almost 7 years ago

#2 - Use case as vscode-style plugin for ace?

Issue - State: open - Opened by glangmead over 7 years ago - 1 comment

#1 - Type error running "npm run demo"

Issue - State: closed - Opened by glangmead over 7 years ago - 4 comments

#1 - Type error running "npm run demo"

Issue - State: closed - Opened by glangmead over 7 years ago - 4 comments