Commit Graph

2397 Commits

Author SHA1 Message Date
Quinn Dougherty
40f4db5eb1 fixed all tests by switching to integer. it does not make sense. 2022-06-22 17:51:14 -04: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
cae57a1b4e Revert "COMMIT TO BE TRASHED"
This reverts commit b12f87df44.
2022-06-21 15:58:50 -04:00
Quinn Dougherty
b12f87df44 COMMIT TO BE TRASHED 2022-06-21 15:56:12 -04:00
Quinn Dougherty
444596aac4 some of the problems solved 2022-06-21 15:43:17 -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
Ozzie Gooen
75dfb724ec
Merge pull request #748 from quantified-uncertainty/vscode-0.1.2
Vscode 0.1.2
2022-06-20 17:15:05 -07: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
Ozzie Gooen
3012aef683
Merge pull request #747 from quantified-uncertainty/vscode-preview-and-grammar
Vscode ext 0.1.0: preview, configuration, grammar
2022-06-20 14:16:09 -07:00
Vyacheslav Matyukhin
dab6b3d09e
highlight keywords 2022-06-20 23:57:27 +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
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]
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]
65e55c74c5
Merge pull request #734 from quantified-uncertainty/dependabot/npm_and_yarn/typescript-4.7.4 2022-06-20 17:51:14 +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
Ozzie Gooen
e37fc5c50a
Merge pull request #744 from quantified-uncertainty/cli-ops-docs
Cli ops docs (issue 730)
2022-06-20 10:34:24 -07: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
Quinn Dougherty
18b6c7eccb updated toplevel README.md for a note about cli 2022-06-20 13:15:06 -04: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 Dougherty
aad7c8c8eb cli lint job to ci.yml 2022-06-20 12:46:43 -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]
72811a8311
Merge pull request #740 from quantified-uncertainty/dependabot/npm_and_yarn/types/node-18.0.0 2022-06-20 16:23:01 +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
Quinn Dougherty
6a9aafedd8 changed step names 2022-06-20 12:12:47 -04:00
Quinn Dougherty
5b15b2cb1a install eslint in vscode-ext lint job 2022-06-20 12:07:41 -04:00
Quinn Dougherty
5627c378b4 updated toplevel README.md 2022-06-20 12:01:46 -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
Quinn Dougherty
0eebacf85d updated README.md in vscode-ext 2022-06-20 11:59:10 -04: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
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
Quinn Dougherty
7e6dbf260f some linty thing apparently 2022-06-20 11:51:09 -04: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