Commit Graph

651 Commits

Author SHA1 Message Date
Quinn Dougherty
e2762a0f62 Make typechecker happy
Value: [1e-7 to 1e-3]
2022-05-02 11:55:13 -04:00
Quinn Dougherty
58c885f963 Merge remote-tracking branch 'origin/develop' into log-score-attempt 2022-05-02 11:34:29 -04:00
Sam Nolan
0890607493 Merge branch 'reducer-dev' of github.com:quantified-uncertainty/squiggle into reducer-dev 2022-05-02 14:53:32 +00:00
Sam Nolan
946b38fa27 Fix Typescript build errors 2022-05-02 14:53:16 +00:00
dependabot[bot]
c8e50472ff
⬆️ Bump ts-loader from 9.2.9 to 9.3.0
Bumps [ts-loader](https://github.com/TypeStrong/ts-loader) from 9.2.9 to 9.3.0.
- [Release notes](https://github.com/TypeStrong/ts-loader/releases)
- [Changelog](https://github.com/TypeStrong/ts-loader/blob/main/CHANGELOG.md)
- [Commits](https://github.com/TypeStrong/ts-loader/compare/v9.2.9...v9.3.0)

---
updated-dependencies:
- dependency-name: ts-loader
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-05-02 14:40:06 +00:00
Umur Ozkul
f5d3da4c73 tests 2022-05-02 15:55:02 +02:00
Umur Ozkul
9e41f0399f RENotAFunction 2022-05-02 15:55:02 +02:00
Umur Ozkul
ba104e4dfe Catching unreduced values. This is not a lazy language 2022-05-02 15:55:02 +02:00
Umur Ozkul
c68138e5f6 arity error 2022-05-02 14:19:04 +02:00
Umur Ozkul
806ff93983 Merge branch 'Umur-reducer-dev' into reducer-dev 2022-05-02 12:35:58 +02:00
Umur Ozkul
711b230ecb Merge branch 'develop' into Umur-reducer-dev 2022-05-02 12:34:23 +02:00
Umur Ozkul
1e673e54c3 function tricks test defined (Sam's trials) 2022-05-02 12:27:07 +02:00
Umur Ozkul
c0fad8c668 define lambdaValue record as payload 2022-05-02 12:27:07 +02:00
Umur Ozkul
087596ec43 function trics 2022-05-02 11:44:09 +02:00
Umur Ozkul
6796db82b4 note weird distribution test 2022-05-02 11:44:09 +02:00
Umur Ozkul
e262f76d98 spelling 2022-05-02 11:20:08 +02:00
Umur Ozkul
76b3adddc4 rename to exampleStatementY 2022-05-02 11:12:12 +02:00
Ozzie Gooen
f41f6617df Merge branch 'develop' into documentation-refactors-april
* develop:
  Clean up the props, removing unused and making some optional
  lint
  hotfix: brackets in `components/README.md`
  17 increment
  hotfix: deleted `browser` field of `package.json`s
  Mixture last argument can be float
2022-05-01 15:04:04 -04:00
Ozzie Gooen
18af09ab04 Added delta function to produce delta distributions 2022-05-01 09:00:56 -04:00
Ozzie Gooen
ad16c08e9c
Merge pull request #444 from quantified-uncertainty/mixture-last-arg-fix
Mixture last argument can be float
2022-04-30 14:52:58 -04:00
Quinn Dougherty
f8f6a1ecc6 hotfix: deleted browser field of package.jsons
Value: [1e-9 to 1e-5]
2022-04-30 13:57:41 -04:00
Ozzie Gooen
fd957ef401 Mixture last argument can be float 2022-04-30 13:43:46 -04:00
Quinn
dabe76fed4
Merge pull request #443 from quantified-uncertainty/publish-script
`lang v0.2.8` and `components v0.2.16`
2022-04-30 13:03:47 -04:00
Quinn Dougherty
a3057789b0 ^-version everything
Value: [1e-9 to 1e-6]
2022-04-30 12:52:13 -04:00
Quinn Dougherty
93ef7c76a0 v0.2.16: jsImports prop and incremented minimal squiggle-lang
Value: [1e-5 to 1e-3]
2022-04-30 12:04:03 -04:00
Ozzie Gooen
e8b8b6cd80
Merge pull request #425 from quantified-uncertainty/scalePower
Scale power
2022-04-30 11:55:28 -04:00
Quinn Dougherty
9fe7034c51 v0.2.8: fromSamples and jsImports 2022-04-30 11:33:03 -04:00
Quinn Dougherty
ae7e5744dc Merge remote-tracking branch 'origin/develop' into fromsamples 2022-04-30 09:45:25 -04:00
Ozzie Gooen
3249f69155 Small cleanup to fromSamples 2022-04-29 21:41:09 -04:00
Sam Nolan
83e3759342 Merge branch 'develop' into reducer-dev 2022-04-29 22:51:00 +00:00
Quinn Dougherty
ba0baf31c6 Fixed a (now skipped) test
[1e-5 to 1e-4]
2022-04-29 18:45:12 -04:00
Quinn Dougherty
8217801de3 magic numbers in bandwidth; fromSamples implementation
Value: [1e-3 to 4e-2]
2022-04-29 18:38:55 -04:00
Sam Nolan
b710289096 Rename parameters to imports 2022-04-29 20:29:42 +00:00
Sam Nolan
74df093a42 Cleanup TS code (and fix rescript build warning) 2022-04-29 20:10:39 +00:00
Quinn Dougherty
8b30eb9f05 Added to convertRaw* stuff
Value: [1e-4 to 1e-3]
2022-04-29 15:25:29 -04:00
Sam Nolan
237cdf12f9 Remove accidental log 2022-04-29 19:13:30 +00:00
Sam Nolan
39be07cac0 Add parameters to components interface 2022-04-29 19:02:43 +00:00
Quinn Dougherty
f05d089524 Fixed most tests
Value: [1e-5 to 1e-3]
2022-04-29 15:02:24 -04:00
Sam Nolan
d4f929367d JS parameters in squiggle lang 2022-04-29 18:46:44 +00:00
Quinn Dougherty
0e9996256e Lint for Umur
Value: [1e-8 to 1e-6]
2022-04-29 14:42:34 -04:00
Quinn Dougherty
2c452163b6 I believe I have functionality in place for new run command, but I
could be wrong. Pushing so Sam can review

Value: [1e-5 to 9e-3]
2022-04-29 14:41:30 -04:00
Umur Ozkul
bbe8eced29 format 2022-04-29 19:31:34 +02:00
Umur Ozkul
992dd92d9b merge develop 2022-04-29 19:10:40 +02:00
Umur Ozkul
3bbc5e7149 Add evaluate partial for back compatibility 2022-04-29 19:03:58 +02:00
Umur Ozkul
351381339c bug fixed
logs removed
2022-04-29 18:19:52 +02:00
Umur Ozkul
8e318a8aa9 refactor reducer
removed some extra array references

rename Builder to ExpressionBuilder

Expression Builder

Trash Warning

remove parsePartial/Outer, add context to lambda

format

module Bindings

simplify types

module Macro

reduceValueList

do macro call

result map

bindings stop replacing on macro calls

Macro Test

doBindStatement

bind a statement

bindings tested. TODO bind shadowing in lambda

block tests defined

block tests defined

blocks tested

macro lambda test defined
2022-04-29 16:40:32 +02:00
Sam Nolan
58a357cce5 Add basic partial test 2022-04-29 14:10:41 +00:00
Sam Nolan
8f879b7168 Merge branch 'develop' into squiggle-editor-bindings 2022-04-29 13:51:31 +00:00
Sam Nolan
454ac0c252 Add bindings to Squiggle Editor 2022-04-29 13:50:57 +00:00
Ozzie Gooen
900aeeae29 Expose integralSum to Squiggle 2022-04-28 21:31:15 -04:00
Ozzie Gooen
282fa7726b Added scalePower and scaleLog 2022-04-28 21:14:03 -04:00
Ozzie Gooen
d52447183b
Merge pull request #422 from quantified-uncertainty/no-more-antd
No `antd` (paired with Sam)
2022-04-28 21:09:47 -04:00
Ozzie Gooen
ced3af5813 First attempt at LogScore 2022-04-28 20:24:13 -04:00
Quinn Dougherty
b15ba6563c Incremental README.md improvements
Value: [1e-7 to 1e-6]
2022-04-28 19:15:15 -04:00
Quinn
5f78399760
Merge pull request #416 from quantified-uncertainty/shape-validators
XYShape validator
2022-04-28 18:51:31 -04:00
Sam Nolan
8c59ad0ff1
Merge pull request #421 from quantified-uncertainty/packaging
`squiggle-lang v0.2.6` and `squiggle-components v0.2.13`: packaging fixed
2022-04-28 17:41:19 -04:00
Quinn Dougherty
c4ee0959ec dist/js/index.d.ts => dist/src/js/index.d.ts
Value: [1e-4 to 5e-3]
2022-04-28 17:28:37 -04:00
Quinn Dougherty
6e9315170f Spelling license correctly
Value: [1e-7 to 1e-5]
2022-04-28 17:25:47 -04:00
Sam Nolan
b72e7b42c4
Merge pull request #420 from quantified-uncertainty/dictionary-view
Add Dictionary Viewer and Recursive Array viewer
2022-04-28 16:58:34 -04:00
Ozzie Gooen
f7afbf9c39 Merged with develop 2022-04-28 16:51:02 -04:00
Ozzie Gooen
94d4a38540 Refactored errors for XYShape 2022-04-28 16:49:51 -04:00
Sam Nolan
b9c1f8d727 Move around declarations to be a bit more readable 2022-04-28 20:26:40 +00:00
Quinn Dougherty
de8eb76f4e v0.2.13: packaging works
Value: [2e-1 to 8e-1]
2022-04-28 16:19:40 -04:00
Sam Nolan
e499c1a887 Add tests for deeply nested and records 2022-04-28 20:16:31 +00:00
Quinn Dougherty
44215f540f v0.2.6: packaging fixed
Value: [1e-1 to 8e-1]
2022-04-28 15:20:58 -04:00
Ozzie Gooen
95a4bac49b Added NaN to test to make sure its caught 2022-04-28 15:01:57 -04:00
Sam Nolan
00f862725c Add Dictionary Viewer and Recursive Array viewer 2022-04-28 18:59:15 +00:00
Ozzie Gooen
5dd0292b52 Added tests for XYShape validator 2022-04-28 14:52:44 -04:00
Quinn
658c458c62
Merge pull request #418 from quantified-uncertainty/irrationale
Removed rationale (#410)
2022-04-28 13:42:01 -04:00
Quinn Dougherty
4ff14db6f3 response to CR
Value: [1e-3 to 4e-3]
2022-04-28 13:34:57 -04:00
Quinn Dougherty
5b1ee7f0a6 Removed rationale (#410)
Value: [2e-1 to 6.5e-1]
2022-04-28 13:19:15 -04:00
Ozzie Gooen
1cca9bde38 Merged with develop 2022-04-28 12:49:33 -04:00
Ozzie Gooen
03cd887084 Adding better error messages to XYShape validator 2022-04-28 12:47:04 -04:00
Ozzie Gooen
64c720209d
Merge pull request #415 from quantified-uncertainty/fix-unused-warnings
Add functions to implementation file to fix warnings
2022-04-28 12:00:02 -04:00
Sam Nolan
c9301085b9 Add functions to implementation file to fix warnings 2022-04-28 15:50:12 +00:00
Ozzie Gooen
e1551cb1d7
Merge pull request #409 from quantified-uncertainty/splidcontinuousDiscrete-refactor
Refactor of splitContinuousAndDiscrete to allow for customization
2022-04-28 11:41:06 -04:00
Ozzie Gooen
d1ffac492c Draft of Validates for XYShape 2022-04-28 11:39:29 -04:00
dependabot[bot]
a8cc554354
⬆️ Bump chalk from 4.1.2 to 5.0.1
Bumps [chalk](https://github.com/chalk/chalk) from 4.1.2 to 5.0.1.
- [Release notes](https://github.com/chalk/chalk/releases)
- [Commits](https://github.com/chalk/chalk/compare/v4.1.2...v5.0.1)

---
updated-dependencies:
- dependency-name: chalk
  dependency-type: direct:development
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-28 14:36:16 +00:00
Ozzie Gooen
dde28e54f0 Restructuring of E Sorted 2022-04-28 10:17:29 -04:00
Ozzie Gooen
934ce78399 Algebraic Strategy should use MC when inputs include sample set dists 2022-04-28 09:08:53 -04:00
Ozzie Gooen
b0bfe0f748 Fixed tests 2022-04-28 08:14:07 -04:00
Ozzie Gooen
ab4dcc233c Minor revisions from CR 2022-04-28 08:09:31 -04:00
Ozzie Gooen
2eec389b55 Added docstrings and cleanup 2022-04-28 07:56:23 -04:00
Ozzie Gooen
335d0b5d04 Cleaned tests 2022-04-28 07:36:53 -04:00
Ozzie Gooen
5025f2d55f Refactor of splitContinuousAndDiscrete to allow for more customization 2022-04-27 18:34:37 -04:00
Umur Ozkul
7b052ee3c3 format 2022-04-27 22:24:06 +02:00
Umur Ozkul
5c1ce71a40 fix TypescriptInterface.res 2022-04-27 22:09:25 +02:00
Umur Ozkul
d33f430073 Merge branch 'Umur-develop' into Umur-reducer-dev 2022-04-27 22:08:35 +02:00
Umur Ozkul
54f8b10a95 Reducer: Environment (Give environement to all function dispatches) - closes #169 2022-04-27 22:00:42 +02:00
Ozzie Gooen
b2189777d5 Linted 2022-04-27 15:21:27 -04:00
Ozzie Gooen
dfa404f0d0 Merged with develop 2022-04-27 15:06:15 -04:00
Quinn Dougherty
7b87f64658 Issue 325
Value: [1e-3 to 3e-2]
2022-04-27 13:59:33 -04:00
Quinn Dougherty
a22fbb1afd lint
Value: [1e-7 to 1e-6]
2022-04-27 12:57:49 -04:00
Quinn Dougherty
a5c4cba2f0 Updated tests
Value: [1e-4 to 8e-3]
2022-04-27 12:54:42 -04:00
Ozzie Gooen
6045fe5e62 Organized AlgebraicCombination functionality into submodules 2022-04-27 12:48:46 -04:00
Quinn Dougherty
aabb53957e rm warnings 26 and 27
Value: [1e-5 to 1e-3]
2022-04-27 12:41:07 -04:00
Quinn Dougherty
21d4c1b928 rm warning number 26
Value: [1e-4 to 5e-3]
2022-04-27 12:39:41 -04:00
Quinn Dougherty
b8a2ecc7f0 Merge remote-tracking branch 'origin/develop' into normalize-improvements 2022-04-27 12:38:08 -04:00
Sam Nolan
0353674dcb Merge develop into loss-testing 2022-04-27 15:25:26 +00:00
Ozzie Gooen
d104494f02 First attempt at refactoring algebraicCombination code 2022-04-27 11:13:10 -04:00
dependabot[bot]
0ca3115d4f
⬆️ Bump ts-loader from 9.2.8 to 9.2.9
Bumps [ts-loader](https://github.com/TypeStrong/ts-loader) from 9.2.8 to 9.2.9.
- [Release notes](https://github.com/TypeStrong/ts-loader/releases)
- [Changelog](https://github.com/TypeStrong/ts-loader/blob/main/CHANGELOG.md)
- [Commits](https://github.com/TypeStrong/ts-loader/compare/v9.2.8...v9.2.9)

---
updated-dependencies:
- dependency-name: ts-loader
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-27 14:34:15 +00:00
Quinn Dougherty
4f2dda4625 CR comment about toString.
Value: [0.001 to 0.04]
2022-04-27 09:45:48 -04:00
Quinn Dougherty
938a10766c Response to CR
Value: [0.005 to 0.43]
2022-04-26 20:30:38 -04:00
Sam Nolan
787d4135c7 Fix inv tests always checking 0 2022-04-26 18:59:27 -04:00
Quinn Dougherty
f0d9404a68 merge develop into issue326 2022-04-26 18:43:12 -04:00
Quinn Dougherty
2553229d28 The real 326
Value: [0.04 to 0.3]
2022-04-26 18:41:57 -04:00
Sam Nolan
e6d40362ef Add MIT Licneses to projects 2022-04-26 17:59:38 -04:00
Sam Nolan
93c06f85b0 Merge branch 'develop' into loss-testing 2022-04-26 17:19:33 -04:00
Sam Nolan
1ef766a6c8
Merge pull request #388 from quantified-uncertainty/issue387
Input validation for cauchy
2022-04-26 17:09:28 -04:00
Quinn Dougherty
b9c8a7e2c7 Input validation for cauchy
Value: [0.01 to 0.08]

Sam gets most of the credit
2022-04-26 16:58:36 -04:00
Sam Nolan
93bedc88d9 Bold test titles
Value: [0.00000000001 to 0.00000001]
2022-04-26 16:48:01 -04:00
Quinn Dougherty
6f00716722 deleted comment
Value: [0.001 to 0.01]
2022-04-26 16:39:52 -04:00
Sam Nolan
69ab296bb4 Colors for loss testing 2022-04-26 16:38:17 -04:00
Quinn Dougherty
5469435dc5 Merge remote-tracking branch 'origin/develop' into issue326 2022-04-26 16:07:56 -04:00
Quinn Dougherty
c53e56e773 The proper issue326 (again)
Value: [1 to 3.6]
2022-04-26 16:06:51 -04:00
Sam Nolan
752f2a1ea5 Add other distributions and operations into benchmarking 2022-04-26 16:05:16 -04:00
Sam Nolan
592bdbb9e9 Improve messages in benchmarking 2022-04-26 14:30:03 -04:00
Sam Nolan
60f3445277 Initial loss testing proof of concept 2022-04-26 14:26:02 -04:00
Sam Nolan
ba412f2df6 Fix resolution issue 2022-04-26 14:15:37 -04:00
Sam Nolan
7302a3ec10 Give isNormalised lower bound 2022-04-26 13:28:08 -04:00
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]
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
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
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
Umur Ozkul
7d4e3072b8 commite related issue note 2022-04-25 18:35:15 +02: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
Umur Ozkul
ac8827da28 ternary with bindings (failed) 2022-04-25 17:15:28 +02:00
Sam Nolan
fe493af0b9 Merge branch 'develop' into commutative-error 2022-04-25 11:00:45 -04:00
Umur Ozkul
cbc2b73b20 Evaluate ternary operator (tested) 2022-04-25 16:19:56 +02:00