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

3351 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Umur Ozkul
53c44cdc9d refactor macro definitions 2022-04-14 18:17:45 +02:00
Quinn
c43b373681
rm excess branches from trigger 
Frankly I'm only doing this to trigger a run _on this file_, for the `badge.svg`
 2022-04-14 12:16:48 -04:00
Quinn
9ab511cd3c
Merge pull request #271 from quantified-uncertainty/dependabot/npm_and_yarn/storybook/builder-webpack5-6.4.22 
Bump @storybook/builder-webpack5 from 6.4.21 to 6.4.22
 2022-04-14 11:28:33 -04:00
Quinn
99a91f4420
Merge pull request #270 from quantified-uncertainty/dependabot/npm_and_yarn/types/node-17.0.24 
Bump @types/node from 17.0.23 to 17.0.24
 2022-04-14 11:28:18 -04:00
Quinn
01868179c9
Merge pull request #269 from quantified-uncertainty/dependabot/npm_and_yarn/storybook/react-6.4.22 
Bump @storybook/react from 6.4.21 to 6.4.22
 2022-04-14 11:23:33 -04:00
dependabot[bot]
c92166b63b
Bump @storybook/builder-webpack5 from 6.4.21 to 6.4.22 
Bumps [@storybook/builder-webpack5](https://github.com/storybookjs/storybook/tree/HEAD/lib/core) from 6.4.21 to 6.4.22.
- [Release notes](https://github.com/storybookjs/storybook/releases)
- [Changelog](https://github.com/storybookjs/storybook/blob/next/CHANGELOG.md)
- [Commits](https://github.com/storybookjs/storybook/commits/v6.4.22/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-04-14 15:22:13 +00:00
dependabot[bot]
a5e3e3cfb3
Bump @types/node from 17.0.23 to 17.0.24 
Bumps [@types/node](https://github.com/DefinitelyTyped/DefinitelyTyped/tree/HEAD/types/node) from 17.0.23 to 17.0.24.
- [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:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-04-14 15:22:10 +00:00
Quinn
60c21575aa
Merge pull request #268 from quantified-uncertainty/dependabot/npm_and_yarn/storybook/addon-essentials-6.4.22 
Bump @storybook/addon-essentials from 6.4.21 to 6.4.22
 2022-04-14 11:20:51 -04:00
dependabot[bot]
bf91cfff03
Bump @storybook/react from 6.4.21 to 6.4.22 
Bumps [@storybook/react](https://github.com/storybookjs/storybook/tree/HEAD/app/react) from 6.4.21 to 6.4.22.
- [Release notes](https://github.com/storybookjs/storybook/releases)
- [Changelog](https://github.com/storybookjs/storybook/blob/next/CHANGELOG.md)
- [Commits](https://github.com/storybookjs/storybook/commits/v6.4.22/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-04-14 15:15:35 +00:00
dependabot[bot]
e236199186
Bump @storybook/addon-essentials from 6.4.21 to 6.4.22 
Bumps [@storybook/addon-essentials](https://github.com/storybookjs/storybook/tree/HEAD/addons/essentials) from 6.4.21 to 6.4.22.
- [Release notes](https://github.com/storybookjs/storybook/releases)
- [Changelog](https://github.com/storybookjs/storybook/blob/next/CHANGELOG.md)
- [Commits](https://github.com/storybookjs/storybook/commits/v6.4.22/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-04-14 15:15:30 +00:00
Quinn
ef9352e209
Merge pull request #264 from quantified-uncertainty/dependabot/npm_and_yarn/storybook/manager-webpack5-6.4.22 
Bump @storybook/manager-webpack5 from 6.4.21 to 6.4.22
 2022-04-14 11:14:43 -04:00
Quinn
a88d12d091
Merge pull request #267 from quantified-uncertainty/dependabot/npm_and_yarn/storybook/addon-links-6.4.22 
Bump @storybook/addon-links from 6.4.21 to 6.4.22
 2022-04-14 11:14:22 -04:00
Quinn
caf0e7a503
Merge pull request #265 from quantified-uncertainty/dependabot/npm_and_yarn/hast-util-is-element-2.1.2 
Bump hast-util-is-element from 1.1.0 to 2.1.2
 2022-04-14 11:12:04 -04:00
dependabot[bot]
b034b024a1
Bump @storybook/addon-links from 6.4.21 to 6.4.22 
Bumps [@storybook/addon-links](https://github.com/storybookjs/storybook/tree/HEAD/addons/links) from 6.4.21 to 6.4.22.
- [Release notes](https://github.com/storybookjs/storybook/releases)
- [Changelog](https://github.com/storybookjs/storybook/blob/next/CHANGELOG.md)
- [Commits](https://github.com/storybookjs/storybook/commits/v6.4.22/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-04-14 15:09:24 +00:00
dependabot[bot]
4ebde9c4ea
Bump @storybook/manager-webpack5 from 6.4.21 to 6.4.22 
Bumps [@storybook/manager-webpack5](https://github.com/storybookjs/storybook/tree/HEAD/lib/core) from 6.4.21 to 6.4.22.
- [Release notes](https://github.com/storybookjs/storybook/releases)
- [Changelog](https://github.com/storybookjs/storybook/blob/next/CHANGELOG.md)
- [Commits](https://github.com/storybookjs/storybook/commits/v6.4.22/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-04-14 15:09:22 +00:00
Quinn
c678fcad79
Merge pull request #263 from quantified-uncertainty/dependabot/npm_and_yarn/storybook/node-logger-6.4.22 
Bump @storybook/node-logger from 6.4.21 to 6.4.22
 2022-04-14 11:08:19 -04:00
Quinn
d3100412a0
Merge pull request #261 from quantified-uncertainty/dependabot/npm_and_yarn/storybook/addon-actions-6.4.22 
Bump @storybook/addon-actions from 6.4.21 to 6.4.22
 2022-04-14 11:07:06 -04:00
Umur Ozkul
1fa1867470 Merge branch 'develop' into reducer-dev 2022-04-14 17:04:54 +02:00
Umur Ozkul
35f7077248 remove unused code 2022-04-14 17:02:01 +02:00
Umur Ozkul
fb63d44ab9 PR#226 2022-04-14 17:00:12 +02:00
dependabot[bot]
ad498a1a30
Bump hast-util-is-element from 1.1.0 to 2.1.2 
Bumps [hast-util-is-element](https://github.com/syntax-tree/hast-util-is-element) from 1.1.0 to 2.1.2.
- [Release notes](https://github.com/syntax-tree/hast-util-is-element/releases)
- [Commits](https://github.com/syntax-tree/hast-util-is-element/compare/1.1.0...2.1.2)

---
updated-dependencies:
- dependency-name: hast-util-is-element
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-04-14 14:42:53 +00:00
dependabot[bot]
e463a6cf17
Bump @storybook/node-logger from 6.4.21 to 6.4.22 
Bumps [@storybook/node-logger](https://github.com/storybookjs/storybook/tree/HEAD/lib/node-logger) from 6.4.21 to 6.4.22.
- [Release notes](https://github.com/storybookjs/storybook/releases)
- [Changelog](https://github.com/storybookjs/storybook/blob/next/CHANGELOG.md)
- [Commits](https://github.com/storybookjs/storybook/commits/v6.4.22/lib/node-logger)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-04-14 14:42:23 +00:00
dependabot[bot]
1424206470
Bump @storybook/addon-actions from 6.4.21 to 6.4.22 
Bumps [@storybook/addon-actions](https://github.com/storybookjs/storybook/tree/HEAD/addons/actions) from 6.4.21 to 6.4.22.
- [Release notes](https://github.com/storybookjs/storybook/releases)
- [Changelog](https://github.com/storybookjs/storybook/blob/next/CHANGELOG.md)
- [Commits](https://github.com/storybookjs/storybook/commits/v6.4.22/addons/actions)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-04-14 14:41:53 +00:00
Quinn
a9cbcf2079
hotfix: develop-- branch deploy rather than deploy preview in module docstring 2022-04-13 21:12:40 -04:00
Umur Ozkul
9b4f397859 remove unnecessary rec 2022-04-14 03:10:45 +02:00
Ozzie Gooen
02bf4c6a8a
Merge pull request #257 from quantified-uncertainty/issue250 
Improvements to `Means_test.res` (and `expectErrorToBeBounded`)
 2022-04-13 21:03:33 -04:00
Umur Ozkul
de379b6c04 Merge branch 'develop' into reducer-dev 2022-04-14 03:03:08 +02:00
Quinn Dougherty
b3c0adcd30 last CR comments 2022-04-13 20:58:16 -04:00
Umur Ozkul
4512ad623a Add dead code analysis 2022-04-14 02:41:22 +02:00
Umur Ozkul
daf2a27182 PR#226, add missing variants to switch statements 
Code is passing unit tests however there were missing variands. Fixed
 2022-04-14 02:40:59 +02:00
Ozzie Gooen
37d3076994
Merge pull request #251 from quantified-uncertainty/invariants 
migrated `invariants.md` to `docusaurus`
 2022-04-13 20:10:52 -04:00
Quinn Dougherty
99d1c345c5 CR comments 2022-04-13 19:58:36 -04:00
Ozzie Gooen
478bbf5740 First attempt at handling arrays and records 2022-04-13 19:37:59 -04:00
Quinn Dougherty
b0ff2c19f5 yarn format 2022-04-13 19:18:08 -04:00
Quinn Dougherty
24fe66c9d3 6/6 tasks done 2022-04-13 19:17:49 -04:00
Quinn Dougherty
6ffe2d4f34 cleaned up README and ran yarn format 2022-04-13 14:57:01 -04:00
Quinn Dougherty
b0cf8adb9f migrated invariants.md to docusaurus 2022-04-13 14:46:01 -04:00
Ozzie Gooen
7251f5864a
Merge pull request #246 from quantified-uncertainty/issue-241 
build rescript for codeql
 2022-04-13 14:18:53 -04:00
Ozzie Gooen
bd10a0bbf8
Merge pull request #232 from quantified-uncertainty/testing-discipline-algebraic-operations 
Testing discipline: algebraic operations
 2022-04-13 14:00:58 -04:00
Quinn
0c734ec846
Update pl.md 2022-04-13 12:56:30 -04:00
Quinn
8cb73e8991
Update and rename developer-bug.md to ops-testing.md 2022-04-13 12:54:46 -04:00
Quinn
b57dc1f574
I don't think Autobuild step actually does anything but trying it out anyway. 2022-04-13 12:19:21 -04:00
Quinn
110ec3f86d
rm components and website bundle/build 
the bundle was making it prohibitively expensive (took an hour to just get halfway through)
 2022-04-13 12:09:42 -04:00
Quinn Dougherty
3bf571f953 CR comment 2022-04-13 12:06:50 -04:00
Quinn Dougherty
7e6a26a2d0 comments and type signatures 2022-04-13 11:54:37 -04:00
Quinn
a9d0f73c53
Capitalized a step name 2022-04-13 11:18:40 -04:00
Quinn
fe047a92dd
build rescript et. al. for codeql 2022-04-13 11:08:26 -04:00
Quinn
e4044e14a4
Merge pull request #245 from quantified-uncertainty/dependabot/npm_and_yarn/react-scripts-5.0.1 
Bump react-scripts from 5.0.0 to 5.0.1
 2022-04-13 10:56:47 -04:00
dependabot[bot]
443f8983a7
Bump react-scripts from 5.0.0 to 5.0.1 
Bumps [react-scripts](https://github.com/facebook/create-react-app/tree/HEAD/packages/react-scripts) from 5.0.0 to 5.0.1.
- [Release notes](https://github.com/facebook/create-react-app/releases)
- [Changelog](https://github.com/facebook/create-react-app/blob/main/CHANGELOG.md)
- [Commits](https://github.com/facebook/create-react-app/commits/react-scripts@5.0.1/packages/react-scripts)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-04-13 14:46:52 +00:00
Quinn
0ba2bde51d
Merge pull request #244 from quantified-uncertainty/dependabot/npm_and_yarn/types/react-18.0.3 
Bump @types/react from 18.0.2 to 18.0.3
 2022-04-13 10:45:50 -04:00