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

List Subcommand (Implementation) #3523

Merged
merged 40 commits into from
Oct 9, 2024
Merged

List Subcommand (Implementation) #3523

merged 40 commits into from
Oct 9, 2024

Commits on Sep 12, 2024

  1. standalone list command

    @carolynzech
    carolynzech committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    f54c0f3 View commit details
    Browse the repository at this point in the history

  2. more concise pretty output

    @carolynzech
    carolynzech committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    67ed073 View commit details
    Browse the repository at this point in the history

  3. json output

    @carolynzech
    carolynzech committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    4ace776 View commit details
    Browse the repository at this point in the history

  4. use standalone project instead

    @carolynzech
    carolynzech committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    b903473 View commit details
    Browse the repository at this point in the history

  5. clippy

    @carolynzech
    carolynzech committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    b412d06 View commit details
    Browse the repository at this point in the history

  6. refactor

    @carolynzech
    carolynzech committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    bc802a1 View commit details
    Browse the repository at this point in the history

  7. cargo list

    @carolynzech
    carolynzech committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    bfd2684 View commit details
    Browse the repository at this point in the history

Commits on Sep 16, 2024

  1. use CrateItems instead; refactor into kani-middle

    @carolynzech
    carolynzech committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    8e4efc0 View commit details
    Browse the repository at this point in the history

  2. add std flag

    @carolynzech
    carolynzech committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    2e79fbc View commit details
    Browse the repository at this point in the history

  3. output updates

    @carolynzech
    carolynzech committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    b1c5a9e View commit details
    Browse the repository at this point in the history

  4. update RFC with implementation

    @carolynzech
    carolynzech committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    ced1dab View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2024

  1. nits

    @carolynzech
    carolynzech committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    c98b0b0 View commit details
    Browse the repository at this point in the history

  2. add tests

    @carolynzech
    carolynzech committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    b57e47d View commit details
    Browse the repository at this point in the history

  3. add modifies rationale to rfc

    @carolynzech
    carolynzech committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    6a659d0 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into list-subcommand

    @carolynzech
    carolynzech authored Sep 17, 2024
    Configuration menu
    Copy the full SHA
    d88a4aa View commit details
    Browse the repository at this point in the history

  5. copyrights

    @carolynzech
    carolynzech committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    87328bc View commit details
    Browse the repository at this point in the history

  6. Merge branch 'list-subcommand' of github.com:carolynzech/kani into li… 

    …st-subcommand
    @carolynzech
    carolynzech committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    0e14cd1 View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2024

  1. kani-compiler is list-agnostic

    @carolynzech
    carolynzech committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    e41c2b6 View commit details
    Browse the repository at this point in the history

  2. check explicitly that fn resolves

    @carolynzech
    carolynzech committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    5d0edb8 View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2024

  1. change tests to json; sort output

    @carolynzech
    carolynzech committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    e5de12c View commit details
    Browse the repository at this point in the history

  2. clippy

    @carolynzech
    carolynzech committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    7a52503 View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2024

  1. Merge branch 'main' into list-subcommand

    @carolynzech
    carolynzech authored Sep 27, 2024
    Configuration menu
    Copy the full SHA
    552f339 View commit details
    Browse the repository at this point in the history

  2. clippy

    @carolynzech
    carolynzech committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    7383445 View commit details
    Browse the repository at this point in the history

  3. revert unnecessary changes

    @carolynzech
    carolynzech committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    55c9937 View commit details
    Browse the repository at this point in the history

  4. update rfc

    @carolynzech
    carolynzech committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    a85ec2c View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' into list-subcommand

    @carolynzech
    carolynzech authored Sep 27, 2024
    Configuration menu
    Copy the full SHA
    76365a3 View commit details
    Browse the repository at this point in the history

Commits on Oct 1, 2024

  1. update RFC status

    @carolynzech
    carolynzech authored Oct 1, 2024
    Configuration menu
    Copy the full SHA
    b5f48a1 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into list-subcommand

    @carolynzech
    carolynzech authored Oct 1, 2024
    Configuration menu
    Copy the full SHA
    a2a5082 View commit details
    Browse the repository at this point in the history

  3. update Cargo.lock

    @carolynzech
    carolynzech committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    0854cb3 View commit details
    Browse the repository at this point in the history

  4. remove cli-table dependency; print manually

    @carolynzech
    carolynzech committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    7faeb2a View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2024

  1. add Markdown explanation to RFc

    @carolynzech
    carolynzech committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    15dd78a View commit details
    Browse the repository at this point in the history

  2. remove contracts count; reduce rfc detail

    @carolynzech
    carolynzech committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    3f583d3 View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2024

  1. use StableDefId

    @carolynzech
    carolynzech committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    9daa8ba View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2024

  1. Doc comments formatting 

    Co-authored-by: Felipe R. Monteiro <[email protected]>
    @carolynzech @feliperodri
    carolynzech and feliperodri authored Oct 4, 2024
    Configuration menu
    Copy the full SHA
    cfc1db3 View commit details
    Browse the repository at this point in the history

  2. PR feedback

    @carolynzech
    carolynzech committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    3380cb8 View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2024

  1. Apply RFC suggestions from code review 

    Co-authored-by: Zyad Hassan <[email protected]>
    @carolynzech @zhassan-aws
    carolynzech and zhassan-aws authored Oct 7, 2024
    Configuration menu
    Copy the full SHA
    e3455c0 View commit details
    Browse the repository at this point in the history

  2. Apply suggestions from code review 

    Co-authored-by: Zyad Hassan <[email protected]>
    @carolynzech @zhassan-aws
    carolynzech and zhassan-aws authored Oct 7, 2024
    Configuration menu
    Copy the full SHA
    2ad1360 View commit details
    Browse the repository at this point in the history

  3. remove contracts count mention from RFC

    @carolynzech
    carolynzech authored Oct 7, 2024
    Configuration menu
    Copy the full SHA
    1cc50a0 View commit details
    Browse the repository at this point in the history

  4. rfc nit

    @carolynzech
    carolynzech authored Oct 7, 2024
    Configuration menu
    Copy the full SHA
    c2474e3 View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2024

  1. Merge branch 'main' into list-subcommand

    @carolynzech
    carolynzech authored Oct 9, 2024
    Configuration menu
    Copy the full SHA
    5d536c1 View commit details
    Browse the repository at this point in the history