Replacing llvm 14 with llvm 15 as a pre-requirement for K #3270
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Robertorosmaninho
added
the
apple-silicon
Baltoli
approved these changes
Mar 23, 2023
|
Approved, but can you also add a caveat to the GDB tutorial page that mentions that you may need to upgrade LLVM if you have an older version installed? |
5 tasks
Baltoli
pushed a commit
that referenced
this pull request
Nov 1, 2023
* init version of kup * install script * fix flake * fix install * add back k-framework cache * Update dependency: haskell-backend/src/main/native/haskell-backend (#2897) * haskell-backend/src/main/native/haskell-backend: 5b558293c - 3214 support not simplification rules (#3234) * haskell-backend/src/main/native/haskell-backend: 6e5d07163 - Disable automatic run of update job (#3258) * haskell-backend/src/main/native/haskell-backend: ebd986060 - Update dependency: deps/k_release (#3233) * Set Version: 5.4.2 * haskell-backend/src/main/native/haskell-backend: 4a437a812 - Handle incorrect log path for `--bug-report` option (#3269) * haskell-backend/src/main/native/haskell-backend: f9366b6f8 - Nix profiling tweaks (#3268) * haskell-backend/src/main/native/haskell-backend: 9ea642db3 - Feature/profiling performance workflow (#3265) * haskell-backend/src/main/native/haskell-backend: 0c75536f4 - Rewrite script which generates regressions tests (#3261) * haskell-backend/src/main/native/haskell-backend: 8844d5c2b - Add functional-spec test from KEVM (#3271) * haskell-backend/src/main/native/haskell-backend: a5653fa8d - use state to cache simplifier across branches during unification (#3270) * Hardcode flake.lock as a workaround to broken CI * Set Version: 5.4.3 * haskell-backend/src/main/native/haskell-backend: 0a2b03245 - Add C semantics smoke test depth 100 (#3274) * Set Version: 5.4.4 * haskell-backend/src/main/native/haskell-backend: 23530bd9a - 3223 json rpc cut points and terminal rules (#3273) * Set Version: 5.4.5 * Fix * Set Version: 5.4.6 * Set Version: 5.4.7 * haskell-backend/src/main/native/haskell-backend: 087544025 - Modify Ceil simplifier to not recurse (#3209) * haskell-backend/src/main/native/haskell-backend: b68c43a93 - Hotfix/profiling workflow triggers (#3272) * Set Version: 5.4.8 * haskell-backend/src/main/native/haskell-backend: 3c3f31bf2 - Update dependency: deps/k_release (#3275) * haskell-backend/src/main/native/haskell-backend: 133a83eae - Using action runner permissions token for gh tool (#3277) * Hardcode flake diff changes Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: ana-pantilie <ana.pantilie95@gmail.com> Co-authored-by: Ana Pantilie <45069775+ana-pantilie@users.noreply.github.com> * cleanup * remove ksummarize for now * Set Version: 5.4.9 * revert install-k * Set Version: 5.4.9 * revert install-k * Set Version: 5.4.9 * fix * once in master, we should always download the latest version of kup * moved kup to root and fixed formatting/lint issues * updated flake Co-authored-by: rv-jenkins <admin@runtimeverification.com> Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: ana-pantilie <ana.pantilie95@gmail.com> Co-authored-by: Ana Pantilie <45069775+ana-pantilie@users.noreply.github.com>
Baltoli
pushed a commit
that referenced
this pull request
Nov 1, 2023
…2918) * Update dependency: haskell-backend/src/main/native/haskell-backend (#2897) * haskell-backend/src/main/native/haskell-backend: 5b558293c - 3214 support not simplification rules (#3234) * haskell-backend/src/main/native/haskell-backend: 6e5d07163 - Disable automatic run of update job (#3258) * haskell-backend/src/main/native/haskell-backend: ebd986060 - Update dependency: deps/k_release (#3233) * Set Version: 5.4.2 * haskell-backend/src/main/native/haskell-backend: 4a437a812 - Handle incorrect log path for `--bug-report` option (#3269) * haskell-backend/src/main/native/haskell-backend: f9366b6f8 - Nix profiling tweaks (#3268) * haskell-backend/src/main/native/haskell-backend: 9ea642db3 - Feature/profiling performance workflow (#3265) * haskell-backend/src/main/native/haskell-backend: 0c75536f4 - Rewrite script which generates regressions tests (#3261) * haskell-backend/src/main/native/haskell-backend: 8844d5c2b - Add functional-spec test from KEVM (#3271) * haskell-backend/src/main/native/haskell-backend: a5653fa8d - use state to cache simplifier across branches during unification (#3270) * Hardcode flake.lock as a workaround to broken CI * Set Version: 5.4.3 * haskell-backend/src/main/native/haskell-backend: 0a2b03245 - Add C semantics smoke test depth 100 (#3274) * Set Version: 5.4.4 * haskell-backend/src/main/native/haskell-backend: 23530bd9a - 3223 json rpc cut points and terminal rules (#3273) * Set Version: 5.4.5 * Fix * Set Version: 5.4.6 * Set Version: 5.4.7 * haskell-backend/src/main/native/haskell-backend: 087544025 - Modify Ceil simplifier to not recurse (#3209) * haskell-backend/src/main/native/haskell-backend: b68c43a93 - Hotfix/profiling workflow triggers (#3272) * Set Version: 5.4.8 * haskell-backend/src/main/native/haskell-backend: 3c3f31bf2 - Update dependency: deps/k_release (#3275) * haskell-backend/src/main/native/haskell-backend: 133a83eae - Using action runner permissions token for gh tool (#3277) * Hardcode flake diff changes Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: ana-pantilie <ana.pantilie95@gmail.com> Co-authored-by: Ana Pantilie <45069775+ana-pantilie@users.noreply.github.com> * haskell-backend/src/main/native/haskell-backend: ba227c0dc - Update dependency: deps/k_release (#3276) * Set Version: 5.4.9 * Set Version 5.4.8 * Set Version: 5.4.9 * Set Version: 5.4.10 * Set Version: 5.4.11 * Set Version: 5.4.12 * Set Version: 5.4.13 * haskell-backend/src/main/native/haskell-backend: 24e8a3d48 - Update dependency: deps/k_release (#3282) * Update flake.lock Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: ana-pantilie <ana.pantilie95@gmail.com> Co-authored-by: Ana Pantilie <45069775+ana-pantilie@users.noreply.github.com> Co-authored-by: Everett Hildenbrandt <everett.hildenbrandt@gmail.com>
Closed
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR aimed to update the LLVM pre-requirement for K. This new version fixes a bug on lldb that didn't allow macOS users to debug their K definitions.