Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / lpcic/elpi-lang issues and pull requests
#26 - Bump vue from 2.7.14 to 3.0.0
Pull Request -
State: closed - Opened by dependabot[bot] 29 days ago
Labels: dependencies
#25 - Update package.json
Pull Request -
State: closed - Opened by gares 3 months ago
#24 - Bump minimal node version to 18
Pull Request -
State: closed - Opened by gares 3 months ago
- 1 comment
#23 - fix: retain the elpi tracer context when hidden
Pull Request -
State: closed - Opened by rtetley 3 months ago
- 3 comments
#22 - Bump braces from 3.0.2 to 3.0.3
Pull Request -
State: closed - Opened by dependabot[bot] 5 months ago
Labels: dependencies
#21 - Scrollbar hidden behind bottom and top bar
Issue -
State: open - Opened by lukovdm about 1 year ago
#20 - Bump postcss from 8.4.20 to 8.4.31
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies
#19 - Bump word-wrap from 1.2.3 to 1.2.4
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#18 - Bump xml2js and @vscode/vsce
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#17 - Next
Pull Request -
State: closed - Opened by gares over 1 year ago
#16 - wish: search by rule being tried
Issue -
State: open - Opened by gares over 1 year ago
#15 - wish: success/failure hints for colorblind
Issue -
State: closed - Opened by gares over 1 year ago
#14 - bug: trace browser not showing a failed attempt
Issue -
State: closed - Opened by gares over 1 year ago
- 5 comments
#13 - wish: add timing info to the trace and display it
Issue -
State: open - Opened by gares over 1 year ago
#12 - wish: trace browser in a web page
Issue -
State: open - Opened by gares over 1 year ago
#11 - wish: less fields in ui
Issue -
State: open - Opened by gares over 1 year ago
#10 - wish: remove watcher mode
Issue -
State: open - Opened by gares over 1 year ago
- 1 comment
#9 - wish: jump to ckauses in the builtin file
Issue -
State: open - Opened by gares over 1 year ago
#7 - goals not displayed
Issue -
State: open - Opened by gares almost 2 years ago
- 8 comments
#6 - search for binaries in $PATH
Pull Request -
State: closed - Opened by gares almost 2 years ago
#5 - Make syntax highlighting optional.
Pull Request -
State: closed - Opened by jwintz about 2 years ago
- 22 comments
#5 - Make syntax highlighting optional.
Pull Request -
State: closed - Opened by jwintz about 2 years ago
- 22 comments
#4 - Slow browsing
Issue -
State: closed - Opened by gares about 2 years ago
- 3 comments
#3 - Candidate branch for release 0.2.0. Adds trace visualisation and navi…
Pull Request -
State: closed - Opened by gares over 2 years ago
#2 - Candidate branch for release v0.2.0
Issue -
State: closed - Opened by jwintz over 2 years ago
- 4 comments
#1 - Delimit with "end of word" the regexes for the keywords "pi" and "sigma".
Issue -
State: closed - Opened by maggesi about 5 years ago
- 1 comment