Commits

Branch selector

 7bf5a6d

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 5, 2023

• Update Rust toolchain to 2023-09-23 (#2806)

  Show description for 7bf5a6d
  tautschnig

  authored
  7bf5a6d

Commits on Oct 4, 2023

• Address clippy warnings (#2807)

  Show description for fece7ee
  tautschnig

  authored
  fece7ee

• Create concrete playback temp files in source directory (#2804)

  Show description for fb08f3e
  tautschnig

  authored
  fb08f3e

Commits on Oct 3, 2023

• Prevent kani crash during setup for first time (#2799)

  Show description for 62f136c
  jaisnan

  authored
  62f136c

Commits on Oct 2, 2023

• Update dependencies (#2797)

  Show description for ed2df13
  tautschnig

  authored
  ed2df13

Commits on Sep 29, 2023

• Bump CBMC version (#2796)

  Show description for 964f986
  zhassan-aws

  authored
  964f986

• Update PR template (#2791)

  Show description for ed671fc
  celinval

  authored
  ed671fc

• Avoid mismatch when generating structs that represent scalar data but also include ZSTs (#2794)

  Show description for a20437a
  adpaco-aws

  authored
  a20437a

Commits on Sep 27, 2023

• Simple Stubbing with Contracts (#2746)

  Show description for dba1674
  

  3 peopleauthored
  dba1674

Commits on Sep 26, 2023

• Deprecate any_slice (#2789)

  Show description for 8480dc6
  zhassan-aws

  authored
  8480dc6

Commits on Sep 25, 2023

• Auto label PRs that may require extra checks (#2785)

  Show description for 6b1a09d
  celinval

  authored
  6b1a09d

• Fix issue 2589 (#2787)

  Show description for e95a7bb
  

  JustusAdam

  and

  feliperodri

  authored
  e95a7bb

Commits on Sep 20, 2023

• Bump version 0.37.0 (#2783)

  Show description for c7c0f18
  

  3 peopleauthored
  c7c0f18

• fix expected value for pref_align_of under aarch64/macos (#2782)

  Show description for a3067ad
  

  remi-delmas-3000

  and

  Remi Delmas

  authored
  a3067ad

Commits on Sep 19, 2023

• major version updates (#2780)

  Show description for 88e3bbe
  

  remi-delmas-3000

  and

  Remi Delmas

  authored
  88e3bbe

• minor version update of deps using cargo update (#2779)

  Show description for 4541296
  

  remi-delmas-3000

  and

  Remi Delmas

  authored
  4541296

• Update rust toolchain to nightly-2023-09-19 (#2778)

  Show description for cc09efe
  

  remi-delmas-3000

  and

  Remi Delmas

  authored
  cc09efe

Commits on Sep 18, 2023

• Automatic toolchain upgrade to nightly-2023-09-18 (#2775)

  github-actions[bot]

  authored
  43392e5

Commits on Sep 17, 2023

• Automatic toolchain upgrade to nightly-2023-09-17 (#2774)

  github-actions[bot]

  authored
  9ef772f

Commits on Sep 16, 2023

• Automatic toolchain upgrade to nightly-2023-09-16 (#2773)

  Show description for 04abcc3
  

  github-actions[bot]

  and

  celinval

  authored
  04abcc3

Commits on Sep 15, 2023

• Bump CBMC version (#2771)

  Show description for 3f3e1c8
  

  zhassan-aws

  and

  tautschnig

  authored
  3f3e1c8

• Delete obsolete stubs for Vec and related options (#2770)

  zhassan-aws

  authored
  0fbe271

• Add range demo example (#2772)

  zhassan-aws

  authored
  23b7abd

• Update Rust toolchain to 2023-09-15 (#2768)

  tautschnig

  authored
  c3ff9ea

• Fix syntax errors in Kissat checking script (#2769)

  tautschnig

  authored
  7e692bb

• Force any_vec capacity to match length (#2765)

  celinval

  authored
  eb62ad8

Commits on Sep 14, 2023

• Automatic toolchain upgrade to nightly-2023-09-11 (#2764)

  github-actions[bot]

  authored
  04c7451

• Automatic toolchain upgrade to nightly-2023-09-10 (#2760)

  Show description for b0e7429
  

  github-actions[bot]

  and

  celinval

  authored
  b0e7429

Commits on Sep 12, 2023

• Add support for the ARM64 Linux platform (#2757)

  adpaco-aws

  authored
  246be41

• Fix hashset perf test (#2758)

  zhassan-aws

  authored
  7136495

• Upgrade to Kissat 3.1.1 (#2756)

  zhassan-aws

  authored
  605ca49

• Fixing the Footnotes and Feature Flag on the Function Contracts RFC (#2754)

  JustusAdam

  authored
  6d628bf

• Automatic toolchain upgrade to nightly-2023-09-09 (#2755)

  github-actions[bot]

  authored
  123f858

Commits on Sep 11, 2023

• Automatic toolchain upgrade to nightly-2023-09-08 (#2752)

  github-actions[bot]

  authored
  6a6fef2

Commits on Sep 9, 2023

• Remove build files generated with cargo doc command (#2750)

  adpaco-aws

  authored
  7334ba1

Pagination

PreviousNext