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

444 Commits

Author SHA1 Message Date
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
Ozzie Gooen
b675b33dfe Refactored reducerInterface files 2022-06-06 14:42:49 -07:00
Umur Ozkul
6b25e82f58 typeExpression 
type statements

type paranthesis

type paranthesis

comments

TODO

typeExpression

type statements

type paranthesis

type paranthesis

comments

TODO

peggy construct functions

typeExpression

type statements

type paranthesis

type paranthesis

comments

TODO

peggy construct functions

apply

typeExpression

type statements

type paranthesis

type paranthesis

comments

TODO

peggy construct functions

apply

all types are expressions

typeExpression

type statements

type paranthesis

type paranthesis

comments

TODO

peggy construct functions

apply

all types are expressions

modifiers

typeExpression

type statements

type paranthesis

type paranthesis

comments

TODO

peggy construct functions

apply

all types are expressions

modifiers

0 arg constructors and $ (low priority type modifier)

remove GeneratedParser.js

peggy test helpers

test type parsing

type of test defined

act of binding refactored

recognize all binding functions | "$_setBindings_$" | "$_setTypeOfBindings_$" | "$_setTypeAliasBindings_$"

doBindStatement

bindings default statemetn

doBindExpression

clone type references and type aliases

doSetBindingsInNamespace

member_of, min, max

typeOr

type function

type with expression
 2022-06-02 14:20:55 +02:00
Umur Ozkul
00d7304b4b format 2022-05-29 17:56:37 +02:00
Umur Ozkul
ac3fa859c0 Replace $$_block__$$ with {} 
More redable language tests
 2022-05-29 17:55:01 +02:00
Umur Ozkul
ce5f12360a fixed #597 2022-05-28 15:52:35 +02:00
Quinn Dougherty
cbaf4c150d one CR comment; chasing kldivergence on mixeds bug 
Value: [1e-10 to 1e-3]
 2022-05-25 13:10:31 -04:00
Quinn Dougherty
249f58d3d8 Slightly baffled why klDivergence : mixed x mixed -> float is busted. 
Value: [1e-4 to 3e-2]

hypothesis: I need to reintroduce `combineAlongSupportOfSecondArgument`
 2022-05-25 10:39:30 -04:00
Quinn Dougherty
f2460a5e12 It compiles 
Value: [1e-3 to 4e-1]
 2022-05-25 08:22:57 -04:00
Umur Ozkul
5caad73586 Merge branch 'develop' into reducer-dev 2022-05-23 20:40:56 +02:00
Ozzie Gooen
faf4718f4d Merged with develop 2022-05-23 13:49:39 -04:00
Ozzie Gooen
054e379593 Fixed test 2022-05-23 13:47:54 -04:00
Umur Ozkul
a386eee570 remove unit evaluation test 
We provide no implementation
 2022-05-23 18:18:30 +02:00
Umur Ozkul
08c73ac22f Merge branch 'Umur-reducer-dev' into reducer-dev 
packages/squiggle-lang/__tests__/Reducer/Reducer_Peggy/Reducer_Peggy_Parse_test.res
packages/squiggle-lang/src/rescript/Reducer/Reducer_Peggy/Reducer_Peggy_GeneratedParser.js
packages/squiggle-lang/src/rescript/Reducer/Reducer_Peggy/Reducer_Peggy_GeneratedParser.peggy
 2022-05-23 18:07:50 +02:00
Umur Ozkul
107bce506f generic unit support 2022-05-23 17:51:38 +02:00
Umur Ozkul
4628140069 numbers with units (tested) 2022-05-23 08:13:51 +02:00
Umur Ozkul
949b57c426 Error reporting if function arguments are defined 
map(arr, toSample) now correctly reports

toSample not found

instead of

macro(Array,Symbol) not defined
 2022-05-21 19:18:39 +02:00
Umur Ozkul
2265254531 Filter arguments passed to mathjs calls by type so that error messages are not too weird 2022-05-21 18:05:55 +02:00
Umur Ozkul
feb0284a89 format 2022-05-20 18:20:00 +02:00
Umur Ozkul
1557c197a0 renamed internal variables starting with $ so that they are not overriden by $ variables in Squigle 2022-05-20 17:11:32 +02:00
Umur Ozkul
870b0c9d4e hidden macros 2022-05-20 17:05:53 +02:00
Umur Ozkul
b165ccac9f floats in scientific notation and optional leading zero 2022-05-20 15:18:27 +02:00
Umur Ozkul
c1f269e9a4 fixed logical operator priority 2022-05-20 00:29:04 +02:00
Umur Ozkul
6b2e509aea pipes, binary, unary and post operators test 2022-05-19 23:35:15 +02:00
Umur Ozkul
75c913fac3 fixes #522 2022-05-19 20:45:15 +02:00
Umur Ozkul
ffedc5dbb3 multi-line tests 2022-05-19 20:38:10 +02:00
Umur Ozkul
a51e4be528 format 2022-05-19 20:25:18 +02:00
Umur Ozkul
c496ae5cdd multi-line tests 2022-05-19 18:19:09 +02:00
Umur Ozkul
638548c37b multi-line comment 2022-05-19 18:04:51 +02:00
Umur Ozkul
7ccb1d8108 multi-line tests 2022-05-19 17:59:25 +02:00
Umur Ozkul
3371c51e94 post operators test 2022-05-19 17:47:26 +02:00
Umur Ozkul
56f0c9c290 lambda tests 2022-05-19 17:40:30 +02:00
Umur Ozkul
7bfe286f42 multiplicative tests 2022-05-19 17:32:14 +02:00
Umur Ozkul
0753311b93 logical tests 2022-05-19 17:14:16 +02:00
Umur Ozkul
470a6add42 update ternary 2022-05-19 16:45:50 +02:00
Umur Ozkul
4ce1ab1172 added subtract test 2022-05-19 15:21:49 +02:00
Umur Ozkul
7b5fd2b101 Merge branch 'develop' into reducer-dev 2022-05-19 01:28:37 +02:00
Umur Ozkul
db050668d1 parser 
toFunction

additive multiplicative

compact

whitespace

pow

relational equality

boolean

whitespace separator

left associative operators

expression

not

identifier

function call

array constructor

string

indexed values

ident

priority

block

outerBlock

optional final expression

statement separator

outerBlock

innerBlock

better errors

note xor

white space and record

unary minus

inner/outer block

statement

lambda

sort

lambda is a value constructor

lambdaCall

ternary

ternary

basicValue

cleanup

quotes

chained Functions

dot operators

unify unary operators

unify unary operatos

notes

notes

notes

notes

parser

priorities set

white space or newline defined

allow newlines

notes

function call has become a post operator

recordElement

recursive index

postOperatorToFunction

better integer

comments

notes

record priority

comment

atom

finalComment

generated parser

type cast

format

initiate test file

test initiated; todo nodeCall; nodeExpression

callIdentifier

recover extra

initiate testing

initial tests pass

tests pass

remove function node

ternary

test parse passed

to

tests pass

notes

sort

toExpression

format

notes

remove unused modules

remove unnecessary nodeLambdaCall

notes

note

fix construct array

comment test

todo

elixir pipe

fix toString

notes

initial to expression test

value test

parsing records

records

comments

ternary

ifthenelse

inner block passed

inner block

lambda

lambda

new parser tested

now test tricks

ternary in expression

to test lambda as argument

to test lambda in structures

Use peggy Parser

expectEvalError

macros tested

remove mathjs parse

reducer test

comparison operator
 2022-05-19 01:23:43 +02:00
Ozzie Gooen
ab88b0d012 Merged with develop 2022-05-16 20:14:29 -04:00
Ozzie Gooen
606f24ff24 Cleanup and addition of toInternalSampleArray 2022-05-15 21:34:36 -04:00