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

feat: string defaults, chained index access, format subscope #1024

Merged
merged 76 commits into from
Jun 23, 2024
Merged

feat: string defaults, chained index access, format subscope #1024

merged 76 commits into from
Jun 23, 2024

Commits on Jun 14, 2024

  1. initial type-level implementation

    @ssalbdivad
    ssalbdivad committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    2f048b9 View commit details
    Browse the repository at this point in the history

  2. more work on string defaults

    @ssalbdivad
    ssalbdivad committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    59550fe View commit details
    Browse the repository at this point in the history

  3. try to add contextual references

    @ssalbdivad
    ssalbdivad committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    b31c0aa View commit details
    Browse the repository at this point in the history

  4. add contextual references by path

    @ssalbdivad
    ssalbdivad committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    64f1a13 View commit details
    Browse the repository at this point in the history

  5. working contextual references

    @ssalbdivad
    ssalbdivad committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    d9cafbd View commit details
    Browse the repository at this point in the history

  6. oof

    @ssalbdivad
    ssalbdivad committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    1955b9a View commit details
    Browse the repository at this point in the history

Commits on Jun 15, 2024

  1. ArkEnv

    @ssalbdivad
    ssalbdivad committed Jun 15, 2024
    Configuration menu
    Copy the full SHA
    2113e42 View commit details
    Browse the repository at this point in the history

  2. cook

    @ssalbdivad
    ssalbdivad committed Jun 15, 2024
    Configuration menu
    Copy the full SHA
    d2a57b5 View commit details
    Browse the repository at this point in the history

  3. dont gigathrow

    @ssalbdivad
    ssalbdivad committed Jun 15, 2024
    Configuration menu
    Copy the full SHA
    a08ebe9 View commit details
    Browse the repository at this point in the history

  4. cntnru

    @ssalbdivad
    ssalbdivad committed Jun 15, 2024
    Configuration menu
    Copy the full SHA
    476cb3f View commit details
    Browse the repository at this point in the history

  5. remove caching for now slowwww

    @ssalbdivad
    ssalbdivad committed Jun 15, 2024
    Configuration menu
    Copy the full SHA
    3fd3927 View commit details
    Browse the repository at this point in the history

  6. most tests passing, simplifying node caching

    @ssalbdivad
    ssalbdivad committed Jun 15, 2024
    Configuration menu
    Copy the full SHA
    ff847dc View commit details
    Browse the repository at this point in the history

  7. simplify array intersection

    @ssalbdivad
    ssalbdivad committed Jun 15, 2024
    Configuration menu
    Copy the full SHA
    b402485 View commit details
    Browse the repository at this point in the history

  8. continuuuu

    @ssalbdivad
    ssalbdivad committed Jun 15, 2024
    Configuration menu
    Copy the full SHA
    b8b7b40 View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2024

  1. do prototype things

    @ssalbdivad
    ssalbdivad committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    cfef3f5 View commit details
    Browse the repository at this point in the history

  2. fing around and finding out

    @ssalbdivad
    ssalbdivad committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    ba25e7c View commit details
    Browse the repository at this point in the history

  3. continuuuuuuu moar

    @ssalbdivad
    ssalbdivad committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    e941d18 View commit details
    Browse the repository at this point in the history

  4. starting to work with new proto?

    @ssalbdivad
    ssalbdivad committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    3972dd8 View commit details
    Browse the repository at this point in the history

  5. fix more

    @ssalbdivad
    ssalbdivad committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    d7515e7 View commit details
    Browse the repository at this point in the history

  6. mrfefreohi

    @ssalbdivad
    ssalbdivad committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    5d6fb20 View commit details
    Browse the repository at this point in the history

  7. continuuu

    @ssalbdivad
    ssalbdivad committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    0909ffe View commit details
    Browse the repository at this point in the history

  8. fo

    @ssalbdivad
    ssalbdivad committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    592c179 View commit details
    Browse the repository at this point in the history

  9. add v8 deopt test

    @ssalbdivad
    ssalbdivad committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    f7fdd59 View commit details
    Browse the repository at this point in the history

  10. fix type errors

    @ssalbdivad
    ssalbdivad committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    8053d1f View commit details
    Browse the repository at this point in the history

  11. fix more

    @ssalbdivad
    ssalbdivad committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    5101a2f View commit details
    Browse the repository at this point in the history

  12. fdmsfos

    @ssalbdivad
    ssalbdivad committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    3e5a95e View commit details
    Browse the repository at this point in the history

  13. revert prototype changes, expected tests passing

    @ssalbdivad
    ssalbdivad committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    f20dc10 View commit details
    Browse the repository at this point in the history

  14. fix contextualReferencesByPath

    @ssalbdivad
    ssalbdivad committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    54f7f5b View commit details
    Browse the repository at this point in the history

  15. moarm fosdioamsd

    @ssalbdivad
    ssalbdivad committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    4bfccf4 View commit details
    Browse the repository at this point in the history

  16. initial broken contextual morphs implementation

    @ssalbdivad
    ssalbdivad committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    690ba69 View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2024

  1. allow equal morphs at arbitrary undiscriminated branches

    @ssalbdivad
    ssalbdivad committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    6c2fe22 View commit details
    Browse the repository at this point in the history

  2. improve join

    @ssalbdivad
    ssalbdivad committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    de991fa View commit details
    Browse the repository at this point in the history

  3. remove some unimplemented attest API

    @ssalbdivad
    ssalbdivad committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    2e1e33c View commit details
    Browse the repository at this point in the history

Commits on Jun 18, 2024

  1. improve contextualize

    @ssalbdivad
    ssalbdivad committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    6824f7b View commit details
    Browse the repository at this point in the history

  2. improve contextualizew

    @ssalbdivad
    ssalbdivad committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    8edf234 View commit details
    Browse the repository at this point in the history

  3. add satisfiers

    @ssalbdivad
    ssalbdivad committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    79cb9fc View commit details
    Browse the repository at this point in the history

  4. blorf

    @ssalbdivad
    ssalbdivad committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    41b52bd View commit details
    Browse the repository at this point in the history

  5. initial string default value implementation

    @ssalbdivad
    ssalbdivad committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    184c2fa View commit details
    Browse the repository at this point in the history

  6. clean up default string values

    @ssalbdivad
    ssalbdivad committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    f6fdfec View commit details
    Browse the repository at this point in the history

  7. gigas

    @ssalbdivad
    ssalbdivad committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    0127ef1 View commit details
    Browse the repository at this point in the history

  8. finalize embedded string defaults

    @ssalbdivad
    ssalbdivad committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    af6c5a9 View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2024

  1. indexablePaths

    @ssalbdivad
    ssalbdivad committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    2d461f0 View commit details
    Browse the repository at this point in the history

  2. pre path

    @ssalbdivad
    ssalbdivad committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    74cbd6a View commit details
    Browse the repository at this point in the history

  3. indexable expressions

    @ssalbdivad
    ssalbdivad committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    1a207b9 View commit details
    Browse the repository at this point in the history

  4. fix arkdark

    @ssalbdivad
    ssalbdivad committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    212049c View commit details
    Browse the repository at this point in the history

  5. fix indiscriminate morphs

    @ssalbdivad
    ssalbdivad committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    69c9e50 View commit details
    Browse the repository at this point in the history

  6. simplify some structure types

    @ssalbdivad
    ssalbdivad committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    71f6439 View commit details
    Browse the repository at this point in the history

  7. fix arkdark highlighting bug

    @ssalbdivad
    ssalbdivad committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    1d86b47 View commit details
    Browse the repository at this point in the history

  8. fix arkdark highlighting bug

    @ssalbdivad
    ssalbdivad committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    ba52671 View commit details
    Browse the repository at this point in the history

  9. initial get implementation

    @ssalbdivad
    ssalbdivad committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    4e4fe23 View commit details
    Browse the repository at this point in the history

  10. fix get runtime

    @ssalbdivad
    ssalbdivad committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    0728d34 View commit details
    Browse the repository at this point in the history

  11. work on index access

    @ssalbdivad
    ssalbdivad committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    9ac70c5 View commit details
    Browse the repository at this point in the history

  12. fix predicate error context

    @ssalbdivad
    ssalbdivad committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    16b147e View commit details
    Browse the repository at this point in the history

  13. fix morph constrainead extracftgf

    @ssalbdivad
    ssalbdivad committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    524ebb5 View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2024

  1. initial workaround for pipe/narrow inference

    @ssalbdivad
    ssalbdivad committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    9bd7e02 View commit details
    Browse the repository at this point in the history

  2. upgrade to 5.5 I guess

    @ssalbdivad
    ssalbdivad committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    32a1da4 View commit details
    Browse the repository at this point in the history

  3. continue tests, fix arkdark leak

    @ssalbdivad
    ssalbdivad committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    6813e73 View commit details
    Browse the repository at this point in the history

  4. questionable

    @ssalbdivad
    ssalbdivad committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    858a5c3 View commit details
    Browse the repository at this point in the history

  5. whoops

    @ssalbdivad
    ssalbdivad committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    71a9491 View commit details
    Browse the repository at this point in the history

  6. try

    @ssalbdivad
    ssalbdivad committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    80da032 View commit details
    Browse the repository at this point in the history

  7. try to implement get

    @ssalbdivad
    ssalbdivad committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    c021ccc View commit details
    Browse the repository at this point in the history

  8. fix index access

    @ssalbdivad
    ssalbdivad committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    1a2e145 View commit details
    Browse the repository at this point in the history

Commits on Jun 21, 2024

  1. start trying to figure out index accesss

    @ssalbdivad
    ssalbdivad committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    7365b3f View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2024

  1. continuu

    @ssalbdivad
    ssalbdivad committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    d8f0044 View commit details
    Browse the repository at this point in the history

  2. switch to branded constraints

    @ssalbdivad
    ssalbdivad committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    e533942 View commit details
    Browse the repository at this point in the history

  3. continuu

    @ssalbdivad
    ssalbdivad committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    55871f9 View commit details
    Browse the repository at this point in the history

  4. continuuu

    @ssalbdivad
    ssalbdivad committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    b9616fc View commit details
    Browse the repository at this point in the history

  5. pre remove top-level infer check

    @ssalbdivad
    ssalbdivad committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    8bfd01a View commit details
    Browse the repository at this point in the history

  6. fix some distillation inference

    @ssalbdivad
    ssalbdivad committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    4f25a67 View commit details
    Browse the repository at this point in the history

  7. fix more tests

    @ssalbdivad
    ssalbdivad committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    c10b7b2 View commit details
    Browse the repository at this point in the history

  8. continuuu

    @ssalbdivad
    ssalbdivad committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    90dfb6d View commit details
    Browse the repository at this point in the history

  9. finish fixing tests

    @ssalbdivad
    ssalbdivad committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    a9205d3 View commit details
    Browse the repository at this point in the history

Commits on Jun 23, 2024

  1. fix more tests

    @ssalbdivad
    ssalbdivad committed Jun 23, 2024
    Configuration menu
    Copy the full SHA
    d6bd15f View commit details
    Browse the repository at this point in the history

  2. temporarily remove instantiations from attest

    @ssalbdivad
    ssalbdivad committed Jun 23, 2024
    Configuration menu
    Copy the full SHA
    c7ae1ce View commit details
    Browse the repository at this point in the history

  3. fix another prchecks

    @ssalbdivad
    ssalbdivad committed Jun 23, 2024
    Configuration menu
    Copy the full SHA
    1446097 View commit details
    Browse the repository at this point in the history

  4. fix bad imports

    @ssalbdivad
    ssalbdivad committed Jun 23, 2024
    Configuration menu
    Copy the full SHA
    aba0689 View commit details
    Browse the repository at this point in the history