smucclaw/ide issues and pull requests

#49 - Bump braces from 3.0.2 to 3.0.3

Pull Request - State: open - Opened by dependabot[bot] 6 months ago
Labels: dependencies

#49 - Bump braces from 3.0.2 to 3.0.3

Pull Request - State: open - Opened by dependabot[bot] 6 months ago
Labels: dependencies

#48 - 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

#48 - 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

#47 - Bump semver from 7.3.4 to 7.5.4

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

#47 - Bump semver from 7.3.4 to 7.5.4

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

#46 - Bump semver from 7.3.4 to 7.5.3

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

#46 - Bump semver from 7.3.4 to 7.5.3

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

#45 - Bump minimatch and mocha

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

#45 - Bump minimatch and mocha

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

#44 - add link to vscode extension samples repo

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

#44 - add link to vscode extension samples repo

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

#43 - add onboarding information to README

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

#43 - add onboarding information to README

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

#42 - Bump glob-parent from 5.1.1 to 5.1.2

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

#42 - Bump glob-parent from 5.1.1 to 5.1.2

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

#41 - Bump lodash from 4.17.20 to 4.17.21

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

#41 - Bump lodash from 4.17.20 to 4.17.21

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

#40 - update to latest cli syntax

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

#40 - update to latest cli syntax

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

#39 - Fix highlighting for list of variables in for block

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

#39 - Fix highlighting for list of variables in for block

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

#38 - update installation instructions

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

#38 - update installation instructions

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

#37 - Subsequent variable names in list are not being highlighted

Issue - State: closed - Opened by Gauntlet173 over 3 years ago - 5 comments
Labels: bug

#37 - Subsequent variable names in list are not being highlighted

Issue - State: closed - Opened by Gauntlet173 over 3 years ago - 5 comments
Labels: bug

#36 - Flip language mapping .l4 -> bl4

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

#36 - Flip language mapping .l4 -> bl4

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

#35 - Fix link markdown

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

#35 - Fix link markdown

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

#34 - update README

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

#34 - update README

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

#33 - Fixes for class and var declarations

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

#33 - Fixes for class and var declarations

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

#32 - global decl highlighting

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

#32 - global decl highlighting

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

#31 - fix end logic for assertion highlights visibility

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

#31 - fix end logic for assertion highlights visibility

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

#30 - Rule highlights

Pull Request - State: closed - Opened by akjw over 3 years ago - 1 comment

#30 - Rule highlights

Pull Request - State: closed - Opened by akjw over 3 years ago - 1 comment

#29 - assert highlighting

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

#29 - assert highlighting

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

#28 - Class highlight

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

#28 - Class highlight

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

#27 - sketch up a vision for what the "actual protocol" features would look like

Issue - State: open - Opened by mengwong over 3 years ago

#27 - sketch up a vision for what the "actual protocol" features would look like

Issue - State: open - Opened by mengwong over 3 years ago

#26 - automatic IDE server downloading

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

#26 - automatic IDE server downloading

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

#25 - Add syntax highlighting for lexicon section

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

#25 - Add syntax highlighting for lexicon section

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

#24 - Add empty setup for BL4 language syntax

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

#24 - Add empty setup for BL4 language syntax

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

#23 - Add client for language server

Pull Request - State: closed - Opened by kharus almost 4 years ago

#23 - Add client for language server

Pull Request - State: closed - Opened by kharus almost 4 years ago

#22 - Remove defaulted config options and re-format files

Pull Request - State: closed - Opened by kharus almost 4 years ago

#22 - Remove defaulted config options and re-format files

Pull Request - State: closed - Opened by kharus almost 4 years ago

#21 - update mkGraph & mkMarkdown with new flags

Pull Request - State: closed - Opened by akjw almost 4 years ago

#21 - update mkGraph & mkMarkdown with new flags

Pull Request - State: closed - Opened by akjw almost 4 years ago

#20 - Make party tolerant to new lines

Pull Request - State: closed - Opened by kharus almost 4 years ago

#20 - Make party tolerant to new lines

Pull Request - State: closed - Opened by kharus almost 4 years ago

#19 - add upon-limb highlighting and match for haskell style comments

Pull Request - State: closed - Opened by joeyqlim almost 4 years ago - 1 comment

#19 - add upon-limb highlighting and match for haskell style comments

Pull Request - State: closed - Opened by joeyqlim almost 4 years ago - 1 comment

#18 - Reformat syntax according to prettier

Pull Request - State: closed - Opened by kharus almost 4 years ago

#18 - Reformat syntax according to prettier

Pull Request - State: closed - Opened by kharus almost 4 years ago

#17 - add define-limb highlights

Pull Request - State: closed - Opened by akjw almost 4 years ago

#17 - add define-limb highlights

Pull Request - State: closed - Opened by akjw almost 4 years ago

#16 - add deontic-limb end logic

Pull Request - State: closed - Opened by akjw almost 4 years ago

#16 - add deontic-limb end logic

Pull Request - State: closed - Opened by akjw almost 4 years ago

#15 - Add lint error to show merge block on GitHub

Pull Request - State: closed - Opened by kharus almost 4 years ago - 1 comment

#14 - Add recommended rules from TSLint manual

Pull Request - State: closed - Opened by kharus almost 4 years ago

#13 - deadline limb, language strings

Pull Request - State: closed - Opened by joeyqlim almost 4 years ago

#12 - Enable CI

Pull Request - State: closed - Opened by kharus almost 4 years ago

#11 - use webview for markdown

Pull Request - State: closed - Opened by akjw almost 4 years ago - 1 comment

#10 - generate l4 markdown

Pull Request - State: closed - Opened by akjw almost 4 years ago

#9 - Reformat code with prettier

Pull Request - State: closed - Opened by kharus almost 4 years ago

#8 - Graph pipe hack

Pull Request - State: closed - Opened by kharus almost 4 years ago

#7 - basic prettier typescript config

Pull Request - State: closed - Opened by joeyqlim almost 4 years ago

#6 - Add basic syntax highlighting

Pull Request - State: closed - Opened by kharus almost 4 years ago

#5 - fix #3 applying gts format

Pull Request - State: closed - Opened by joeyqlim almost 4 years ago - 1 comment

#4 - move commands into separate files

Pull Request - State: closed - Opened by akjw almost 4 years ago

#3 - Add style configuration

Issue - State: closed - Opened by kharus almost 4 years ago - 1 comment

#2 - Add split configuration for graph & virtualdoc commands

Pull Request - State: closed - Opened by akjw almost 4 years ago

#1 - Add initial project skeleton file as generated by yoman

Pull Request - State: closed - Opened by kharus almost 4 years ago

GitHub / smucclaw/ide issues and pull requests