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

Add Sets #3846

Closed
wants to merge 45 commits into from
Closed

Add Sets #3846

wants to merge 45 commits into from

Commits on Jul 12, 2024

  1. Constraint.hs

    @NoahCardoso
    NoahCardoso committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    cb36a02 View commit details
    Browse the repository at this point in the history

  2. WIP adding elem

    @NoahCardoso
    NoahCardoso committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    bd54dac View commit details
    Browse the repository at this point in the history

  3. WIP lang

    @NoahCardoso
    NoahCardoso committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    ed51ac5 View commit details
    Browse the repository at this point in the history

  4. Set Space

    @NoahCardoso
    NoahCardoso committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    e91ca6d View commit details
    Browse the repository at this point in the history

  5. WIP

    @NoahCardoso
    NoahCardoso committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    8c9ad14 View commit details
    Browse the repository at this point in the history

  6. added Set to Lang

    @NoahCardoso
    NoahCardoso committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    5ce87c2 View commit details
    Browse the repository at this point in the history

  7. update physc and sfwrc

    @NoahCardoso
    NoahCardoso committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    5cb3e21 View commit details
    Browse the repository at this point in the history

  8. added Sets in lang

    @NoahCardoso
    NoahCardoso committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    5ff1a61 View commit details
    Browse the repository at this point in the history

  9. added Sets in convert

    @NoahCardoso
    NoahCardoso committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    0f1bbe9 View commit details
    Browse the repository at this point in the history

  10. added Sets in extract

    @NoahCardoso
    NoahCardoso committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    0e36ebb View commit details
    Browse the repository at this point in the history

  11. add sets to expr

    @NoahCardoso
    NoahCardoso committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    1459c3a View commit details
    Browse the repository at this point in the history

  12. mkSet into expr

    @NoahCardoso
    NoahCardoso committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    fffb8b7 View commit details
    Browse the repository at this point in the history

  13. Sets as a space

    @NoahCardoso
    NoahCardoso committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    b1f5fe3 View commit details
    Browse the repository at this point in the history

  14. Sets as a space

    @NoahCardoso
    NoahCardoso committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    d65b144 View commit details
    Browse the repository at this point in the history

  15. passing version

    @NoahCardoso
    NoahCardoso committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    c3d99d8 View commit details
    Browse the repository at this point in the history

  16. lang changes. Fix Set Expr

    @NoahCardoso
    NoahCardoso committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    5503a9c View commit details
    Browse the repository at this point in the history

  17. name change

    @NoahCardoso
    NoahCardoso committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    a3f5f89 View commit details
    Browse the repository at this point in the history

  18. Expr name change

    @NoahCardoso
    NoahCardoso committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    8e3c22e View commit details
    Browse the repository at this point in the history

  19. add new expr to printing

    @NoahCardoso
    NoahCardoso committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    ae3524c View commit details
    Browse the repository at this point in the history

  20. rm is_Elem

    @NoahCardoso
    NoahCardoso committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    fcf736b View commit details
    Browse the repository at this point in the history

  21. making sets as constraints

    @NoahCardoso
    NoahCardoso committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    c8a0f15 View commit details
    Browse the repository at this point in the history

  22. adding mkSet

    @NoahCardoso
    NoahCardoso committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    b8feaf7 View commit details
    Browse the repository at this point in the history

  23. added nomThick back to constrained

    @NoahCardoso
    NoahCardoso committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    de0c498 View commit details
    Browse the repository at this point in the history

  24. mkSet

    @NoahCardoso
    NoahCardoso committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    a709741 View commit details
    Browse the repository at this point in the history

  25. working with printing constraints

    @NoahCardoso
    NoahCardoso committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    42affe8 View commit details
    Browse the repository at this point in the history

  26. gen glassbr.py example

    @NoahCardoso
    NoahCardoso committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    88d7ff4 View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2024

  1. GOOL WIP

    @NoahCardoso
    NoahCardoso committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    c5132cc View commit details
    Browse the repository at this point in the history

Commits on Jul 16, 2024

  1. WIP inOp

    @NoahCardoso
    NoahCardoso committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    03ed19e View commit details
    Browse the repository at this point in the history

  2. adding isin into java

    @NoahCardoso
    NoahCardoso committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    6bc7824 View commit details
    Browse the repository at this point in the history

  3. fix CLike issue

    @NoahCardoso
    NoahCardoso committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    2eb9205 View commit details
    Browse the repository at this point in the history

  4. Adding more sets and isin

    @NoahCardoso
    NoahCardoso committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    4c8d2e4 View commit details
    Browse the repository at this point in the history

  5. in Op working in python

    @NoahCardoso
    NoahCardoso committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    aa59660 View commit details
    Browse the repository at this point in the history

  6. Changed import

    @NoahCardoso
    NoahCardoso committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    a233f54 View commit details
    Browse the repository at this point in the history

  7. C and shift changes

    @NoahCardoso
    NoahCardoso committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    8dd8c38 View commit details
    Browse the repository at this point in the history

  8. Adding Sets to Java

    @NoahCardoso
    NoahCardoso committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    00f9a39 View commit details
    Browse the repository at this point in the history

  9. WIP adding sets to java

    @NoahCardoso
    NoahCardoso committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    7cc371c View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2024

  1. rm unused code

    @NoahCardoso
    NoahCardoso committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    3d8c9b6 View commit details
    Browse the repository at this point in the history

  2. Update contain func

    @NoahCardoso
    NoahCardoso committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    ff1eb3e View commit details
    Browse the repository at this point in the history

  3. Add Sets in Java

    @NoahCardoso
    NoahCardoso committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    a3bf3da View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2024

  1. CSharp example

    @NoahCardoso
    NoahCardoso committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    53677ed View commit details
    Browse the repository at this point in the history

  2. WIP attempt to define obj in code

    @NoahCardoso
    NoahCardoso committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    9fff4ef View commit details
    Browse the repository at this point in the history

Commits on Jul 22, 2024

  1. C++ example working

    @NoahCardoso
    NoahCardoso committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    514e031 View commit details
    Browse the repository at this point in the history

  2. added back 'in' in Python

    @NoahCardoso
    NoahCardoso committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    76f37f7 View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2024

  1. clean up code

    @NoahCardoso
    NoahCardoso committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    ec3fccc View commit details
    Browse the repository at this point in the history

  2. Added Sets in Swift

    @NoahCardoso
    NoahCardoso committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    51c6c77 View commit details
    Browse the repository at this point in the history