Commits

Breadcrumbs

History for

on954fa15

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 16, 2024

• Fix toolchain version in 0.57.0 CHANGELOG (#3786)

  Show description for 9fd39c0
  tautschnig

  authored
  9fd39c0

  Copy full SHA for 9fd39c0

• Bump Kani version to 0.57.0 (#3777)

  Show description for 68f1adb
  

  3 peopleauthored
  68f1adb

  Copy full SHA for 68f1adb

Commits on Oct 9, 2024

• Update the release notes to include new changes (#3588)

  Show description for 0182e99
  celinval

  authored
  0182e99

  Copy full SHA for 0182e99

• Bump Kani version to 0.56.0 (#3581)

  Show description for f17cc4d
  celinval

  authored
  f17cc4d

  Copy full SHA for f17cc4d

Commits on Sep 4, 2024

• Bump Kani version to 0.55.0 (#3486)

  Show description for 603f9bf
  zhassan-aws

  authored
  603f9bf

  Copy full SHA for 603f9bf

Commits on Aug 9, 2024

• Bump Kani version to 0.54.0 (#3430)

  Show description for 7a6f1a4
  feliperodri

  authored
  7a6f1a4

  Copy full SHA for 7a6f1a4

Commits on Jul 3, 2024

• Bump Kani version to 0.53.0 (#3317)

  Show description for fcc9d8b
  adpaco-aws

  authored
  fcc9d8b

  Copy full SHA for fcc9d8b

Commits on Jun 4, 2024

• Bump Kani version to 0.52.0 (#3224)

  Show description for 358ade9
  tautschnig

  authored
  358ade9

  Copy full SHA for 358ade9

Commits on May 7, 2024

• Bump Kani version to 0.51.0 (#3176)

  Show description for bb3e71a
  

  karkhaz

  and

  adpaco-aws

  authored
  bb3e71a

  Copy full SHA for bb3e71a

Commits on Apr 17, 2024

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

  Show description for 299b0b3
  celinval

  authored
  299b0b3

  Copy full SHA for 299b0b3

Commits on Apr 5, 2024

• Bump Kani version to 0.49.0 (#3126)

  Show description for ac46d98
  tautschnig

  authored
  ac46d98

  Copy full SHA for ac46d98

Commits on Mar 13, 2024

• Bump Kani version to 0.48.0 (#3075)

  Show description for e004ecc
  zhassan-aws

  authored
  e004ecc

  Copy full SHA for e004ecc

Commits on Feb 21, 2024

• Bump Kani version to 0.47.0 (#3039)

  Show description for 6c97820
  jaisnan

  authored
  6c97820

  Copy full SHA for 6c97820

Commits on Feb 9, 2024

• Bump Kani version to 0.46.0 (#3013)

  Show description for 0fb87be
  

  feliperodri

  and

  celinval

  authored
  0fb87be

  Copy full SHA for 0fb87be

Commits on Jan 24, 2024

• Bump Kani version to 0.45.0 (#2984)

  Show description for 89c61cf
  qinheping

  authored
  89c61cf

  Copy full SHA for 89c61cf

Commits on Jan 9, 2024

• Bump Kani version to 0.44.0 (#2970)

  Show description for 871c9e3
  

  zhassan-aws

  and

  adpaco-aws

  authored
  871c9e3

  Copy full SHA for 871c9e3

Commits on Dec 14, 2023

• Bump Kani version to 0.43.0 (#2941)

  Show description for 1e6213d
  feliperodri

  authored
  1e6213d

  Copy full SHA for 1e6213d

Commits on Nov 28, 2023

• Bump Kani version to 0.42.0 (#2896)

  Show description for d371148
  tautschnig

  authored
  d371148

  Copy full SHA for d371148

Commits on Nov 17, 2023

• Upgrade version number to 0.41.0 (#2884)

  Show description for 3586ec8
  jaisnan

  authored
  3586ec8

  Copy full SHA for 3586ec8

Commits on Nov 7, 2023

• Delete any_slice which has been deprecated since Kani 0.38.0. (#2860)

  Show description for 985021f
  zhassan-aws

  authored
  985021f

  Copy full SHA for 985021f

Commits on Nov 1, 2023

• Update Kani version to 0.40.0 (#2847)

  Show description for 9b380e9
  adpaco-aws

  authored
  9b380e9

  Copy full SHA for 9b380e9

Commits on Oct 19, 2023

• Fix toolchain version in the changelog (#2826)

  Show description for cbc8b99
  celinval

  authored
  cbc8b99

  Copy full SHA for cbc8b99

Commits on Oct 17, 2023

• Update Kani version to 0.39.0 (#2824)

  Show description for 1b57856
  celinval

  authored
  1b57856

  Copy full SHA for 1b57856

Commits on Oct 5, 2023

• Bump Kani version to 0.38.0 (#2798)

  Show description for 6d9575e
  tautschnig

  authored
  6d9575e

  Copy full SHA for 6d9575e

Commits on Sep 20, 2023

• Bump version 0.37.0 (#2783)

  Show description for c7c0f18
  

  3 peopleauthored
  c7c0f18

  Copy full SHA for c7c0f18

Commits on Sep 15, 2023

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

  zhassan-aws

  authored
  0fbe271

  Copy full SHA for 0fbe271

Commits on Sep 6, 2023

• Bump version to 0.36.0 and add release notes (#2739)

  adpaco-aws

  authored
  dd2003b

  Copy full SHA for dd2003b

Commits on Aug 23, 2023

• Add release note + bump version to 0.35.0 (#2707)

  Show description for b144313
  

  celinval

  and

  adpaco-aws

  authored
  b144313

  Copy full SHA for b144313

Commits on Aug 9, 2023

• Bump Kani version to 0.34.0 (#2666)

  tautschnig

  authored
  ca39285

  Copy full SHA for ca39285

Commits on Aug 4, 2023

• Change default solver to CaDiCal (#2654)

  Show description for 952d324
  

  celinval

  and

  zhassan-aws

  authored
  952d324

  Copy full SHA for 952d324

Commits on Jul 26, 2023

• Bump Kani version (#2625)

  Show description for a5e8945
  

  zhassan-aws

  and

  adpaco-aws

  authored
  a5e8945

  Copy full SHA for a5e8945

Commits on Jul 12, 2023

• Bump Kani version to 0.32.0 (#2602)

  adpaco-aws

  authored
  06c0fbe

  Copy full SHA for 06c0fbe

Commits on Jun 27, 2023

• Bump Kani version to 0.31.0 (#2569)

  jaisnan

  authored
  fda2b42

  Copy full SHA for fda2b42

Commits on Jun 17, 2023

• Bump Kani version to 0.30.0 (#2529)

  Show description for b88debb
  

  3 peopleauthored
  b88debb

  Copy full SHA for b88debb

Commits on May 30, 2023

• Bump Kani version to 0.29.0 (#2485)

  tautschnig

  authored
  87047cf

  Copy full SHA for 87047cf

Pagination

Previous

Next