Code

Parallel exploration#101

Code

Closed

nwatson22 wants to merge 34 commits intomasterruntimeverification/kontrol:masterfrom noah/parallel-explorationruntimeverification/kontrol:noah/parallel-explorationCopy head branch name to clipboard

+473-35

Commits

Commits on Oct 11, 2023

• Parallelization infrastructure, GlobalOptions class

  nwatson22

  committed
  c8adb2f

Commits on Oct 12, 2023

• Add parallel execution using separation of cterm extension and kcfg extension

  nwatson22

  committed
  6114efe

• Stop when max_iterations is reached

  nwatson22

  committed
  5ee28cc

• Merge master into branch

  nwatson22

  committed
  f1d9487

Commits on Oct 13, 2023

• Fix to work with constructor and setup kcfg inclusion

  nwatson22

  committed
  56c5ae0

• Work with bounded model checking

  nwatson22

  committed
  ef38266

• Set Version: 0.1.27

  

  devops

  committed
  85c742c

• Fix test

  nwatson22

  committed
  420a91f

• Merge branch 'noah/parallel-exploration' of https://github.com/runtimeverification/kontrol into noah/parallel-exploration

  nwatson22

  committed
  ec9ef58

• Merge remote-tracking branch 'origin/master' into noah/parallel-exploration

  nwatson22

  committed
  5fb9b05

• Set Version: 0.1.28

  

  devops

  committed
  e9e2d7f

• Merge branch 'noah/parallel-exploration' of https://github.com/runtimeverification/kontrol into noah/parallel-exploration

  nwatson22

  committed
  6172897

Commits on Oct 14, 2023

• Fix running out of memory/not closing servers

  nwatson22

  committed
  b1b7d22

Commits on Oct 16, 2023

• Try using processes instead of threads

  nwatson22

  committed
  97e2f83

• Use correct queue class

  nwatson22

  committed
  c991e59

Commits on Oct 17, 2023

• Fix not always using booster when booster requested

  nwatson22

  committed
  47ae2d7

• Fix formatting

  nwatson22

  committed
  bd5d072

• Update poetry.lock

  nwatson22

  committed
  a1b5054

• Fix formatting

  nwatson22

  committed
  8fac206

• Remove exit command

  nwatson22

  committed
  9c198ff

• Use same port

  nwatson22

  committed
  a26af55

Commits on Oct 18, 2023

• Merge master into branch

  nwatson22

  committed
  c3f4624

• Set Version: 0.1.31

  

  devops

  committed
  616c485

Commits on Oct 24, 2023

• Merge master into branch

  nwatson22

  committed
  fa255fd

• Set Version: 0.1.37

  

  devops

  committed
  45c085d

• Fix job counter not being updated

  nwatson22

  committed
  eb2fa59

• Move writing proof data and collecting proof result to end of extend logic

  nwatson22

  committed
  983da90

Commits on Oct 25, 2023

• Move syncing proof logic to separate function, create one server per proof and shut them down when done

  nwatson22

  committed
  03a2307

• Don't start servers if port is specified

  nwatson22

  committed
  ef8c504

• Fix port

  nwatson22

  committed
  fc16c01

• Share kcfg_explore per proof

  nwatson22

  committed
  92e280e

Commits on Oct 26, 2023

• Revert using shared kcfg_explore

  nwatson22

  committed
  d27141c

Commits on Oct 30, 2023

• Merge master into branch

  nwatson22

  committed
  8831bc4

• Set Version: 0.1.44

  

  devops

  committed
  640e55e