Repository navigation

Construct KCFGs for Foundry proof obligations - #1372

Merged

rv-jenkins merged 16 commits into

Sep 14, 2022

Merged

Construct KCFGs for Foundry proof obligations#1372
rv-jenkins merged 16 commits into
masterfrom
foundry-cfgs

Commits on Sep 13, 2022
- kevm-pyk/utils.py: bring in KCFG_from_claim from downstream
  ehildenb
  committed
  3b66c90
- kevm-pyk/utils.py: remove unused methods
  ehildenb
  committed
  bd0a056
- kevm-pyk/utils: add KDefinition_claims method
  ehildenb
  committed
  24699c0
- kevm-pyk/__main__: generate KCFGs for each claim too
  ehildenb
  committed
  be5eb25
- kevm-pyk/: correct reading in of KCFGs and writing of them
  ehildenb
  committed
  b4b3ec6
- kevm-pyk/utils: bring in sanitize_config, refactor from_claim a bit
  ehildenb
  committed
  45d27c6
- kevm-pyk/: discharge proofs using kcfgs instead of direct use of kprove
  ehildenb
  committed
  8c52cc2
- tests/foundry/exclude: remove passing tests
  ehildenb
  committed
  77e9864
- kevm-pyk/solc_to_k: abstract pre/post ACCOUNTS cell map rest
  ehildenb
  committed
  3ecf607
- Revert "kevm-pyk/solc_to_k: abstract pre/post ACCOUNTS cell map rest"
  ehildenb
  committed
  2589f2f
- Revert "tests/foundry/exclude: remove passing tests"
  ehildenb
  committed
  2918751
- kevm-pyk/__main__: make sure we apply --test filter
  ehildenb
  committed
  3be9a36
- kevm-pyk/kevm: unparse .AccountCellMap as .Bag
  ehildenb
  committed
  69bd146
- Update kevm-pyk/src/kevm_pyk/__main__.py
  
  ehildenb
  and
  tothtamas28
  authored
  de1784a
- Merge remote-tracking branch 'upstream/master' into foundry-cfgs
  ehildenb
  committed
  3a07ea6
Commits on Sep 14, 2022
- Merge branch 'master' into foundry-cfgs
  ehildenb
  authored
  f5dee87