Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 23, 2024

• Bump tests/perf/s2n-quic from 132ba54 to a88ae41 (model-checking#3540)

  dependabot[bot]

  authored
  0ddeb21
  More actions

• Update to CBMC 6.3.1 and fix auto-update script (model-checking#3537)

  tautschnig

  authored
  0682257
  More actions

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

  celinval

  authored
  a422cca
  More actions

• Automatic cargo update to 2024-09-23 (model-checking#3535)

  

  github-actions[bot]

  and

  tautschnig

  authored
  bb241de
  More actions

Commits on Sep 22, 2024

• Automatic toolchain upgrade to nightly-2024-09-17 (model-checking#3533)

  

  github-actions[bot]

  and

  qinheping

  authored
  858410b
  More actions

• Automatic toolchain upgrade to nightly-2024-09-16 (model-checking#3532)

  

  github-actions[bot]

  and

  qinheping

  authored
  118e279
  More actions

• Upgrade toolchain to 2024-09-15 (model-checking#3531)

  qinheping

  authored
  7be4c22
  More actions

Commits on Sep 21, 2024

• Upgrade toolchain to 2024-09-14 (model-checking#3529)

  qinheping

  authored
  d05d604
  More actions

Commits on Sep 20, 2024

• Fix storing coverage data in cargo projects (model-checking#3527)

  adpaco-aws

  authored
  f1221b1
  More actions

Commits on Sep 18, 2024

• Add tests for issue 3009 (model-checking#3526)

  carolynzech

  authored
  27cee8b
  More actions

• Call check_proof_attribute for contract harnesses (model-checking#3522)

  carolynzech

  authored
  dd26362
  More actions

• Upgrade toolchain to 2024-09-12 (model-checking#3524)

  qinheping

  authored
  d2051b7
  More actions

• Instrument validity checks for pointer to reference casts for slices and str's (model-checking#3513)

  

  zhassan-aws

  and

  celinval

  authored
  f888913
  More actions

Commits on Sep 17, 2024

• Automatic toolchain upgrade to nightly-2024-09-11 (model-checking#3520)

  

  github-actions[bot]

  and

  tautschnig

  authored
  dba8f39
  More actions

• Automatic toolchain upgrade to nightly-2024-09-10 (model-checking#3519)

  

  github-actions[bot]

  and

  tautschnig

  authored
  463f192
  More actions

• Upgrade toolchain to 2024-09-09 (model-checking#3518)

  qinheping

  authored
  44b585e
  More actions

Commits on Sep 16, 2024

• Bump tests/perf/s2n-quic from d8be30e to 132ba54 (model-checking#3516)

  

  dependabot[bot]

  and

  tautschnig

  authored
  d98ba4d
  More actions

• Downgrade once_cell (model-checking#3517)

  zhassan-aws

  authored
  21cb34a
  More actions

• Automatic cargo update to 2024-09-16 (model-checking#3515)

  

  github-actions[bot]

  and

  tautschnig

  authored
  31e1679
  More actions

Commits on Sep 10, 2024

• Bump peter-evans/create-pull-request from 6 to 7 (model-checking#3510)

  dependabot[bot]

  authored
  76ad701
  More actions

Commits on Sep 9, 2024

• Reduce object-bits for test to avoid OOM (model-checking#3511)

  zhassan-aws

  authored
  5f6de6e
  More actions

• Bump tests/perf/s2n-quic from 1ff3a9c to d8be30e (model-checking#3509)

  dependabot[bot]

  authored
  80a4e51
  More actions

• Automatic toolchain upgrade to nightly-2024-09-08 (model-checking#3505)

  

  github-actions[bot]

  and

  celinval

  authored
  cda1b30
  More actions

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

  

  github-actions[bot]

  and

  tautschnig

  authored
  92c25e6
  More actions

Commits on Sep 8, 2024

• Upgrade toolchain to 2024-09-07 (model-checking#3504)

  zhassan-aws

  authored
  7896cff
  More actions

Commits on Sep 7, 2024

• Fix iss3495 (model-checking#3501)

  zhassan-aws

  authored
  20eb00c
  More actions

• Automatic toolchain upgrade to nightly-2024-09-06 (model-checking#3502)

  

  github-actions[bot]

  and

  celinval

  authored
  fde5fbb
  More actions

Commits on Sep 6, 2024

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

  celinval

  authored
  6f8ca94
  More actions

• List RFC revisions (model-checking#3490)

  carolynzech

  authored
  2536f64
  More actions

• Fix cmake configuration for perf job (model-checking#3499)

  zhassan-aws

  authored
  0775ca8
  More actions

• Automatic toolchain upgrade to nightly-2024-09-05 (model-checking#3500)

  

  github-actions[bot]

  and

  celinval

  authored
  faa47f7
  More actions

Commits on Sep 5, 2024

• Automatic toolchain upgrade to nightly-2024-09-04 (model-checking#3488)

  

  3 peopleauthored
  031587a
  More actions

• Replace proc-macro-error with proc-macro-error2 (model-checking#3493)

  zhassan-aws

  authored
  e3a5e8e
  More actions

Commits on Sep 4, 2024

• RFC: Loop Contracts (model-checking#3167)

  

  qinheping

  and

  celinval

  authored
  701f6fb
  More actions

• Bump Kani version to 0.55.0 (model-checking#3486)

  zhassan-aws

  authored
  603f9bf
  More actions

Pagination

PreviousNext