issues
search
LPCIC
/
elpi-lang
visual studio code extension for Elpi
MIT License
8
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update package.json
#25
gares
closed
1 month ago
0
Bump minimal node version to 18
#24
gares
closed
1 month ago
1
fix: retain the elpi tracer context when hidden
#23
rtetley
closed
1 month ago
3
Bump braces from 3.0.2 to 3.0.3
#22
dependabot[bot]
closed
3 months ago
0
Scrollbar hidden behind bottom and top bar
#21
lukovdm
opened
11 months ago
0
Bump postcss from 8.4.20 to 8.4.31
#20
dependabot[bot]
closed
1 year ago
0
Bump word-wrap from 1.2.3 to 1.2.4
#19
dependabot[bot]
closed
1 year ago
0
Bump xml2js and @vscode/vsce
#18
dependabot[bot]
closed
1 year ago
0
Next
#17
gares
closed
1 year ago
0
wish: search by rule being tried
#16
gares
opened
1 year ago
0
wish: success/failure hints for colorblind
#15
gares
closed
1 year ago
0
bug: trace browser not showing a failed attempt
#14
gares
closed
1 year ago
5
wish: add timing info to the trace and display it
#13
gares
opened
1 year ago
0
wish: trace browser in a web page
#12
gares
opened
1 year ago
0
wish: less fields in ui
#11
gares
opened
1 year ago
0
wish: remove watcher mode
#10
gares
opened
1 year ago
1
wish: jump to ckauses in the builtin file
#9
gares
opened
1 year ago
0
goals not displayed
#7
gares
opened
1 year ago
8
search for binaries in $PATH
#6
gares
closed
1 year ago
0
Make syntax highlighting optional.
#5
jwintz
closed
1 year ago
22
Slow browsing
#4
gares
closed
1 year ago
3
Candidate branch for release 0.2.0. Adds trace visualisation and navi…
#3
gares
closed
2 years ago
0
Candidate branch for release v0.2.0
#2
jwintz
closed
2 years ago
4
Delimit with "end of word" the regexes for the keywords "pi" and "sigma".
#1
maggesi
closed
5 years ago
1