Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 23, 2024

• Bump tests/perf/s2n-quic from 0b3f892 to a54686e (#3793)

  Show description for f212ce5
  dependabot[bot]

  authored
  f212ce5

• Automatic cargo update to 2024-12-23 (#3792)

  Show description for 4251ae8
  

  github-actions[bot]

  and

  tautschnig

  authored
  4251ae8

Commits on Dec 20, 2024

• Update kissat to v4.0.1 (#3791)

  Show description for 7a08474
  

  remi-delmas-3000

  and

  Remi Delmas

  authored
  7a08474

Commits on Dec 18, 2024

• Improve --jobs UI (#3790)

  Show description for b7ae080
  

  carolynzech

  and

  zhassan-aws

  authored
  b7ae080

Commits on Dec 17, 2024

• Package Docker release step: ensure compiler is installed (#3789)

  Show description for 3f5f8e8
  tautschnig

  authored
  3f5f8e8

Commits on Dec 16, 2024

• Fix toolchain version in 0.57.0 CHANGELOG (#3786)

  Show description for 9fd39c0
  tautschnig

  authored
  9fd39c0

• Upgrade toolchain to 2024-12-15 (#3784)

  Show description for e6f6d7d
  carolynzech

  authored
  e6f6d7d

• Bump tests/perf/s2n-quic from e4a2365 to 0b3f892 (#3785)

  Show description for d253bda
  dependabot[bot]

  authored
  d253bda

• Bump Kani version to 0.57.0 (#3777)

  Show description for 68f1adb
  

  3 peopleauthored
  68f1adb

• Automatic cargo update to 2024-12-16 (#3782)

  Show description for 86f5366
  

  github-actions[bot]

  and

  tautschnig

  authored
  86f5366

Commits on Dec 14, 2024

• Automatic toolchain upgrade to nightly-2024-12-14 (#3780)

  Show description for c1c5b46
  

  github-actions[bot]

  and

  celinval

  authored
  c1c5b46

Commits on Dec 13, 2024

• Update cargo dependencies (#3776)

  Show description for 8398771
  tautschnig

  authored
  8398771

• Automatic toolchain upgrade to nightly-2024-12-13 (#3775)

  Show description for 4c1af16
  

  github-actions[bot]

  and

  celinval

  authored
  4c1af16

• Upgrade toolchain to 2024-12-12 (#3774)

  Show description for 3c1ef5f
  carolynzech

  authored
  3c1ef5f

Commits on Dec 11, 2024

• Add out of bounds check for offset intrinsics (#3755)

  Show description for 2334f2c
  

  celinval

  and

  carolynzech

  authored
  2334f2c

Commits on Dec 9, 2024

• Upgrade toolchain to 2024-12-09 (#3768)

  Show description for db1c5fe
  carolynzech

  authored
  db1c5fe

• Bump tests/perf/s2n-quic from 96d2e22 to e4a2365 (#3767)

  Show description for 537ad8d
  dependabot[bot]

  authored
  537ad8d

• Automatic cargo update to 2024-12-09 (#3766)

  Show description for 44038fa
  

  github-actions[bot]

  and

  tautschnig

  authored
  44038fa

Commits on Dec 5, 2024

• Setup/CI: cleanup Ubuntu 18.04 and cbmc-viewer left-overs and enable 24.04 (#3758)

  Show description for 6d621ea
  tautschnig

  authored
  6d621ea

Commits on Dec 3, 2024

• Upgrade toolchain to 2024-11-28 (#3753)

  Show description for ceb87da
  tautschnig

  authored
  ceb87da

Commits on Dec 2, 2024

• Upgrade toolchain to 2024-11-27 (#3751)

  Show description for 1765aa5
  tautschnig

  authored
  1765aa5

• Bump tests/perf/s2n-quic from c84ba19 to 96d2e22 (#3750)

  Show description for 2244eec
  dependabot[bot]

  authored
  2244eec

• Update download-artifact, upload-artifact and checkout to v4 (#3745)

  Show description for 05f94b5
  

  thanhnguyen-aws

  and

  zhassan-aws

  authored
  05f94b5

• Automatic cargo update to 2024-12-02 (#3749)

  Show description for aaf34f3
  

  github-actions[bot]

  and

  tautschnig

  authored
  aaf34f3

Commits on Nov 29, 2024

• Automatic upgrade of CBMC from 6.4.0 to 6.4.1 (#3748)

  Show description for db9516b
  

  github-actions[bot]

  and

  tautschnig

  authored
  db9516b

Commits on Nov 28, 2024

• Update toolchain to nightly-2024-11-26 (#3740)

  Show description for 4f5e53e
  

  celinval

  and

  zhassan-aws

  authored
  4f5e53e

• Dropping support for Ubuntu 18.04 / AL2. (#3744)

  Show description for 69b8b37
  

  thanhnguyen-aws

  and

  celinval

  authored
  69b8b37

• Add a Kani function that checks if the range of a float is valid for conversion to int (#3742)

  Show description for e53511e
  zhassan-aws

  authored
  e53511e

Commits on Nov 27, 2024

• Cleanup a few internal compiler deps (#3739)

  Show description for 17f4ff1
  celinval

  authored
  17f4ff1

Commits on Nov 26, 2024

• Automatic cargo update to 2024-11-25 (#3735)

  Show description for 0ebf089
  

  3 peopleauthored
  0ebf089

• Fix size and alignment computation for intrinsics (#3734)

  Show description for 2b20207
  celinval

  authored
  2b20207

Commits on Nov 25, 2024

• Bump tests/perf/s2n-quic from 4c3ba69 to c84ba19 (#3736)

  Show description for 5b338c9
  dependabot[bot]

  authored
  5b338c9

Commits on Nov 22, 2024

• Fix issues with how we compute DST size (#3687)

  Show description for 19adf79
  

  celinval

  and

  carolynzech

  authored
  19adf79

• add support for enum, struct, tuple in llbc backend (#3721)

  Show description for 88e6eaf
  thanhnguyen-aws

  authored
  88e6eaf

Commits on Nov 20, 2024

• Automatic toolchain upgrade to nightly-2024-11-19 (#3730)

  Show description for 3368a7f
  

  3 peopleauthored
  3368a7f

Pagination

PreviousNext