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

787 Commits

Author SHA1 Message Date
Ozzie Gooen
28036bfb36 Minor cleanup 2022-07-19 08:12:04 -07:00
Ozzie Gooen
ee244463fa Merged with develop 2022-07-18 22:27:59 -07:00
Ozzie Gooen
5891d23462
Merge pull request #845 from quantified-uncertainty/reducer-typecheck 
Reducer typecheck
 2022-07-18 22:25:40 -07:00
Ozzie Gooen
6f25fca814 Minor cleanup 2022-07-18 22:21:57 -07:00
Ozzie Gooen
173c17e13d Simple cleanup 2022-07-18 22:17:38 -07:00
Ozzie Gooen
dbfee988d2 Pulled out cache in Registry, to make more sense 2022-07-18 22:14:46 -07:00
Ozzie Gooen
905d2fbb23 Removed now-uneeded Function Registry test file 2022-07-18 21:29:46 -07:00
Ozzie Gooen
e6b402c7d8
Merge pull request #860 from quantified-uncertainty/sampleN 
`mapSamplesN`
 2022-07-18 21:17:38 -07:00
Sam Nolan
7887256ca1 Reorder function declarations to compile 2022-07-19 11:45:07 +10:00
Sam Nolan
5bdc19f35f Refactor sampleN code and remove log 2022-07-19 11:38:43 +10:00
Sam Nolan
ffaf349e0a Basic mapSampleN support 2022-07-19 11:33:11 +10:00
Ozzie Gooen
30f721eeb6 Simple conversion away from using modules 2022-07-18 16:10:19 -07:00
Umur Ozkul
6e1be862d2 reducer passed to external library 2022-07-18 18:51:05 +02:00
Ozzie Gooen
beb22274d6 Immediate fix for merge conflict 2022-07-18 09:32:23 -07:00
Umur Ozkul
15d63a6a96 type modifiers -> type contracts 2022-07-18 18:31:09 +02:00
Umur Ozkul
c1429e0907 simplified modules 2022-07-18 18:16:49 +02:00
Umur Ozkul
06134a6524 Merge branch 'reducer-parsermodules' into reducer-typecheck 2022-07-18 18:08:44 +02:00
Umur Ozkul
479f60df01 before math library 
no module (tested)

fix parser and Math library
 2022-07-18 18:04:47 +02:00
Ozzie Gooen
628b105535 PointSet -> Pointset 2022-07-18 08:24:11 -07:00
Umur Ozkul
abee4db340 Merge branch 'develop' into reducer-typecheck 2022-07-18 15:18:10 +02:00
Umur Ozkul
8fb75d57fc type check 2022-07-18 15:15:36 +02:00
Ozzie Gooen
08a7b8586b Simple tests for function library 2022-07-16 22:01:26 -07:00
Ozzie Gooen
b502e21a0f Format 2022-07-16 20:33:15 -07:00
Ozzie Gooen
c5447b8d7a All autogenerated FunctionLibrary tests pass 2022-07-16 20:32:37 -07:00
Ozzie Gooen
395477ed12 Initial testing of FunctionRegistry Library 2022-07-16 19:50:18 -07:00
Ozzie Gooen
5e8b46b7df Cleaning up Function Registry to Reducer interface 2022-07-16 19:06:48 -07:00
Ozzie Gooen
d88fb95767 Simple reformatting, got RequiresNamespace to work 2022-07-16 18:11:38 -07:00
Ozzie Gooen
0c032e710c Moved function library modules to separate files 2022-07-16 14:01:00 -07:00
Umur Ozkul
b65aeaf0d2 spell check 2022-07-16 17:09:39 +02:00
Umur Ozkul
4522b46900 basic type compiler 2022-07-16 16:13:39 +02:00
Ozzie Gooen
e3ef7a3048 Added examples to most items in function registry library 2022-07-15 19:47:57 -07:00
Ozzie Gooen
9d5aaf43a8 Simple tests for fake FunctionRegistry output types 2022-07-15 19:18:36 -07:00
Ozzie Gooen
8839f1d9c7 Added FunctionRegistry test and got simple polymorphism working 2022-07-14 22:14:23 -07:00
Ozzie Gooen
3f09f5f307 Move namespace from fnDefinition to fn 2022-07-14 17:21:07 -07:00
Ozzie Gooen
3c396e0ccc FunctionRegistry examples should be an array 2022-07-14 16:43:38 -07:00
Ozzie Gooen
c3b0009fb8 Minor cleanup 2022-07-14 16:13:22 -07:00
Ozzie Gooen
fc95253dd5 Cleanup of Dict Fromlist in Function Registry Library 2022-07-14 15:15:03 -07:00
Ozzie Gooen
feb198d205 Add and use extra pathway for FunctionRegistry to use internalValues directly 2022-07-14 14:53:53 -07:00
Ozzie Gooen
cae59cb84b Split up function definitions 2022-07-14 13:31:48 -07:00
Ozzie Gooen
04accf0075 Merge branch 'develop' into namespace-integration 
* develop: (61 commits)
  Minor UI refactors
  tweak: Indicate that the configuration step is optional
  tweak: Show what to click in the extension
  tweak: Better documentation
  Formatted code
  Moved env to GenericDist, and used it
  Replaced some scoring functions with functionRegistry functions
  Prior can't be a point
  v0.2.23
  Made new test call polymorphic constructor #ToFloat
  ⬆️ Bump @typescript-eslint/parser from 5.30.5 to 5.30.6
  ⬆️ Bump postcss-cli from 9.1.0 to 10.0.0
  ⬆️ Bump @typescript-eslint/eslint-plugin from 5.30.5 to 5.30.6
  ⬆️ Bump @docusaurus/preset-classic
  ⬆️ Bump clsx from 1.2.0 to 1.2.1
  ⬆️ Bump postcss-loader from 7.0.0 to 7.0.1
  ⬆️ Bump @hookform/resolvers from 2.9.3 to 2.9.5
  ⬆️ Bump @types/node from 18.0.0 to 18.0.3
  ⬆️ Bump @docusaurus/core from 2.0.0-beta.21 to 2.0.0-beta.22
  ⬆️ Bump @typescript-eslint/parser from 5.30.4 to 5.30.5
  ...
 2022-07-13 15:19:26 -07:00
Ozzie Gooen
d8b1e0d5ff Formatted code 2022-07-13 10:11:59 -07:00
Ozzie Gooen
78e9e48626 Moved env to GenericDist, and used it 2022-07-13 09:37:39 -07:00
Ozzie Gooen
3d71d7bf4e Replaced some scoring functions with functionRegistry functions 2022-07-13 08:56:22 -07:00
Ozzie Gooen
652394f535 Prior can't be a point 2022-07-12 09:45:41 -07:00
Quinn Dougherty
e9968288fd Merge remote-tracking branch 'origin/develop' into scoring-cleanup-three 2022-07-11 15:34:50 -04:00
Quinn Dougherty
d682f28faf Merge remote-tracking branch 'origin/develop' into scoring-cleanup-three 2022-07-11 14:20:00 -04:00
Umur Ozkul
532a878911 define function returning result 2022-07-11 17:46:50 +02:00
Ozzie Gooen
7afae96cf4 Simple integration of module functionality 2022-07-07 18:30:56 -07:00
Ozzie Gooen
c866cc812a wip 2022-07-07 18:09:41 -07:00
Ozzie Gooen
9f0e4f34fe First attempt at integrating namespaces 2022-07-07 12:01:02 -07:00
Ozzie Gooen
6e968c492b
Merge pull request #786 from quantified-uncertainty/reducer-modules 
Module.defineFFI
 2022-07-05 21:26:20 -04:00
Ozzie Gooen
4054f7dbff
Small beta error message change 2022-07-05 19:48:41 -04:00
Umur Ozkul
29c9cad510 remove dead line 2022-07-05 06:19:42 +02:00
Umur Ozkul
f5f2d94fbc remove dead line 2022-07-05 06:17:15 +02:00
Umur Ozkul
a285d0b493 fix peggy warning 2022-07-05 06:17:03 +02:00
Umur Ozkul
6edacc78e4 foo test 2022-07-05 05:16:00 +02:00
Umur Ozkul
c0329dc73d resolve PR786 2022-07-05 00:58:25 +02:00
Quinn Dougherty
7889332052 polymorphic variants to neatly constrain types 2022-07-04 11:24:30 -04:00
Quinn Dougherty
4858aa9fe5 **most** comments, might do something with polymorphic variants so that types are more truthful next, but might not 2022-07-04 10:22:06 -04:00
Quinn Dougherty
9225710d2d Merge remote-tracking branch 'origin/develop' into scoring-cleanup-three 2022-07-04 10:19:52 -04:00
Quinn Dougherty
7a419742ad moved error message sooner for invalid mean and stdev 2022-07-04 09:57:00 -04:00
Ozzie Gooen
d6bdf5bfeb Formatted code 2022-07-02 15:02:43 -04:00
Ozzie Gooen
d888f685d0 Quick fixes for EvType typescripting 2022-07-02 14:25:05 -04:00
Umur Ozkul
38cc93bdec Module.defineFFI 2022-07-02 14:53:33 +02:00
Quinn Dougherty
9dcac8dd48 fixed \-1\ I had forgotten; added basic mean tests 2022-06-30 12:20:50 -04:00
Quinn Dougherty
54cd636524 added comment for more direct wikipedia citation 2022-06-27 14:37:12 -04:00
Quinn Dougherty
14189fd848 #497 (no tests or examples) 2022-06-27 14:31:35 -04:00
Quinn Dougherty
acb0d3b9ee removed \TwoScalars\ material 2022-06-26 12:28:04 -04:00
Vyacheslav Matyukhin
8880b91c28
peggy: require instead of import, fixes tests 2022-06-26 12:13:38 +03:00
Vyacheslav Matyukhin
7cbece9212
optional location on NodeString (for record keys) 2022-06-26 11:42:33 +03:00
Vyacheslav Matyukhin
5a2b5b2a4d
return typed peggy AST from parse 2022-06-26 11:14:51 +03:00
Quinn Dougherty
29cf1cebb2 fixed paths to constructors 2022-06-24 09:19:15 -04:00
Quinn Dougherty
e0e2f12e27 added path to constructors 2022-06-24 09:07:15 -04:00
Quinn Dougherty
9dbd4f076c fixed paren balancing and so on 2022-06-24 08:56:16 -04:00
Quinn Dougherty
3e67180fe1 Merge remote-tracking branch 'origin/develop' into scoring-cleanup-three 2022-06-24 08:48:07 -04:00
Ozzie Gooen
aeea4806b4
Merge pull request #752 from quantified-uncertainty/reducer-typescript-wall 
Reducer typescript wall
 2022-06-24 05:43:21 -07:00
Sam Nolan
3b84c2892c Fix typescript errors (start raw decoding early) 2022-06-24 10:53:53 +00:00
Umur Ozkul
e192fe5790 PR comments 2022-06-24 12:15:38 +02:00
Ozzie Gooen
934608d971
Merge pull request #750 from quantified-uncertainty/language-server 
Language server; error location in SyntaxErrors
 2022-06-23 17:30:29 -07:00
Umur Ozkul
07d5c6d8b3 Iev -> IEv Just more readable prefix 2022-06-23 20:38:07 +02:00
Umur Ozkul
24a9c52789 Merge branch 'develop' into reducer-typescript-wall 2022-06-23 20:07:05 +02:00
Quinn Dougherty
b74b83a2cb Merge remote-tracking branch 'origin/develop' into scoring-cleanup-three 2022-06-23 11:34:03 -04:00
Sam Nolan
2b8545ad04 Fix 1 + distribution having reverse ordered points 
Fixes #595
 2022-06-23 03:40:40 +00:00
Umur Ozkul
e23f8b011b Merge branch 'develop' into reducer-typescript-wall 
packages/squiggle-lang/src/rescript/ReducerInterface/ReducerInterface_GenericDistribution.res
packages/squiggle-lang/src/rescript/SquiggleLibrary/SquiggleLibrary_Math.res
 2022-06-23 04:29:13 +02:00
Umur Ozkul
95d3bf6eaa merge Reducer 2022-06-23 04:03:50 +02:00
Umur Ozkul
7b2c16d90f fix typescript test 2022-06-23 04:03:14 +02:00
Umur Ozkul
ac9a468aa6 Reducer InternalExpressionValue created 
this will allow complicated changes to execution without changing the typescript interface
 2022-06-23 02:25:54 +02:00
Vyacheslav Matyukhin
84a0d83efb
store location on RESyntaxError; export parse() function 2022-06-22 00:34:35 +03:00
Quinn Dougherty
d80ea676c5 fixed tests after pair; error'd out mixed case 2022-06-21 12:23:58 -04:00
Quinn Dougherty
95adc67701 some adjustments I guess 2022-06-21 11:55:15 -04:00
NunoSempere
93f5b4ba2a feat: Fix remaining scoring errors with Quinn 
Value::0.3 to 0.9
 2022-06-20 16:39:48 -04:00
NunoSempere
4b1c226173 fix: PointSetDist_Scoring.WithScalarAnswer.scoreWithPrior 
Done in pair coding with Quinn.
Value::[0.3 to 0.9]
 2022-06-20 16:14:41 -04:00
Quinn Dougherty
633bab9c30 a fistful of comments 2022-06-20 11:11:11 -04:00
Quinn Dougherty
1a6ced0373 a few comments more 2022-06-20 09:34:56 -04:00
Quinn Dougherty
d156b24fd1 \yarn format\ pass 2022-06-20 08:51:34 -04:00
Quinn Dougherty
f5366540f7 Merge remote-tracking branch 'origin/develop' into scoring-cleanup-three 2022-06-20 08:50:59 -04:00
Quinn Dougherty
18733f2d09 merged 592 2022-06-20 08:47:16 -04:00
Quinn Dougherty
74fe0296e0 Merge remote-tracking branch 'origin/scoring-cleanup-refactor' into scoring-cleanup-three 2022-06-20 08:36:31 -04:00
Quinn Dougherty
584c639d01 some of the comments 2022-06-20 08:28:30 -04:00
Ozzie Gooen
8d311a099d Added scaleMultiply 2022-06-17 06:44:06 -07:00