Code

Please don't merge!#2056

Code

Closed

iFrostizz wants to merge 54 commits intomasterruntimeverification/evm-semantics:masterfrom try-hotfixruntimeverification/evm-semantics:try-hotfixCopy head branch name to clipboard

+76-18

Commits

Commits on Aug 24, 2023

• deps/pyk_release: Set Version v0.1.426

  

  devops

  committed
  bb00217

  Copy full SHA for bb00217

• Set Version: 1.0.279

  

  devops

  committed
  f3e173d

  Copy full SHA for f3e173d

• kevm-pyk/: sync poetry files pyk version v0.1.426

  

  devops

  committed
  056211f

  Copy full SHA for 056211f

• flake.{nix,lock}: update Nix derivations

  

  devops

  committed
  3a8f76e

  Copy full SHA for 3a8f76e

• deps/pyk_release: Set Version v0.1.427

  

  devops

  committed
  a6c01d8

  Copy full SHA for a6c01d8

• kevm-pyk/: sync poetry files pyk version v0.1.427

  

  devops

  committed
  c9bb347

  Copy full SHA for c9bb347

• flake.{nix,lock}: update Nix derivations

  

  devops

  committed
  48dcdd4

  Copy full SHA for 48dcdd4

Commits on Aug 25, 2023

• deps/pyk_release: Set Version v0.1.428

  

  devops

  committed
  9601a84

  Copy full SHA for 9601a84

• kevm-pyk/: sync poetry files pyk version v0.1.428

  

  devops

  committed
  1ef0bb4

  Copy full SHA for 1ef0bb4

• deps/k_release: sync release file version 6.0.69

  

  devops

  committed
  4c9b4f6

  Copy full SHA for 4c9b4f6

• flake.{nix,lock}: update Nix derivations

  

  devops

  committed
  1f9b015

  Copy full SHA for 1f9b015

Commits on Aug 27, 2023

• Merge remote-tracking branch 'origin/master' into _update-deps/runtimeverification/pyk

  

  devops

  committed
  60e1585

  Copy full SHA for 60e1585

• deps/pyk_release: Set Version v0.1.429

  

  devops

  committed
  2db3b6d

  Copy full SHA for 2db3b6d

• Set Version: 1.0.280

  

  devops

  committed
  a3d26ca

  Copy full SHA for a3d26ca

• kevm-pyk/: sync poetry files pyk version v0.1.429

  

  devops

  committed
  46e3287

  Copy full SHA for 46e3287

• flake.{nix,lock}: update Nix derivations

  

  devops

  committed
  a8a403e

  Copy full SHA for a8a403e

Commits on Aug 28, 2023

• adding terminal nodes in calls to APR prover, fixing function names

  PetarMax

  committed
  f3d5177

  Copy full SHA for f3d5177

• keep init and target

  iFrostizz

  committed
  693f7ae

  Copy full SHA for 693f7ae

• adapt to pyk new handling of CTerm bottom/top

  iFrostizz

  committed
  8a1fef4

  Copy full SHA for 8a1fef4

• handle view-kcfg bottom

  

  François Guyot

  authored and

  iFrostizz

  committed
  999f833

  Copy full SHA for 999f833

• update foundry-list unit test terminal dict name

  iFrostizz

  committed
  1c0d557

  Copy full SHA for 1c0d557

• ignore keep_nodes=

  iFrostizz

  committed
  159b417

  Copy full SHA for 159b417

• lock svm

  iFrostizz

  committed
  438b2e4

  Copy full SHA for 438b2e4

• Merge branch 'master' into _update-deps/runtimeverification/pyk

  

  François Guyot

  committed
  fa352da

  Copy full SHA for fa352da

• Set Version: 1.0.281

  

  devops

  committed
  b1aeded

  Copy full SHA for b1aeded

• kevm-pyk/: sync poetry files pyk version v0.1.429

  

  devops

  committed
  179a05a

  Copy full SHA for 179a05a

• Merge remote-tracking branch 'origin/master' into _update-deps/runtimeverification/pyk

  

  devops

  committed
  dc7665e

  Copy full SHA for dc7665e

• deps/pyk_release: Set Version v0.1.430

  

  devops

  committed
  c9a5caa

  Copy full SHA for c9a5caa

• Set Version: 1.0.282

  

  devops

  committed
  24e38b9

  Copy full SHA for 24e38b9

• kevm-pyk/: sync poetry files pyk version v0.1.430

  

  devops

  committed
  51338d5

  Copy full SHA for 51338d5

• flake.{nix,lock}: update Nix derivations

  

  devops

  committed
  91dd813

  Copy full SHA for 91dd813

• remove useless initialization

  iFrostizz

  committed
  eba3483

  Copy full SHA for eba3483

• Merge branch 'master' into _update-deps/runtimeverification/pyk

  iFrostizz

  authored
  e435b9b

  Copy full SHA for e435b9b

• Set Version: 1.0.283

  

  devops

  committed
  a26b3f0

  Copy full SHA for a26b3f0

• kevm-pyk/: sync poetry files pyk version v0.1.430

  

  devops

  committed
  35ec5f1

  Copy full SHA for 35ec5f1

Commits on Aug 29, 2023

• deps/pyk_release: Set Version v0.1.431

  

  devops

  committed
  aa5a313

  Copy full SHA for aa5a313

• kevm-pyk/: sync poetry files pyk version v0.1.431

  

  devops

  committed
  9d1e099

  Copy full SHA for 9d1e099

• flake.{nix,lock}: update Nix derivations

  

  devops

  committed
  f777d0c

  Copy full SHA for f777d0c

Commits on Aug 30, 2023

• Merge branch 'master' into _update-deps/runtimeverification/pyk

  nwatson22

  authored
  420031f

  Copy full SHA for 420031f

• Set Version: 1.0.284

  

  devops

  committed
  5d47354

  Copy full SHA for 5d47354

Commits on Aug 31, 2023

• Fix bottom/top check

  nwatson22

  committed
  1f47292

  Copy full SHA for 1f47292

• Update expected output for test_foundry_auto_abstraction

  nwatson22

  committed
  0aa51ef

  Copy full SHA for 0aa51ef

• Fix test_legacy_prove to handle kevm.prove returning a list of final terms

  nwatson22

  committed
  d31c604

  Copy full SHA for d31c604

• Merge branch 'master' into _update-deps/runtimeverification/pyk

  iFrostizz

  committed
  19fd6a5

  Copy full SHA for 19fd6a5

• set hotfix branch

  iFrostizz

  committed
  4547a48

  Copy full SHA for 4547a48

• Set Version: 1.0.285

  

  devops

  committed
  2726e7a

  Copy full SHA for 2726e7a

• Merge branch '_update-deps/runtimeverification/pyk' into try-hotfix

  iFrostizz

  committed
  704ab65

  Copy full SHA for 704ab65

• Merge branch 'try-hotfix' of github.com:runtimeverification/evm-semantics into try-hotfix

  iFrostizz

  committed
  dcd62d5

  Copy full SHA for dcd62d5

• set hotfix branch

  iFrostizz

  committed
  8a2e7b8

  Copy full SHA for 8a2e7b8

• lock

  iFrostizz

  committed
  ce4a7a5

  Copy full SHA for ce4a7a5

• lock

  iFrostizz

  committed
  de1182a

  Copy full SHA for de1182a

• Merge branch 'master' into try-hotfix

  iFrostizz

  committed
  c480c60

  Copy full SHA for c480c60

• fmt

  iFrostizz

  committed
  e211f90

  Copy full SHA for e211f90

• Set Version: 1.0.286

  

  devops

  committed
  f894051

  Copy full SHA for f894051