Commits

Branch selector

 main

User selector

jaisnan

Datepicker

All time

Commit History

Commits on Aug 28, 2024

• Upgrade toolchain to 08/28 (model-checking#3454)

  Show description for 5aad1a9
  jaisnan

  authored
  5aad1a9

  Copy full SHA for 5aad1a9

Commits on Aug 6, 2024

• Unify kani library and kani core logic (model-checking#3333)

  Show description for 2a0e9bd
  jaisnan

  authored
  2a0e9bd

  Copy full SHA for 2a0e9bd

Commits on Jul 12, 2024

• Upgrade toolchain to 7/12 (model-checking#3337)

  Show description for 02e3327
  jaisnan

  authored
  02e3327

  Copy full SHA for 02e3327

Commits on Jul 1, 2024

• Add support for f16 and f128 for toolchain upgrade to 6/28 (model-checking#3306)

  Show description for d55f25b
  jaisnan

  authored
  d55f25b

  Copy full SHA for d55f25b

Commits on Jun 27, 2024

• Upgrade rust toolchain to 06-26 (model-checking#3299)

  Show description for 3b9665f
  jaisnan

  authored
  3b9665f

  Copy full SHA for 3b9665f

Commits on Jun 11, 2024

• 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 Apr 22, 2024

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

  Show description for a4e69eb
  jaisnan

  authored
  a4e69eb

  Copy full SHA for a4e69eb

Commits on Mar 27, 2024

• Add CI test for --use-local-toolchain (model-checking#3074)

  Show description for 1c3d0f3
  jaisnan

  authored
  1c3d0f3

  Copy full SHA for 1c3d0f3

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 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 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 Nov 17, 2023

• Upgrade version number to 0.41.0 (model-checking#2884)

  Show description for 3586ec8
  jaisnan

  authored
  3586ec8

  Copy full SHA for 3586ec8

Commits on Nov 16, 2023

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

  Show description for 994be04
  jaisnan

  authored
  994be04

  Copy full SHA for 994be04

Commits on Oct 31, 2023

• Fix issues and Update toolchain 10-26 (model-checking#2843)

  Show description for d230735
  jaisnan

  authored
  d230735

  Copy full SHA for d230735

Commits on Oct 24, 2023

• Update ahash dependency (model-checking#2836)

  Show description for b7d6afd
  jaisnan

  authored
  b7d6afd

  Copy full SHA for b7d6afd

Commits on Oct 3, 2023

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

  Show description for 62f136c
  jaisnan

  authored
  62f136c

  Copy full SHA for 62f136c

Commits on Sep 1, 2023

• Update to today's toolchain (sept-01) (model-checking#2726)

  jaisnan

  authored
  7831ad0

  Copy full SHA for 7831ad0

Commits on Aug 3, 2023

• Fix broken benchcomp link to point to right location (model-checking#2657)

  jaisnan

  authored
  973ce3e

  Copy full SHA for 973ce3e

Commits on Jun 27, 2023

• Bump Kani version to 0.31.0 (model-checking#2569)

  jaisnan

  authored
  fda2b42

  Copy full SHA for fda2b42

• Update dependencies (model-checking#2568)

  jaisnan

  authored
  ee4b0c8

  Copy full SHA for ee4b0c8

Commits on Jun 19, 2023

• Add --exact flag (model-checking#2527)

  jaisnan

  authored
  3b5c7c7

  Copy full SHA for 3b5c7c7

Commits on May 23, 2023

• Update stubbing.md with the right command (model-checking#2460)

  jaisnan

  authored
  a82caa0

  Copy full SHA for a82caa0

Commits on Apr 7, 2023

• Enable Concrete Playback Unit tests to run with --cfg kani (model-checking#2353)

  Show description for f266f0f
  

  jaisnan

  and

  adpaco-aws

  authored
  f266f0f

  Copy full SHA for f266f0f

Commits on Mar 2, 2023

• Generate unit test line by line (for --inplace) (model-checking#2213)

  jaisnan

  authored
  4b504b2

  Copy full SHA for 4b504b2

Commits on Feb 9, 2023

• Add unit tests for concrete playback, refactor util functions for easier testing (model-checking#2188)

  jaisnan

  authored
  647892b

  Copy full SHA for 647892b

Commits on Jan 11, 2023

• Bump kani version to 0.19 (model-checking#2101)

  jaisnan

  authored
  967e41d

  Copy full SHA for 967e41d

• Bump dependencies (model-checking#2100)

  jaisnan

  authored
  3b2e846

  Copy full SHA for 3b2e846

Commits on Nov 3, 2022

• Fix cbmc-viewer ci issues with Mac11 (model-checking#1844)

  jaisnan

  authored
  b1bf119

  Copy full SHA for b1bf119

Commits on Nov 1, 2022

• Version bump to v0.14.0 (model-checking#1832)

  jaisnan

  authored
  6ef19f2

  Copy full SHA for 6ef19f2

Commits on Aug 23, 2022

• Bump to 0.9 (model-checking#1576)

  Show description for 499e35f
  

  jaisnan

  and

  tedinski

  authored
  499e35f

  Copy full SHA for 499e35f

Commits on Aug 9, 2022

• Disable calling --slice-formula by default with conditional flags. (model-checking#1479)

  Show description for 075e7bd
  jaisnan

  authored
  075e7bd

  Copy full SHA for 075e7bd

Commits on May 3, 2022

• Filter sanity checks (model-checking#1146)

  Show description for 0ccd0a0
  jaisnan

  authored
  0ccd0a0

  Copy full SHA for 0ccd0a0

Commits on Apr 28, 2022

• UI fix : Fix missing function check descriptions (model-checking#1126)

  Show description for 7cc6568
  

  jaisnan

  and

  zhassan-aws

  authored
  7cc6568

  Copy full SHA for 7cc6568

Commits on Apr 21, 2022

• Update Unwind documentation (model-checking#1087)

  Show description for 625298b
  

  2 peopleauthored and

  tedinski

  committed
  625298b

  Copy full SHA for 625298b

Pagination

Previous

Next