Code

Encapsulate program-level options#108

Code

Merged

rv-jenkins merged 15 commits intomasterruntimeverification/kontrol:masterfrom noah/store-optionsruntimeverification/kontrol:noah/store-optionsCopy head branch name to clipboardOct 21, 2023

+232-154

Commits

Commits on Oct 17, 2023

• Add GlobalOptions class to encapsulate options constant for one kontrol prove run

  nwatson22

  committed
  3e8a0ef

  Copy full SHA for 3e8a0ef

• Set Version: 0.1.28

  

  devops

  committed
  95be5ac

  Copy full SHA for 95be5ac

Commits on Oct 18, 2023

• Merge master into branch

  nwatson22

  committed
  029e274

  Copy full SHA for 029e274

• Set Version: 0.1.30

  

  devops

  committed
  106fe0a

  Copy full SHA for 106fe0a

Commits on Oct 19, 2023

• Don't pass options on public function

  nwatson22

  committed
  f820e20

  Copy full SHA for f820e20

• Move options construction to exec_prove, add constructor with default args

  nwatson22

  committed
  434b1b9

  Copy full SHA for 434b1b9

• Fix typo in help message

  nwatson22

  committed
  e0abfdb

  Copy full SHA for e0abfdb

• Rename class to ProveOptions

  nwatson22

  committed
  515c080

  Copy full SHA for 515c080

• Merge master into branch

  nwatson22

  committed
  088a5a6

  Copy full SHA for 088a5a6

• Set Version: 0.1.33

  

  devops

  committed
  351fdb9

  Copy full SHA for 351fdb9

• Update src/kontrol/prove.py

  nwatson22

  authored
  bb45097

  Copy full SHA for bb45097

Commits on Oct 20, 2023

• Address comments

  nwatson22

  committed
  08388a3

  Copy full SHA for 08388a3

• Set Version: 0.1.34

  

  devops

  committed
  2431121

  Copy full SHA for 2431121

• Merge master into branch

  nwatson22

  committed
  f4f2367

  Copy full SHA for f4f2367

• Update src/kontrol/options.py

  Show description for fc562a0
  

  nwatson22

  and

  tothtamas28

  authored
  fc562a0

  Copy full SHA for fc562a0