smackers smack Q A · Discussions · GitHub

Sort by: Latest activity

Categories

Q&A Discussions

Ask the community for help

You must be logged in to vote

Can smack generate boogie code which saves the metadata in llvm ir?

Luweicai asked Mar 24, 2022 in Q&A · Answered

1
You must be logged in to vote

What is the form of free loop invariant in the smack generated boogie code(from c)?

Luweicai asked Jan 10, 2022 in Q&A · Unanswered

1