Commit Graph

450 Commits

Author SHA1 Message Date
Vyacheslav Matyukhin
c401f39520
remove collapse animation; tooltips with types 2022-07-08 16:58:34 +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
Vyacheslav Matyukhin
82dc860985
Merge branch 'develop' into pause-autoplay 2022-07-06 02:23:17 +04:00
Vyacheslav Matyukhin
cdfddf5888
animate autorun toggle 2022-07-06 02:07:18 +04:00
Sam Nolan
d46d524859
Merge pull request #759 from quantified-uncertainty/observable-refactor
Remove observable boilerplate + refactors
2022-07-06 07:36:28 +10:00
Quinn
bceb9821bd
Merge pull request #790 from quantified-uncertainty/dependabot/npm_and_yarn/clsx-1.2.0
⬆️ Bump clsx from 1.1.1 to 1.2.0
2022-07-04 11:23:31 -04:00
dependabot[bot]
e60dff110a
Merge pull request #791 from quantified-uncertainty/dependabot/npm_and_yarn/mathjs-10.6.4 2022-07-04 14:58:10 +00:00
dependabot[bot]
a8eb9a3aaa
Merge pull request #789 from quantified-uncertainty/dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-5.30.4 2022-07-04 14:50:48 +00: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]
c065510413
⬆️ Bump clsx from 1.1.1 to 1.2.0
Bumps [clsx](https://github.com/lukeed/clsx) from 1.1.1 to 1.2.0.
- [Release notes](https://github.com/lukeed/clsx/releases)
- [Commits](https://github.com/lukeed/clsx/compare/v1.1.1...v1.2.0)

---
updated-dependencies:
- dependency-name: clsx
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-07-04 14:44:40 +00:00
dependabot[bot]
5bee5cb4b8
Merge pull request #788 from quantified-uncertainty/dependabot/npm_and_yarn/prism-react-renderer-1.3.5 2022-07-04 14:43:18 +00:00
dependabot[bot]
4915f6a5b8
⬆️ Bump mathjs from 10.6.3 to 10.6.4
Bumps [mathjs](https://github.com/josdejong/mathjs) from 10.6.3 to 10.6.4.
- [Release notes](https://github.com/josdejong/mathjs/releases)
- [Changelog](https://github.com/josdejong/mathjs/blob/develop/HISTORY.md)
- [Commits](https://github.com/josdejong/mathjs/compare/v10.6.3...v10.6.4)

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

Signed-off-by: dependabot[bot] <support@github.com>
2022-07-04 14:39:55 +00:00
dependabot[bot]
0eb2268875
⬆️ Bump prism-react-renderer from 1.3.3 to 1.3.5
Bumps [prism-react-renderer](https://github.com/FormidableLabs/prism-react-renderer) from 1.3.3 to 1.3.5.
- [Release notes](https://github.com/FormidableLabs/prism-react-renderer/releases)
- [Commits](https://github.com/FormidableLabs/prism-react-renderer/compare/v1.3.3...v1.3.5)

---
updated-dependencies:
- dependency-name: prism-react-renderer
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-07-04 14:33:51 +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
Sam Nolan
df3608d9b2 Merge branch 'develop' into observable-refactor 2022-06-28 00:37:16 +00:00
Quinn
8d7e6297cc
Merge pull request #784 from quantified-uncertainty/dependabot/npm_and_yarn/mathjs-10.6.3
⬆️ Bump mathjs from 10.6.1 to 10.6.3
2022-06-27 12:49:25 -04:00
Quinn
c8a25546dc
Merge pull request #783 from quantified-uncertainty/dependabot/npm_and_yarn/fast-check-3.0.1
⬆️ Bump fast-check from 3.0.0 to 3.0.1
2022-06-27 12:48:57 -04:00
Quinn
e964814895
Merge pull request #782 from quantified-uncertainty/dependabot/npm_and_yarn/hookform/resolvers-2.9.3
⬆️ Bump @hookform/resolvers from 2.9.1 to 2.9.3
2022-06-27 12:48:27 -04:00
dependabot[bot]
581d21be93
⬆️ Bump mathjs from 10.6.1 to 10.6.3
Bumps [mathjs](https://github.com/josdejong/mathjs) from 10.6.1 to 10.6.3.
- [Release notes](https://github.com/josdejong/mathjs/releases)
- [Changelog](https://github.com/josdejong/mathjs/blob/develop/HISTORY.md)
- [Commits](https://github.com/josdejong/mathjs/compare/v10.6.1...v10.6.3)

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

Signed-off-by: dependabot[bot] <support@github.com>
2022-06-27 14:25:22 +00:00
dependabot[bot]
587ca1f42b
⬆️ Bump fast-check from 3.0.0 to 3.0.1
Bumps [fast-check](https://github.com/dubzzz/fast-check/tree/HEAD/packages/fast-check) from 3.0.0 to 3.0.1.
- [Release notes](https://github.com/dubzzz/fast-check/releases)
- [Changelog](https://github.com/dubzzz/fast-check/blob/main/packages/fast-check/CHANGELOG.md)
- [Commits](https://github.com/dubzzz/fast-check/commits/v3.0.1/packages/fast-check)

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

Signed-off-by: dependabot[bot] <support@github.com>
2022-06-27 14:24:50 +00:00
dependabot[bot]
a877be36fa
⬆️ Bump @hookform/resolvers from 2.9.1 to 2.9.3
Bumps [@hookform/resolvers](https://github.com/react-hook-form/resolvers) from 2.9.1 to 2.9.3.
- [Release notes](https://github.com/react-hook-form/resolvers/releases)
- [Commits](https://github.com/react-hook-form/resolvers/compare/v2.9.1...v2.9.3)

---
updated-dependencies:
- dependency-name: "@hookform/resolvers"
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-06-27 14:24:19 +00:00
dependabot[bot]
5e7f85dbb7
⬆️ Bump react-hook-form from 7.32.2 to 7.33.0
Bumps [react-hook-form](https://github.com/react-hook-form/react-hook-form) from 7.32.2 to 7.33.0.
- [Release notes](https://github.com/react-hook-form/react-hook-form/releases)
- [Changelog](https://github.com/react-hook-form/react-hook-form/blob/master/CHANGELOG.md)
- [Commits](https://github.com/react-hook-form/react-hook-form/compare/v7.32.2...v7.33.0)

---
updated-dependencies:
- dependency-name: react-hook-form
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-06-27 14:23:58 +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
Sam Nolan
ac7ecd9bdc Merge branch 'develop' into observable-refactor 2022-06-24 05:14:21 +00:00
Sam Nolan
fc68a8d069 Remove observable boilerplate + refactors 2022-06-24 03:43:30 +00:00
Vyacheslav Matyukhin
490ea7edd5
Merge branch 'develop' into language-server 2022-06-23 10:44:58 +03:00
Sam Nolan
819e4ea709 Fix yarn lock 2022-06-23 07:32:23 +00:00
dependabot[bot]
fc2352ccc2
Merge pull request #619 from quantified-uncertainty/dependabot/npm_and_yarn/fast-check-3.0.0 2022-06-23 01:36:12 +00:00
Ozzie Gooen
ebd66db27a Updated yarn.lock 2022-06-22 18:29:45 -07:00
Quinn Dougherty
e253cf6a3a tried another regen of yarn.lock 2022-06-22 18:13:37 -04:00
Quinn Dougherty
9b8b4e5407 regen'd yarn.lock 2022-06-22 17:57:58 -04:00
Recursing
8c38991f5b compress strings with pako 2022-06-22 01:48:27 +02:00
Vyacheslav Matyukhin
0cf5c47c28
update yarn.lock 2022-06-22 01:52:47 +03:00
Vyacheslav Matyukhin
840944f566
external stdlib for rescript 2022-06-22 01:47:33 +03:00
Vyacheslav Matyukhin
250d42707c
language server for vscode; patched vsce 2022-06-22 01:00:43 +03:00
Quinn Dougherty
507d8e9f98 regenerated yarn.lock; moved fc.float to fc.double in symbolic_test.ts 2022-06-21 16:14:45 -04:00
Quinn Dougherty
e345ca2039 merging develop into dependabot/npm_and_yarn/fast-check-3.0.0 2022-06-21 12:53:40 -04:00
Vyacheslav Matyukhin
f7bf1681d6
remove vscode-uri dep, release 0.1.2 ext version 2022-06-21 01:07:27 +03:00
Vyacheslav Matyukhin
a81c0aae0b
fix vscode-uri dependency 2022-06-21 00:43:50 +03:00
Vyacheslav Matyukhin
99bd6d421d
update yarn.lock 2022-06-20 23:38:09 +03:00
Vyacheslav Matyukhin
7441027e0f
first try at squiggle syntax highlighting 2022-06-20 23:36:46 +03:00
Vyacheslav Matyukhin
24f4143cda
preview mode for vscode ext 2022-06-20 23:34:50 +03:00
dependabot[bot]
6b1f2b095a
⬆️ Bump fast-check from 2.25.0 to 3.0.0
Bumps [fast-check](https://github.com/dubzzz/fast-check) from 2.25.0 to 3.0.0.
- [Release notes](https://github.com/dubzzz/fast-check/releases)
- [Changelog](https://github.com/dubzzz/fast-check/blob/main/CHANGELOG.md)
- [Commits](https://github.com/dubzzz/fast-check/compare/v2.25.0...v3.0.0)

---
updated-dependencies:
- dependency-name: fast-check
  dependency-type: direct:development
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-06-20 17:56:35 +00: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
Quinn
45106afb2f
Merge pull request #742 from quantified-uncertainty/dependabot/npm_and_yarn/storybook/manager-webpack5-6.5.9
⬆️ Bump @storybook/manager-webpack5 from 6.5.8 to 6.5.9
2022-06-20 12:47:05 -04:00
Quinn
3b65b1b4d1
Merge pull request #743 from quantified-uncertainty/dependabot/npm_and_yarn/mini-css-extract-plugin-2.6.1
⬆️ Bump mini-css-extract-plugin from 2.6.0 to 2.6.1
2022-06-20 12:36:20 -04:00
dependabot[bot]
be0f71d90d
⬆️ Bump @storybook/manager-webpack5 from 6.5.8 to 6.5.9
Bumps [@storybook/manager-webpack5](https://github.com/storybookjs/storybook/tree/HEAD/lib/core) from 6.5.8 to 6.5.9.
- [Release notes](https://github.com/storybookjs/storybook/releases)
- [Changelog](https://github.com/storybookjs/storybook/blob/v6.5.9/CHANGELOG.md)
- [Commits](https://github.com/storybookjs/storybook/commits/v6.5.9/lib/core)

---
updated-dependencies:
- dependency-name: "@storybook/manager-webpack5"
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-06-20 16:24:18 +00:00
dependabot[bot]
b194de76fc
⬆️ Bump mini-css-extract-plugin from 2.6.0 to 2.6.1
Bumps [mini-css-extract-plugin](https://github.com/webpack-contrib/mini-css-extract-plugin) from 2.6.0 to 2.6.1.
- [Release notes](https://github.com/webpack-contrib/mini-css-extract-plugin/releases)
- [Changelog](https://github.com/webpack-contrib/mini-css-extract-plugin/blob/master/CHANGELOG.md)
- [Commits](https://github.com/webpack-contrib/mini-css-extract-plugin/compare/v2.6.0...v2.6.1)

---
updated-dependencies:
- dependency-name: mini-css-extract-plugin
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-06-20 16:17:19 +00: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
cf0518edf5
Merge pull request #739 from quantified-uncertainty/dependabot/npm_and_yarn/headlessui/react-1.6.5
⬆️ Bump @headlessui/react from 1.6.4 to 1.6.5
2022-06-20 12:14:43 -04:00