Code

List Subcommand (Implementation)#3523

Code

Merged

carolynzech merged 40 commits intomodel-checking:mainmodel-checking/kani:mainfrom carolynzech:list-subcommandcarolynzech/kani:list-subcommandCopy head branch name to clipboardOct 9, 2024

+883-63

Commits

Commits on Sep 12, 2024

• standalone list command

  carolynzech

  committed
  f54c0f3

  Copy full SHA for f54c0f3

• more concise pretty output

  carolynzech

  committed
  67ed073

  Copy full SHA for 67ed073

• json output

  carolynzech

  committed
  4ace776

  Copy full SHA for 4ace776

• use standalone project instead

  carolynzech

  committed
  b903473

  Copy full SHA for b903473

• clippy

  carolynzech

  committed
  b412d06

  Copy full SHA for b412d06

• refactor

  carolynzech

  committed
  bc802a1

  Copy full SHA for bc802a1

• cargo list

  carolynzech

  committed
  bfd2684

  Copy full SHA for bfd2684

Commits on Sep 16, 2024

• use CrateItems instead; refactor into kani-middle

  carolynzech

  committed
  8e4efc0

  Copy full SHA for 8e4efc0

• add std flag

  carolynzech

  committed
  2e79fbc

  Copy full SHA for 2e79fbc

• output updates

  carolynzech

  committed
  b1c5a9e

  Copy full SHA for b1c5a9e

• update RFC with implementation

  carolynzech

  committed
  ced1dab

  Copy full SHA for ced1dab

Commits on Sep 17, 2024

• nits

  carolynzech

  committed
  c98b0b0

  Copy full SHA for c98b0b0

• add tests

  carolynzech

  committed
  b57e47d

  Copy full SHA for b57e47d

• add modifies rationale to rfc

  carolynzech

  committed
  6a659d0

  Copy full SHA for 6a659d0

• Merge branch 'main' into list-subcommand

  carolynzech

  authored
  d88a4aa

  Copy full SHA for d88a4aa

• copyrights

  carolynzech

  committed
  87328bc

  Copy full SHA for 87328bc

• Merge branch 'list-subcommand' of github.com:carolynzech/kani into list-subcommand

  carolynzech

  committed
  0e14cd1

  Copy full SHA for 0e14cd1

Commits on Sep 20, 2024

• kani-compiler is list-agnostic

  carolynzech

  committed
  e41c2b6

  Copy full SHA for e41c2b6

• check explicitly that fn resolves

  carolynzech

  committed
  5d0edb8

  Copy full SHA for 5d0edb8

Commits on Sep 26, 2024

• change tests to json; sort output

  carolynzech

  committed
  e5de12c

  Copy full SHA for e5de12c

• clippy

  carolynzech

  committed
  7a52503

  Copy full SHA for 7a52503

Commits on Sep 27, 2024

• Merge branch 'main' into list-subcommand

  carolynzech

  authored
  552f339

  Copy full SHA for 552f339

• clippy

  carolynzech

  committed
  7383445

  Copy full SHA for 7383445

• revert unnecessary changes

  carolynzech

  committed
  55c9937

  Copy full SHA for 55c9937

• update rfc

  carolynzech

  committed
  a85ec2c

  Copy full SHA for a85ec2c

• Merge branch 'main' into list-subcommand

  carolynzech

  authored
  76365a3

  Copy full SHA for 76365a3

Commits on Oct 1, 2024

• update RFC status

  carolynzech

  authored
  b5f48a1

  Copy full SHA for b5f48a1

• Merge branch 'main' into list-subcommand

  carolynzech

  authored
  a2a5082

  Copy full SHA for a2a5082

• update Cargo.lock

  carolynzech

  committed
  0854cb3

  Copy full SHA for 0854cb3

• remove cli-table dependency; print manually

  carolynzech

  committed
  7faeb2a

  Copy full SHA for 7faeb2a

Commits on Oct 2, 2024

• add Markdown explanation to RFc

  carolynzech

  committed
  15dd78a

  Copy full SHA for 15dd78a

• remove contracts count; reduce rfc detail

  carolynzech

  committed
  3f583d3

  Copy full SHA for 3f583d3

Commits on Oct 3, 2024

• use StableDefId

  carolynzech

  committed
  9daa8ba

  Copy full SHA for 9daa8ba

Commits on Oct 4, 2024

• Doc comments formatting

  Show description for cfc1db3
  

  carolynzech

  and

  feliperodri

  authored
  cfc1db3

  Copy full SHA for cfc1db3

• PR feedback

  carolynzech

  committed
  3380cb8

  Copy full SHA for 3380cb8

Commits on Oct 7, 2024

• Apply RFC suggestions from code review

  Show description for e3455c0
  

  carolynzech

  and

  zhassan-aws

  authored
  e3455c0

  Copy full SHA for e3455c0

• Apply suggestions from code review

  Show description for 2ad1360
  

  carolynzech

  and

  zhassan-aws

  authored
  2ad1360

  Copy full SHA for 2ad1360

• remove contracts count mention from RFC

  carolynzech

  authored
  1cc50a0

  Copy full SHA for 1cc50a0

• rfc nit

  carolynzech

  authored
  c2474e3

  Copy full SHA for c2474e3

Commits on Oct 9, 2024

• Merge branch 'main' into list-subcommand

  carolynzech

  authored
  5d536c1

  Copy full SHA for 5d536c1