Commit Graph

773 Commits

Author SHA1 Message Date
Sam Nolan
350e420884 Add isNormalized to Continuous 2022-04-26 13:25:45 -04:00
Sam Nolan
e47deb8433 Translate pmf to pdf for kde 2022-04-26 12:22:31 -04:00
Ozzie Gooen
0b42604ea7 First attempt at fixing tests 2022-04-26 11:59:07 -04:00
dependabot[bot]
00553c03e1
⬆️ Bump react-ace from 10.0.0 to 10.1.0
Bumps [react-ace](https://github.com/securingsincity/react-ace) from 10.0.0 to 10.1.0.
- [Release notes](https://github.com/securingsincity/react-ace/releases)
- [Changelog](https://github.com/securingsincity/react-ace/blob/main/CHANGELOG.md)
- [Commits](https://github.com/securingsincity/react-ace/compare/v10.0.0...v10.1.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-26 15:12:31 +00:00
Quinn
06669218d9
Merge pull request #382 from quantified-uncertainty/dependabot/npm_and_yarn/fast-check-2.25.0
⬆️ Bump fast-check from 2.24.0 to 2.25.0
2022-04-26 11:11:45 -04:00
dependabot[bot]
6a6e27463f
⬆️ Bump fast-check from 2.24.0 to 2.25.0
Bumps [fast-check](https://github.com/dubzzz/fast-check) from 2.24.0 to 2.25.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.24.0...v2.25.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-26 15:05:52 +00:00
dependabot[bot]
809703c418
⬆️ Bump antd from 4.20.0 to 4.20.1
Bumps [antd](https://github.com/ant-design/ant-design) from 4.20.0 to 4.20.1.
- [Release notes](https://github.com/ant-design/ant-design/releases)
- [Changelog](https://github.com/ant-design/ant-design/blob/master/CHANGELOG.en-US.md)
- [Commits](https://github.com/ant-design/ant-design/compare/4.20.0...4.20.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-26 15:04:14 +00:00
Quinn Dougherty
e2da81812f Merge remote-tracking branch 'origin/develop' into issue326 2022-04-26 09:56:25 -04:00
Quinn Dougherty
9cfadffcb7 Added rescript-fast-check
Value: [0.1 to 1]

Sam actually gets credit for figuring out how this works without Mocha.
2022-04-26 09:54:16 -04:00
Ozzie Gooen
d84420b1ff Merge branch 'develop' into normalize-improvements
* develop:
  hotfix: codecov stuff in `.npmignore`
  Rename flip argument to be more descriptive
  Fix pointwise not commuting for subtraction
  Fix missing paramater in test
  Rename AlgebraicShapeCombination test case
  Fixed package versions in `website/package.json`
  Refactor and rename checkOrdered
  Moved dependencies to devDependencies; updated versions
  rm react-codejar
  Mistake in #371
  Fix build issues in components
  Move dependencies to devDependencies
  Ensure xyShape is ordered by x coordinates when multiplying by negatives
  ⬆️ Bump @types/node from 17.0.25 to 17.0.26
  ⬆️ Bump antd from 4.19.5 to 4.20.0
  Turned error into actual error
  Show correct errors early on when log(distribution) has bad arguments
  Fix subtraction not commuting under pointsets
2022-04-25 21:59:45 -04:00
Ozzie Gooen
2c1aff25d3 Added basic functins to SampleSetDist 2022-04-25 21:46:40 -04:00
Quinn Dougherty
5ef8cf5dde Fixed implementation
Value: [0.4 to 2]
2022-04-25 21:04:11 -04:00
Quinn Dougherty
3367b82eef mode to determine dist mode to operate in
Value: [1.2 to 4.6]
2022-04-25 20:55:16 -04:00
Ozzie Gooen
dc127a884a
Merge pull request #359 from quantified-uncertainty/log-inputs-errors
Show correct errors early on when log(distribution) has bad arguments
2022-04-25 20:50:26 -04:00
Ozzie Gooen
1f27ef894c
Merge pull request #355 from quantified-uncertainty/commutative-error
Fix subtraction not commuting under pointsets
2022-04-25 17:03:30 -04:00
Quinn
18dd66e5a4
hotfix: codecov stuff in .npmignore 2022-04-25 16:11:11 -04:00
Sam Nolan
6bfecf2204 Rename flip argument to be more descriptive 2022-04-25 15:55:25 -04:00
Sam Nolan
62653d55b4 Fix pointwise not commuting for subtraction 2022-04-25 15:46:56 -04:00
Sam Nolan
aa192883e2 Fix missing paramater in test
Value: [0.001 to 0.01]
2022-04-25 15:18:18 -04:00
Sam Nolan
cf44e6d3c7 Merge branch 'develop' into commutative-error 2022-04-25 15:08:57 -04:00
Ozzie Gooen
dc3faad897
Merge pull request #369 from quantified-uncertainty/ordered-xyshape
Ensure xyShape is ordered by x coordinates when multiplying by negatives
2022-04-25 15:05:08 -04:00
Sam Nolan
f58def8585 Rename AlgebraicShapeCombination test case 2022-04-25 14:52:52 -04:00
Quinn Dougherty
a9d1c6b5e0 Fixed package versions in website/package.json
Value: [0.1 to 0.3]
2022-04-25 14:50:56 -04:00
Sam Nolan
f9c02ba626 Refactor and rename checkOrdered 2022-04-25 14:50:45 -04:00
Quinn Dougherty
e4ad5425c9 Moved dependencies to devDependencies; updated versions
Value: [0.1 to 0.67]
2022-04-25 14:44:10 -04:00
Quinn Dougherty
5a00942018 rm react-codejar 2022-04-25 14:38:13 -04:00
Quinn Dougherty
c6f6ff4c73 Mistake in #371
Value: [0.12 to 0.8]
2022-04-25 14:35:45 -04:00
Sam Nolan
b1c79aba28 Fix build issues in components
Value: [0.5 to 5]
2022-04-25 12:55:15 -04:00
Umur Ozkul
7d4e3072b8 commite related issue note 2022-04-25 18:35:15 +02:00
Sam Nolan
3b160a901b Merge branch 'develop' into dev-dependencies 2022-04-25 12:32:17 -04:00
Sam Nolan
331e14b752 Move dependencies to devDependencies
Value: [0.5 to 10]
2022-04-25 12:27:34 -04:00
Umur Ozkul
6878523186 cancel performance hook 2022-04-25 18:27:04 +02:00
Sam Nolan
d7151907d3 Ensure xyShape is ordered by x coordinates when multiplying by negatives
Value: [0.00001 to 0.0005]
2022-04-25 11:44:50 -04:00
Umur Ozkul
335d54bb6b Merge branch 'reducer-dev' of github.com:quantified-uncertainty/squiggle into Umur-reducer-dev 2022-04-25 17:42:43 +02:00
Umur Ozkul
d00834bbe0 fix spelling - PR#366 2022-04-25 17:42:21 +02:00
Sam Nolan
fe493af0b9 Merge branch 'develop' into commutative-error 2022-04-25 11:00:45 -04:00
dependabot[bot]
9137581ce0
⬆️ Bump @types/node from 17.0.25 to 17.0.26
Bumps [@types/node](https://github.com/DefinitelyTyped/DefinitelyTyped/tree/HEAD/types/node) from 17.0.25 to 17.0.26.
- [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-25 14:49:28 +00:00
dependabot[bot]
666aef13dd
⬆️ Bump antd from 4.19.5 to 4.20.0
Bumps [antd](https://github.com/ant-design/ant-design) from 4.19.5 to 4.20.0.
- [Release notes](https://github.com/ant-design/ant-design/releases)
- [Changelog](https://github.com/ant-design/ant-design/blob/master/CHANGELOG.en-US.md)
- [Commits](https://github.com/ant-design/ant-design/compare/4.19.5...4.20.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-25 14:41:12 +00:00
Sam Nolan
d60aaa57f7 Get tests to pass for Reducer code
Value: [0.0001 to 0.04]
2022-04-25 10:10:07 -04:00
Sam Nolan
7e4477aeda Format Reducer code
Value: [0.0000001 to 0.0005]
2022-04-25 10:00:27 -04:00
Umur Ozkul
3788cb0c9a fix variant warnings 2022-04-25 10:52:13 +02:00
Umur Ozkul
c7be293466 remove duplicate debug test case 2022-04-25 09:57:14 +02:00
Umur Ozkul
8d92941736 Merge branch 'develop' into Umur-reducer-dev 2022-04-25 09:28:53 +02:00
Umur Ozkul
6a87e8db28 index.ts FAILURE!!!! 2022-04-25 09:20:27 +02:00
Umur Ozkul
c5e08cfdb6 modify lambda 2022-04-25 09:17:38 +02:00
Umur Ozkul
eba087329f called lamda with arguments (tested) 2022-04-25 08:49:17 +02:00
Umur Ozkul
1fb9218a94 refactor passToFunction 2022-04-25 08:19:18 +02:00
Umur Ozkul
d214bddc82 lambda expressions bound to function call symbols 2022-04-25 06:30:25 +02:00
Umur Ozkul
7b080ff4c2 bind function calls 2022-04-25 03:01:58 +02:00
Umur Ozkul
e3ef08839f Function definition evaluated 2022-04-25 02:48:49 +02:00
Umur Ozkul
1f989de11c lambda binding 2022-04-25 01:53:37 +02:00
Umur Ozkul
5d88fae40c internalCode 2022-04-25 01:16:41 +02:00
Umur Ozkul
fe4e355fbe format 2022-04-24 18:42:54 +02:00
Ozzie Gooen
5563a5dc40 Prettier 2022-04-23 19:18:02 -04:00
Ozzie Gooen
217361b843 Tried to fix tests of math issues 2022-04-23 19:07:32 -04:00
Ozzie Gooen
260d159500 Make sure pointSetDist toPointSet is normalized 2022-04-23 18:29:58 -04:00
Ozzie Gooen
51e2cf167c Turned error into actual error 2022-04-23 18:07:26 -04:00
Ozzie Gooen
1102ceb4ec Show correct errors early on when log(distribution) has bad arguments 2022-04-23 17:51:41 -04:00
Sam Nolan
8cb138b84a Fix convolution for negative multiplication 2022-04-23 17:48:00 -04:00
Ozzie Gooen
296bc44a0d
Merge pull request #357 from quantified-uncertainty/hotfix-negative-multiply
Prevent negative standard deviation in symbolic multiplication
2022-04-23 17:41:23 -04:00
Sam Nolan
ee6551a694 Prevent negative standard deviation in symbolic multiplication
Introduced in #242
2022-04-23 16:57:06 -04:00
Sam Nolan
9090c44284 Fix subtraction not commuting under pointsets 2022-04-23 15:58:42 -04:00
Umur Ozkul
88b6d49ad3 function definition parse (tested) 2022-04-23 21:13:43 +02:00
Sam Nolan
86e3d5865e Change components to return result rather than environment 2022-04-23 15:02:44 -04:00
Sam Nolan
dfd2f83c9d
Merge pull request #345 from quantified-uncertainty/invalid-ops
Change NaN operations to results
2022-04-23 14:51:50 -04:00
Sam Nolan
df4b734a49 Rename invalidOperationError 2022-04-23 14:35:49 -04:00
Sam Nolan
4544268429 Clean up means testing to remove some duplication 2022-04-23 14:25:08 -04:00
Sam Nolan
b44a955338 Fix bundle errors 2022-04-23 14:16:11 -04:00
Sam Nolan
7e8c16b923 Rename Other to OtherError 2022-04-23 14:13:38 -04:00
Sam Nolan
c7e601e15b Remove NaN from pointwise operations 2022-04-23 14:09:06 -04:00
Ozzie Gooen
21975f2c0b Fixed the linting of reducer files 2022-04-23 12:25:33 -04:00
Umur Ozkul
a915e68049 MathJs functionAssingmentNode parsed, comments passed (tested)
Just found out that comments were already done
2022-04-23 18:07:47 +02:00
Ozzie Gooen
d6e4f77624
Merge pull request #333 from quantified-uncertainty/reducer-dev
Bindings in and Out
2022-04-23 12:06:49 -04:00
Sam Nolan
98bf4f81c7 Rename assertOk to toExn 2022-04-23 10:30:03 -04:00
Sam Nolan
9fb7148290 Refactor mapY and mapYResult in mixed to remove duplication 2022-04-23 10:17:07 -04:00
Sam Nolan
ad593e659b Move error types to types modules 2022-04-23 09:56:47 -04:00
Sam Nolan
79af95ed78 Remove unneeded prefix to error 2022-04-23 09:47:48 -04:00
Umur Ozkul
99906446c5 resi declaration consistency 2022-04-23 15:40:04 +02:00
Umur Ozkul
e456726e53 Merge branch 'reducer-dev-F-debugging' into Umur-reducer-dev 2022-04-23 15:21:11 +02:00
Umur Ozkul
8a9d02168e Merge branch 'Umur-develop' into Umur-reducer-dev 2022-04-23 15:19:38 +02:00
Quinn
8d0d92fbdc
hotfix: remove concatmult 2022-04-22 21:11:42 -04:00
Sam Nolan
9c92d93ca4 Fix bad validation math 2022-04-22 17:21:45 -04:00
Ozzie Gooen
501ca2e73d
Merge pull request #338 from quantified-uncertainty/grammar-new110-26
grammar document
2022-04-22 17:19:11 -04:00
Sam Nolan
508f673873 Change NaN operations to results
- Also deleting old GenericDist_Types
- Also removing some string errors
2022-04-22 16:27:17 -04:00
Umur Ozkul
875f0519ac fixed - PR#333 kill W in evaluatePartialWBindings
renamed to evaluatePartialUsingExternalBindings
2022-04-22 22:19:59 +02:00
Umur Ozkul
2c7e6c750b fix PR#333 - kill W in evalaluateWBindings
renamed to evaluateUsingExternalBindings
2022-04-22 22:15:06 +02:00
Quinn Dougherty
1984dd55b4 lambdas; arrays and records in expr; multi-argument functions 2022-04-22 15:46:22 -04:00
Umur Ozkul
a4aee41aa4 Merge branch 'develop' into reducer-dev 2022-04-22 21:19:11 +02:00
Umur Ozkul
b683e720f1 PR#333 2022-04-22 21:16:27 +02:00
Umur Ozkul
c79685699e Merge branch 'Q-reducer-dev' into reducer-dev 2022-04-22 20:59:43 +02:00
Umur Ozkul
0ccbf607a2 ternary operator tests defined and skipped 2022-04-22 20:57:07 +02:00
Quinn Dougherty
7035b581a6 2/3 todos 2022-04-22 14:00:31 -04:00
Sam Nolan
2845bd3e39 Use a more conservative convolution policy 2022-04-22 12:43:18 -04:00
Quinn Dougherty
8f2d0f06f0 CR comments; other things 2022-04-22 12:42:05 -04:00
Quinn
b67899f1f5
Adjusted coverage:ts and coverage:ts:ci scripts 2022-04-22 12:21:02 -04:00
Sam Nolan
efc6237ae6 Fix Coverage CI issue 2022-04-22 11:31:37 -04:00
Sam Nolan
103a3d5987 Merge branch 'develop' into reducer-dev 2022-04-22 11:17:41 -04:00
Ozzie Gooen
998128033f
Merge pull request #340 from quantified-uncertainty/dependabot/npm_and_yarn/types/react-dom-18.0.2
⬆️ Bump @types/react-dom from 18.0.1 to 18.0.2
2022-04-22 11:09:00 -04:00
Ozzie Gooen
92cdcb1355
Merge branch 'develop' into remove-docsify 2022-04-22 11:08:29 -04:00
Sam Nolan
ad8be5273f Merge branch 'develop' into reducer-dev 2022-04-22 11:04:43 -04:00
Sam Nolan
cb8ff92d4e Fix webpack bundle errors 2022-04-22 10:48:34 -04:00
Ozzie Gooen
d43027418d
Merge pull request #332 from quantified-uncertainty/fix-warnings
Fix warnings
2022-04-22 10:39:15 -04:00
Sam Nolan
a590a84e33 Remove Docsify as dependency 2022-04-22 10:32:29 -04:00
dependabot[bot]
613c37fa98
⬆️ Bump @types/react-dom from 18.0.1 to 18.0.2
Bumps [@types/react-dom](https://github.com/DefinitelyTyped/DefinitelyTyped/tree/HEAD/types/react-dom) from 18.0.1 to 18.0.2.
- [Release notes](https://github.com/DefinitelyTyped/DefinitelyTyped/releases)
- [Commits](https://github.com/DefinitelyTyped/DefinitelyTyped/commits/HEAD/types/react-dom)

---
updated-dependencies:
- dependency-name: "@types/react-dom"
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-22 14:27:59 +00:00
Sam Nolan
3da34a59ff Removed bs-json as a dependency 2022-04-22 10:23:27 -04:00
Umur Ozkul
9ce5ed53d2 inspectPerformance (tested) 2022-04-22 16:18:00 +02:00
Umur Ozkul
417f0060b6 inspect and inspect with label (tested) 2022-04-22 15:43:37 +02:00
Quinn Dougherty
2c060ccf6a grammar 2022-04-22 00:15:30 -04:00
Umur Ozkul
2c5c5095b8 moved externalBindings to ReducerInterface 2022-04-22 04:51:31 +02:00
Sam Nolan
9ea7d23489 Fix Squiggle components build 2022-04-21 19:07:24 -04:00
Sam Nolan
cfb969f2b3 Remove rescript warning 102 2022-04-21 18:42:15 -04:00
Sam Nolan
6eddb5a4af Remove warning 20 2022-04-21 18:19:38 -04:00
Umur Ozkul
406d0b3470 Merge branch 'develop' into reducer-dev 2022-04-22 00:12:02 +02:00
Sam Nolan
e1bf47b6b3 Remove old parser and warning 27 2022-04-21 18:09:06 -04:00
Umur Ozkul
b903863fe7 eval partial all tested 2022-04-22 00:07:34 +02:00
Umur Ozkul
2aa3a5ac48 format 2022-04-22 00:02:27 +02:00
Umur Ozkul
5038e2c691 eval partial tested 2022-04-21 23:55:23 +02:00
Sam Nolan
10d9d8bc37 Fix warning 41 2022-04-21 17:30:39 -04:00
Ozzie Gooen
1b56662483 Minor fix for PR 2022-04-21 15:54:28 -04:00
Ozzie Gooen
6f77b12618 Added select bugs to documentation 2022-04-21 15:44:00 -04:00
Umur Ozkul
a02bc27852 eval partial tested 2022-04-21 21:33:12 +02:00
Umur Ozkul
4826337a6a eval with bindings tested 2022-04-21 19:41:18 +02:00
Umur Ozkul
46f3ee3d2c parse partial tested 2022-04-21 19:16:09 +02:00
Umur Ozkul
6b800c498e Merge branch 'develop' into reducer-dev 2022-04-21 18:36:47 +02:00
Umur Ozkul
a3a7b9b269 remove unused case 2022-04-21 18:22:36 +02:00
Umur Ozkul
f272568b97 Merge branch 'develop' into reducer-dev
packages/squiggle-lang/src/rescript/Reducer/Reducer_Expression/Reducer_Expression.res
2022-04-21 18:20:54 +02:00
Quinn Dougherty
cc29eb33be used skip instead of commenting out 2022-04-20 19:07:25 -04:00
Quinn Dougherty
264d970348 code review. 2022-04-20 18:48:04 -04:00
Quinn Dougherty
a5cb34ff7f eerge remote-tracking branch 'origin/develop' into ts-property 2022-04-20 16:58:51 -04:00
Ozzie Gooen
f731bcb027
Merge pull request #322 from quantified-uncertainty/documentation-apr18
Documentation apr18
2022-04-20 16:56:33 -04:00
Quinn Dougherty
be6beac944 multiline initialSquiggleStrings; favicon! 2022-04-20 16:50:43 -04:00
Quinn Dougherty
8b83c9ec84 CR pass thru; cleanup; no more scientific notation 2022-04-20 14:55:14 -04:00
Ozzie Gooen
e83d5b111d
Merge pull request #323 from quantified-uncertainty/fix-reducer-warnings
Fix rescript warnings
2022-04-20 14:17:28 -04:00
Sam Nolan
c2b93831e3 Fix rescript warnings 2022-04-20 13:51:27 -04:00
Quinn Dougherty
9f35039b60 second pass; one CR comment 2022-04-20 13:41:22 -04:00
Quinn Dougherty
15ccf876a6 fixed /> bug 2022-04-20 12:26:03 -04:00
Quinn Dougherty
b9ad87fda7 squiggle syntax in initialSquiggleString for trunctate 2022-04-20 12:15:07 -04:00
Quinn Dougherty
806ba86446 fixed lint 2022-04-20 12:13:31 -04:00
Quinn Dougherty
9cdffc309b functions reference is almost done 2022-04-20 12:09:57 -04:00
Quinn Dougherty
76a0f254ea removed pull request trigger from codeql analysis 2022-04-20 11:55:56 -04:00
Quinn
c101cdac18
update signature for result 2022-04-20 11:54:17 -04:00
Quinn
cbd93b7e79
back out of double Ok 2022-04-20 11:50:08 -04:00
Quinn
4631c183d9
wrap #Cauchy in Ok 2022-04-20 11:49:41 -04:00
Quinn
5875880c06
nested Ok because cauchy requires no input validation 2022-04-20 11:44:33 -04:00
Quinn
0540fef63a
Update ReducerInterface_GenericDistribution.res 2022-04-20 11:39:00 -04:00
Quinn
017cbe7274
hotfix: cauchy in binary dist constructors 2022-04-20 11:22:10 -04:00
Quinn Dougherty
3ff810ee1b commented out tests are now explained 2022-04-20 00:50:46 -04:00
Quinn Dougherty
4f5a1ff946 factored into TestHelpers.ts file 2022-04-19 23:42:24 -04:00
Quinn Dougherty
1395a36c63 fixed or bailed from failing tests; added typescript code coverage to codecov 2022-04-19 22:58:09 -04:00
Quinn Dougherty
36f929b726 Tackled infinite loop by changing float64Array generator to
`float32Array` generator; gave up on avoiding `any` type in
`Jstat_test.ts`
2022-04-19 20:52:53 -04:00