Code

Add ConfigManager#1160

Code

Merged

shonfeder merged 14 commits intounstableapalache-mc/apalache:unstablefrom shon/1069/add-config-mgrapalache-mc/apalache:shon/1069/add-config-mgrCopy head branch name to clipboardDec 15, 2021

+408-196

Commits

Commits on Dec 15, 2021

• Add dependency on PureConfig

  

  Shon Feder

  committed
  ccebaca

  Copy full SHA for ccebaca

• Add new ConfigManager class

  

  Shon Feder

  committed
  7776d85

  Copy full SHA for 7776d85

• Wire application configuration through ConfgManager

  Show description for a430b98
  

  Shon Feder

  committed
  a430b98

  Copy full SHA for a430b98

• Fix formatting

  

  Shon Feder

  committed
  2796376

  Copy full SHA for 2796376

• Use default ApalacheConfig for unconfigured state

  

  Shon Feder

  committed
  71f4ebd

  Copy full SHA for 71f4ebd

• Fix spelling of local config file name

  

  Shon Feder

  committed
  19023ac

  Copy full SHA for 19023ac

• Add integration tests for configuration system

  Show description for 2426973
  

  Shon Feder

  committed
  2426973

  Copy full SHA for 2426973

• Remove outdated todo

  

  Shon Feder

  committed
  e3fb447

  Copy full SHA for e3fb447

• Update output ADR

  Show description for d910bc0
  

  Shon Feder

  committed
  d910bc0

  Copy full SHA for d910bc0

• Update documentation

  

  Shon Feder

  committed
  3cf3d30

  Copy full SHA for 3cf3d30

• Update release notes

  

  Shon Feder

  committed
  6d680db

  Copy full SHA for 6d680db

• Remove unrelated change

  

  Shon Feder

  committed
  e3298c6

  Copy full SHA for e3298c6

• Apply suggestions from code review

  Show description for 9702562
  

  3 peopleauthored
  9702562

  Copy full SHA for 9702562

• Merge branch 'unstable' into shon/1069/add-config-mgr

  

  Shon Feder

  authored
  0f3f771

  Copy full SHA for 0f3f771