quantified.uncertainty/squiggle
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
3,004 Commits 74 Branches 5 Tags 16 MiB
06cd81eee3
Commit Graph

69 Commits

Author SHA1 Message Date
Quinn Dougherty
06cd81eee3 rm eslint 2022-08-29 21:48:14 +08:00
Orpheus Lummis
063b6b67a1 fix: Update vscode ext manifest repository link 2022-08-22 11:08:51 -05:00
dependabot[bot]
9bffa25dea
⬆️ Bump @typescript-eslint/parser from 5.33.0 to 5.33.1 
Bumps [@typescript-eslint/parser](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/parser) from 5.33.0 to 5.33.1.
- [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.33.1/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-08-22 14:20:27 +00:00
dependabot[bot]
6bed1cb7de
⬆️ Bump @typescript-eslint/eslint-plugin from 5.32.0 to 5.33.1 
Bumps [@typescript-eslint/eslint-plugin](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/eslint-plugin) from 5.32.0 to 5.33.1.
- [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.33.1/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-08-15 17:54:58 +00:00
dependabot[bot]
bef4dc91f2
⬆️ Bump @typescript-eslint/parser from 5.32.0 to 5.33.0 
Bumps [@typescript-eslint/parser](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/parser) from 5.32.0 to 5.33.0.
- [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.33.0/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-08-15 15:00:01 +00:00
dependabot[bot]
00c6ea7d3e
⬆️ Bump eslint from 8.21.0 to 8.22.0 
Bumps [eslint](https://github.com/eslint/eslint) from 8.21.0 to 8.22.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.21.0...v8.22.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-08-15 14:44:53 +00:00
dependabot[bot]
c2f2b644a6
⬆️ Bump @types/vscode from 1.69.0 to 1.70.0 
Bumps [@types/vscode](https://github.com/DefinitelyTyped/DefinitelyTyped/tree/HEAD/types/vscode) from 1.69.0 to 1.70.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-08-08 14:22:30 +00:00
dependabot[bot]
d3da994230
⬆️ Bump @typescript-eslint/eslint-plugin from 5.31.0 to 5.32.0 
Bumps [@typescript-eslint/eslint-plugin](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/eslint-plugin) from 5.31.0 to 5.32.0.
- [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.32.0/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-08-01 19:08:01 +00:00
dependabot[bot]
31085f8218
⬆️ Bump @typescript-eslint/parser from 5.31.0 to 5.32.0 
Bumps [@typescript-eslint/parser](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/parser) from 5.31.0 to 5.32.0.
- [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.32.0/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-08-01 18:49:08 +00:00
dependabot[bot]
77fb3b14a0
⬆️ Bump @typescript-eslint/parser from 5.30.7 to 5.31.0 
Bumps [@typescript-eslint/parser](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/parser) from 5.30.7 to 5.31.0.
- [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.31.0/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-08-01 15:03:42 +00:00
dependabot[bot]
75be1eaeae
Merge pull request #929 from quantified-uncertainty/dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-5.31.0 2022-08-01 14:57:25 +00:00
dependabot[bot]
49c1881d29
⬆️ Bump @typescript-eslint/eslint-plugin from 5.30.7 to 5.31.0 
Bumps [@typescript-eslint/eslint-plugin](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/eslint-plugin) from 5.30.7 to 5.31.0.
- [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.31.0/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-08-01 14:49:59 +00:00
dependabot[bot]
2783da37b7
⬆️ Bump eslint from 8.20.0 to 8.21.0 
Bumps [eslint](https://github.com/eslint/eslint) from 8.20.0 to 8.21.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.20.0...v8.21.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-08-01 14:31:04 +00:00
Vyacheslav Matyukhin
a313dd61eb
vscode ext 0.3.1 2022-07-31 00:53:59 +04:00
Vyacheslav Matyukhin
9188dc19f0
update ext icon 2022-07-29 23:12:13 +04:00
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