Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 16, 2022

• Update crates index.md (model-checking#2009)

  celinval

  authored
  8b367c6

Commits on Dec 15, 2022

• Introduce project and stop merging all files generated by the compiler (model-checking#1956)

  

  celinval

  and

  zhassan-aws

  authored
  bfdedb8

• Rename core::assert to avoid possible conflicts in user crate (model-checking#2005)

  zhassan-aws

  authored
  f4796ea

Commits on Dec 13, 2022

• Publish our crates documentation (model-checking#1994)

  

  celinval

  and

  adpaco-aws

  authored
  438e582

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

  celinval

  authored
  71b9d0e

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

  tedinski

  authored
  2511298

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

  adpaco-aws

  authored
  deecd14

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

  tedinski

  authored
  ba389c6

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

  celinval

  authored
  8527e9c

Commits on Dec 12, 2022

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

  tedinski

  authored
  fdd363a

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

  zhassan-aws

  authored
  e199f12

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

  zhassan-aws

  authored
  e0e063d

Commits on Dec 10, 2022

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

  zhassan-aws

  authored
  94b4e84

Commits on Dec 9, 2022

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

  zhassan-aws

  authored
  2ee2df0

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

  celinval

  authored
  ea18901

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

  celinval

  authored
  bb019b0

Commits on Dec 8, 2022

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

  

  YoshikiTakashima

  and

  Yoshiki Takashima

  authored
  1aebd2f

Commits on Dec 7, 2022

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

  adpaco-aws

  authored
  1f74058

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

  adpaco-aws

  authored
  7bd6437

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

  

  celinval

  and

  adpaco-aws

  authored
  3feaca0

Commits on Dec 6, 2022

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

  adpaco-aws

  authored
  3373698

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

  tedinski

  authored
  2ed8f2f

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

  tedinski

  authored
  bc7b888

Commits on Dec 2, 2022

• Introduce ArtifactType and a few more info to HarnessMetadata (model-checking#1940)

  celinval

  authored
  886618c

• Update function stubbing RFC (model-checking#1934)

  

  aaronbembenek-aws

  and

  adpaco-aws

  authored
  9a07997

Commits on Dec 1, 2022

• Validate function/method stubs (model-checking#1920)

  aaronbembenek-aws

  authored
  2fc5c41

Commits on Nov 29, 2022

• Bump deps. Also bump to Kani 0.16.0 (model-checking#1948)

  tedinski

  authored
  3e7903d

• Restore simd_extract and simd_insert intrinsics (model-checking#1942)

  adpaco-aws

  authored
  30a06cc

• fix paths to install_viewer.sh in scripts/setup (model-checking#1950)

  pnkfelix

  authored
  d380446

• Upgrade rust toolchain to 2022-11-20 (model-checking#1927)

  

  zhassan-aws

  and

  tedinski

  authored
  bb50371

• Run audit workflow on push to branches (model-checking#1944)

  celinval

  authored
  4746575

• Docs: Add table to summarize platform intrinsics support (model-checking#1945)

  adpaco-aws

  authored
  aa900dc

• Fix kani-driver error formatting (model-checking#1947)

  aaronbembenek-aws

  authored
  3176744

• Remove --dry-run from Kani. (model-checking#1943)

  celinval

  authored
  9fa44a2

Commits on Nov 28, 2022

• Comment operand.rs (model-checking#1930)

  tedinski

  authored
  6869324

Pagination

PreviousNext