We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Mention preconditions in operation call POs
Tweak
Add pogdep command
Tweak for @T types
Small tweak
wiki updates for cex changes
Update for counterexamples
Improve strategies page
Small tweaks
typo
Add warning example
Improve the mutual op example
Improve recursive operation page
Typo
Tweak recursive POs
Added @OperationMeasure to wiki
More transitiveUpdate tweaks
Fixes for transitiveUpdate POs in operations
Loop tweaks
Loop POG tweak
Loop annotation clarification
More loop tweaks
More loop page tweaks
Small while loop tweaks
Typos
Updated for loop PO changes
Updated loop invariant page