Code

Dev/ashish#753

Code

Merged

aman-goel merged 36 commits intop-org:dev/pex_parallelp-org/P:dev/pex_parallelfrom xashisk:dev/ashishxashisk/P:dev/ashishCopy head branch name to clipboardAug 5, 2024

+423-195

Commits

Commits on Jun 13, 2024

• [PEx] Change schedule choice from PMachine to PMachineId

  aman-goel

  committed
  122dc53

  Copy full SHA for 122dc53

• [PEx] Major revamping of Choice: 1/n

  Show description for 53c5d15
  aman-goel

  committed
  53c5d15

  Copy full SHA for 53c5d15

• Revert "[PEx] Major revamping of Choice: 1/n"

  Show description for c6d87ed
  aman-goel

  committed
  c6d87ed

  Copy full SHA for c6d87ed

• [PEx] Separates unexplored choices from schedule

  aman-goel

  committed
  20f0216

  Copy full SHA for 20f0216

• [PEx] Cleanup and minor corrections to recent changes to SearchTask

  aman-goel

  committed
  9c9e7d0

  Copy full SHA for 9c9e7d0

• [PEx] Minor correction

  aman-goel

  committed
  d8d9e7e

  Copy full SHA for d8d9e7e

Commits on Jun 14, 2024

• [PEx] Corrections to new backtracking logic

  aman-goel

  committed
  33c6ff3

  Copy full SHA for 33c6ff3

• Merge branch 'dev/pexplicit_checker' into dev/aman

  aman-goel

  authored
  82b298c

  Copy full SHA for 82b298c

Commits on Jun 20, 2024

• Ongoing Changes

  xashisk

  committed
  ef2f17c

  Copy full SHA for ef2f17c

Commits on Jun 24, 2024

• Week 6 tasks

  xashisk

  committed
  673df13

  Copy full SHA for 673df13

Commits on Jun 26, 2024

• discussed changes

  xashisk

  committed
  b66d1f6

  Copy full SHA for b66d1f6

• discussed changes

  xashisk

  committed
  81815b4

  Copy full SHA for 81815b4

• Recent Changes

  xashisk

  committed
  7c400c9

  Copy full SHA for 7c400c9

• [PEx] Add thread-safe code for search strategies, minor cleanup

  aman-goel

  committed
  fdff598

  Copy full SHA for fdff598

• [PEx] Refactoring and cleanup

  aman-goel

  committed
  f4c779c

  Copy full SHA for f4c779c

Commits on Jun 27, 2024

• Merge pull request #1 from xashisk/dev/aman

  Show description for dafc672
  xashisk

  authored
  dafc672

  Copy full SHA for dafc672

Commits on Jun 28, 2024

• More changes

  xashisk

  committed
  fd4e557

  Copy full SHA for fd4e557

• New changes

  xashisk

  committed
  f8659a8

  Copy full SHA for f8659a8

• Changes

  xashisk

  committed
  f0ae0d7

  Copy full SHA for f0ae0d7

• Changes

  xashisk

  committed
  ec7e08c

  Copy full SHA for ec7e08c

Commits on Jun 29, 2024

• Remove optional parameters in Monitor (p-org#747)

  mchadalavada

  authored
  5da26ab

  Copy full SHA for 5da26ab

Commits on Jul 1, 2024

• Changes

  xashisk

  committed
  5ad287a

  Copy full SHA for 5ad287a

• Merge branch 'p-org:master' into dev/ashish

  xashisk

  authored
  6b405b4

  Copy full SHA for 6b405b4

• Changes

  xashisk

  committed
  611ea9c

  Copy full SHA for 611ea9c

Commits on Jul 2, 2024

• Changes

  xashisk

  committed
  37d329d

  Copy full SHA for 37d329d

Commits on Jul 10, 2024

• Merge branch 'dev/pex_parallel' into dev/ashish

  aman-goel

  authored
  19ff012

  Copy full SHA for 19ff012

Commits on Jul 12, 2024

• Local CHanges

  xashisk

  committed
  b2fb517

  Copy full SHA for b2fb517

Commits on Jul 22, 2024

• All changes

  xashisk

  committed
  ab8fa27

  Copy full SHA for ab8fa27

• Merge branch 'dev/ashish' of https://github.com/xashisk/P into dev/ashish

  xashisk

  committed
  33d9cb7

  Copy full SHA for 33d9cb7

Commits on Jul 23, 2024

• Changes

  xashisk

  committed
  5c0a9bf

  Copy full SHA for 5c0a9bf

• Required changes

  xashisk

  committed
  fb9b591

  Copy full SHA for fb9b591

Commits on Jul 24, 2024

• 1. Changes made. 2. For hardcoded log path, need to know where scripts are placed are inside the P folder (else can then change) 3. For nproc 4, added code for killing other threads when bugfoundEx…

  Show description for 96f061f
  xashisk

  committed
  96f061f

  Copy full SHA for 96f061f

Commits on Jul 25, 2024

• Hardcoded path changed

  xashisk

  committed
  1a50e85

  Copy full SHA for 1a50e85

Commits on Jul 26, 2024

• Added code for gracefully interrupting other threads, but confusing error: comment and uncomment L151 and L152, and run for both

  xashisk

  committed
  4fc6683

  Copy full SHA for 4fc6683

Commits on Jul 29, 2024

• nproc: 4, bugs < 86

  xashisk

  committed
  955b178

  Copy full SHA for 955b178

Commits on Aug 1, 2024

• Changes

  xashisk

  committed
  a87cbef

  Copy full SHA for a87cbef