Commits

Breadcrumbs

History for

oneefd724

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 7, 2023

• Update rust toolchain to 2023-06-22 (#2588)

  Show description for eefd724
  celinval

  authored
  eefd724

Commits on Jul 6, 2023

• Add kani::spawn and an executor to the Kani library (#1659)

  Show description for 2be57b4
  

  fzaiser

  and

  celinval

  authored
  2be57b4

Commits on Jul 4, 2023

• Upgrade rust toolchain to nightly-2023-06-20 (#2551)

  Show description for 7139063
  

  celinval

  and

  adpaco-aws

  authored
  7139063

Commits on Jun 28, 2023

• Throw a graceful error when type checking for ctpop fails (#2504)

  Show description for a6e516e
  

  3 peopleauthored
  a6e516e

Commits on Jun 21, 2023

• Fix flaky tests (#2553)

  Show description for 43bc890
  celinval

  authored
  43bc890

• Change intrinsics tests to ensure the call is not removed by the compiler (#2552)

  Show description for 7a111dd
  celinval

  authored
  7a111dd

Commits on Jun 19, 2023

• Verify all Kani attributes in all crate items upfront (#2536)

  Show description for 49405b2
  celinval

  authored
  49405b2

• Add --exact flag (#2527)

  jaisnan

  authored
  3b5c7c7

Commits on Jun 15, 2023

• Update s2n-quic submodule (#2535)

  zhassan-aws

  authored
  c5c9ad2

• Update expected file for unstable attr test (#2531)

  Show description for 5c5eec2
  zhassan-aws

  authored
  5c5eec2

Commits on Jun 14, 2023

• Compile harnesses with the same set of stubs together (#2514)

  Show description for 033c954
  

  celinval

  and

  zhassan-aws

  authored
  033c954

Commits on Jun 9, 2023

• De-duplicate same input injections for the same harness. (#2513)

  YoshikiTakashima

  authored
  8fc85a2

• Upgrade rust toolchain to 2023-04-30 (#2456)

  Show description for 59b4759
  

  zhassan-aws

  and

  celinval

  authored
  59b4759

Commits on Jun 8, 2023

• Do not crash when rustfmt fails. (#2511)

  YoshikiTakashima

  authored
  8222ac6

• Escape Zero-size types in playback (#2508)

  YoshikiTakashima

  authored
  cf203d3

• Generate Multiple playback harnesses when multiple crashes exist in a single harness. (#2496)

  YoshikiTakashima

  authored
  95e7161

Commits on Jun 7, 2023

• Add target selection for cargo kani (#2507)

  Show description for 7378419
  celinval

  authored
  7378419

Commits on Jun 3, 2023

• Remove --harness requirement from stubbing (#2495)

  Show description for faa4086
  

  celinval

  and

  zhassan-aws

  authored
  faa4086

Commits on Jun 2, 2023

• Change how we translate Array to GOTO (#2481)

  Show description for dfa0e5b
  celinval

  authored
  dfa0e5b

Commits on May 30, 2023

• Polish cargo test arguments + add test (#2492)

  Show description for e4f989b
  celinval

  authored
  e4f989b

Commits on May 27, 2023

• Delay printing playback harness until after verification status (#2480)

  YoshikiTakashima

  authored
  d4f0dd0

Commits on May 26, 2023

• Fix playback with build scripts (#2477)

  Show description for 5c78a6a
  celinval

  authored
  5c78a6a

• NOP concrete playback to type check during verification mode. (#2476)

  YoshikiTakashima

  authored
  c6e9169

Commits on May 25, 2023

• Slightly change playback arguments (#2470)

  Show description for d2101c7
  

  celinval

  and

  jaisnan

  authored
  d2101c7

• Avoid an unnecssary suffix to the goto filename (#2472)

  zhassan-aws

  authored
  5d2485e

• Fix static variable initialization when they have the same value (#2469)

  Show description for 8348dc2
  celinval

  authored
  8348dc2

Commits on May 24, 2023

• Create a playback command to make it easier to run Kani generated tests (#2464)

  Show description for c87fb24
  celinval

  authored
  c87fb24

Commits on May 20, 2023

• Move common arguments to their own structure (#2449)

  Show description for ef1358d
  celinval

  authored
  ef1358d

Commits on May 19, 2023

• Update rust toolchain to 2023-04-29 (#2452)

  zhassan-aws

  authored
  08659d3

Commits on May 16, 2023

• Upgrade the toolchain to nightly-2023-04-16 (#2406)

  Show description for 6f7aa65
  celinval

  authored
  6f7aa65

• Perform reachability analysis on a per-harness basis (#2439)

  Show description for 2a09d79
  celinval

  authored
  2a09d79

Commits on May 11, 2023

• Add a new perf test (#2422)

  zhassan-aws

  authored
  2e06509

• Fix the order of operands for generator structs (#2436)

  zhassan-aws

  authored
  c3d28e0

Commits on May 5, 2023

• Remove unneeded unwinds from unbounded benchmarks (#2431)

  qinheping

  authored
  708bc35

• Limit FFI calls by default to explicitly supported ones (#2428)

  Show description for 6e91d13
  

  celinval

  and

  zhassan-aws

  authored
  6e91d13

Pagination

Previous

Next