Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 4, 2024

• Fix contract expansion for old (model-checking#3491)

  carolynzech

  authored
  33e3c36
  More actions

• vstte paper (model-checking#3473)

  

  rahulku

  and

  tautschnig

  authored
  4a9a70c
  More actions

• Cross-function union instrumentation (model-checking#3465)

  artemagvanian

  authored
  93a29af
  More actions

• Update Kani Book (model-checking#3474)

  carolynzech

  authored
  edded56
  More actions

Commits on Sep 3, 2024

• Add tests for fixed issues. (model-checking#3484)

  carolynzech

  authored
  6cf4ea4
  More actions

• RFC for List Subcommand (model-checking#3463)

  carolynzech

  authored
  eb4d5a6
  More actions

• Automatic toolchain upgrade to nightly-2024-09-03 (model-checking#3482)

  

  github-actions[bot]

  and

  celinval

  authored
  2c939ab
  More actions

Commits on Sep 2, 2024

• Automatic toolchain upgrade to nightly-2024-09-02 (model-checking#3479)

  

  github-actions[bot]

  and

  celinval

  authored
  ec5bfc6
  More actions

• Bump tests/perf/s2n-quic from 8f7c04b to 1ff3a9c (model-checking#3481)

  dependabot[bot]

  authored
  cc47dd1
  More actions

• Automatic cargo update to 2024-09-02 (model-checking#3480)

  

  github-actions[bot]

  and

  tautschnig

  authored
  6bc48a9
  More actions

Commits on Sep 1, 2024

• Update Toolchain to 9/1 (model-checking#3478)

  carolynzech

  authored
  5449c3c
  More actions

Commits on Aug 31, 2024

• Partially integrate uninit memory checks into verify_std (model-checking#3470)

  artemagvanian

  authored
  2960f80
  More actions

Commits on Aug 30, 2024

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

  

  3 peopleauthored
  01a00b0
  More actions

• Automatic toolchain upgrade to nightly-2024-08-30 (model-checking#3469)

  

  github-actions[bot]

  and

  celinval

  authored
  6ac5183
  More actions

Commits on Aug 29, 2024

• Upgrade Toolchain to 8/29 (model-checking#3468)

  carolynzech

  authored
  691f81e
  More actions

Commits on Aug 28, 2024

• Extra tests and bug fixes to the delayed UB instrumentation (model-checking#3419)

  artemagvanian

  authored
  e28f3db
  More actions

• Upgrade toolchain to 08/28 (model-checking#3454)

  jaisnan

  authored
  5aad1a9
  More actions

Commits on Aug 27, 2024

• Adopt Rust's source-based code coverage instrumentation (model-checking#3119)

  adpaco-aws

  authored
  8c17849
  More actions

• RFC: Source-based code coverage (model-checking#3143)

  adpaco-aws

  authored
  7a02955
  More actions

• Clarify comment in RFC Template (model-checking#3462)

  carolynzech

  authored
  0adc107
  More actions

• Adjust test patterns so as not to check for trivial properties (model-checking#3464)

  tautschnig

  authored
  d5c1b71
  More actions

• Basic support for memory initialization checks for unions (model-checking#3444)

  artemagvanian

  authored
  db9c45c
  More actions

Commits on Aug 26, 2024

• Update deny action (model-checking#3461)

  zhassan-aws

  authored
  28f8f22
  More actions

• Bump tests/perf/s2n-quic from 80b93a7 to 8f7c04b (model-checking#3460)

  dependabot[bot]

  authored
  ac10164
  More actions

• Automatic cargo update to 2024-08-26 (model-checking#3459)

  

  github-actions[bot]

  and

  tautschnig

  authored
  1f0b47f
  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

• Avoid corner-cases by grouping instrumentation into basic blocks and using backward iteration (model-checking#3438)

  artemagvanian

  authored
  0ed9a62
  More actions

Commits on Aug 20, 2024

• Add loop scanner to tool-scanner (model-checking#3443)

  qinheping

  authored
  d2141e4
  More actions

• Automatic cargo update to 2024-08-19 (model-checking#3450)

  

  github-actions[bot]

  and

  tautschnig

  authored
  17dc239
  More actions

Commits on Aug 19, 2024

• Make points-to analysis handle all intrinsics explicitly (model-checking#3452)

  artemagvanian

  authored
  621519a
  More actions

• Bump tests/perf/s2n-quic from ab9723a to 80b93a7 (model-checking#3453)

  dependabot[bot]

  authored
  a5d4406
  More actions

Commits on Aug 15, 2024

• Implement memory initialization state copy functionality (model-checking#3350)

  artemagvanian

  authored
  e6f8a62
  More actions

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

  celinval

  authored
  f27a5ed
  More actions

Commits on Aug 12, 2024

• Actually apply CBMC patch (model-checking#3436)

  tautschnig

  authored
  e2a209b
  More actions

Pagination

PreviousNext