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: add type descriptors for data constructors in Java, when necessary #301

Merged
merged 53 commits into from
Nov 27, 2023
Merged

feat: add type descriptors for data constructors in Java, when necessary #301

merged 53 commits into from
Nov 27, 2023

Commits on Oct 20, 2023

  1. Fix UTF8

    @robin-aws
    robin-aws committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    461dd3d View commit details
    Browse the repository at this point in the history

  2. Temporarily try CI on 4.3

    @robin-aws
    robin-aws committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    c31cee8 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main-1.x' into robin-aws/add-type-descriptors-for-java

    @robin-aws
    robin-aws authored Oct 20, 2023
    Configuration menu
    Copy the full SHA
    45ee695 View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2023

  1. Get Resource test model working

    @robin-aws
    robin-aws committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    478c043 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'robin-aws/add-type-descriptors-for-java' of github.com:… 

    …awslabs/polymorph into robin-aws/add-type-descriptors-for-java
    @robin-aws
    robin-aws committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    8f40bb7 View commit details
    Browse the repository at this point in the history

  3. Handle aggregate type descriptors in general

    @robin-aws
    robin-aws committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    fe5f975 View commit details
    Browse the repository at this point in the history

  4. Fix KMS

    @robin-aws
    robin-aws committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    ea48656 View commit details
    Browse the repository at this point in the history

  5. Fix a few more model tests

    @robin-aws
    robin-aws committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    6ba962d View commit details
    Browse the repository at this point in the history

  6. Missing file

    @robin-aws
    robin-aws committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    e841a8a View commit details
    Browse the repository at this point in the history

  7. Missed one in DDB

    @robin-aws
    robin-aws committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    213da2b View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2023

  1. Add dafnyVersion parameter, make type descriptors conditional

    @robin-aws
    robin-aws committed Oct 29, 2023
    Configuration menu
    Copy the full SHA
    0a24bc8 View commit details
    Browse the repository at this point in the history

  2. Add —dafny-version to CLI

    @robin-aws
    robin-aws committed Oct 29, 2023
    Configuration menu
    Copy the full SHA
    6d8b292 View commit details
    Browse the repository at this point in the history

  3. Test multiple Dafny versions in CI

    @robin-aws
    robin-aws committed Oct 29, 2023
    Configuration menu
    Copy the full SHA
    180d29c View commit details
    Browse the repository at this point in the history

  4. Specify —dafny-version

    @robin-aws
    robin-aws committed Oct 29, 2023
    Configuration menu
    Copy the full SHA
    5c65aa7 View commit details
    Browse the repository at this point in the history

  5. Avoid conditional type descriptors in UTF8

    @robin-aws
    robin-aws committed Oct 29, 2023
    Configuration menu
    Copy the full SHA
    05327d8 View commit details
    Browse the repository at this point in the history

  6. Working around create_Success in test services

    @robin-aws
    robin-aws committed Oct 29, 2023
    Configuration menu
    Copy the full SHA
    4d67a3d View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2023

  1. Fix KMS

    @robin-aws
    robin-aws committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    ad4ac89 View commit details
    Browse the repository at this point in the history

  2. Fix test shim type descriptor

    @robin-aws
    robin-aws committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    49c7de3 View commit details
    Browse the repository at this point in the history

  3. public

    @robin-aws
    robin-aws committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    ae8d542 View commit details
    Browse the repository at this point in the history

  4. Fix unit tests and local service

    @robin-aws
    robin-aws committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    9e2cb47 View commit details
    Browse the repository at this point in the history

  5. Fix DDB and Errors

    @robin-aws
    robin-aws committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    33f74af View commit details
    Browse the repository at this point in the history

  6. License headers, typos

    @robin-aws
    robin-aws committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    f0493fb View commit details
    Browse the repository at this point in the history

  7. Shim.createFailureOfException -> Shim.createFailureOfError

    @robin-aws
    robin-aws committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    efed9b2 View commit details
    Browse the repository at this point in the history

  8. Typo

    @robin-aws
    robin-aws committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    b6f4f09 View commit details
    Browse the repository at this point in the history

  9. Typos, typos everywhere…

    @robin-aws
    robin-aws committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    fb538e0 View commit details
    Browse the repository at this point in the history

  10. Fix test

    @robin-aws
    robin-aws committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    c8f245e View commit details
    Browse the repository at this point in the history

  11. Cleanup

    @robin-aws
    robin-aws committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    8a1786b View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2023

  1. Refactor CI to handle nightly builds correctly

    @robin-aws
    robin-aws committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    6e64b30 View commit details
    Browse the repository at this point in the history

  2. Need full commit sha

    @robin-aws
    robin-aws committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    538d872 View commit details
    Browse the repository at this point in the history

  3. Use latest edition in sample

    @robin-aws
    robin-aws committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    fb2d1e4 View commit details
    Browse the repository at this point in the history

  4. Introduce proper DafnyVersion class

    @robin-aws
    robin-aws committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    eb785e0 View commit details
    Browse the repository at this point in the history

  5. License headers

    @robin-aws
    robin-aws committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    82349d6 View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2023

  1. Move interop methods into Dafny (StandardLibrary and abstract server … 

    …modules)

Confirmed it works with KMS - still have to update all other test models
    @robin-aws
    robin-aws committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    60557cb View commit details
    Browse the repository at this point in the history

  2. Use the same helpers for test wrappers too

    @robin-aws
    robin-aws committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    7c693c9 View commit details
    Browse the repository at this point in the history

  3. Fix remaining TestModels

    @robin-aws
    robin-aws committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    f7c8069 View commit details
    Browse the repository at this point in the history

  4. Fix unit tests

    @robin-aws
    robin-aws committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    e27cd3e View commit details
    Browse the repository at this point in the history

  5. Document new StandardLibrary module

    @robin-aws
    robin-aws committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    ff32cc7 View commit details
    Browse the repository at this point in the history

  6. Miscellaneous fixes

    @robin-aws
    robin-aws committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    93f39db View commit details
    Browse the repository at this point in the history

  7. Make sure CLi actually fails without —dafny-version, add it in CI eve… 

    …rywhere
    @robin-aws
    robin-aws committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    6ca9e79 View commit details
    Browse the repository at this point in the history

  8. Upgrade setup-dafny-action to 1.7.0

    @robin-aws
    robin-aws committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    6c3ac1a View commit details
    Browse the repository at this point in the history

  9. Fix import statements for WrappersInterop

    @robin-aws
    robin-aws committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    31595e5 View commit details
    Browse the repository at this point in the history

  10. Getting tired of only getting partial CI results

    @robin-aws
    robin-aws committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    9305206 View commit details
    Browse the repository at this point in the history

  11. Using service client interface instead of concrete class in abstract … 

    …module
    @robin-aws
    robin-aws committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    f20738b View commit details
    Browse the repository at this point in the history

  12. Should be traitForServiceClient after all

    @robin-aws
    robin-aws committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    3d3e52f View commit details
    Browse the repository at this point in the history

  13. Fix remaining models

    @robin-aws
    robin-aws committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    28adebb View commit details
    Browse the repository at this point in the history

  14. Fix Dependencies

    @robin-aws
    robin-aws committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    183b0fa View commit details
    Browse the repository at this point in the history

  15. I said, FIX DEPENDENCIES

    @robin-aws
    robin-aws committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    937bda6 View commit details
    Browse the repository at this point in the history

Commits on Nov 21, 2023

  1. Skip Extendable model on 4.3

    @robin-aws
    robin-aws committed Nov 21, 2023
    Configuration menu
    Copy the full SHA
    b0527ea View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2023

  1. Merge branch 'main-1.x' into robin-aws/add-type-descriptors-for-java

    @robin-aws
    robin-aws authored Nov 22, 2023
    Configuration menu
    Copy the full SHA
    3752aa6 View commit details
    Browse the repository at this point in the history

  2. Remove dead code, more comments on the helper methods

    @robin-aws
    robin-aws committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    6eed666 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'robin-aws/add-type-descriptors-for-java' of github.com:… 

    …awslabs/polymorph into robin-aws/add-type-descriptors-for-java
    @robin-aws
    robin-aws committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    6f66074 View commit details
    Browse the repository at this point in the history

Commits on Nov 27, 2023

  1. Apply suggestions from code review 

    Co-authored-by: Tony Knapp <[email protected]>
    @robin-aws @texastony
    robin-aws and texastony authored Nov 27, 2023
    Configuration menu
    Copy the full SHA
    0db5dec View commit details
    Browse the repository at this point in the history

  2. PR feedback

    @robin-aws
    robin-aws committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    855d329 View commit details
    Browse the repository at this point in the history