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 |
|
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 |
|
Vyacheslav Matyukhin
|
490ea7edd5
|
Merge branch 'develop' into language-server
|
2022-06-23 10:44:58 +03: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 |
|
Quinn
|
e5228eeb61
|
Merge pull request #738 from quantified-uncertainty/dependabot/npm_and_yarn/storybook/react-6.5.9
⬆️ Bump @storybook/react from 6.5.8 to 6.5.9
|
2022-06-20 12:14:28 -04:00 |
|
dependabot[bot]
|
d177bb07c1
|
⬆️ Bump @headlessui/react from 1.6.4 to 1.6.5
Bumps [@headlessui/react](https://github.com/tailwindlabs/headlessui/tree/HEAD/packages/@headlessui-react) from 1.6.4 to 1.6.5.
- [Release notes](https://github.com/tailwindlabs/headlessui/releases)
- [Changelog](https://github.com/tailwindlabs/headlessui/blob/main/packages/@headlessui-react/CHANGELOG.md)
- [Commits](https://github.com/tailwindlabs/headlessui/commits/@headlessui/react@v1.6.5/packages/@headlessui-react)
---
updated-dependencies:
- dependency-name: "@headlessui/react"
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-06-20 16:01:06 +00:00 |
|
dependabot[bot]
|
2797aceb0d
|
Merge pull request #737 from quantified-uncertainty/dependabot/npm_and_yarn/storybook/addon-links-6.5.9
|
2022-06-20 15:57:22 +00:00 |
|
dependabot[bot]
|
3da9ed2e80
|
Merge pull request #736 from quantified-uncertainty/dependabot/npm_and_yarn/tailwindcss-3.1.3
|
2022-06-20 15:49:38 +00:00 |
|
dependabot[bot]
|
49e90b86b7
|
⬆️ Bump @storybook/react from 6.5.8 to 6.5.9
Bumps [@storybook/react](https://github.com/storybookjs/storybook/tree/HEAD/app/react) 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/app/react)
---
updated-dependencies:
- dependency-name: "@storybook/react"
dependency-type: direct:development
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-06-20 15:46:42 +00:00 |
|
dependabot[bot]
|
39e1302fa8
|
⬆️ Bump @storybook/addon-links from 6.5.8 to 6.5.9
Bumps [@storybook/addon-links](https://github.com/storybookjs/storybook/tree/HEAD/addons/links) 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/addons/links)
---
updated-dependencies:
- dependency-name: "@storybook/addon-links"
dependency-type: direct:development
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-06-20 15:46:21 +00:00 |
|
Quinn
|
cb2fbb0c07
|
Merge pull request #735 from quantified-uncertainty/dependabot/npm_and_yarn/react-hook-form-7.32.2
⬆️ Bump react-hook-form from 7.32.0 to 7.32.2
|
2022-06-20 11:44:52 -04:00 |
|
dependabot[bot]
|
9fc25fcc38
|
Merge pull request #732 from quantified-uncertainty/dependabot/npm_and_yarn/vega-embed-6.21.0
|
2022-06-20 15:35:16 +00:00 |
|
dependabot[bot]
|
90c4aae9af
|
⬆️ Bump tailwindcss from 3.1.2 to 3.1.3
Bumps [tailwindcss](https://github.com/tailwindlabs/tailwindcss) from 3.1.2 to 3.1.3.
- [Release notes](https://github.com/tailwindlabs/tailwindcss/releases)
- [Changelog](https://github.com/tailwindlabs/tailwindcss/blob/master/CHANGELOG.md)
- [Commits](https://github.com/tailwindlabs/tailwindcss/compare/v3.1.2...v3.1.3)
---
updated-dependencies:
- dependency-name: tailwindcss
dependency-type: direct:development
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-06-20 15:23:34 +00:00 |
|
dependabot[bot]
|
f81b338b51
|
Merge pull request #726 from quantified-uncertainty/dependabot/npm_and_yarn/storybook/builder-webpack5-6.5.9
|
2022-06-20 15:22:15 +00:00 |
|
dependabot[bot]
|
fab193bec1
|
⬆️ Bump react-hook-form from 7.32.0 to 7.32.2
Bumps [react-hook-form](https://github.com/react-hook-form/react-hook-form) from 7.32.0 to 7.32.2.
- [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.0...v7.32.2)
---
updated-dependencies:
- dependency-name: react-hook-form
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-06-20 15:21:45 +00:00 |
|
Quinn
|
5fd72a98d8
|
Merge pull request #733 from quantified-uncertainty/dependabot/npm_and_yarn/testing-library/user-event-14.2.1
⬆️ Bump @testing-library/user-event from 14.2.0 to 14.2.1
|
2022-06-20 11:20:42 -04:00 |
|
dependabot[bot]
|
74f512e841
|
⬆️ Bump @storybook/builder-webpack5 from 6.5.8 to 6.5.9
Bumps [@storybook/builder-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/builder-webpack5"
dependency-type: direct:development
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-06-20 15:15:53 +00:00 |
|
dependabot[bot]
|
7909fa584f
|
⬆️ Bump vega-embed from 6.20.8 to 6.21.0
Bumps [vega-embed](https://github.com/vega/vega-embed) from 6.20.8 to 6.21.0.
- [Release notes](https://github.com/vega/vega-embed/releases)
- [Changelog](https://github.com/vega/vega-embed/blob/v6.21.0/CHANGELOG.md)
- [Commits](https://github.com/vega/vega-embed/compare/v6.20.8...v6.21.0)
---
updated-dependencies:
- dependency-name: vega-embed
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-06-20 15:15:47 +00:00 |
|
dependabot[bot]
|
9574eaf1d9
|
Merge pull request #725 from quantified-uncertainty/dependabot/npm_and_yarn/storybook/addon-essentials-6.5.9
|
2022-06-20 15:14:22 +00:00 |
|
dependabot[bot]
|
616f16c7ee
|
⬆️ Bump @testing-library/user-event from 14.2.0 to 14.2.1
Bumps [@testing-library/user-event](https://github.com/testing-library/user-event) from 14.2.0 to 14.2.1.
- [Release notes](https://github.com/testing-library/user-event/releases)
- [Changelog](https://github.com/testing-library/user-event/blob/main/CHANGELOG.md)
- [Commits](https://github.com/testing-library/user-event/compare/v14.2...v14.2.1)
---
updated-dependencies:
- dependency-name: "@testing-library/user-event"
dependency-type: direct:development
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-06-20 15:13:09 +00:00 |
|
Quinn
|
e908b8cc33
|
Merge pull request #731 from quantified-uncertainty/dependabot/npm_and_yarn/react-dom-18.2.0
⬆️ Bump react-dom from 18.1.0 to 18.2.0
|
2022-06-20 11:12:03 -04:00 |
|
dependabot[bot]
|
d8a074ccf0
|
⬆️ Bump @storybook/addon-essentials from 6.5.8 to 6.5.9
Bumps [@storybook/addon-essentials](https://github.com/storybookjs/storybook/tree/HEAD/addons/essentials) 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/addons/essentials)
---
updated-dependencies:
- dependency-name: "@storybook/addon-essentials"
dependency-type: direct:development
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-06-20 14:55:55 +00:00 |
|