Skip to content

20230821 dataflow analysis#424

Closed
mengwong wants to merge 50 commits into
mainfrom
20230821-dataflow-analysis
Closed

20230821 dataflow analysis#424
mengwong wants to merge 50 commits into
mainfrom
20230821-dataflow-analysis

Conversation

@mengwong
Copy link
Copy Markdown
Contributor

@mengwong mengwong commented Aug 21, 2023

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
Copy Markdown

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
Copy Markdown
Contributor Author

mengwong commented Aug 21, 2023

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