Commits

Branch selector

 bb241de

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 23, 2024

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

  Show description for bb241de
  

  github-actions[bot]

  and

  tautschnig

  authored
  bb241de

  Copy full SHA for bb241de

Commits on Sep 22, 2024

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

  Show description for 858410b
  

  github-actions[bot]

  and

  qinheping

  authored
  858410b

  Copy full SHA for 858410b

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

  Show description for 118e279
  

  github-actions[bot]

  and

  qinheping

  authored
  118e279

  Copy full SHA for 118e279

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

  Show description for 7be4c22
  qinheping

  authored
  7be4c22

  Copy full SHA for 7be4c22

Commits on Sep 21, 2024

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

  Show description for d05d604
  qinheping

  authored
  d05d604

  Copy full SHA for d05d604

Commits on Sep 20, 2024

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

  Show description for f1221b1
  adpaco-aws

  authored
  f1221b1

  Copy full SHA for f1221b1

Commits on Sep 18, 2024

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

  Show description for 27cee8b
  carolynzech

  authored
  27cee8b

  Copy full SHA for 27cee8b

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

  Show description for dd26362
  carolynzech

  authored
  dd26362

  Copy full SHA for dd26362

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

  Show description for d2051b7
  qinheping

  authored
  d2051b7

  Copy full SHA for d2051b7

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

  Show description for f888913
  

  zhassan-aws

  and

  celinval

  authored
  f888913

  Copy full SHA for f888913

Commits on Sep 17, 2024

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

  Show description for dba8f39
  

  github-actions[bot]

  and

  tautschnig

  authored
  dba8f39

  Copy full SHA for dba8f39

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

  Show description for 463f192
  

  github-actions[bot]

  and

  tautschnig

  authored
  463f192

  Copy full SHA for 463f192

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

  Show description for 44b585e
  qinheping

  authored
  44b585e

  Copy full SHA for 44b585e

Commits on Sep 16, 2024

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

  Show description for d98ba4d
  

  dependabot[bot]

  and

  tautschnig

  authored
  d98ba4d

  Copy full SHA for d98ba4d

• Downgrade once_cell (model-checking#3517)

  Show description for 21cb34a
  zhassan-aws

  authored
  21cb34a

  Copy full SHA for 21cb34a

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

  Show description for 31e1679
  

  github-actions[bot]

  and

  tautschnig

  authored
  31e1679

  Copy full SHA for 31e1679

Commits on Sep 10, 2024

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

  Show description for 76ad701
  dependabot[bot]

  authored
  76ad701

  Copy full SHA for 76ad701

Commits on Sep 9, 2024

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

  Show description for 5f6de6e
  zhassan-aws

  authored
  5f6de6e

  Copy full SHA for 5f6de6e

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

  Show description for 80a4e51
  dependabot[bot]

  authored
  80a4e51

  Copy full SHA for 80a4e51

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

  Show description for cda1b30
  

  github-actions[bot]

  and

  celinval

  authored
  cda1b30

  Copy full SHA for cda1b30

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

  Show description for 92c25e6
  

  github-actions[bot]

  and

  tautschnig

  authored
  92c25e6

  Copy full SHA for 92c25e6

Commits on Sep 8, 2024

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

  Show description for 7896cff
  zhassan-aws

  authored
  7896cff

  Copy full SHA for 7896cff

Commits on Sep 7, 2024

• Fix iss3495 (model-checking#3501)

  Show description for 20eb00c
  zhassan-aws

  authored
  20eb00c

  Copy full SHA for 20eb00c

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

  Show description for fde5fbb
  

  github-actions[bot]

  and

  celinval

  authored
  fde5fbb

  Copy full SHA for fde5fbb

Commits on Sep 6, 2024

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

  Show description for 6f8ca94
  celinval

  authored
  6f8ca94

  Copy full SHA for 6f8ca94

• List RFC revisions (model-checking#3490)

  Show description for 2536f64
  carolynzech

  authored
  2536f64

  Copy full SHA for 2536f64

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

  Show description for 0775ca8
  zhassan-aws

  authored
  0775ca8

  Copy full SHA for 0775ca8

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

  Show description for faa47f7
  

  github-actions[bot]

  and

  celinval

  authored
  faa47f7

  Copy full SHA for faa47f7

Commits on Sep 5, 2024

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

  Show description for 031587a
  

  3 peopleauthored
  031587a

  Copy full SHA for 031587a

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

  Show description for e3a5e8e
  zhassan-aws

  authored
  e3a5e8e

  Copy full SHA for e3a5e8e

Commits on Sep 4, 2024

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

  Show description for 701f6fb
  

  qinheping

  and

  celinval

  authored
  701f6fb

  Copy full SHA for 701f6fb

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

  Show description for 603f9bf
  zhassan-aws

  authored
  603f9bf

  Copy full SHA for 603f9bf

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

  Show description for 33e3c36
  carolynzech

  authored
  33e3c36

  Copy full SHA for 33e3c36

• vstte paper (model-checking#3473)

  Show description for 4a9a70c
  

  rahulku

  and

  tautschnig

  authored
  4a9a70c

  Copy full SHA for 4a9a70c

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

  Show description for 93a29af
  artemagvanian

  authored
  93a29af

  Copy full SHA for 93a29af

Pagination

Previous

Next