v1.0.675: Update dependency: deps/k_release (#2569)

* deps/k_release: Set Version 7.1.98

* Set Version: 1.0.675

* kevm-pyk/: sync poetry files pyk version 7.1.98

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

* deps/k_release: Set Version 7.1.99

* kevm-pyk/: sync poetry files pyk version 7.1.99

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

---------

Co-authored-by: devops <[email protected]>

v1.0.674: Update dependency: deps/k_release (#2567)

* deps/k_release: Set Version 7.1.97

* Set Version: 1.0.674

* kevm-pyk/: sync poetry files pyk version 7.1.97

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

---------

Co-authored-by: devops <[email protected]>

v1.0.673: Partial evaluation of EVM optimization lemmas (#2566)

* kevm-pyk/tests/integration/test_prove: add cut-rule, longer proof runs, for optimizations

* kevm-pyk/kproj/optimizations: partial evaluation of sizeWordStack expressions

* Set Version: 1.0.673

* Set Version: 1.0.673

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Petar Maksimović <[email protected]>

v1.0.672: Update dependency: deps/k_release (#2564)

* deps/k_release: Set Version 7.1.96

* Set Version: 1.0.671

* kevm-pyk/: sync poetry files pyk version 7.1.96

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

* Set Version: 1.0.672

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Petar Maksimović <[email protected]>

v1.0.671: Add `--maintenance-rate` option (#2563)

* Add --maintenance-rate option

* Try to revert plugin change

* Set Version: 1.0.670

* Fix formatting

* Set Version: 1.0.671

* description adjustment

* storing maintenance rate correctly

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Petar Maksimovic <[email protected]>

v1.0.670: Update dependency: deps/k_release (#2562)

* deps/k_release: Set Version 7.1.95

* Set Version: 1.0.670

* kevm-pyk/: sync poetry files pyk version 7.1.95

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

---------

Co-authored-by: devops <[email protected]>

v1.0.669: Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin (#2561)

* kevm-pyk/src/kevm_pyk/kproj/plugin: Set Version 7a480319603205bee3d28c4ea058d917c1920760

* Set Version: 1.0.669

* kevm-pyk/: sync poetry files pyk version 7.1.94

* deps/blockchain-k-plugin_release: sync release file version 7a480319603205bee3d28c4ea058d917c1920760

---------

Co-authored-by: devops <[email protected]>

v1.0.668: Update dependency: deps/k_release (#2558)

* deps/k_release: Set Version 7.1.94

* Set Version: 1.0.667

* kevm-pyk/: sync poetry files pyk version 7.1.94

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

* Set Version: 1.0.668

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Andrei Văcaru <[email protected]>

v1.0.667

proxy: install-build-deps: Automate installation of required system p…

v1.0.666: Update dependency: deps/k_release (#2554)

* deps/k_release: Set Version 7.1.93

* Set Version: 1.0.665

* kevm-pyk/: sync poetry files pyk version 7.1.93

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

* Set Version: 1.0.666

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Andrei Văcaru <[email protected]>