Commit Graph

493 Commits

Author SHA1 Message Date
Quinn
a9cbcf2079
hotfix: develop-- branch deploy rather than deploy preview in module docstring 2022-04-13 21:12:40 -04: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
Quinn Dougherty
b3c0adcd30 last CR comments 2022-04-13 20:58:16 -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
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 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
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
dependabot[bot]
8c89cf8922
Bump @types/react from 18.0.2 to 18.0.3
Bumps [@types/react](https://github.com/DefinitelyTyped/DefinitelyTyped/tree/HEAD/types/react) from 18.0.2 to 18.0.3.
- [Release notes](https://github.com/DefinitelyTyped/DefinitelyTyped/releases)
- [Commits](https://github.com/DefinitelyTyped/DefinitelyTyped/commits/HEAD/types/react)

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

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-13 14:33:02 +00:00
Quinn Dougherty
165427f137 refactored to a higher level of abstraction 2022-04-13 10:30:23 -04:00
Quinn Dougherty
e9e6cab099 silenced warning about toString not having switch case for ArgumentError 2022-04-13 10:26:10 -04:00
Sam Nolan
948a8dd651 Add analytic solutions for normal and lognormal 2022-04-13 15:11:14 +10:00
Quinn Dougherty
b6e423a6e3 fixed bug after rebase: hope it doesn't cause problems 2022-04-13 01:08:51 -04:00
Quinn Dougherty
de81928ea9 Ran yarn format 2022-04-13 01:05:09 -04:00
Quinn Dougherty
8287f51aae yarn test:quick to skip invariants 2022-04-13 01:05:09 -04:00
Quinn Dougherty
72b557d64a renamed Algebra subdir to Invariants 2022-04-13 01:05:09 -04:00
Quinn Dougherty
af0577f85e test count: 386 2022-04-13 01:05:09 -04:00
Quinn Dougherty
59fcd6a26c intermediate commit to checkout something else 2022-04-13 01:05:08 -04:00
Quinn Dougherty
dd53c7554b (rebase): begin setup for big redo 2022-04-13 01:05:08 -04:00
Quinn Dougherty
396fb9f6b0 intermediate commit before I do a rebase 2022-04-13 01:05:08 -04:00
Quinn Dougherty
12d2397b57 improved messaging 2022-04-13 01:05:08 -04:00
Quinn Dougherty
49174827f8 (rebase): added more test 2022-04-13 01:05:08 -04:00
Quinn Dougherty
9d857bf79b (rebase): documented ratio of lognormals 2022-04-13 01:05:08 -04:00
Quinn Dougherty
a637fe5dff inv precise 2022-04-13 01:05:08 -04:00
Quinn Dougherty
a64cd75ead inv and cdf 2022-04-13 01:05:08 -04:00
Quinn Dougherty
6a4d615d3d (rebase): (rebase): (rebase): **refactor**: rm duplicated genericDist and error declarations 2022-04-13 01:04:53 -04:00
Sam Nolan
348b1c9ac6 Add normal distribution analytical simplifications 2022-04-13 14:36:30 +10:00
Sam Nolan
117c08bfa9 Fix unweighted average of distributions 2022-04-13 12:03:04 +10:00
Sam Nolan
38135f0c81 Merge branch 'develop' into mix-distributions 2022-04-13 11:22:43 +10:00
Quinn Dougherty
b17f638483 EBindings -> T.EBindings 2022-04-12 20:48:53 -04:00
Quinn Dougherty
4f95c019eb yarn format 2022-04-12 20:22:19 -04:00
Sam Nolan
e234951d62 Hotfix bundle failure 2022-04-13 10:14:11 +10:00
Sam Nolan
f2f885f269 Hotfix Typescript checker failing 2022-04-13 10:07:33 +10:00
Ozzie Gooen
263c4271bf
Merge pull request #226 from umuro/reducer-dev
Reducer dev
2022-04-12 19:49:27 -04:00
Umur Ozkul
fea990de2d Sam's patch PR#226 2022-04-13 01:34:06 +02:00
Umur Ozkul
d1ea15e4f9 fix ts export 2022-04-12 17:12:19 +02:00
Umur Ozkul
1b4422bb90 revise lisp references - close umuro/squiggle#50 2022-04-12 16:26:55 +02:00
Umur Ozkul
a95cdfabe3 dont use short Desc - close umuro/squiggle#51 2022-04-12 16:19:50 +02:00
Umur Ozkul
05b5efce18 remove -> in switch cases. close umuro/squiggle#59
squiggle
2022-04-12 16:15:27 +02:00
Umur Ozkul
4fe72b8fb4 remove Reduce_Expression.rsi.
Too many changes. Hot target. Preventing development
2022-04-12 15:47:46 +02:00
Umur Ozkul
9c7f930549 Merge branch 'develop' into reducer-dev
packages/squiggle-lang/src/rescript/Reducer/Reducer_Expression/Reducer_Expression.resi
2022-04-12 15:46:48 +02:00
dependabot[bot]
7a160ad445
Bump @types/webpack from 4.41.32 to 5.28.0
Bumps [@types/webpack](https://github.com/DefinitelyTyped/DefinitelyTyped/tree/HEAD/types/webpack) from 4.41.32 to 5.28.0.
- [Release notes](https://github.com/DefinitelyTyped/DefinitelyTyped/releases)
- [Commits](https://github.com/DefinitelyTyped/DefinitelyTyped/commits/HEAD/types/webpack)

---
updated-dependencies:
- dependency-name: "@types/webpack"
  dependency-type: direct:development
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-12 10:40:56 +00:00
Sam Nolan
f102d70d80 Add mixture alias 2022-04-12 17:45:44 +10:00
Sam Nolan
60a345dd6d Implement mx for distributions 2022-04-12 17:39:38 +10:00
Sam Nolan
d316ad0a07 Merge branch 'develop' into reducer-playground 2022-04-12 16:45:14 +10:00
Sam Nolan
e5f8b6c7d3 Fix build errors for components and lang 2022-04-12 16:21:32 +10:00
Sam Nolan
21458227ce Respond to reducer playground PR comments 2022-04-12 16:02:34 +10:00
Sam Nolan
440bfabffa Run prettier on monorepo + fix crashing playground 2022-04-12 15:41:36 +10:00
Quinn
8a69c54fd8
coverage:ci 2022-04-11 20:33:32 -04:00
Umur Ozkul
352cccaab8
Merge branch 'develop' into reducer-dev 2022-04-12 01:47:07 +02:00
Quinn
e1689664a3
Merge pull request #230 from quantified-uncertainty/dependabot/npm_and_yarn/testing-library/react-13.0.1
Bump @testing-library/react from 13.0.0 to 13.0.1
2022-04-11 19:22:49 -04:00
Quinn
49b9801006
Merge pull request #222 from quantified-uncertainty/quinn-dougherty-patch-1
A couple tiny hotfixes to opsy stuff
2022-04-11 19:21:05 -04:00
Quinn Dougherty
c7908e85a8 prettier is proper now with yarn scripts 2022-04-11 19:15:09 -04:00
dependabot[bot]
46651e45f5
Bump @testing-library/react from 13.0.0 to 13.0.1
Bumps [@testing-library/react](https://github.com/testing-library/react-testing-library) from 13.0.0 to 13.0.1.
- [Release notes](https://github.com/testing-library/react-testing-library/releases)
- [Changelog](https://github.com/testing-library/react-testing-library/blob/main/CHANGELOG.md)
- [Commits](https://github.com/testing-library/react-testing-library/compare/v13.0.0...v13.0.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-11 22:52:25 +00:00
Quinn Dougherty
a498ed4611 branch names in *.yml 2022-04-11 17:41:40 -04:00
Umur Ozkul
f0008c1e20 offer reducer:format as an example 2022-04-11 16:51:44 +02:00
Umur Ozkul
87116d12d5 reformat 2022-04-11 16:51:15 +02:00
Umur Ozkul
3a8e6a8f60 Merge branch 'staging' into reducer-dev 2022-04-11 16:42:37 +02:00
Umur Ozkul
660c0c70ae variables and statements
format only reducer

reformat lint

multi-line test

spelling

multi-line semantic mapping

todo multi-line eval

multi-line tests todo

change context to bindings

simplify tests

rename exception test methods

bindings is an expression value

make bindings callable

reformat

Emphasize the nature of Lisp AST

Initial definition of macros

make functions private

fixed functionNode type casting

macro call skeleton

sort ReducerInterface

fix test

macros skeleton

bindings is not a value

assignment semantics

let semantics defined

format

reformat

reformat

TODO function calls and list hd variables are confused

reformat

tmp

works

reformat

reformat

add test

reformat

add test
2022-04-11 16:31:10 +02:00
Quinn Dougherty
af3cab01bc added .resi files to lint checker 2022-04-11 09:35:25 -04:00
Sam Nolan
26433c5289 Fix failing tests based on new toString 2022-04-11 16:31:54 +10:00
Sam Nolan
0d9e8c64c3 Merge branch 'staging' into reducer-playground 2022-04-11 16:21:51 +10:00
Sam Nolan
cb07f5f68a A playground based on reducer 2022-04-11 16:16:29 +10:00
Quinn Dougherty
16258c2538 install dependencies in lint job 2022-04-11 01:27:21 -04:00
Quinn Dougherty
9f97213ec5 added deeper path in lint.sh 2022-04-11 01:24:56 -04:00
Quinn Dougherty
3f2cd652d4 path to rescript executable in lint.sh 2022-04-11 01:23:09 -04:00
Quinn Dougherty
3689caa1fc finally nailed the triggers! (I hope) 2022-04-11 01:08:54 -04:00
Quinn Dougherty
d4b00b15c1 debugging triggers again 2022-04-11 01:05:47 -04:00
Quinn Dougherty
19d5fa109b rescript format on DistPlus.res 2022-04-11 00:59:47 -04:00
Quinn Dougherty
518f082c53 (rebase): A rescript linter! 2022-04-11 00:24:12 -04:00
Quinn Dougherty
00e98766cb a rescript linter! 2022-04-11 00:23:15 -04:00
Quinn Dougherty
e4e8e4b847 ran rescript format on ProgramEvaluator.res 2022-04-11 00:23:15 -04:00
Sam Nolan
61b589d0bd Change typescript interface to reducer 2022-04-11 13:16:31 +10:00
Ozzie Gooen
531fd06eb7 Made playground its own page 2022-04-10 21:48:17 -04:00
Sam Nolan
abb41871d7
Merge pull request #221 from QURIresearch/ts-interface-typing
Ts interface typing
2022-04-11 11:25:59 +10:00
Sam Nolan
6565d97f53 Rename eval to evaluate
eval is a JS keyword
2022-04-11 11:18:38 +10:00
Sam Nolan
d6c541036f Run prettier + add missing pointWiseAdd signature 2022-04-11 11:08:34 +10:00
Sam Nolan
8f49b64083 Fix failing lang tests due to rename 2022-04-11 11:06:13 +10:00
Sam Nolan
e5baf23950 Run prettier in squiggle-lang 2022-04-11 10:51:43 +10:00
Sam Nolan
1825b1f250 Type the lang typescript interface 2022-04-11 10:48:45 +10:00
Sam Nolan
b15cd7536c Rename Javascript-library file 2022-04-11 10:38:13 +10:00
Sam Nolan
3db9f066fe Fix dead footer link causing build errors 2022-04-11 10:37:08 +10:00
Sam Nolan
da9ee2aaee Create sidebar tree 2022-04-11 10:13:11 +10:00
Sam Nolan
eeb6243bc4 Updated link to storybook 2022-04-11 09:52:39 +10:00
Sam Nolan
a639759f86 Change main branch to master in website 2022-04-11 09:27:36 +10:00
Sam Nolan
efb0f5e05a Run prettier on website code 2022-04-11 09:15:46 +10:00
Sam Nolan
79ac1700d1 Include a playground in the squiggle website 2022-04-11 09:14:39 +10:00
Ozzie Gooen
e1d7a3ff7d
Merge pull request #197 from QURIresearch/Components-improvement-april-2
Components improvement april 2
2022-04-10 18:28:28 -04:00
dependabot[bot]
57253f1c2d
Bump @types/react from 17.0.44 to 18.0.1
Bumps [@types/react](https://github.com/DefinitelyTyped/DefinitelyTyped/tree/HEAD/types/react) from 17.0.44 to 18.0.1.
- [Release notes](https://github.com/DefinitelyTyped/DefinitelyTyped/releases)
- [Commits](https://github.com/DefinitelyTyped/DefinitelyTyped/commits/HEAD/types/react)

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

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-10 18:08:29 +00:00
Quinn Dougherty
36c8bed1c2 react-ace 2022-04-10 13:55:58 -04:00
Quinn Dougherty
4d6f4fd641 rm playground/package.json 2022-04-10 13:37:10 -04:00
Ozzie Gooen
eecd501d04 Merged with master 2022-04-10 13:22:57 -04:00
Ozzie Gooen
ce4eaa7daa Merge branch 'staging' into Components-improvement-april-2
* staging: (41 commits)
  Fixed tests
  Samples_test -> SampleSetDist_test
  Bandwidth -> SampleSetDist_Bandwidth
  Added genType to SampleSetDist to make pass tests, other minor fixes
  Power should be ** to be consistent
  Cleaned up resultStringToResultError
  Cleanup from previous refactor
  Start of refactor for toPointSetDist
  Gave SampleSetDist a private type
  Namechange: Exponential -> Power
  Cleanup and commenting for PR
  Added more tests to JS__Test.ts, and added SampleN functionality to SampleSetDist
  Added tests for index.js and fixed some corresponding functionality
  Minor refactor of DistributionOperation Constructors
  Fix from CR
  Added to index.ts
  Added a bunch of manual functions for DistributionOperation
  Update README.md
  Cleanup from merge
  Added sparkline and toString to ReducerInterface
  ...
2022-04-09 22:04:08 -04:00
Ozzie Gooen
c94a70b93a Fixed tests 2022-04-09 21:56:05 -04:00
Ozzie Gooen
ec5dc4667f Samples_test -> SampleSetDist_test 2022-04-09 21:39:10 -04:00