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

20230821 dataflow analysis #424

Closed
wants to merge 50 commits into from
Closed

20230821 dataflow analysis #424

wants to merge 50 commits into from

Conversation

mengwong
Copy link
Contributor

No description provided.

mengwong and others added 30 commits August 14, 2023 23:54
@mengwong
comments from well-typed
dfd3255
@mengwong
move the rule decision graph into XPileLog
3ca1f7b
@mengwong
add debugging
87c930f
@mengwong
start to expand analysis of rule decision graph to other RP types
41e3839
@mengwong
start work on a data flow graph which will help us transpile to opera…
3e23926 
…tionalization
@mengwong
move ruleGraph construction earlier into the Interpreter
eddabed
@mengwong
minor cleanups. broke tests due to extension of L4I Interpreted type
8d55bbb
@mengwong
move DataFlow module to LS, not LS.XPile
3c84373
@mengwong
output the decision rule graph to workdir
a98e205
@mengwong
preparing to construct the rule decision graph in two passes
a8fa62a
@mengwong
bugfix in rp2bodytexts; this breaks 1 additional test
89f23e7
@mengwong
filter for the leaf nodes and factor out the noisy logging mutters
92a8068
@mengwong
attach leaf nodes into the expanded rule graph as reflexive nodes lol
fc4830c 
this can't be the right way
@mengwong
bug remaining in ruleGraph, the stub rules are still not coming out o…
1240740 
…f relPredRefs
@mengwong
at first glance i think the data flow is being set up correctly, next…
fed88aa 
… dot
@mengwong
fixed dereflexed, now happy with how the dotfiles are looking
5b2053a 
    ┌─[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
2937f8b
@inariksit @mengwong
new words and constructions
aa5956c
@inariksit @mengwong
update generated files
6d82902
@inariksit @mengwong
handle more RPConstraints
8c02b46
@inariksit @mengwong
new structures so whole 10.3 parses
2c781a8
@inariksit @mengwong
parses Meng's encoding of §10
dca6185
@inariksit @mengwong
new words + make more cats lexical in generated hs
51c1246
@inariksit @mengwong
fix non-exhaustive pattern in rpRelToBComparOp
56772c7
@ym-han @johsi-k @mengwong
init one example
272d50e 
Co-authored-by: johsi-k <johsi.k@gmail.com>
@ym-han @mengwong
simple-parentchild: unindent and add simple prefix
44c92c0
@ym-han @johsi-k @mengwong
rejig structure of LE testcases
3f5deb6 
Co-authored-by: johsi-k <johsi.k@gmail.com>
@ym-han @mengwong
parentchild.le: fix trailing space
9c42f72
@ym-han @johsi-k @mengwong
indentation_databreach: add prelim draft of LE version
4dfb671 
Co-authored-by: johsi-k <johsi.k@gmail.com>
@ym-han @mengwong
indentation-databreach: forgot it should be kebab case
32cb240
ym-han and others added 19 commits August 16, 2023 20:20
@ym-han @johsi-k @mengwong
indentation-databreach: add putative Natural L4 input
7043cb7 
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…
9ba46c2 
…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
3d93bad
@Martin-Strecker @mengwong
Generation of a separate scasp directory during transpilation. Some d…
bbb922d 
…ocumentation.
@Martin-Strecker @mengwong
removed an unmotivated import (introduced by vscode?)
8a2c56c
@johsi-k @mengwong
add test case for product
00a9778
@johsi-k @mengwong
add test case for rpnary AND
d281258
@ym-han @mengwong
feat: simple utils / convenience functions to facilitate development …
eb42b05 
…at the REPL
@ym-han @mengwong
utils for deving at repl: include comment to credit source
4dea73e
@ym-han @mengwong
fix package.yaml
42f6b6a
@ym-han @mengwong
add one more convenience function for pretty printing the rules
7cd196e
@johsi-k @mengwong
modify not test case to include GIVEN
1184ac6
@johsi-k @mengwong
modify rpnary-and to include GIVEN
669c6b7
@ym-han @mengwong
add simple sum le example; will add corresponding L4 when have more time
4d81aff
@mengwong
lol, forgot to add the actual dataflow module
bb36a4a
@Martin-Strecker @mengwong
Generation of a separate scasp directory during transpilation. Some d…
fdc12e4 
…ocumentation.
@mengwong
clarify MIN MAX for RPnary vs < > RPlt RPgt
b33f7a6
@mengwong
finish clarifying MIN MAX vs < >
65890a6 
next, add tests
@mengwong
strip leading and trailing whitespace from tokens
a16ddb0
@mergify
Copy link

mergify bot commented Aug 21, 2023

⚠️ The sha of the head commit of this PR conflicts with #420. Mergify cannot evaluate rules on this PR. ⚠️

@mengwong
Copy link
Contributor Author

obsoleted by other PR

@mengwong mengwong closed this Aug 21, 2023
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 @inariksit @ym-han @Martin-Strecker @johsi-k