Updated README, changes LLVM version to 14 #139
Closed
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
agurfinkel
requested changes
May 10, 2023
| @@ -198,14 +198,14 @@ time, but could be very useful for debugging. | |||
| ## Build and run verification jobs for SMACK | |||
| Leave `aws-c-common` library as is if you have already built verification jobs for SeaHorn. | |||
|
|
|||
| As a prerequisite, build SMACK following [this guide](https://github.com/smackers/smack/blob/main/docs/installation.md). Note, we require to use [LLVM](http://llvm.org/) [10.0.1](https://releases.llvm.org/download.html#10.0.1). The last commit that SMACK supports LLVM 10 is [4894245](https://github.com/smackers/smack/commit/48942451a1f48e56442c70256f3f20d117f1b309). | |||
| As a prerequisite, build SMACK following [this guide](https://github.com/smackers/smack/blob/main/docs/installation.md). Note, we require to use [LLVM](http://llvm.org/) [14.0.6](https://releases.llvm.org/download.html#14.0.6). The last commit that SMACK supports LLVM 14 is [4894245](https://github.com/smackers/smack/commit/48942451a1f48e56442c70256f3f20d117f1b309). | |||
There was a problem hiding this comment.
Are you sure that the reference to smack commit is current? It seems the same commit as the one that supports llvm10. Probably this paragraph needs to be updated.
| @@ -240,14 +240,14 @@ All verification results by giving different options we collected and reasoning | |||
| ## Build and run verification jobs for Symbiotic | |||
| Leave `aws-c-common` library as is if you have already built verification jobs for SeaHorn. | |||
|
|
|||
| As a prerequisite, build Symbiotic following [this guide](https://github.com/staticafi/symbiotic#building-symbiotic-from-sources). Note, we require to use [LLVM](http://llvm.org/) [10.0.1](https://releases.llvm.org/download.html#10.0.1). | |||
| As a prerequisite, build Symbiotic following [this guide](https://github.com/staticafi/symbiotic#building-symbiotic-from-sources). Note, we require to use [LLVM](http://llvm.org/) [14.0.6](https://releases.llvm.org/download.html#14.0.6). | |||
There was a problem hiding this comment.
does symbiotic say anything about which version of llvm they require?
| @@ -281,14 +281,14 @@ We reasoned why Symbiotic can take less times on verifying `priority_queue` and | |||
| ## Build and run verification jobs for KLEE | |||
| Leave `aws-c-common` library as is if you have already built verification jobs for SeaHorn. | |||
|
|
|||
| As a prerequisite, build KLEE following [this guide](https://klee.github.io/build-llvm9/). Note, we require to use [LLVM](http://llvm.org/) [10.0.1](https://releases.llvm.org/download.html#10.0.1). | |||
| As a prerequisite, build KLEE following [this guide](https://klee.github.io/build-llvm9/). Note, we require to use [LLVM](http://llvm.org/) [14.0.6](https://releases.llvm.org/download.html#14.0.6). | |||
There was a problem hiding this comment.
does KLEE work with llvm14?
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.
No description provided.