Commit Graph

322 Commits

Author SHA1 Message Date
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
454ac0c252 Add bindings to Squiggle Editor 2022-04-29 13:50:57 +00:00
Quinn
5f78399760
Merge pull request #416 from quantified-uncertainty/shape-validators
XYShape validator
2022-04-28 18:51:31 -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
94d4a38540 Refactored errors for XYShape 2022-04-28 16:49:51 -04:00
Sam Nolan
e499c1a887 Add tests for deeply nested and records 2022-04-28 20:16:31 +00:00
Ozzie Gooen
95a4bac49b Added NaN to test to make sure its caught 2022-04-28 15:01:57 -04:00
Ozzie Gooen
5dd0292b52 Added tests for XYShape validator 2022-04-28 14:52:44 -04:00
Ozzie Gooen
1cca9bde38 Merged with develop 2022-04-28 12:49:33 -04: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
b0bfe0f748 Fixed tests 2022-04-28 08:14:07 -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
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
Quinn Dougherty
7b87f64658 Issue 325
Value: [1e-3 to 3e-2]
2022-04-27 13:59:33 -04:00
Quinn Dougherty
a5c4cba2f0 Updated tests
Value: [1e-4 to 8e-3]
2022-04-27 12:54:42 -04:00
Quinn Dougherty
b8a2ecc7f0 Merge remote-tracking branch 'origin/develop' into normalize-improvements 2022-04-27 12:38: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
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
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
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
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
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
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
Umur Ozkul
cbc2b73b20 Evaluate ternary operator (tested) 2022-04-25 16:19:56 +02:00
Umur Ozkul
c810c4576d reducer semantics ternary (tested) 2022-04-25 15:30:27 +02:00
Umur Ozkul
4d801c0b10 ternary operator mathjs parse (tested) 2022-04-25 15:11:50 +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
e3ef08839f Function definition evaluated 2022-04-25 02:48:49 +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
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
ee6551a694 Prevent negative standard deviation in symbolic multiplication
Introduced in #242
2022-04-23 16:57:06 -04:00
Umur Ozkul
88b6d49ad3 function definition parse (tested) 2022-04-23 21:13:43 +02: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
4544268429 Clean up means testing to remove some duplication 2022-04-23 14:25:08 -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
Sam Nolan
98bf4f81c7 Rename assertOk to toExn 2022-04-23 10:30:03 -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
e456726e53 Merge branch 'reducer-dev-F-debugging' into Umur-reducer-dev 2022-04-23 15:21:11 +02: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
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
0ccbf607a2 ternary operator tests defined and skipped 2022-04-22 20:57:07 +02:00
Sam Nolan
2845bd3e39 Use a more conservative convolution policy 2022-04-22 12:43:18 -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
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
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
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
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
Umur Ozkul
da37536b4b Merge branch 'develop' into reducer-dev 2022-04-17 20:38:20 +02:00
Umur Ozkul
52ac2e2ece Binding tests imlemented and skipped 2022-04-17 20:36:04 +02:00
Umur Ozkul
e2015e1098 Outer and Partial: test helpers defined 2022-04-17 20:07:21 +02:00
Umur Ozkul
b1e2b27cee partials compile. TODO tests 2022-04-17 19:24:39 +02:00
c15412642a fix: Failing tests 2022-04-15 13:01:49 -04:00
Umur Ozkul
7ab69a1708 issue 234
Define partial code
2022-04-15 14:48:58 +02:00
Umur Ozkul
3f95ca455b imports #234 2022-04-15 08:56:48 +02:00
9910afd74b fix: Failing tests
The tests were wrong, not the code. Feels like it should be
the other way around
2022-04-14 16:52:36 -04:00
6d82adca25 Merge branch 'develop' into audit-2022-04-14-SymbolicDist.res 2022-04-14 16:50:37 -04:00
aad6a9c603 fix: Bad tests
These tests are failing because I increased the precision of a magic
constant.

This might be a signal that these are bad tests
2022-04-14 16:35:24 -04:00
Ozzie Gooen
8854eed91e
Merge pull request #242 from quantified-uncertainty/analytic-normal
Analytic normal
2022-04-14 16:11:36 -04:00
Quinn
a9cbcf2079
hotfix: develop-- branch deploy rather than deploy preview in module docstring 2022-04-13 21:12:40 -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
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
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 Dougherty
165427f137 refactored to a higher level of abstraction 2022-04-13 10:30:23 -04:00
Sam Nolan
948a8dd651 Add analytic solutions for normal and lognormal 2022-04-13 15:11:14 +10: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
Quinn Dougherty
4f95c019eb yarn format 2022-04-12 20:22:19 -04:00
Umur Ozkul
a95cdfabe3 dont use short Desc - close umuro/squiggle#51 2022-04-12 16:19:50 +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
Sam Nolan
e5f8b6c7d3 Fix build errors for components and lang 2022-04-12 16:21:32 +10:00
Sam Nolan
440bfabffa Run prettier on monorepo + fix crashing playground 2022-04-12 15:41:36 +10: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
Sam Nolan
26433c5289 Fix failing tests based on new toString 2022-04-11 16:31:54 +10:00
Sam Nolan
61b589d0bd Change typescript interface to reducer 2022-04-11 13:16:31 +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
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
Ozzie Gooen
5b0efbb3a8 Bandwidth -> SampleSetDist_Bandwidth 2022-04-09 21:31:34 -04:00
Ozzie Gooen
f17a842c52 Cleanup from previous refactor 2022-04-09 20:27:03 -04:00
Ozzie Gooen
61aaca3e2f Gave SampleSetDist a private type 2022-04-09 18:10:06 -04:00
Ozzie Gooen
2dc57bedc5 Added more tests to JS__Test.ts, and added SampleN functionality to SampleSetDist 2022-04-08 21:31:08 -04:00
Ozzie Gooen
0af0c9e274 Added tests for index.js and fixed some corresponding functionality 2022-04-08 19:48:53 -04:00
Ozzie Gooen
6634718ba9 Cleanup from merge 2022-04-08 09:32:48 -04:00
Ozzie Gooen
4b103cb128 Merged with staging 2022-04-08 09:19:03 -04:00
Ozzie Gooen
937a8482fd Added sparkline and toString to ReducerInterface 2022-04-08 09:08:49 -04:00
Ozzie Gooen
837088a9c6 Refactored tests to use GenericOperation 2022-04-08 08:53:37 -04:00
Ozzie Gooen
0fa954ae63 Improves sparklines by integrating them more deeply to the codebase 2022-04-08 08:44:04 -04:00
Umur Ozkul
1d550353c9 Merge branch 'staging' into reducer-dev 2022-04-08 11:09:46 +02:00
Sam Nolan
d6e18b1c4f Respond to Ozzie's PR comments 2022-04-08 16:51:38 +10:00
Sam Nolan
5a2c4c8aec Fix build error in test (rangeFloat) 2022-04-08 11:17:56 +10:00
Sam Nolan
bf2f85a8ab Respond to sparkline PR change requests 2022-04-08 11:02:41 +10:00
Sam Nolan
53f4e56529 Implement generic sparklines with tests 2022-04-08 10:17:01 +10:00
Quinn Dougherty
9764a4cab8 one last CR comment 2022-04-07 20:13:08 -04:00
Quinn Dougherty
72be08a516 CR comments from #192 2022-04-07 18:38:49 -04:00
Quinn Dougherty
d582e29e8b CR comment #1 2022-04-07 14:33:49 -04:00
Quinn Dougherty
72cfbf14c2 test cases for lognormal uniform mixture 2022-04-07 13:50:11 -04:00
Quinn Dougherty
94db348db5 calling it a night on 192 (pending CR) 2022-04-07 13:33:12 -04:00
Quinn Dougherty
db05541a7b up to 186 tests 2022-04-07 10:55:51 -04:00