Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Remove LSS-based commands #396

Closed
atomb opened this issue Apr 1, 2019 · 0 comments · Fixed by #435
Closed

Remove LSS-based commands #396

atomb opened this issue Apr 1, 2019 · 0 comments · Fixed by #435
Assignees
@atomb
Labels
subsystem: crucible-llvm Issues related to LLVM bitcode verification with crucible-llvm type: enhancement Issues describing an improvement to an existing feature or capability
Milestone
0.3

Comments

@atomb
Copy link
Contributor

atomb commented Apr 1, 2019

The Crucible-based interface to LLVM verification is now used for almost everything, and we haven't written new code that uses the LSS (llvm-verifier) interface in a while. We should remove the commands that use the LSS interface. These include llvm_verify, llvm_symexec, and llvm_extract.
@atomb atomb added this to the 0.3 milestone Apr 1, 2019
@atomb atomb self-assigned this Apr 1, 2019
@atomb atomb mentioned this issue May 14, 2019
Merged
atomb pushed a commit that referenced this issue May 20, 2019
Merge pull request #435 from GaloisInc/at-396-remove-lss
88cdeb0 
This removes all connections to the old LSS (llvm-verifier) code now that the Crucible-based equivalent is sufficiently robust. The one downside is that llvm_symexec no longer exists. We may want to implement something with similar but better functionality eventually.

Fixes #396.
@langston-barrett langston-barrett mentioned this issue Jun 12, 2019
Closed
@sauclovian-g sauclovian-g added type: enhancement Issues describing an improvement to an existing feature or capability subsystem: crucible-llvm Issues related to LLVM bitcode verification with crucible-llvm and removed management labels Oct 24, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@atomb atomb

Labels
subsystem: crucible-llvm Issues related to LLVM bitcode verification with crucible-llvm type: enhancement Issues describing an improvement to an existing feature or capability
Projects
None yet
Milestone
0.3
Development

Successfully merging a pull request may close this issue.

Remove LSS (llvm-verifier) bindings from SAW GaloisInc/saw-script
2 participants
@atomb @sauclovian-g