Commits

Branch selector

 main

User selector

celinval

Datepicker

All time

Commit History

Commits on Sep 23, 2024

• Append harness name to the graph file (debug feature only) (model-checking#3528)

  celinval

  authored
  a422cca
  More actions

Commits on Sep 6, 2024

• Enable stubbing and function contracts for primitive types (model-checking#3496)

  celinval

  authored
  6f8ca94
  More actions

Commits on Aug 30, 2024

• Extend name resolution to support qualified paths (Partial Fix) (model-checking#3457)

  

  3 peopleauthored
  01a00b0
  More actions

Commits on Aug 23, 2024

• Fix ICE due to mishandling of Aggregate rvalue for raw pointers to str (model-checking#3448)

  celinval

  authored
  7a28667
  More actions

Commits on Aug 22, 2024

• Re-enabled hierarchical logs in the compiler (model-checking#3449)

  celinval

  authored
  56e2a2f
  More actions

Commits on Aug 15, 2024

• Add test related to issue 3432 (model-checking#3439)

  celinval

  authored
  f27a5ed
  More actions

Commits on Aug 1, 2024

• Enable contracts in associated functions (model-checking#3363)

  celinval

  authored
  e980aa2
  More actions

• Add code scanner tool (model-checking#3120)

  

  celinval

  and

  qinheping

  authored
  9d1cc0e
  More actions

Commits on Jul 31, 2024

• Enable concrete playback for contract and stubs (model-checking#3389)

  

  celinval

  and

  zhassan-aws

  authored
  3bc4f0c
  More actions

Commits on Jul 29, 2024

• Fix verify-std-check outcome check (model-checking#3394)

  

  celinval

  and

  jaisnan

  authored
  7cd31aa
  More actions

Commits on Jul 26, 2024

• Add two new CI workflows to check Kani against verify-rust-std (model-checking#3386)

  celinval

  authored
  70bd021
  More actions

Commits on Jul 25, 2024

• Add missing functionalities to kani_core (model-checking#3384)

  celinval

  authored
  b18698f
  More actions

Commits on Jul 23, 2024

• Fix contract handling of promoted constants and constant static (model-checking#3305)

  celinval

  authored
  dfd05f7
  More actions

Commits on Jul 3, 2024

• Remove deprecated --enable-stubbing (model-checking#3309)

  

  celinval

  and

  zhassan-aws

  authored
  f6d3385
  More actions

Commits on Jun 24, 2024

• Fix TestLocalChain CI action (model-checking#3284)

  celinval

  authored
  628ec4f
  More actions

Commits on Jun 21, 2024

• Upgrade Rust toolchain to nightly-2024-06-21 (model-checking#3282)

  celinval

  authored
  5b119e8
  More actions

• Deprecate --visualize in favor of concrete playback (model-checking#3281)

  celinval

  authored
  73843ec
  More actions

• Remove support for the unstable argument --function (model-checking#3278)

  celinval

  authored
  0d8675d
  More actions

Commits on Jun 19, 2024

• Fix --emit mir handling of constants (model-checking#3276)

  celinval

  authored
  51678e9
  More actions

Commits on Jun 17, 2024

• Upgrade Rust toolchain to nightly-2024-06-17 (model-checking#3271)

  celinval

  authored
  fd013ff
  More actions

Commits on Jun 12, 2024

• Fix a few more issues with the std library (model-checking#3261)

  

  celinval

  and

  tautschnig

  authored
  db54783
  More actions

• Fix contract of constant fn with effect feature (model-checking#3259)

  celinval

  authored
  34b35d8
  More actions

Commits on Jun 11, 2024

• Fix a few issues with std verification (model-checking#3255)

  celinval

  authored
  ca110f7
  More actions

Commits on Jun 10, 2024

• Refactor stubbing so Kani compiler only invoke rustc once per crate (model-checking#3245)

  

  celinval

  and

  feliperodri

  authored
  7fd6546
  More actions

Commits on Jun 7, 2024

• Add a regression test for running verify-std command. (model-checking#3236)

  celinval

  authored
  0bb1325
  More actions

Commits on Jun 6, 2024

• Add a new verify-std subcommand to Kani (model-checking#3231)

  

  celinval

  and

  adpaco-aws

  authored
  dcbf3aa
  More actions

• Remove empty box creation from contracts impl (model-checking#3233)

  

  celinval

  and

  jaisnan

  authored
  e9eeef7
  More actions

Commits on Jun 4, 2024

• Add kani_core library placeholder and build logic (model-checking#3227)

  

  celinval

  and

  jaisnan

  authored
  ab56b9d
  More actions

Commits on May 29, 2024

• Contracts for a few core functions (model-checking#3107)

  celinval

  authored
  8a2b7e5
  More actions

Commits on Apr 19, 2024

• Stabilize cover statement and update contracts RFC (model-checking#3091)

  celinval

  authored
  c7067cf
  More actions

Commits on Apr 18, 2024

• Upgrade toolchain to 2024-04-18 and improve toolchain workflow (model-checking#3149)

  celinval

  authored
  12635fd
  More actions

Commits on Apr 17, 2024

• Bump dependencies and Kani's version to 0.50.0 (model-checking#3148)

  celinval

  authored
  299b0b3
  More actions

Commits on Apr 16, 2024

• Upgrade toolchain to nightly-2024-04-15 (model-checking#3144)

  celinval

  authored
  b9bd7a8
  More actions

Commits on Apr 5, 2024

• Implement check for write_bytes (model-checking#3108)

  celinval

  authored
  b329c85
  More actions

Commits on Mar 25, 2024

• Implement validity checks (model-checking#3085)

  

  celinval

  and

  zhassan-aws

  authored
  e4a90e9
  More actions

Pagination

PreviousNext