Commits

Breadcrumbs

History for

onissue-3258-effect-contract

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 11, 2024

• Update the rust toolchain to nightly-2024-06-11 (model-checking#3225)

  Show description for e922d73
  tautschnig

  authored
  e922d73

  Copy full SHA for e922d73

• Add intrinsics and Arbitrary support for no_core (model-checking#3230)

  Show description for eeb5fe7
  

  jaisnan

  and

  celinval

  authored
  eeb5fe7

  Copy full SHA for eeb5fe7

Commits on Jun 10, 2024

• Automatic cargo update to 2024-06-10 (model-checking#3246)

  Show description for 02ac268
  github-actions[bot]

  authored
  02ac268

  Copy full SHA for 02ac268

Commits on Jun 4, 2024

• Add kani_core library placeholder and build logic (model-checking#3227)

  Show description for ab56b9d
  

  celinval

  and

  jaisnan

  authored
  ab56b9d

  Copy full SHA for ab56b9d

• Bump Kani version to 0.52.0 (model-checking#3224)

  Show description for 358ade9
  tautschnig

  authored
  358ade9

  Copy full SHA for 358ade9

Commits on Jun 3, 2024

• Automatic cargo update to 2024-06-03 (model-checking#3220)

  Show description for d46da39
  github-actions[bot]

  authored
  d46da39

  Copy full SHA for d46da39

Commits on May 27, 2024

• Automatic cargo update to 2024-05-27 (model-checking#3201)

  Show description for 299a1fb
  

  github-actions[bot]

  and

  tautschnig

  authored
  299a1fb

  Copy full SHA for 299a1fb

Commits on May 20, 2024

• Automatic cargo update to 2024-05-20 (model-checking#3195)

  Show description for 14fc7b7
  

  github-actions[bot]

  and

  tautschnig

  authored
  14fc7b7

  Copy full SHA for 14fc7b7

Commits on May 17, 2024

• Perform cargo update because of yanked libc version (model-checking#3192)

  Show description for 6161bfd
  zhassan-aws

  authored
  6161bfd

  Copy full SHA for 6161bfd

Commits on May 13, 2024

• Automatic cargo update to 2024-05-13 (model-checking#3177)

  Show description for b34d117
  

  3 peopleauthored
  b34d117

  Copy full SHA for b34d117

Commits on May 7, 2024

• Bump Kani version to 0.51.0 (model-checking#3176)

  Show description for bb3e71a
  

  karkhaz

  and

  adpaco-aws

  authored
  bb3e71a

  Copy full SHA for bb3e71a

• Update Rust dependencies (model-checking#3175)

  Show description for 9419fea
  karkhaz

  authored
  9419fea

  Copy full SHA for 9419fea

Commits on May 6, 2024

• Automatic cargo update to 2024-05-06 (model-checking#3172)

  Show description for 1930d72
  

  github-actions[bot]

  and

  tautschnig

  authored
  1930d72

  Copy full SHA for 1930d72

Commits on Apr 29, 2024

• Automatic cargo update to 2024-04-29 (model-checking#3165)

  Show description for 0685c6f
  

  github-actions[bot]

  and

  tautschnig

  authored
  0685c6f

  Copy full SHA for 0685c6f

Commits on Apr 22, 2024

• Fix cargo audit error (model-checking#3160)

  Show description for a4e69eb
  jaisnan

  authored
  a4e69eb

  Copy full SHA for a4e69eb

• Automatic cargo update to 2024-04-22 (model-checking#3157)

  Show description for 4ee5eb5
  github-actions[bot]

  authored
  4ee5eb5

  Copy full SHA for 4ee5eb5

Commits on Apr 17, 2024

• Bump dependencies and Kani's version to 0.50.0 (model-checking#3148)

  Show description for 299b0b3
  celinval

  authored
  299b0b3

  Copy full SHA for 299b0b3

Commits on Apr 8, 2024

• Automatic cargo update to 2024-04-08 (model-checking#3132)

  Show description for f68db95
  github-actions[bot]

  authored
  f68db95

  Copy full SHA for f68db95

Commits on Apr 5, 2024

• Bump Kani version to 0.49.0 (model-checking#3126)

  Show description for ac46d98
  tautschnig

  authored
  ac46d98

  Copy full SHA for ac46d98

• Remove bookrunner (model-checking#3123)

  Show description for 36bf7c8
  tautschnig

  authored
  36bf7c8

  Copy full SHA for 36bf7c8

Commits on Apr 4, 2024

• Automatic cargo update to 2024-04-04 (model-checking#3122)

  Show description for dc09780
  github-actions[bot]

  authored
  dc09780

  Copy full SHA for dc09780

• Automatic cargo update to 2024-04-01 (model-checking#3117)

  Show description for 2d002fd
  github-actions[bot]

  authored
  2d002fd

  Copy full SHA for 2d002fd

Commits on Mar 25, 2024

• Automatic cargo update to 2024-03-25 (model-checking#3103)

  Show description for 6253ae7
  

  github-actions[bot]

  and

  tautschnig

  authored
  6253ae7

  Copy full SHA for 6253ae7

Commits on Mar 18, 2024

• Automatic cargo update to 2024-03-18 (model-checking#3086)

  Show description for cffa07c
  github-actions[bot]

  authored
  cffa07c

  Copy full SHA for cffa07c

Commits on Mar 14, 2024

• Revert clap from arg parsing during setup (model-checking#3078)

  Show description for a52564d
  jaisnan

  authored
  a52564d

  Copy full SHA for a52564d

Commits on Mar 13, 2024

• Bump Kani version to 0.48.0 (model-checking#3075)

  Show description for e004ecc
  zhassan-aws

  authored
  e004ecc

  Copy full SHA for e004ecc

Commits on Mar 11, 2024

• cargo update and fix macos CI (model-checking#3067)

  Show description for 556cf71
  zhassan-aws

  authored
  556cf71

  Copy full SHA for 556cf71

Commits on Mar 7, 2024

• Add --use-local-toolchain to Kani setup (model-checking#3056)

  Show description for 45caad4
  jaisnan

  authored
  45caad4

  Copy full SHA for 45caad4

Commits on Mar 4, 2024

• Automatic cargo update to 2024-03-04 (model-checking#3055)

  Show description for 99ee1a6
  

  github-actions[bot]

  and

  tautschnig

  authored
  99ee1a6

  Copy full SHA for 99ee1a6

Commits on Feb 29, 2024

• Upgrade windows-targets crate to version 0.52.4 (model-checking#3049)

  Show description for 9b9094d
  adpaco-aws

  authored
  9b9094d

  Copy full SHA for 9b9094d

Commits on Feb 26, 2024

• Automatic cargo update to 2024-02-26 (model-checking#3043)

  Show description for b3110ee
  

  github-actions[bot]

  and

  tautschnig

  authored
  b3110ee

  Copy full SHA for b3110ee

Commits on Feb 21, 2024

• Bump Kani version to 0.47.0 (model-checking#3039)

  Show description for 6c97820
  jaisnan

  authored
  6c97820

  Copy full SHA for 6c97820

• Update dependencies from cargo update (model-checking#3038)

  Show description for 56c22b0
  jaisnan

  authored
  56c22b0

  Copy full SHA for 56c22b0

Commits on Feb 19, 2024

• Automatic cargo update to 2024-02-19 (model-checking#3033)

  Show description for 9fae67a
  github-actions[bot]

  authored
  9fae67a

  Copy full SHA for 9fae67a

Commits on Feb 13, 2024

• Upgrade Rust toolchain to nightly-2024-02-09 (model-checking#3015)

  Show description for 17ff02c
  feliperodri

  authored
  17ff02c

  Copy full SHA for 17ff02c

Pagination

Previous

Next