Code

Test doc changes#3

Code

Merged

celinval merged 21 commits intomaincelinval/kani-dev:mainfrom issue-xxxx-doccelinval/kani-dev:issue-xxxx-docCopy head branch name to clipboardDec 13, 2022

+1,541-436

Commits

Commits on Dec 6, 2022

• Fix Arm CBMC architecture name (model-checking#1968)

  tedinski

  authored
  bc7b888

  Copy full SHA for bc7b888

• Doc improvements: supported platforms and versions (model-checking#1969)

  tedinski

  authored
  2ed8f2f

  Copy full SHA for 2ed8f2f

• Restore simd_shl and simd_shr intrinsics (model-checking#1964)

  adpaco-aws

  authored
  3373698

  Copy full SHA for 3373698

Commits on Dec 7, 2022

• Add more info about debugging with rustc (model-checking#1959)

  Show description for 3feaca0
  

  celinval

  and

  adpaco-aws

  authored
  3feaca0

  Copy full SHA for 3feaca0

• Add support for simd_shuffle* (model-checking#1961)

  adpaco-aws

  authored
  7bd6437

  Copy full SHA for 7bd6437

• Restore simd_div and simd_rem intrinsics (model-checking#1973)

  adpaco-aws

  authored
  1f74058

  Copy full SHA for 1f74058

Commits on Dec 8, 2022

• Use fully qualified paths to avoid harness name clash. (model-checking#1955)

  Show description for 1aebd2f
  

  YoshikiTakashima

  and

  Yoshiki Takashima

  authored
  1aebd2f

  Copy full SHA for 1aebd2f

Commits on Dec 9, 2022

• Add some performance instrumentation to our code (model-checking#1972)

  Show description for bb019b0
  celinval

  authored
  bb019b0

  Copy full SHA for bb019b0

• Fix drop for Struct<dyn T> (model-checking#1975)

  Show description for ea18901
  celinval

  authored
  ea18901

  Copy full SHA for ea18901

• Bump CBMC to version 5.72.0 (model-checking#1941)

  zhassan-aws

  authored
  2ee2df0

  Copy full SHA for 2ee2df0

Commits on Dec 10, 2022

• RFC for cover ctatement (model-checking#1906)

  zhassan-aws

  authored
  94b4e84

  Copy full SHA for 94b4e84

Commits on Dec 12, 2022

• Fix call to core::assert in macro overrides (model-checking#1985)

  zhassan-aws

  authored
  e0e063d

  Copy full SHA for e0e063d

• Restrict platform when issuing metadata command (model-checking#1987)

  zhassan-aws

  authored
  e199f12

  Copy full SHA for e199f12

• Used install toolchain path instead of runtime RUSTUP_HOME (model-checking#1988)

  tedinski

  authored
  fdd363a

  Copy full SHA for fdd363a

Commits on Dec 13, 2022

• Fix drop of Wrapper<dyn T> and fix unsized cast too (model-checking#1981)

  Show description for 8527e9c
  celinval

  authored
  8527e9c

  Copy full SHA for 8527e9c

• Fix --use-local-bundle argument parsing (model-checking#1991)

  tedinski

  authored
  ba389c6

  Copy full SHA for ba389c6

• Bump Kani version to 0.17.0 and update dependencies (model-checking#1989)

  adpaco-aws

  authored
  deecd14

  Copy full SHA for deecd14

• Bump actions/checkout to v3 (model-checking#1990)

  tedinski

  authored
  2511298

  Copy full SHA for 2511298

• Update rust-feature-support.md (model-checking#1992)

  celinval

  authored
  71b9d0e

  Copy full SHA for 71b9d0e

• Publish our crates documentation

  celinval

  committed
  f3227e0

  Copy full SHA for f3227e0

• Fix link

  celinval

  committed
  490dbbc

  Copy full SHA for 490dbbc