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

Draft
wants to merge 19 commits into
base: main
Choose a base branch
from
Draft

List Subcommand (Implementation) #3523

wants to merge 19 commits into from

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 committed 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