You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Crucible-LLVM now has several clients that do not make use of the translation from llvm-pretty ASTs into Crucible-LLVM ASTs (much of which happens in Lang.Crucible.LLVM.Translation.*):
crucible-llvm-{cli,syntax} parse Crucible-LLVM CFGs using an S-expression syntax
macaw-symbolic uses just the memory model
crucible-wasm uses just the memory model
These clients would have faster build times if they could depend on a slimmer library that exports just the functionality they need. Furthermore, it would force us to think harder about our APIs (in a good way).
The text was updated successfully, but these errors were encountered:
Crucible-LLVM now has several clients that do not make use of the translation from llvm-pretty ASTs into Crucible-LLVM ASTs (much of which happens in
Lang.Crucible.LLVM.Translation.*
):crucible-llvm-{cli,syntax}
parse Crucible-LLVM CFGs using an S-expression syntaxmacaw-symbolic
uses just the memory modelcrucible-wasm
uses just the memory modelThese clients would have faster build times if they could depend on a slimmer library that exports just the functionality they need. Furthermore, it would force us to think harder about our APIs (in a good way).
The text was updated successfully, but these errors were encountered: