K version bump feature list (5.4.0) #2514
Assignees
Labels
Comments
|
Make a poll in the #k channel to see if the changelog is valuable to them. |
Closed
5 tasks
|
Just use a normal commit list (PR title list basically) for changelog, we should not be curating something people are not using. |
1 similar comment
|
Just use a normal commit list (PR title list basically) for changelog, we should not be curating something people are not using. |
This was
linked to
pull requests
Oct 19, 2022
Merged
h0nzZik
pushed a commit
to h0nzZik/k
that referenced
this issue
Nov 24, 2022
…untimeverification#1886) * haskell-backend/src/main/native/haskell-backend: c160d484 - Update evm test generation script (runtimeverification#2513) * haskell-backend/src/main/native/haskell-backend: e4457b23 - Update dependency: deps/k_release (runtimeverification#2512) * haskell-backend/src/main/native/haskell-backend: 38dd2e25 - Avoid detached HEAD in Update workflow on push events (runtimeverification#2517) * haskell-backend/src/main/native/haskell-backend: 47bfdc78 - Update dependency: deps/k_release (runtimeverification#2519) * haskell-backend/src/main/native/haskell-backend: 7b1a0bde - kore-repl: improve exception handling (runtimeverification#2514)
h0nzZik
pushed a commit
to h0nzZik/k
that referenced
this issue
Nov 24, 2022
…untimeverification#1898) * haskell-backend/src/main/native/haskell-backend: c160d484 - Update evm test generation script (runtimeverification#2513) * haskell-backend/src/main/native/haskell-backend: e4457b23 - Update dependency: deps/k_release (runtimeverification#2512) * haskell-backend/src/main/native/haskell-backend: 38dd2e25 - Avoid detached HEAD in Update workflow on push events (runtimeverification#2517) * haskell-backend/src/main/native/haskell-backend: 47bfdc78 - Update dependency: deps/k_release (runtimeverification#2519) * haskell-backend/src/main/native/haskell-backend: 7b1a0bde - kore-repl: improve exception handling (runtimeverification#2514) * haskell-backend/src/main/native/haskell-backend: ff35eb73 - Update dependency: deps/k_release (runtimeverification#2524) * haskell-backend/src/main/native/haskell-backend: 85800442 - Export prelude.kore in Nix (runtimeverification#2522) * haskell-backend/src/main/native/haskell-backend: 32d6090b - Add a script to time execution steps (runtimeverification#2527) * haskell-backend/src/main/native/haskell-backend: ac340731 - Update dependency: deps/k_release (runtimeverification#2534)
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Updated up to: 7ea23b1
Features:
kproveshim script #2579kprovextokprove#2614kprovextokprovein pyk #2619kprovexscript #2622#tracedebugging hook #2560llvm-kompileinvocation in verbose mode #2803Profiling your K semanticssection in the user manual. #2809-no-haskell-binaryto backends tutorial #2863Performance improvements:
Bug fixes:
kompileetc. #2557[anywhere, simplification]on rules #2711Dependencies:
pyk
use_directoryinKProve#2667#init&#targetaliases #2714kompile --post-processusingpyk#2729 *** definitely includeget_basic_blockfrom ksummarize repo #2771pyk#2858 -- removed pykTo Check:
./package/versionhas been bumped toNEW_MAJOR.NEW_MINOR.0, and./package/version.sh subhas been invoked.CHANGELOG.mdhas been updated with new features.package/(look at various package/dependency lists inpackage/subdirectory and think whether any of them is now not needed).The text was updated successfully, but these errors were encountered: