quantified.uncertainty/squiggle
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
2,820 Commits 74 Branches 5 Tags 16 MiB
1642aa5fce
Commit Graph

54 Commits

Author SHA1 Message Date
Vyacheslav Matyukhin
1642aa5fce
bump vscode ext version 2022-07-29 22:59:49 +04:00
Quinn
ffa0f40fb1
Merge pull request #892 from quantified-uncertainty/mdx-cli 
imported bindings
 2022-07-28 12:55:35 -04:00
Quinn Dougherty
33e5ebd6da yarn format compels me 2022-07-28 10:43:59 -04:00
Ozzie Gooen
563f82f48c
Merge pull request #796 from quantified-uncertainty/collapsible 
Collapsible records in playground output
 2022-07-26 17:26:21 -07:00
dependabot[bot]
79c86146ca
⬆️ Bump @typescript-eslint/parser from 5.30.6 to 5.30.7 
Bumps [@typescript-eslint/parser](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/parser) from 5.30.6 to 5.30.7.
- [Release notes](https://github.com/typescript-eslint/typescript-eslint/releases)
- [Changelog](https://github.com/typescript-eslint/typescript-eslint/blob/main/packages/parser/CHANGELOG.md)
- [Commits](https://github.com/typescript-eslint/typescript-eslint/commits/v5.30.7/packages/parser)

---
updated-dependencies:
- dependency-name: "@typescript-eslint/parser"
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-25 16:13:13 +00:00
dependabot[bot]
3d2b2f4c62
⬆️ Bump @typescript-eslint/eslint-plugin from 5.30.6 to 5.30.7 
Bumps [@typescript-eslint/eslint-plugin](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/eslint-plugin) from 5.30.6 to 5.30.7.
- [Release notes](https://github.com/typescript-eslint/typescript-eslint/releases)
- [Changelog](https://github.com/typescript-eslint/typescript-eslint/blob/main/packages/eslint-plugin/CHANGELOG.md)
- [Commits](https://github.com/typescript-eslint/typescript-eslint/commits/v5.30.7/packages/eslint-plugin)

---
updated-dependencies:
- dependency-name: "@typescript-eslint/eslint-plugin"
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-25 14:23:47 +00:00
Vyacheslav Matyukhin
c7bf40e3e8
remove showControls from website code and vscode ext 2022-07-23 00:03:55 +04:00
Vyacheslav Matyukhin
8f4259cef3
Merge branch 'develop' into collapsible 2022-07-20 23:22:16 +04:00
dependabot[bot]
813c97db18
⬆️ Bump vscode-languageclient from 8.0.1 to 8.0.2 
Bumps [vscode-languageclient](https://github.com/Microsoft/vscode-languageserver-node/tree/HEAD/client) from 8.0.1 to 8.0.2.
- [Release notes](https://github.com/Microsoft/vscode-languageserver-node/releases)
- [Commits](https://github.com/Microsoft/vscode-languageserver-node/commits/release/client/8.0.2/client)

---
updated-dependencies:
- dependency-name: vscode-languageclient
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-18 16:25:40 +00:00
Ozzie Gooen
5ee75d343e
Merge pull request #850 from quantified-uncertainty/dependabot/npm_and_yarn/eslint-8.20.0 
⬆️ Bump eslint from 8.19.0 to 8.20.0
 2022-07-18 08:50:17 -07:00
dependabot[bot]
93d1b486f8
⬆️ Bump eslint from 8.19.0 to 8.20.0 
Bumps [eslint](https://github.com/eslint/eslint) from 8.19.0 to 8.20.0.
- [Release notes](https://github.com/eslint/eslint/releases)
- [Changelog](https://github.com/eslint/eslint/blob/main/CHANGELOG.md)
- [Commits](https://github.com/eslint/eslint/compare/v8.19.0...v8.20.0)

---
updated-dependencies:
- dependency-name: eslint
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-18 14:37:20 +00:00
dependabot[bot]
5d02c82915
⬆️ Bump vscode-languageserver from 8.0.1 to 8.0.2 
Bumps [vscode-languageserver](https://github.com/Microsoft/vscode-languageserver-node/tree/HEAD/server) from 8.0.1 to 8.0.2.
- [Release notes](https://github.com/Microsoft/vscode-languageserver-node/releases)
- [Commits](https://github.com/Microsoft/vscode-languageserver-node/commits/release/client/8.0.2/server)

---
updated-dependencies:
- dependency-name: vscode-languageserver
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-18 14:32:03 +00:00
NunoSempere
42730e980f tweak: Indicate that the configuration step is optional 2022-07-13 13:39:07 -04:00
NunoSempere
abedb59a17 tweak: Show what to click in the extension 2022-07-13 13:37:17 -04:00
NunoSempere
a9d9ed9ae6 tweak: Better documentation 
So that even newbies can understand.
 2022-07-13 13:29:32 -04:00
dependabot[bot]
9a5c101d9d
⬆️ Bump @typescript-eslint/parser from 5.30.5 to 5.30.6 
Bumps [@typescript-eslint/parser](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/parser) from 5.30.5 to 5.30.6.
- [Release notes](https://github.com/typescript-eslint/typescript-eslint/releases)
- [Changelog](https://github.com/typescript-eslint/typescript-eslint/blob/main/packages/parser/CHANGELOG.md)
- [Commits](https://github.com/typescript-eslint/typescript-eslint/commits/v5.30.6/packages/parser)

---
updated-dependencies:
- dependency-name: "@typescript-eslint/parser"
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-11 18:07:30 +00:00
dependabot[bot]
7fd4012454
⬆️ Bump @typescript-eslint/eslint-plugin from 5.30.5 to 5.30.6 
Bumps [@typescript-eslint/eslint-plugin](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/eslint-plugin) from 5.30.5 to 5.30.6.
- [Release notes](https://github.com/typescript-eslint/typescript-eslint/releases)
- [Changelog](https://github.com/typescript-eslint/typescript-eslint/blob/main/packages/eslint-plugin/CHANGELOG.md)
- [Commits](https://github.com/typescript-eslint/typescript-eslint/commits/v5.30.6/packages/eslint-plugin)

---
updated-dependencies:
- dependency-name: "@typescript-eslint/eslint-plugin"
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-11 17:51:55 +00:00
dependabot[bot]
f0afcc4a66
⬆️ Bump @typescript-eslint/parser from 5.30.4 to 5.30.5 
Bumps [@typescript-eslint/parser](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/parser) from 5.30.4 to 5.30.5.
- [Release notes](https://github.com/typescript-eslint/typescript-eslint/releases)
- [Changelog](https://github.com/typescript-eslint/typescript-eslint/blob/main/packages/parser/CHANGELOG.md)
- [Commits](https://github.com/typescript-eslint/typescript-eslint/commits/v5.30.5/packages/parser)

---
updated-dependencies:
- dependency-name: "@typescript-eslint/parser"
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-11 16:50:34 +00:00
dependabot[bot]
3fa0904d28
⬆️ Bump @typescript-eslint/eslint-plugin from 5.30.4 to 5.30.5 
Bumps [@typescript-eslint/eslint-plugin](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/eslint-plugin) from 5.30.4 to 5.30.5.
- [Release notes](https://github.com/typescript-eslint/typescript-eslint/releases)
- [Changelog](https://github.com/typescript-eslint/typescript-eslint/blob/main/packages/eslint-plugin/CHANGELOG.md)
- [Commits](https://github.com/typescript-eslint/typescript-eslint/commits/v5.30.5/packages/eslint-plugin)

---
updated-dependencies:
- dependency-name: "@typescript-eslint/eslint-plugin"
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-11 16:41:02 +00:00
Quinn
b5f6aa64ac
Merge pull request #806 from quantified-uncertainty/dependabot/npm_and_yarn/eslint-8.19.0 
⬆️ Bump eslint from 8.18.0 to 8.19.0
 2022-07-11 12:38:26 -04:00
dependabot[bot]
af75f4fd1d
⬆️ Bump eslint from 8.18.0 to 8.19.0 
Bumps [eslint](https://github.com/eslint/eslint) from 8.18.0 to 8.19.0.
- [Release notes](https://github.com/eslint/eslint/releases)
- [Changelog](https://github.com/eslint/eslint/blob/main/CHANGELOG.md)
- [Commits](https://github.com/eslint/eslint/compare/v8.18.0...v8.19.0)

---
updated-dependencies:
- dependency-name: eslint
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-11 16:26:53 +00:00
dependabot[bot]
fbbab10391
⬆️ Bump @types/vscode from 1.68.0 to 1.69.0 
Bumps [@types/vscode](https://github.com/DefinitelyTyped/DefinitelyTyped/tree/HEAD/types/vscode) from 1.68.0 to 1.69.0.
- [Release notes](https://github.com/DefinitelyTyped/DefinitelyTyped/releases)
- [Commits](https://github.com/DefinitelyTyped/DefinitelyTyped/commits/HEAD/types/vscode)

---
updated-dependencies:
- dependency-name: "@types/vscode"
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-11 14:50:42 +00:00
Vyacheslav Matyukhin
3ca80daee8
remove showTypes setting 2022-07-08 17:13:26 +04:00
Vyacheslav Matyukhin
012112336f
Merge pull request #780 from quantified-uncertainty/dependabot/npm_and_yarn/vscode-languageserver-8.0.1 
⬆️ Bump vscode-languageserver from 7.0.0 to 8.0.1
 2022-07-07 15:13:33 +03:00
dependabot[bot]
d7952e82f5
⬆️ Bump @typescript-eslint/eslint-plugin from 5.29.0 to 5.30.4 
Bumps [@typescript-eslint/eslint-plugin](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/eslint-plugin) from 5.29.0 to 5.30.4.
- [Release notes](https://github.com/typescript-eslint/typescript-eslint/releases)
- [Changelog](https://github.com/typescript-eslint/typescript-eslint/blob/main/packages/eslint-plugin/CHANGELOG.md)
- [Commits](https://github.com/typescript-eslint/typescript-eslint/commits/v5.30.4/packages/eslint-plugin)

---
updated-dependencies:
- dependency-name: "@typescript-eslint/eslint-plugin"
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-04 14:45:33 +00:00
dependabot[bot]
7c0e4e778c
⬆️ Bump @typescript-eslint/parser from 5.29.0 to 5.30.4 
Bumps [@typescript-eslint/parser](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/parser) from 5.29.0 to 5.30.4.
- [Release notes](https://github.com/typescript-eslint/typescript-eslint/releases)
- [Changelog](https://github.com/typescript-eslint/typescript-eslint/blob/main/packages/parser/CHANGELOG.md)
- [Commits](https://github.com/typescript-eslint/typescript-eslint/commits/v5.30.4/packages/parser)

---
updated-dependencies:
- dependency-name: "@typescript-eslint/parser"
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-04 14:32:46 +00:00
dependabot[bot]
043205eca8
⬆️ Bump vscode-languageserver from 7.0.0 to 8.0.1 
Bumps [vscode-languageserver](https://github.com/Microsoft/vscode-languageserver-node/tree/HEAD/server) from 7.0.0 to 8.0.1.
- [Release notes](https://github.com/Microsoft/vscode-languageserver-node/releases)
- [Commits](https://github.com/Microsoft/vscode-languageserver-node/commits/release/client/8.0.1/server)

---
updated-dependencies:
- dependency-name: vscode-languageserver
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-06-27 14:23:31 +00:00
Vyacheslav Matyukhin
81854702a7
highlight record keys 2022-06-26 11:42:56 +03:00
Vyacheslav Matyukhin
96c2a982cb
semantic highlight based on squiggle-lang AST 2022-06-26 11:15:25 +03:00
Vyacheslav Matyukhin
9da6c12fc3
fix compile script 2022-06-23 12:00:12 +03:00
Vyacheslav Matyukhin
8e4fb99b53
cleanup unused code; fix tsc builds 2022-06-23 10:35:42 +03:00
Vyacheslav Matyukhin
250d42707c
language server for vscode; patched vsce 2022-06-22 01:00:43 +03:00
Vyacheslav Matyukhin
f7bf1681d6
remove vscode-uri dep, release 0.1.2 ext version 2022-06-21 01:07:27 +03:00
Vyacheslav Matyukhin
9aa97f66b0
vscode: some docs, squiggleU support 2022-06-21 00:46:12 +03:00
Vyacheslav Matyukhin
a81c0aae0b
fix vscode-uri dependency 2022-06-21 00:43:50 +03:00
Vyacheslav Matyukhin
00b1e6bb96
basic language-configuration 2022-06-21 00:26:16 +03:00
Vyacheslav Matyukhin
dab6b3d09e
highlight keywords 2022-06-20 23:57:27 +03:00
Vyacheslav Matyukhin
7441027e0f
first try at squiggle syntax highlighting 2022-06-20 23:36:46 +03:00
Vyacheslav Matyukhin
a2a6ff8ad0
vscode: configuration for show* 2022-06-20 23:34:53 +03:00
Vyacheslav Matyukhin
24f4143cda
preview mode for vscode ext 2022-06-20 23:34:50 +03:00
dependabot[bot]
12a1c88ab4
⬆️ Bump typescript from 4.7.3 to 4.7.4 
Bumps [typescript](https://github.com/Microsoft/TypeScript) from 4.7.3 to 4.7.4.
- [Release notes](https://github.com/Microsoft/TypeScript/releases)
- [Commits](https://github.com/Microsoft/TypeScript/compare/v4.7.3...v4.7.4)

---
updated-dependencies:
- dependency-name: typescript
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-06-20 17:43:29 +00:00
Ozzie Gooen
c403be5903
Merge pull request #741 from quantified-uncertainty/vscodeext-ops-docs 
Vscodeext ops docs (begin issue 729)
 2022-06-20 10:33:31 -07:00
dependabot[bot]
4ee060fff7
⬆️ Bump @types/node from 17.0.42 to 18.0.0 
Bumps [@types/node](https://github.com/DefinitelyTyped/DefinitelyTyped/tree/HEAD/types/node) from 17.0.42 to 18.0.0.
- [Release notes](https://github.com/DefinitelyTyped/DefinitelyTyped/releases)
- [Commits](https://github.com/DefinitelyTyped/DefinitelyTyped/commits/HEAD/types/node)

---
updated-dependencies:
- dependency-name: "@types/node"
  dependency-type: direct:development
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-06-20 16:16:09 +00:00
Quinn Dougherty
0eebacf85d updated README.md in vscode-ext 2022-06-20 11:59:10 -04:00
Quinn Dougherty
ddb373de8a ran prettier from toplevel 2022-06-20 11:53:19 -04:00
Quinn Dougherty
358769a179 issue #729 2022-06-20 11:52:54 -04:00
dependabot[bot]
9a04003a8e
⬆️ Bump eslint from 8.17.0 to 8.18.0 
Bumps [eslint](https://github.com/eslint/eslint) from 8.17.0 to 8.18.0.
- [Release notes](https://github.com/eslint/eslint/releases)
- [Changelog](https://github.com/eslint/eslint/blob/main/CHANGELOG.md)
- [Commits](https://github.com/eslint/eslint/compare/v8.17.0...v8.18.0)

---
updated-dependencies:
- dependency-name: eslint
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-06-20 14:44:38 +00:00
Vyacheslav Matyukhin
237f6f01d9
rebuild deps on vscode compile; split components build targets 2022-06-19 23:59:17 +03:00
Vyacheslav Matyukhin
112eae9115
new vscode ext publisher & icon 2022-06-18 23:56:05 +03:00
Vyacheslav Matyukhin
77c2e51aca
vscode ext 0.0.2, minor tweaks 2022-06-18 21:39:23 +03:00