Code

Harness output individual files#3360

Code

Merged

celinval merged 35 commits intomodel-checking:mainmodel-checking/kani:mainfrom Alexander-Aghili:harness_output_individual_filesAlexander-Aghili/kani:harness_output_individual_filesCopy head branch name to clipboardNov 5, 2024

+143-9

Commits

Commits on May 23, 2024

• Starting changes for multi-thread attempt

  Alexander-Aghili

  committed
  2d1d29d

  Copy full SHA for 2d1d29d

• Buggy- revert

  Alexander-Aghili

  committed
  1387cb1

  Copy full SHA for 1387cb1

• Threading implemented

  Alexander-Aghili

  committed
  81e6dfc

  Copy full SHA for 81e6dfc

• File output for each harness

  Alexander-Aghili

  committed
  406a4ed

  Copy full SHA for 406a4ed

• Merge branch 'main' of github.com:model-checking/kani into main

  Alexander-Aghili

  committed
  767b61b

  Copy full SHA for 767b61b

Commits on Jun 20, 2024

• Update to add directory

  Alexander-Aghili

  committed
  ba3090a

  Copy full SHA for ba3090a

Commits on Jul 19, 2024

• Added individual output to files + args, still issues with directory input and target directory

  Alexander-Aghili

  committed
  72522bc

  Copy full SHA for 72522bc

• Harness refactor + directory fix

  Alexander-Aghili

  committed
  5b85c39

  Copy full SHA for 5b85c39

• Quick format fix and refactor to fix the output correctness

  Alexander-Aghili

  committed
  0a40e1b

  Copy full SHA for 0a40e1b

Commits on Jul 23, 2024

• Refactor of harness runner update for Harness Output Individual Files

  

  Alexander Aghili

  authored and

  Alexander Aghili

  committed
  6a951b4

  Copy full SHA for 6a951b4

Commits on Jul 31, 2024

• Untested configuration options change (commit to get to server to test)

  Alexander-Aghili

  committed
  01bd260

  Copy full SHA for 01bd260

• Remove enable-unstable requirement

  Alexander-Aghili

  committed
  2524fa1

  Copy full SHA for 2524fa1

Commits on Aug 4, 2024

• Comments + formatting

  Alexander-Aghili

  committed
  1e125f4

  Copy full SHA for 1e125f4

Commits on Aug 5, 2024

• Merge branch 'main' into harness_output_individual_files

  jaisnan

  authored
  8b008c4

  Copy full SHA for 8b008c4

Commits on Aug 12, 2024

• Merge branch 'main' into harness_output_individual_files

  jaisnan

  authored
  38b6698

  Copy full SHA for 38b6698

Commits on Aug 14, 2024

• Update kani-driver/src/harness_runner.rs

  celinval

  authored
  cca9648

  Copy full SHA for cca9648

• Merge branch 'main' into harness_output_individual_files

  jaisnan

  authored
  698d718

  Copy full SHA for 698d718

Commits on Aug 20, 2024

• Merge branch 'main' into harness_output_individual_files

  jaisnan

  authored
  56159a1

  Copy full SHA for 56159a1

Commits on Sep 18, 2024

• merge

  Alexander-Aghili

  committed
  1f0a0fd

  Copy full SHA for 1f0a0fd

Commits on Oct 7, 2024

• Merge branch 'main' into harness_output_individual_files

  Alexander-Aghili

  committed
  78733a0

  Copy full SHA for 78733a0

• Added test + fix small formatting with harness runner

  Alexander-Aghili

  committed
  c86ff09

  Copy full SHA for c86ff09

Commits on Oct 8, 2024

• Remove target

  Alexander-Aghili

  committed
  34f8c80

  Copy full SHA for 34f8c80

• Merge branch 'main' into harness_output_individual_files

  jaisnan

  authored
  d35c664

  Copy full SHA for d35c664

Commits on Oct 13, 2024

• Fix clippy issues

  Alexander-Aghili

  committed
  c3546c0

  Copy full SHA for c3546c0

• Merge branch 'harness_output_individual_files' of github.com:Alexander-Aghili/kani into harness_output_individual_files

  Alexander-Aghili

  committed
  f9cddfa

  Copy full SHA for f9cddfa

Commits on Oct 15, 2024

• Output directory name fix

  Alexander-Aghili

  committed
  37ed122

  Copy full SHA for 37ed122

• Remove old test unrelated to PR

  Alexander-Aghili

  committed
  666a818

  Copy full SHA for 666a818

• Fix clippy issues (again)

  Alexander-Aghili

  committed
  1593d23

  Copy full SHA for 1593d23

Commits on Oct 24, 2024

• Fixed test

  Alexander-Aghili

  committed
  395ba91

  Copy full SHA for 395ba91

• Add mut back in builder creation

  Show description for 8dfde5d
  

  Alexander-Aghili

  and

  celinval

  authored
  8dfde5d

  Copy full SHA for 8dfde5d

• Added comment, lets CI run

  Alexander-Aghili

  committed
  f6b1527

  Copy full SHA for f6b1527

Commits on Nov 4, 2024

• Merge branch 'main' into harness_output_individual_files

  celinval

  authored
  fcadb6b

  Copy full SHA for fcadb6b

• Remove extra line

  celinval

  authored
  b331bd6

  Copy full SHA for b331bd6

• Merge branch 'main' into harness_output_individual_files

  celinval

  authored
  016757d

  Copy full SHA for 016757d

Commits on Nov 5, 2024

• Merge branch 'main' into harness_output_individual_files

  celinval

  authored
  519d115

  Copy full SHA for 519d115