Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

20230803 typescript #421

Closed
wants to merge 54 commits into from
Closed

20230803 typescript #421

wants to merge 54 commits into from

Conversation

mengwong
Copy link
Contributor

No description provided.

mengwong and others added 30 commits August 11, 2023 19:45
@mengwong
more occasional docs
5bb807a
@ym-han @mengwong
fix readme paths
fa7f453
@mengwong
comments from well-typed
0531630
@mengwong
move the rule decision graph into XPileLog
b1e6ff3
@mengwong
add debugging
7b77c3c
@mengwong
start to expand analysis of rule decision graph to other RP types
5966989
@mengwong
start work on a data flow graph which will help us transpile to opera…
19df1fd 
…tionalization
@mengwong
move ruleGraph construction earlier into the Interpreter
5d88909
@mengwong
minor cleanups. broke tests due to extension of L4I Interpreted type
97eb197
@mengwong
move DataFlow module to LS, not LS.XPile
4798380
@mengwong
output the decision rule graph to workdir
3a3e5e6
@mengwong
preparing to construct the rule decision graph in two passes
72770f1
@mengwong
bugfix in rp2bodytexts; this breaks 1 additional test
d183e8e
@mengwong
filter for the leaf nodes and factor out the noisy logging mutters
8fb064e
@mengwong
attach leaf nodes into the expanded rule graph as reflexive nodes lol
a2c9026 
this can't be the right way
@mengwong
bug remaining in ruleGraph, the stub rules are still not coming out o…
e81dad1 
…f relPredRefs
@mengwong
at first glance i think the data flow is being set up correctly, next…
85dba55 
… dot
@mengwong
fixed dereflexed, now happy with how the dotfiles are looking
3666b75 
    ┌─[20230816-00:20:13]   [mengwong@rosegold:~/natural4]
    └─[0] <git:(20230815-interpreter-dataflow-analysis fed88aa✱✈) > stack run -- --workdir workdir test/examples/forinsurancelimbs-latest.csv
    natural4: will output asASP
    natural4: output to workdir done
    ┌─[20230816-00:20:14]   [mengwong@rosegold:~/natural4]
    └─[0] <git:(20230815-interpreter-dataflow-analysis fed88aa✱✈) > dot -Tsvg workdir/no-uuid/dataflow/LATEST.dot > workdir/no-uuid/dataflow/LATEST.svg
    ┌─[20230816-00:20:17]   [mengwong@rosegold:~/natural4]
    └─[0] <git:(20230815-interpreter-dataflow-analysis fed88aa✱✈) > open workdir/no-uuid/dataflow/LATEST.svg
    ┌─[20230816-00:20:19]   [mengwong@rosegold:~/natural4]
    └─[0] <git:(20230815-interpreter-dataflow-analysis fed88aa✱✈) >
@mengwong
minor documentation fix
d6915c4
@inariksit @mengwong
new words and constructions
dfb3981
@inariksit @mengwong
update generated files
478dd85
@inariksit @mengwong
handle more RPConstraints
f54dfcd
@inariksit @mengwong
new structures so whole 10.3 parses
9d3995d
@inariksit @mengwong
parses Meng's encoding of §10
0e2e353
@inariksit @mengwong
new words + make more cats lexical in generated hs
93c5785
@inariksit @mengwong
fix non-exhaustive pattern in rpRelToBComparOp
cd4e9b1
@ym-han @johsi-k @mengwong
init one example
5ca0240 
Co-authored-by: johsi-k <johsi.k@gmail.com>
@ym-han @mengwong
simple-parentchild: unindent and add simple prefix
00693b2
@ym-han @johsi-k @mengwong
rejig structure of LE testcases
ce68711 
Co-authored-by: johsi-k <johsi.k@gmail.com>
@ym-han @mengwong
parentchild.le: fix trailing space
f4346c3
ym-han and others added 24 commits August 16, 2023 20:24
@ym-han @johsi-k @mengwong
indentation_databreach: add prelim draft of LE version
6b844a1 
Co-authored-by: johsi-k <johsi.k@gmail.com>
@ym-han @mengwong
indentation-databreach: forgot it should be kebab case
433278f
@ym-han @johsi-k @mengwong
indentation-databreach: add putative Natural L4 input
2b20dec 
Co-authored-by: johsi-k <johsi.k@gmail.com>
@ym-han @johsi-k @mengwong
rejig test dir structure again -- just use the nonlib* pattern to d…
89c6724 
…enote rules/templates that don't include the lib-specific rules/templates

Co-authored-by: johsi-k <johsi.k@gmail.com>
@Martin-Strecker @mengwong
Started compiler to sCasp
d4e745f
@Martin-Strecker @mengwong
Generation of a separate scasp directory during transpilation. Some d…
46e140e 
…ocumentation.
@Martin-Strecker @mengwong
removed an unmotivated import (introduced by vscode?)
aa375b8
@johsi-k @mengwong
add test case for product
79db0b3
@johsi-k @mengwong
add test case for rpnary AND
7549f31
@ym-han @mengwong
feat: simple utils / convenience functions to facilitate development …
d3320dd 
…at the REPL
@ym-han @mengwong
utils for deving at repl: include comment to credit source
42f47f4
@ym-han @mengwong
fix package.yaml
0ec010b
@ym-han @mengwong
add one more convenience function for pretty printing the rules
fee1eba
@johsi-k @mengwong
modify not test case to include GIVEN
7b29cdb
@johsi-k @mengwong
modify rpnary-and to include GIVEN
0d92423
@ym-han @mengwong
add simple sum le example; will add corresponding L4 when have more time
d18d7b4
@mengwong
minor tweaks to Data.Text, pShowNoColor, and strict vs lazy text
ccffdda
@mengwong
bugfix to commentWith
6533fb0
@mengwong
starting to organize the input and output for typescript
b59ef05
@mengwong
lol, forgot to add the actual dataflow module
91c7e8f
@mengwong
exclude numeric facts
cff9629
@mengwong
improve code generation relating to enums
d2b0974
@mengwong
WIP, probably doesn't compile
0533997
@mengwong
continue to tweak the class methods. this compiles
1b849cc
@mengwong
Copy link
Contributor Author

will try a different PR – there seems to be some scasp work in this branch, which confuses me because i thought this branch was more for typescript

@ym-han
Copy link
Contributor

ym-han commented Aug 25, 2023

will try a different PR – there seems to be some scasp work in this branch, which confuses me because i thought this branch was more for typescript

Oh I think I might have merged in commits from main back when I was trying to debug the qahorns stuff

@mengwong
Copy link
Contributor Author

i think this PR is obsolete and the bulk of it has happened in some other branch and some other PR.

@mengwong mengwong closed this Jul 31, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
5 participants
@mengwong @ym-han @inariksit @Martin-Strecker @johsi-k