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

Commits on Aug 14, 2023

  1. comments from well-typed

    @mengwong
    mengwong committed Aug 14, 2023
    Configuration menu
    Copy the full SHA
    dfd3255 View commit details
    Browse the repository at this point in the history

  2. move the rule decision graph into XPileLog

    @mengwong
    mengwong committed Aug 14, 2023
    Configuration menu
    Copy the full SHA
    3ca1f7b View commit details
    Browse the repository at this point in the history

  3. add debugging

    @mengwong
    mengwong committed Aug 14, 2023
    Configuration menu
    Copy the full SHA
    87c930f View commit details
    Browse the repository at this point in the history

  4. start to expand analysis of rule decision graph to other RP types

    @mengwong
    mengwong committed Aug 14, 2023
    Configuration menu
    Copy the full SHA
    41e3839 View commit details
    Browse the repository at this point in the history

  5. start work on a data flow graph which will help us transpile to opera… 

    …tionalization
    @mengwong
    mengwong committed Aug 14, 2023
    Configuration menu
    Copy the full SHA
    3e23926 View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2023

  1. move ruleGraph construction earlier into the Interpreter

    @mengwong
    mengwong committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    eddabed View commit details
    Browse the repository at this point in the history

  2. minor cleanups. broke tests due to extension of L4I Interpreted type

    @mengwong
    mengwong committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    8d55bbb View commit details
    Browse the repository at this point in the history

  3. move DataFlow module to LS, not LS.XPile

    @mengwong
    mengwong committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    3c84373 View commit details
    Browse the repository at this point in the history

  4. output the decision rule graph to workdir

    @mengwong
    mengwong committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    a98e205 View commit details
    Browse the repository at this point in the history

  5. preparing to construct the rule decision graph in two passes

    @mengwong
    mengwong committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    a8fa62a View commit details
    Browse the repository at this point in the history

  6. bugfix in rp2bodytexts; this breaks 1 additional test

    @mengwong
    mengwong committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    89f23e7 View commit details
    Browse the repository at this point in the history

  7. filter for the leaf nodes and factor out the noisy logging mutters

    @mengwong
    mengwong committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    92a8068 View commit details
    Browse the repository at this point in the history

  8. attach leaf nodes into the expanded rule graph as reflexive nodes lol 

    this can't be the right way
    @mengwong
    mengwong committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    fc4830c View commit details
    Browse the repository at this point in the history

  9. bug remaining in ruleGraph, the stub rules are still not coming out o… 

    …f relPredRefs
    @mengwong
    mengwong committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    1240740 View commit details
    Browse the repository at this point in the history

  10. at first glance i think the data flow is being set up correctly, next… 

    … dot
    @mengwong
    mengwong committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    fed88aa View commit details
    Browse the repository at this point in the history

  11. fixed dereflexed, now happy with how the dotfiles are looking 

        ┌─[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
    mengwong committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    5b2053a View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2023

  1. minor documentation fix

    @mengwong
    mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    2937f8b View commit details
    Browse the repository at this point in the history

  2. new words and constructions

    @inariksit @mengwong
    inariksit authored and mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    aa5956c View commit details
    Browse the repository at this point in the history

  3. update generated files

    @inariksit @mengwong
    inariksit authored and mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    6d82902 View commit details
    Browse the repository at this point in the history

  4. handle more RPConstraints

    @inariksit @mengwong
    inariksit authored and mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    8c02b46 View commit details
    Browse the repository at this point in the history

  5. new structures so whole 10.3 parses

    @inariksit @mengwong
    inariksit authored and mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    2c781a8 View commit details
    Browse the repository at this point in the history

  6. parses Meng's encoding of §10

    @inariksit @mengwong
    inariksit authored and mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    dca6185 View commit details
    Browse the repository at this point in the history

  7. new words + make more cats lexical in generated hs

    @inariksit @mengwong
    inariksit authored and mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    51c1246 View commit details
    Browse the repository at this point in the history

  8. fix non-exhaustive pattern in rpRelToBComparOp

    @inariksit @mengwong
    inariksit authored and mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    56772c7 View commit details
    Browse the repository at this point in the history

  9. init one example 

    Co-authored-by: johsi-k <johsi.k@gmail.com>
    @ym-han @johsi-k @mengwong
    2 people authored and mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    272d50e View commit details
    Browse the repository at this point in the history

  10. simple-parentchild: unindent and add simple prefix

    @ym-han @mengwong
    ym-han authored and mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    44c92c0 View commit details
    Browse the repository at this point in the history

  11. rejig structure of LE testcases 

    Co-authored-by: johsi-k <johsi.k@gmail.com>
    @ym-han @johsi-k @mengwong
    2 people authored and mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    3f5deb6 View commit details
    Browse the repository at this point in the history

  12. parentchild.le: fix trailing space

    @ym-han @mengwong
    ym-han authored and mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    9c42f72 View commit details
    Browse the repository at this point in the history

  13. indentation_databreach: add prelim draft of LE version 

    Co-authored-by: johsi-k <johsi.k@gmail.com>
    @ym-han @johsi-k @mengwong
    2 people authored and mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    4dfb671 View commit details
    Browse the repository at this point in the history

  14. indentation-databreach: forgot it should be kebab case

    @ym-han @mengwong
    ym-han authored and mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    32cb240 View commit details
    Browse the repository at this point in the history

  15. indentation-databreach: add putative Natural L4 input 

    Co-authored-by: johsi-k <johsi.k@gmail.com>
    @ym-han @johsi-k @mengwong
    2 people authored and mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    7043cb7 View commit details
    Browse the repository at this point in the history

  16. rejig test dir structure again -- just use the nonlib* pattern to d… 

    …enote rules/templates that don't include the lib-specific rules/templates

Co-authored-by: johsi-k <johsi.k@gmail.com>
    @ym-han @johsi-k @mengwong
    2 people authored and mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    9ba46c2 View commit details
    Browse the repository at this point in the history

  17. Started compiler to sCasp

    @Martin-Strecker @mengwong
    Martin-Strecker authored and mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    3d93bad View commit details
    Browse the repository at this point in the history

  18. Generation of a separate scasp directory during transpilation. Some d… 

    …ocumentation.
    @Martin-Strecker @mengwong
    Martin-Strecker authored and mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    bbb922d View commit details
    Browse the repository at this point in the history

  19. removed an unmotivated import (introduced by vscode?)

    @Martin-Strecker @mengwong
    Martin-Strecker authored and mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    8a2c56c View commit details
    Browse the repository at this point in the history

  20. add test case for product

    @johsi-k @mengwong
    johsi-k authored and mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    00a9778 View commit details
    Browse the repository at this point in the history

  21. add test case for rpnary AND

    @johsi-k @mengwong
    johsi-k authored and mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    d281258 View commit details
    Browse the repository at this point in the history

  22. feat: simple utils / convenience functions to facilitate development … 

    …at the REPL
    @ym-han @mengwong
    ym-han authored and mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    eb42b05 View commit details
    Browse the repository at this point in the history

  23. utils for deving at repl: include comment to credit source

    @ym-han @mengwong
    ym-han authored and mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    4dea73e View commit details
    Browse the repository at this point in the history

  24. fix package.yaml

    @ym-han @mengwong
    ym-han authored and mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    42f6b6a View commit details
    Browse the repository at this point in the history

  25. add one more convenience function for pretty printing the rules

    @ym-han @mengwong
    ym-han authored and mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    7cd196e View commit details
    Browse the repository at this point in the history

  26. modify not test case to include GIVEN

    @johsi-k @mengwong
    johsi-k authored and mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    1184ac6 View commit details
    Browse the repository at this point in the history

  27. modify rpnary-and to include GIVEN

    @johsi-k @mengwong
    johsi-k authored and mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    669c6b7 View commit details
    Browse the repository at this point in the history

  28. add simple sum le example; will add corresponding L4 when have more time

    @ym-han @mengwong
    ym-han authored and mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    4d81aff View commit details
    Browse the repository at this point in the history

  29. lol, forgot to add the actual dataflow module

    @mengwong
    mengwong committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    bb36a4a View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2023

  1. Generation of a separate scasp directory during transpilation. Some d… 

    …ocumentation.
    @Martin-Strecker @mengwong
    Martin-Strecker authored and mengwong committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    fdc12e4 View commit details
    Browse the repository at this point in the history

  2. clarify MIN MAX for RPnary vs < > RPlt RPgt

    @mengwong
    mengwong committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    b33f7a6 View commit details
    Browse the repository at this point in the history

  3. finish clarifying MIN MAX vs < > 

    next, add tests
    @mengwong
    mengwong committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    65890a6 View commit details
    Browse the repository at this point in the history

  4. strip leading and trailing whitespace from tokens

    @mengwong
    mengwong committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    a16ddb0 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' into 20230821-dataflow-analysis

    @mengwong
    mengwong authored Aug 21, 2023
    Configuration menu
    Copy the full SHA
    d0a1479 View commit details
    Browse the repository at this point in the history