Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 24, 2023

• Update toolchain to nightly-2023-11-21 (model-checking#2890)

  Show description for e8ee04b
  celinval

  authored
  e8ee04b

Commits on Nov 21, 2023

• Automatic toolchain upgrade to nightly-2023-11-12 (model-checking#2873)

  Show description for 234ca24
  github-actions[bot]

  authored
  234ca24

Commits on Nov 20, 2023

• Emit suggestions and an explanation when CBMC runs out of memory (model-checking#2885)

  Show description for b0301a3
  JustusAdam

  authored
  b0301a3

Commits on Nov 18, 2023

• install_cbmc.sh: install as package if building from source (model-checking#2878)

  Show description for 4066a23
  

  bennofs

  and

  adpaco-aws

  authored
  4066a23

Commits on Nov 17, 2023

• install_cbmc.sh: build from source on non-x86_64 (model-checking#2877)

  Show description for a099116
  

  bennofs

  and

  adpaco-aws

  authored
  a099116

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

  Show description for 3586ec8
  jaisnan

  authored
  3586ec8

• Use stable_mir api instead of internal api for analysis (model-checking#2871)

  Show description for 7a35dac
  

  ouz-a

  and

  celinval

  authored
  7a35dac

Commits on Nov 16, 2023

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

  Show description for 994be04
  jaisnan

  authored
  994be04

• Set python to 3.7 in docker container and release action (model-checking#2879)

  Show description for 4ddd50b
  

  3 peopleauthored
  4ddd50b

Commits on Nov 13, 2023

• Automatic toolchain upgrade to nightly-2023-11-11 (model-checking#2870)

  Show description for d1a038f
  

  github-actions[bot]

  and

  celinval

  authored
  d1a038f

Commits on Nov 10, 2023

• Automatic toolchain upgrade to nightly-2023-11-10 (model-checking#2869)

  Show description for 0946ca5
  

  github-actions[bot]

  and

  celinval

  authored
  0946ca5

Commits on Nov 9, 2023

• Automatic toolchain upgrade to nightly-2023-11-09 (model-checking#2868)

  Show description for 8bed969
  

  github-actions[bot]

  and

  celinval

  authored
  8bed969

• const-ify cover (model-checking#2867)

  Show description for 0f736c8
  jswrenn

  authored
  0f736c8

Commits on Nov 8, 2023

• Automatic toolchain upgrade to nightly-2023-11-08 (model-checking#2866)

  Show description for 70a7c6b
  

  3 peopleauthored
  70a7c6b

• expect() does not take format strings (model-checking#2865)

  Show description for 0bde3ea
  

  matthiaskrgr

  and

  zhassan-aws

  authored
  0bde3ea

• Automatic toolchain upgrade to nightly-2023-11-07 (model-checking#2862)

  Show description for b291e73
  

  3 peopleauthored
  b291e73

Commits on Nov 7, 2023

• Fix setup for aarch64-unknown-linux-gnu platform (model-checking#2864)

  Show description for 8027413
  adpaco-aws

  authored
  8027413

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

  Show description for 985021f
  zhassan-aws

  authored
  985021f

Commits on Nov 6, 2023

• Update Rust toolchain to 2023-11-06 (model-checking#2858)

  Show description for a8a2346
  zhassan-aws

  authored
  a8a2346

• update in visualizing trace option (model-checking#2855)

  Show description for 6cb6526
  muqsit-azeem

  authored
  6cb6526

Commits on Nov 2, 2023

• Fix docker build step in release workflow (model-checking#2854)

  Show description for 341836c
  adpaco-aws

  authored
  341836c

• Do not override std library during playback (model-checking#2852)

  Show description for 0e4e241
  

  celinval

  and

  adpaco-aws

  authored
  0e4e241

Commits on Nov 1, 2023

• Fix path-dependent failures in assess-artifacts test (model-checking#2849)

  Show description for f22f885
  adpaco-aws

  authored
  f22f885

• Update Kani version to 0.40.0 (model-checking#2847)

  Show description for 9b380e9
  adpaco-aws

  authored
  9b380e9

• Update Rust toolchain to nightly-2023-10-31 (model-checking#2846)

  Show description for 4e802e1
  adpaco-aws

  authored
  4e802e1

Commits on Oct 31, 2023

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

  Show description for d230735
  jaisnan

  authored
  d230735

• Update CBMC version to 5.95.1 (model-checking#2844)

  Show description for 0941e3d
  adpaco-aws

  authored
  0941e3d

Commits on Oct 30, 2023

• Propogate backend options into goto-synthesizer (model-checking#2643)

  Show description for 24bb480
  qinheping

  authored
  24bb480

• Run regression tests on Apple Silicon runners, only on changes to main (model-checking#2845)

  Show description for ff9d5eb
  adpaco-aws

  authored
  ff9d5eb

Commits on Oct 27, 2023

• Unify Kani bundle CI jobs (model-checking#2841)

  Show description for 81ec454
  

  celinval

  and

  zhassan-aws

  authored
  81ec454

Commits on Oct 26, 2023

• Create workflow Kani Extra for checks that run conditionally on labels (model-checking#2837)

  Show description for ecd8957
  celinval

  authored
  ecd8957

Commits on Oct 25, 2023

• Automatic toolchain upgrade to nightly-2023-10-20 (model-checking#2838)

  Show description for 9f0a289
  github-actions[bot]

  authored
  9f0a289

• Update our CI to run on MacOS 12 instead of 11 (model-checking#2828)

  Show description for 05c98b3
  celinval

  authored
  05c98b3

Commits on Oct 24, 2023

• Automatic toolchain upgrade to nightly-2023-10-19 (model-checking#2831)

  Show description for c336ddf
  github-actions[bot]

  authored
  c336ddf

• Update ahash dependency (model-checking#2836)

  Show description for b7d6afd
  jaisnan

  authored
  b7d6afd

Pagination

PreviousNext