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

483 Commits

Author SHA1 Message Date
Umur Ozkul
a394e93e06 tutorial intro to includes 2022-08-23 09:35:29 +02:00
Umur Ozkul
f23e26fbbf tutorial 1 depending 2022-08-23 09:20:18 +02:00
Ozzie Gooen
e1efefaf7d Added sampleN from Stdlib to allow for correct sampling of discrete distributions 2022-08-21 21:45:05 -07:00
Ozzie Gooen
516f4fa39d Added truncate for SampleSet distribution 2022-08-20 17:10:08 -07:00
Umur Ozkul
d7ed875566 demolish external value 2022-08-19 21:12:04 +02:00
Umur Ozkul
f573c326d2 demolish ExternalValue 2022-08-19 21:01:02 +02:00
Umur Ozkul
f0ba68f64a project 2022-08-19 17:22:22 +02:00
Umur Ozkul
868f9f428a parametric types for typescript 2022-08-17 21:22:10 +02:00
Umur Ozkul
32f3aeba13 tutorial TODO 2022-08-16 19:01:47 +02:00
Umur Ozkul
454a545ef6 tutorial: initial 
Also missing public API function
 2022-08-16 17:07:15 +02:00
Umur Ozkul
66f2f18a00 fix merging develop 2022-08-15 14:45:45 +02:00
Umur Ozkul
58e1cf187d Merge branch 'develop' into reducer-project 2022-08-15 13:59:07 +02:00
Umur Ozkul
0c1c5c9499 seperate Project Topology Module 2022-08-14 16:18:07 +02:00
Ozzie Gooen
5dd988ac13
Merge pull request #900 from quantified-uncertainty/reducer-typecheck-example 
Reducer real life type checking example to build a library
 2022-08-11 17:45:30 -07:00
Umur Ozkul
f21725d86c remove TODO 2022-08-10 12:09:06 +02:00
Umur Ozkul
2e8e71bbd0 project 
test

remove setResult

parse end of outerblock

test end of outer block

compiles

testing

bindings tested

todo chain bindings

topological sort
 2022-08-10 11:53:39 +02:00
Umur Ozkul
4c21aa902e the last property of a record can have a following comma 2022-07-30 22:14:16 +02:00
Umur Ozkul
c6eb69628d merge issue 904 2022-07-29 05:53:47 +02:00
Umur Ozkul
e1c53c9087 any type 
any will be depreciated after the implementation of binding type
variables
 2022-07-28 22:25:51 +02:00
Umur Ozkul
6733319403 switch replacement by type checking 2022-07-28 22:20:00 +02:00
Umur Ozkul
fc88b065f5 remove unused test file 2022-07-28 13:42:27 +02:00
Ozzie Gooen
47f1be0702 Story cleanup 2022-07-21 11:29:59 -07:00
Ozzie Gooen
acebaa517b Simple SampleSet.fromDist function 2022-07-21 10:31:53 -07:00
Ozzie Gooen
223ddf6a3e Fixed bug with namespaces 2022-07-21 08:54:41 -07:00
Ozzie Gooen
d3a12eb4e9 Fixed bug with namespaces 2022-07-21 08:31:46 -07:00
Ozzie Gooen
aa3d91d78f Merge branch 'develop' into add-reducer-to-function-registry 
* develop:
  Minor component fix to show Void statements
  Fixed typescript build
  Introduce void type
 2022-07-20 16:50:49 -07:00
Ozzie Gooen
4055d1e93c
Merge pull request #865 from quantified-uncertainty/reducer-void 
Reducer: void type
 2022-07-20 16:46:48 -07:00
Umur Ozkul
1c4557b638 Introduce void type 
yarn all:rescript

EvVoid

parsing void

void
 2022-07-20 17:01:42 +02:00
Ozzie Gooen
9173b103f5 Fixed major bug for module functions 2022-07-19 23:06:10 -07:00
Ozzie Gooen
90d3f89c0a Trying to fix things, but breaking a lot of tests. 2022-07-19 21:32:11 -07:00
Ozzie Gooen
f8d6db61c5 Moved list functions into FunctionRegistry 2022-07-19 10:35:31 -07:00
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
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
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
4535041876 less test clutter 2022-07-18 22:52:19 +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
Umur Ozkul
abee4db340 Merge branch 'develop' into reducer-typecheck 2022-07-18 15:18:10 +02:00
Umur Ozkul
6966c8d3e5 ternary validation 2022-07-18 15:17:41 +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
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
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
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
78e9e48626 Moved env to GenericDist, and used it 2022-07-13 09:37:39 -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
20114d9a84 Made new test call polymorphic constructor #ToFloat 2022-07-11 14:23:58 -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
Umur Ozkul
d25e052b61 rename to Reducer_Module_test 2022-07-11 17:04:21 +02:00
Ozzie Gooen
6e968c492b
Merge pull request #786 from quantified-uncertainty/reducer-modules 
Module.defineFFI
 2022-07-05 21:26:20 -04:00
Umur Ozkul
b3ac8848d2 comment 2022-07-05 15:27:56 +02:00
Umur Ozkul
e0b2632028 format 2022-07-05 06:20:57 +02:00
Umur Ozkul
746ca695af fix test 2022-07-05 06:17:26 +02:00
Umur Ozkul
742fc10e0d comment 2022-07-05 05:54:56 +02:00
Umur Ozkul
6edacc78e4 foo test 2022-07-05 05:16:00 +02:00
Quinn Dougherty
7889332052 polymorphic variants to neatly constrain types 2022-07-04 11:24:30 -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
acb0d3b9ee removed \TwoScalars\ material 2022-06-26 12:28:04 -04:00
Quinn Dougherty
3e67180fe1 Merge remote-tracking branch 'origin/develop' into scoring-cleanup-three 2022-06-24 08:48:07 -04:00
Umur Ozkul
e192fe5790 PR comments 2022-06-24 12:15:38 +02: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
7138645c57 Merge remote-tracking branch 'refs/remotes/origin/develop' into develop 2022-06-23 04:02:01 +00: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
Quinn Dougherty
13ba7d1a5e Merge remote-tracking branch 'origin/develop' into scoring-cleanup-three 2022-06-22 22:06:16 -04:00
Umur Ozkul
95d3bf6eaa merge Reducer 2022-06-23 04:03:50 +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
Quinn Dougherty
40f4db5eb1 fixed all tests by switching to integer. it does not make sense. 2022-06-22 17:51:14 -04:00
Quinn Dougherty
507d8e9f98 regenerated yarn.lock; moved fc.float to fc.double in symbolic_test.ts 2022-06-21 16:14:45 -04:00
Quinn Dougherty
444596aac4 some of the problems solved 2022-06-21 15:43:17 -04:00
Quinn Dougherty
d80ea676c5 fixed tests after pair; error'd out mixed case 2022-06-21 12:23:58 -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
f5366540f7 Merge remote-tracking branch 'origin/develop' into scoring-cleanup-three 2022-06-20 08:50:59 -04:00
Ozzie Gooen
7ceae18611 Normalize after trunctae 2022-06-14 16:54:59 -07:00
Umur Ozkul
e661665385 Merge branch 'develop' into reducer-modules 2022-06-13 18:56:37 +02:00
Umur Ozkul
28938adf53 always merge stdlib 2022-06-13 18:54:48 +02:00
Ozzie Gooen
a690cd15fd
Merge pull request #638 from quantified-uncertainty/Documentation-auto-generation 
First attempt at a complete API definition
 2022-06-11 13:37:27 -07:00
Ozzie Gooen
79b71c39a0 Ran formatter and fixed tests 2022-06-11 08:47:52 -07:00
Umur Ozkul
0704c8d9f5 module tests pass 2022-06-11 15:15:25 +02:00
Ozzie Gooen
6dc8b711bb Lots of simple cleanup to api docs 2022-06-10 17:35:48 -07:00
Umur Ozkul
69bab17331 Math module tests defined (failing) 
rename modules

define module

Math module

test helper fixed for defaults and test defined
 2022-06-10 16:35:39 +02:00
Umur Ozkul
02c06b638e module access to expression 2022-06-09 14:57:25 +02:00
Umur Ozkul
5f6feb26ba Module parse tested 2022-06-09 14:39:06 +02:00