Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 3, 2024

• Automatic toolchain upgrade to nightly-2024-10-03 (model-checking#3564)

  Show description for f3ed5e8
  

  github-actions[bot]

  and

  celinval

  authored
  f3ed5e8

Commits on Oct 2, 2024

• Enable doctests to avoid coding mistakes in our API documentation (model-checking#3557)

  Show description for 68387e4
  celinval

  authored
  68387e4

• Remove obsolete linker options (model-checking#3559)

  Show description for 14ebca9
  zhassan-aws

  authored
  14ebca9

• Automatic toolchain upgrade to nightly-2024-10-02 (model-checking#3562)

  Show description for fb80031
  

  github-actions[bot]

  and

  celinval

  authored
  fb80031

Commits on Oct 1, 2024

• Automatic toolchain upgrade to nightly-2024-10-01 (model-checking#3558)

  Show description for 10b8a9d
  

  github-actions[bot]

  and

  celinval

  authored
  10b8a9d

Commits on Sep 30, 2024

• Bump tests/perf/s2n-quic from a88ae41 to 2a735a9 (model-checking#3556)

  Show description for 5d8a714
  dependabot[bot]

  authored
  5d8a714

• Automatic toolchain upgrade to nightly-2024-09-30 (model-checking#3554)

  Show description for d712846
  

  github-actions[bot]

  and

  celinval

  authored
  d712846

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

  Show description for eaab729
  

  github-actions[bot]

  and

  tautschnig

  authored
  eaab729

Commits on Sep 29, 2024

• Automatic toolchain upgrade to nightly-2024-09-29 (model-checking#3553)

  Show description for 799c855
  

  github-actions[bot]

  and

  tautschnig

  authored
  799c855

• Automatic toolchain upgrade to nightly-2024-09-28 (model-checking#3552)

  Show description for 25c726b
  

  github-actions[bot]

  and

  celinval

  authored
  25c726b

Commits on Sep 28, 2024

• Automatic toolchain upgrade to nightly-2024-09-27 (model-checking#3550)

  Show description for 8371afb
  

  github-actions[bot]

  and

  tautschnig

  authored
  8371afb

Commits on Sep 27, 2024

• Update toolchain to 2024-09-26 (model-checking#3549)

  Show description for 7c9b710
  tautschnig

  authored
  7c9b710

Commits on Sep 25, 2024

• Automatic toolchain upgrade to nightly-2024-09-25 (model-checking#3547)

  Show description for 61aca4c
  

  3 peopleauthored
  61aca4c

Commits on Sep 24, 2024

• Revert model-checking#3539 and reuse rust backend infrastructure instead (model-checking#3545)

  Show description for 4f75199
  

  celinval

  and

  tautschnig

  authored
  4f75199

• Update toolchain to 2024-09-23 (model-checking#3544)

  Show description for 9dc09e7
  tautschnig

  authored
  9dc09e7

• Update toolchain to 2024-09-20 (model-checking#3539)

  Show description for 2755592
  tautschnig

  authored
  2755592

Commits on Sep 23, 2024

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

  Show description for 0ddeb21
  dependabot[bot]

  authored
  0ddeb21

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

  Show description for 0682257
  tautschnig

  authored
  0682257

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

  Show description for a422cca
  celinval

  authored
  a422cca

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

  Show description for bb241de
  

  github-actions[bot]

  and

  tautschnig

  authored
  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

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

  Show description for 118e279
  

  github-actions[bot]

  and

  qinheping

  authored
  118e279

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

  Show description for 7be4c22
  qinheping

  authored
  7be4c22

Commits on Sep 21, 2024

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

  Show description for d05d604
  qinheping

  authored
  d05d604

Commits on Sep 20, 2024

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

  Show description for f1221b1
  adpaco-aws

  authored
  f1221b1

Commits on Sep 18, 2024

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

  Show description for 27cee8b
  carolynzech

  authored
  27cee8b

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

  Show description for dd26362
  carolynzech

  authored
  dd26362

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

  Show description for d2051b7
  qinheping

  authored
  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

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

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

  Show description for 463f192
  

  github-actions[bot]

  and

  tautschnig

  authored
  463f192

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

  Show description for 44b585e
  qinheping

  authored
  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

• Downgrade once_cell (model-checking#3517)

  Show description for 21cb34a
  zhassan-aws

  authored
  21cb34a

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

  Show description for 31e1679
  

  github-actions[bot]

  and

  tautschnig

  authored
  31e1679

Pagination

PreviousNext