completium vscode-archetype issues

completium / vscode-archetype

Archetype language support for Visual Studio Code

MIT License

2 stars 2 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Bump semver from 5.7.1 to 5.7.2

#27 dependabot[bot] opened 1 year ago
0
Confusing error message: No such method: "update"

#26 grum-tez opened 1 year ago
0
Bump qs from 6.10.1 to 6.11.0

#25 dependabot[bot] closed 1 year ago
0
Fix docker compile for wsl2

#24 johannww closed 1 year ago
1
refactor syntax highlighter

#23 rognierbenoit closed 1 year ago
1
Provide REPL as extension command

#22 rognierbenoit opened 2 years ago
0
Provide Step by step exectution in debug mode

#21 rognierbenoit closed 11 months ago
1
Improve LSP features

#20 rognierbenoit opened 2 years ago
0
Provide Archetype Linter & formatter

#19 rognierbenoit closed 11 months ago
1
Bump nth-check from 2.0.0 to 2.0.1

#18 dependabot[bot] closed 2 years ago
1
Bump tar from 5.0.7 to 5.0.10 in /server

#17 dependabot[bot] closed 3 years ago
1
Bump tar from 5.0.7 to 5.0.10

#16 dependabot[bot] closed 3 years ago
1
Bump tar from 5.0.7 to 5.0.10 in /client

#15 dependabot[bot] closed 3 years ago
1
Bump path-parse from 1.0.6 to 1.0.7

#14 dependabot[bot] closed 3 years ago
0
Bump tar from 5.0.5 to 5.0.7 in /server

#13 dependabot[bot] closed 3 years ago
0
Bump tar from 5.0.5 to 5.0.7

#12 dependabot[bot] closed 3 years ago
0
Bump tar from 5.0.5 to 5.0.7 in /client

#11 dependabot[bot] closed 3 years ago
0
Bump lodash from 4.17.20 to 4.17.21

#10 dependabot[bot] closed 3 years ago
0
Open VSX Listing: Signing the Publisher Agreement

#9 spoenemann opened 3 years ago
0
Simple file converted (via archetype and Why3) to Coq giving error

#8 Coda-Coda opened 4 years ago
5
When opening vscode: /bin/sh: archetype: command not found

#7 Coda-Coda opened 4 years ago
3
offer to take an argument when caller is needed

#6 chiptus closed 4 years ago
2
Listen to closing tabs to clear errors

#5 rognierbenoit opened 4 years ago
0
add parameter setting for mlw path

#4 guillaumeduhamel closed 5 years ago
0
show storage invariant in outline

#3 rognierbenoit closed 5 years ago
1
highlight complex type in field

#2 guillaumeduhamel opened 5 years ago
1
enhance syntax highlighting on some keywords/key phrases

#1 rognierbenoit closed 5 years ago
0