Skip to content

Commit

Permalink
Update dependency: deps/pyk_release (#1969)
Browse files Browse the repository at this point in the history 
* deps/pyk_release: Set Version v0.1.380

* Set Version: 1.0.241

* kevm-pyk/: sync poetry files pyk version v0.1.380

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

* deps/pyk_release: Set Version v0.1.381

* Set Version: 1.0.242

* kevm-pyk/: sync poetry files pyk version v0.1.381

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

* deps/pyk_release: Set Version v0.1.382

* kevm-pyk/: sync poetry files pyk version v0.1.382

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

* deps/pyk_release: Set Version v0.1.383

* kevm-pyk/: sync poetry files pyk version v0.1.383

* deps/k_release: sync release file version 6.0.33

* deps/k: sync K submodule version v6.0.33

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

* kevm-pyk/: factor out KEVMSemantics as argument ot KCFGExplore

* deps/pyk_release: Set Version v0.1.384

* kevm-pyk/: sync poetry files pyk version v0.1.384

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

* deps/pyk_release: Set Version v0.1.385

* kevm-pyk/: sync poetry files pyk version v0.1.385

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

* deps/pyk_release: Set Version v0.1.386

* kevm-pyk/: sync poetry files pyk version v0.1.386

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

* Set Version: 1.0.243

* deps/pyk_release: Set Version v0.1.387

* kevm-pyk/: sync poetry files pyk version v0.1.387

* deps/k_release: sync release file version 6.0.36

* deps/k: sync K submodule version v6.0.36

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

* Change to new proof read/write functions

* Set Version: 1.0.244

* deps/pyk_release: Set Version v0.1.388

* kevm-pyk/: sync poetry files pyk version v0.1.388

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

* deps/pyk_release: Set Version v0.1.389

* kevm-pyk/: sync poetry files pyk version v0.1.389

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

* deps/pyk_release: Set Version v0.1.390

* kevm-pyk/: sync poetry files pyk version v0.1.390

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

* deps/pyk_release: Set Version v0.1.391

* kevm-pyk/: sync poetry files pyk version v0.1.391

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

* deps/pyk_release: Set Version v0.1.392

* kevm-pyk/: sync poetry files pyk version v0.1.392

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

* deps/pyk_release: Set Version v0.1.393

* kevm-pyk/: sync poetry files pyk version v0.1.393

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

* Fix KCFGExplore.__init__() calls to pass in KoreClient

* Revert "Fix KCFGExplore.__init__() calls to pass in KoreClient"

This reverts commit 189cdb5.

* Add function `legacy_explore`

* deps/pyk_release: Set Version v0.1.394

* kevm-pyk/: sync poetry files pyk version v0.1.394

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

* deps/pyk_release: Set Version v0.1.395

* kevm-pyk/: sync poetry files pyk version v0.1.395

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

* deps/pyk_release: Set Version v0.1.396

* kevm-pyk/: sync poetry files pyk version v0.1.396

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

* deps/pyk_release: Set Version v0.1.397

* kevm-pyk/: sync poetry files pyk version v0.1.397

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

* deps/pyk_release: Set Version v0.1.398

* kevm-pyk/: sync poetry files pyk version v0.1.398

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

* deps/pyk_release: Set Version v0.1.399

* kevm-pyk/: sync poetry files pyk version v0.1.399

* deps/k_release: sync release file version 6.0.44

* deps/k: sync K submodule version v6.0.44

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

* deps/pyk_release: Set Version v0.1.400

* kevm-pyk/: sync poetry files pyk version v0.1.400

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

* deps/pyk_release: Set Version v0.1.401

* kevm-pyk/: sync poetry files pyk version v0.1.401

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

* Set Version: 1.0.246

* Update expected output

* Remove now unused same_loop parameter from kevm_prove

* Set Version: 1.0.247

* Fix missing import from merge

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Everett Hildenbrandt <[email protected]>
Co-authored-by: Noah Watson <[email protected]>
Co-authored-by: Noah Watson <[email protected]>
Co-authored-by: Tamás Tóth <[email protected]>
  • Loading branch information
@rv-jenkins @ehildenb
@nwatson22 @tothtamas28
6 people authored Aug 6, 2023
1 parent 3da361b commit 07a27d6
Show file tree
Hide file tree
Showing 20 changed files with 473 additions and 229 deletions.
2 changes: 1 addition & 1 deletion deps/k
Submodule k updated 28 files
+4 −4 .github/workflows/release.yml
+1 −1 deps/hs-backend-booster_release
+236 −41 flake.lock
+11 −4 flake.nix
+1 −1 haskell-backend/src/main/java/org/kframework/backend/haskell/HaskellRewriter.java
+1 −1 haskell-backend/src/main/native/haskell-backend
+1 −1 hs-backend-booster/src/main/native/hs-backend-booster
+1 −1 install-k
+15 −17 k-distribution/include/kframework/builtin/domains.md
+13 −0 k-distribution/tests/regression-new/checks/removeUnit.k
+5 −0 k-distribution/tests/regression-new/checks/removeUnit.k.out
+1 −1 k-distribution/tests/regression-new/domains-lemmas-no-smt/domains-lemmas-no-smt.k
+1 −1 k-distribution/tests/regression-new/domains-lemmas-smt/domains-lemmas-smt.k
+2 −2 kernel/pom.xml
+5 −2 kernel/src/main/java/org/kframework/backend/kore/KoreBackend.java
+2 −92 kernel/src/main/java/org/kframework/backend/kore/ModuleToKORE.java
+134 −0 kernel/src/main/java/org/kframework/compile/GenerateMapCeilAxioms.java
+73 −0 kernel/src/main/java/org/kframework/compile/RemoveUnit.java
+1 −1 kernel/src/main/java/org/kframework/kdep/KDepFrontEnd.java
+1 −1 kernel/src/main/java/org/kframework/kompile/DefinitionParsing.java
+24 −0 kore/src/main/scala/org/kframework/definition/outer.scala
+32 −13 kore/src/main/scala/org/kframework/definition/transformers.scala
+1 −1 llvm-backend/src/main/native/llvm-backend
+36 −23 nix/k.nix
+18 −18 nix/mavenix.lock
+1 −1 package/arch/PKGBUILD
+1 −1 package/debian/changelog
+1 −1 package/version
2 changes: 1 addition & 1 deletion deps/k_release
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
6.0.27
6.0.44
2 changes: 1 addition & 1 deletion deps/pyk_release
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
v0.1.378
v0.1.401
Loading

0 comments on commit 07a27d6

Please sign in to comment.