Code

toml config, take 2#298

Code

Merged

karmacoma-eth merged 19 commits intomaina16z/halmos:mainfrom toml-configa16z/halmos:toml-configCopy head branch name to clipboardMay 31, 2024

+941-560

Commits

Commits on May 25, 2024

• use configargparse to process halmos.toml

  karmacoma-eth

  committed
  399cb59

• avoid copies of Config objects

  karmacoma-eth

  committed
  099e9a0

• fix pickling issue and args.extend issue

  karmacoma-eth

  committed
  b10d536

• fix windows ci

  karmacoma-eth

  committed
  fdd74ae

Commits on May 29, 2024

• WIP

  karmacoma-eth

  committed
  96a1556

• WIP

  karmacoma-eth

  committed
  3b6b0b3

• WIP

  karmacoma-eth

  committed
  9826f60

• fix test_config_file_invalid_key

  karmacoma-eth

  committed
  404b672

Commits on May 30, 2024

• integrate in main module

  karmacoma-eth

  committed
  58ef9e9

• remove (default: None)

  karmacoma-eth

  committed
  16409b9

• add default value to the help string

  karmacoma-eth

  committed
  d620dc2

• add --config option

  karmacoma-eth

  committed
  317c206

• remove ConfigArgParse dependency

  karmacoma-eth

  committed
  6a9a5c7

• unused import

  karmacoma-eth

  committed
  d089cb7

• remove kw_only for python 3.9 support

  karmacoma-eth

  committed
  3bcf0b8

• replace SEVM.options dict with a Config object

  karmacoma-eth

  committed
  407cbef

Commits on May 31, 2024

• remove spurious checks

  karmacoma-eth

  committed
  a0ea38d

• config tweaks

  karmacoma-eth

  committed
  7ebc213

• fix width check

  karmacoma-eth

  committed
  2db8e29