We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated Boogie (markdown)
Add information about `assume { :ltl_step } true`
Restructure attributes section
mention structs
restructure distinguish *deviation* and *extension*
fix atomic link
added descripton for :const_array attribute
Created Boogie (markdown)