Commits

Breadcrumbs

History for

oned671fc

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 20, 2023

• Bump version 0.37.0 (#2783)

  Show description for c7c0f18
  

  3 peopleauthored
  c7c0f18

Commits on Sep 19, 2023

• major version updates (#2780)

  Show description for 88e3bbe
  

  remi-delmas-3000

  and

  Remi Delmas

  authored
  88e3bbe

Commits on Sep 6, 2023

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

  adpaco-aws

  authored
  dd2003b

Commits on Sep 1, 2023

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

  jaisnan

  authored
  7831ad0

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

Commits on Aug 15, 2023

• Add flag to the compiler to build std library (no user visible change) (#2676)

  Show description for 4ca66eb
  celinval

  authored
  4ca66eb

• Upgrade Rust toolchin to 2023-08-07 (#2685)

  zhassan-aws

  authored
  5a9c933

Commits on Aug 14, 2023

• Improve "expected" test runner (#2671)

  Show description for 56c724b
  

  3 peopleauthored
  56c724b

Commits on Aug 9, 2023

• Bump Kani version to 0.34.0 (#2666)

  tautschnig

  authored
  ca39285

• Update dependencies (#2665)

  tautschnig

  authored
  f384c3c

Commits on Aug 8, 2023

• Update toolchain to nightly 2023-08-04 (#2661)

  Show description for 63f513f
  

  3 peopleauthored
  63f513f

Commits on Jul 28, 2023

• Line coverage reports (#2609)

  Show description for db42ee9
  

  adpaco-aws

  and

  jaisnan

  authored
  db42ee9

Commits on Jul 26, 2023

• Bump Kani version (#2625)

  Show description for a5e8945
  

  zhassan-aws

  and

  adpaco-aws

  authored
  a5e8945

Commits on Jul 14, 2023

• Add new options to compiletest (#2605)

  Show description for 3d8cedd
  celinval

  authored
  3d8cedd

Commits on Jul 12, 2023

• Bump Kani version to 0.32.0 (#2602)

  adpaco-aws

  authored
  06c0fbe

Commits on Jul 10, 2023

• Clean up benchmark directories after building (#2583)

  Show description for bb53ec2
  karkhaz

  authored
  bb53ec2

Commits on Jun 27, 2023

• Bump Kani version to 0.31.0 (#2569)

  jaisnan

  authored
  fda2b42

Commits on Jun 26, 2023

• Add run_command benchcomp visualization (#2542)

  Show description for d4a624f
  karkhaz

  authored
  d4a624f

Commits on Jun 17, 2023

• Bump Kani version to 0.30.0 (#2529)

  Show description for b88debb
  

  3 peopleauthored
  b88debb

Commits on Jun 16, 2023

• Build the verification libraries using Kani compiler (#2534)

  Show description for 517fde4
  celinval

  authored
  517fde4

Commits on Jun 14, 2023

• Allow executable parsers for benchcomp (#2521)

  Show description for d8a7572
  karkhaz

  authored
  d8a7572

Commits on Jun 13, 2023

• [minor] Fix number_program_steps benchcomp metric (#2522)

  Show description for 5b116e2
  karkhaz

  authored
  5b116e2

Commits on May 30, 2023

• Bump Kani version to 0.29.0 (#2485)

  tautschnig

  authored
  87047cf

• Do not use panic abort strategy for playback (#2490)

  Show description for c3899b7
  celinval

  authored
  c3899b7

• Add generated docs for benchcomp visualizations (#2473)

  karkhaz

  authored
  6adfa86

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 16, 2023

• Bump Kani version to 0.28.0 (#2444)

  zhassan-aws

  authored
  5027e08

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

  Show description for 6f7aa65
  celinval

  authored
  6f7aa65

Commits on May 1, 2023

• Bump Kani version 0.27.0 (#2419)

  adpaco-aws

  authored
  5daabf0

Commits on Apr 28, 2023

• Add extra_column to benchcomp markdown visualizer (#2415)

  karkhaz

  authored
  47afab5

Commits on Apr 27, 2023

• Add markdown_results_table benchcomp visualization (#2413)

  Show description for d045764
  karkhaz

  authored
  d045764

• Explicitly pass out_file to benchcomp visualizers (#2408)

  Show description for 6f57d12
  karkhaz

  authored
  6f57d12

• Add --only and --exclude to benchcomp visualize (#2409)

  Show description for 8d55244
  karkhaz

  authored
  8d55244

• Add #VCCs and #program steps benchcomp metrics (#2410)

  Show description for d654849
  karkhaz

  authored
  d654849

Commits on Apr 21, 2023

• Dump full benchcomp YAML results in CI (#2401)

  Show description for 939a29f
  karkhaz

  authored
  939a29f

Pagination

Previous

Next